
*****************
New ms file ./ms 20 50 -s 80 -r 0.0 5000 

*****************
New processing of data generated by ./ms 20 50 -s 80 -r 0.0 5000 

5state20.20.1, 0
nodecount 64 edgecount 812 max permited edges  1026
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.2, 0
nodecount 88 edgecount 1195 max permited edges  1482
16 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.3, 0
nodecount 85 edgecount 1173 max permited edges  1425
19 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.03 csys =  0.09 CPU)

5state20.20.4, 0
nodecount 95 edgecount 1443 max permited edges  1615
25 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.5, 0
nodecount 91 edgecount 1404 max permited edges  1539
26 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.09 cusr  0.02 csys =  0.11 CPU)

5state20.20.6, 0
nodecount 89 edgecount 1195 max permited edges  1501
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.7, 0
nodecount 88 edgecount 1225 max permited edges  1482
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.8, 0
nodecount 90 edgecount 1280 max permited edges  1520
20 legal separators and 2 illegal separators
5mppilp.8.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.9, 0
nodecount 87 edgecount 1215 max permited edges  1463
21 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.03 csys =  0.11 CPU)

5state20.20.10, 0
nodecount 78 edgecount 990 max permited edges  1292
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.11, 0
nodecount 91 edgecount 1350 max permited edges  1539
23 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.12, 0
nodecount 93 edgecount 1397 max permited edges  1577
22 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.13, 0
nodecount 84 edgecount 1191 max permited edges  1406
20 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.14, 0
nodecount 67 edgecount 868 max permited edges  1083
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.15, 0
nodecount 82 edgecount 1095 max permited edges  1368
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.16, 0
nodecount 88 edgecount 1234 max permited edges  1482
16 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.17, 0
nodecount 85 edgecount 1195 max permited edges  1425
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.18, 0
nodecount 93 edgecount 1412 max permited edges  1577
25 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.19, 0
nodecount 69 edgecount 854 max permited edges  1121
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.20, 0
nodecount 87 edgecount 1209 max permited edges  1463
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.21, 0
nodecount 84 edgecount 1158 max permited edges  1406
14 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.22, 0
nodecount 89 edgecount 1207 max permited edges  1501
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.23, 0
nodecount 66 edgecount 841 max permited edges  1064
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.24, 0
nodecount 56 edgecount 672 max permited edges  874
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.25, 0
nodecount 85 edgecount 1276 max permited edges  1425
20 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.26, 0
nodecount 93 edgecount 1404 max permited edges  1577
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.03 csys =  0.11 CPU)

5state20.20.27, 0
nodecount 87 edgecount 1268 max permited edges  1463
19 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.28, 0
nodecount 89 edgecount 1252 max permited edges  1501
22 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.29, 0
nodecount 83 edgecount 1082 max permited edges  1387
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.30, 0
nodecount 92 edgecount 1333 max permited edges  1558
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.31, 0
nodecount 79 edgecount 1076 max permited edges  1311
18 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.03 csys =  0.10 CPU)

5state20.20.32, 0
nodecount 80 edgecount 1091 max permited edges  1330
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.33, 0
nodecount 92 edgecount 1364 max permited edges  1558
23 legal separators and 2 illegal separators
5mppilp.33.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.34, 0
nodecount 84 edgecount 1131 max permited edges  1406
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.35, 0
nodecount 82 edgecount 1169 max permited edges  1368
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.01 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.36, 0
nodecount 92 edgecount 1256 max permited edges  1558
20 legal separators and 3 illegal separators
5mppilp.36.lp must be solved
There are 4 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.37, 0
nodecount 90 edgecount 1310 max permited edges  1520
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.38, 0
nodecount 91 edgecount 1283 max permited edges  1539
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.03 csys =  0.11 CPU)

5state20.20.39, 0
nodecount 83 edgecount 1158 max permited edges  1387
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.40, 0
nodecount 88 edgecount 1263 max permited edges  1482
19 legal separators and 1 illegal separators
5mppilp.40.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.41, 0
nodecount 71 edgecount 909 max permited edges  1159
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.42, 0
nodecount 59 edgecount 706 max permited edges  931
8 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.43, 0
nodecount 64 edgecount 797 max permited edges  1026
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.44, 0
nodecount 94 edgecount 1426 max permited edges  1596
22 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.45, 0
nodecount 79 edgecount 1044 max permited edges  1311
16 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.46, 0
nodecount 92 edgecount 1385 max permited edges  1558
20 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.47, 0
nodecount 93 edgecount 1267 max permited edges  1577
21 legal separators and 1 illegal separators
5mppilp.47.lp must be solved
There are 5 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 6 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.48, 0
nodecount 95 edgecount 1387 max permited edges  1615
22 legal separators and 4 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.49, 0
nodecount 90 edgecount 1312 max permited edges  1520
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.50, 0
nodecount 88 edgecount 1198 max permited edges  1482
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

Information about ILP solutions

5mppilp.8.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.33.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.36.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.40.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.47.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

All augmented matrices produce chordal graphs

*****************
New processing of data generated by ./ms 20 50 -s 80 -r 0.0 5000 

5state20.20.1, 0.1
nodecount 63 edgecount 744 max permited edges  1007
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.2, 0.1
nodecount 86 edgecount 1106 max permited edges  1444
17 legal separators and 3 illegal separators
5mppilp.2.lp must be solved
There are 5 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.03 csys =  0.10 CPU)

5state20.20.3, 0.1
nodecount 84 edgecount 1112 max permited edges  1406
24 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.4, 0.1
nodecount 94 edgecount 1367 max permited edges  1596
27 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.03 csys =  0.11 CPU)

5state20.20.5, 0.1
nodecount 85 edgecount 1208 max permited edges  1425
26 legal separators and 3 illegal separators
5mppilp.5.lp must be solved
There are 5 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.6, 0.1
nodecount 87 edgecount 1112 max permited edges  1463
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.7, 0.1
nodecount 84 edgecount 1106 max permited edges  1406
19 legal separators and 2 illegal separators
5mppilp.7.lp must be solved
There are 3 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.8, 0.1
nodecount 87 edgecount 1192 max permited edges  1463
22 legal separators and 2 illegal separators
5mppilp.8.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.9, 0.1
nodecount 83 edgecount 1077 max permited edges  1387
21 legal separators and 1 illegal separators
5mppilp.9.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.03 csys =  0.10 CPU)

5state20.20.10, 0.1
nodecount 77 edgecount 946 max permited edges  1273
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.11, 0.1
nodecount 88 edgecount 1251 max permited edges  1482
24 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.12, 0.1
nodecount 87 edgecount 1231 max permited edges  1463
23 legal separators and 1 illegal separators
5mppilp.12.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.13, 0.1
nodecount 83 edgecount 1127 max permited edges  1387
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.14, 0.1
nodecount 65 edgecount 809 max permited edges  1045
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.15, 0.1
nodecount 79 edgecount 961 max permited edges  1311
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.16, 0.1
nodecount 85 edgecount 1136 max permited edges  1425
17 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.03 csys =  0.09 CPU)

5state20.20.17, 0.1
nodecount 82 edgecount 1107 max permited edges  1368
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.18, 0.1
nodecount 88 edgecount 1244 max permited edges  1482
23 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.19, 0.1
nodecount 68 edgecount 800 max permited edges  1102
8 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.20, 0.1
nodecount 86 edgecount 1138 max permited edges  1444
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.21, 0.1
nodecount 82 edgecount 1053 max permited edges  1368
19 legal separators and 2 illegal separators
5mppilp.21.lp must be solved
There are 5 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 6 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.22, 0.1
nodecount 85 edgecount 1112 max permited edges  1425
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.01 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.23, 0.1
nodecount 64 edgecount 783 max permited edges  1026
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.04 cusr  0.02 csys =  0.07 CPU)

5state20.20.24, 0.1
nodecount 56 edgecount 662 max permited edges  874
11 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.25, 0.1
nodecount 83 edgecount 1168 max permited edges  1387
20 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.26, 0.1
nodecount 92 edgecount 1292 max permited edges  1558
27 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.27, 0.1
nodecount 85 edgecount 1177 max permited edges  1425
23 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.28, 0.1
nodecount 88 edgecount 1186 max permited edges  1482
22 legal separators and 1 illegal separators
5mppilp.28.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.29, 0.1
nodecount 83 edgecount 1035 max permited edges  1387
19 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.30, 0.1
nodecount 90 edgecount 1247 max permited edges  1520
23 legal separators and 7 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.08 cusr  0.03 csys =  0.12 CPU)

5state20.20.31, 0.1
nodecount 76 edgecount 973 max permited edges  1254
18 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.32, 0.1
nodecount 79 edgecount 1040 max permited edges  1311
20 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.33, 0.1
nodecount 90 edgecount 1249 max permited edges  1520
21 legal separators and 3 illegal separators
5mppilp.33.lp must be solved
There are 5 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.34, 0.1
nodecount 79 edgecount 1025 max permited edges  1311
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.35, 0.1
nodecount 80 edgecount 1085 max permited edges  1330
17 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.36, 0.1
nodecount 88 edgecount 1069 max permited edges  1482
21 legal separators and 5 illegal separators
5mppilp.36.lp must be solved
There are 6 crossing legal variables
There are 5 inequalities describing legal min seps crossing illegal min seps
There are 5 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.37, 0.1
nodecount 84 edgecount 1124 max permited edges  1406
20 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.38, 0.1
nodecount 89 edgecount 1205 max permited edges  1501
19 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.39, 0.1
nodecount 82 edgecount 1088 max permited edges  1368
21 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.40, 0.1
nodecount 86 edgecount 1170 max permited edges  1444
22 legal separators and 4 illegal separators
5mppilp.40.lp must be solved
There are 5 crossing legal variables
There are 4 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.41, 0.1
nodecount 70 edgecount 867 max permited edges  1140
14 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.42, 0.1
nodecount 59 edgecount 694 max permited edges  931
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.01 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.07 CPU)

5state20.20.43, 0.1
nodecount 64 edgecount 781 max permited edges  1026
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.44, 0.1
nodecount 91 edgecount 1303 max permited edges  1539
24 legal separators and 1 illegal separators
5mppilp.44.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.45, 0.1
nodecount 76 edgecount 946 max permited edges  1254
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.46, 0.1
nodecount 90 edgecount 1283 max permited edges  1520
22 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.47, 0.1
nodecount 90 edgecount 1170 max permited edges  1520
21 legal separators and 1 illegal separators
5mppilp.47.lp must be solved
There are 5 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 6 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.48, 0.1
nodecount 95 edgecount 1313 max permited edges  1615
24 legal separators and 3 illegal separators
5mppilp.48.lp must be solved
There are 6 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.49, 0.1
nodecount 85 edgecount 1171 max permited edges  1425
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.50, 0.1
nodecount 88 edgecount 1156 max permited edges  1482
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

Information about ILP solutions

5mppilp.2.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.5.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.7.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.8.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.9.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.12.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.21.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.28.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.33.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.36.lp
Reduced MIP has 5 rows, 5 columns, and 10 nonzeros.
Reduced MIP has 5 binaries, 0 generals, 0 SOSs, and 0 indicators.
Solution time =    0.00 sec.  Iterations = 106  Nodes = 0

5mppilp.40.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.44.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.47.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

5mppilp.48.lp
All rows and columns eliminated.
Solution time =    0.00 sec.  Iterations = 0  Nodes = 0

All augmented matrices produce chordal graphs
END
