0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.11 c #variables 2724 #constraints 6385
2.75/2.81 c #Conflicts: 1000 | #Constraints: 7384
2.75/2.81 c #Conflicts: 2000 | #Constraints: 8384
2.75/2.81 c INPROCESSING
2.75/2.81 c GARBAGE COLLECT
2.75/2.81 c #Conflicts: 3000 | #Constraints: 8717
2.75/2.81 c #Conflicts: 4000 | #Constraints: 9717
2.75/2.81 c #Conflicts: 5000 | #Constraints: 10717
2.75/2.81 c #Conflicts: 6000 | #Constraints: 11717
2.75/2.81 c INPROCESSING
2.75/2.81 c GARBAGE COLLECT
2.75/2.81 c #Conflicts: 7000 | #Constraints: 10274
2.75/2.81 c #Conflicts: 8000 | #Constraints: 11274
2.75/2.81 c #Conflicts: 9000 | #Constraints: 12274
2.75/2.81 c INPROCESSING
2.75/2.81 c GARBAGE COLLECT
2.75/2.81 c #Conflicts: 10000 | #Constraints: 10427
2.75/2.81 c #Conflicts: 11000 | #Constraints: 11427
2.75/2.81 c #Conflicts: 12000 | #Constraints: 12427
2.75/2.81 c INPROCESSING
2.75/2.81 c GARBAGE COLLECT
2.75/2.81 c rational objective 908
3.35/3.40 c #Conflicts: 13000 | #Constraints: 10228
3.35/3.40 c #Conflicts: 14000 | #Constraints: 11228
3.35/3.40 c #Conflicts: 15000 | #Constraints: 12228
3.35/3.40 c #Conflicts: 16000 | #Constraints: 13228
3.35/3.40 c INPROCESSING
3.35/3.40 c GARBAGE COLLECT
3.35/3.40 c rational objective 908
3.84/3.98 c #Conflicts: 17000 | #Constraints: 10797
3.84/3.98 c #Conflicts: 18000 | #Constraints: 11797
3.84/3.98 c #Conflicts: 19000 | #Constraints: 12797
3.84/3.98 c #Conflicts: 20000 | #Constraints: 13797
3.84/3.98 c INPROCESSING
3.84/3.98 c GARBAGE COLLECT
3.84/3.98 c rational objective 908
4.55/4.70 c #Conflicts: 21000 | #Constraints: 11135
4.55/4.70 c #Conflicts: 22000 | #Constraints: 12135
4.55/4.70 c #Conflicts: 23000 | #Constraints: 13135
4.55/4.70 c #Conflicts: 24000 | #Constraints: 14135
4.55/4.70 c INPROCESSING
4.55/4.70 c GARBAGE COLLECT
4.55/4.70 c rational objective 908
5.35/5.41 c #Conflicts: 25000 | #Constraints: 11245
5.35/5.41 c #Conflicts: 26000 | #Constraints: 12245
5.35/5.41 c #Conflicts: 27000 | #Constraints: 13245
5.35/5.41 c #Conflicts: 28000 | #Constraints: 14245
5.35/5.41 c INPROCESSING
5.35/5.41 c GARBAGE COLLECT
5.35/5.41 c rational objective 908
8.05/8.17 c #Conflicts: 29000 | #Constraints: 11151
8.05/8.17 c #Conflicts: 30000 | #Constraints: 12151
8.05/8.17 c #Conflicts: 31000 | #Constraints: 13151
8.05/8.17 c #Conflicts: 32000 | #Constraints: 14151
8.05/8.17 c #Conflicts: 33000 | #Constraints: 15151
8.05/8.17 c INPROCESSING
8.05/8.17 c GARBAGE COLLECT
8.05/8.17 c #Conflicts: 34000 | #Constraints: 11851
8.05/8.17 c #Conflicts: 35000 | #Constraints: 12851
8.05/8.17 c #Conflicts: 36000 | #Constraints: 13851
8.05/8.17 c #Conflicts: 37000 | #Constraints: 14851
8.05/8.17 c #Conflicts: 38000 | #Constraints: 15851
8.05/8.17 c INPROCESSING
8.05/8.17 c GARBAGE COLLECT
8.05/8.17 c #Conflicts: 39000 | #Constraints: 12368
8.05/8.17 c #Conflicts: 40000 | #Constraints: 13368
8.05/8.17 c #Conflicts: 41000 | #Constraints: 14368
8.05/8.17 c #Conflicts: 42000 | #Constraints: 15368
8.05/8.17 c INPROCESSING
8.05/8.17 c GARBAGE COLLECT
8.05/8.17 c #Conflicts: 43000 | #Constraints: 11677
8.05/8.17 c #Conflicts: 44000 | #Constraints: 12677
8.05/8.17 c #Conflicts: 45000 | #Constraints: 13677
8.05/8.17 c #Conflicts: 46000 | #Constraints: 14677
8.05/8.17 c #Conflicts: 47000 | #Constraints: 15677
8.05/8.17 c #Conflicts: 48000 | #Constraints: 16677
8.05/8.17 c INPROCESSING
8.05/8.17 c GARBAGE COLLECT
8.05/8.17 c rational objective 908
8.83/8.99 c #Conflicts: 49000 | #Constraints: 12789
8.83/8.99 c #Conflicts: 50000 | #Constraints: 13789
8.83/8.99 c #Conflicts: 51000 | #Constraints: 14789
8.83/8.99 c #Conflicts: 52000 | #Constraints: 15789
8.83/8.99 c #Conflicts: 53000 | #Constraints: 16789
8.83/8.99 c INPROCESSING
8.83/8.99 c GARBAGE COLLECT
8.83/8.99 c rational objective 908
9.73/9.83 c #Conflicts: 54000 | #Constraints: 12688
9.73/9.83 c #Conflicts: 55000 | #Constraints: 13688
9.73/9.83 c #Conflicts: 56000 | #Constraints: 14688
9.73/9.83 c #Conflicts: 57000 | #Constraints: 15688
9.73/9.83 c #Conflicts: 58000 | #Constraints: 16688
9.73/9.83 c INPROCESSING
9.73/9.83 c GARBAGE COLLECT
9.73/9.83 c rational objective 908
12.43/12.50 c #Conflicts: 59000 | #Constraints: 12394
12.43/12.50 c #Conflicts: 60000 | #Constraints: 13394
12.43/12.50 c #Conflicts: 61000 | #Constraints: 14394
12.43/12.50 c #Conflicts: 62000 | #Constraints: 15394
12.43/12.50 c #Conflicts: 63000 | #Constraints: 16394
12.43/12.50 c #Conflicts: 64000 | #Constraints: 17394
12.43/12.50 c INPROCESSING
12.43/12.50 c GARBAGE COLLECT
12.43/12.50 c #Conflicts: 65000 | #Constraints: 12893
12.43/12.50 c #Conflicts: 66000 | #Constraints: 13893
12.43/12.50 c #Conflicts: 67000 | #Constraints: 14893
12.43/12.50 c #Conflicts: 68000 | #Constraints: 15893
12.43/12.50 c #Conflicts: 69000 | #Constraints: 16893
12.43/12.50 c #Conflicts: 70000 | #Constraints: 17893
12.43/12.50 c INPROCESSING
12.43/12.50 c GARBAGE COLLECT
12.43/12.50 c #Conflicts: 71000 | #Constraints: 13195
12.43/12.50 c #Conflicts: 72000 | #Constraints: 14195
12.43/12.50 c #Conflicts: 73000 | #Constraints: 15195
12.43/12.50 c #Conflicts: 74000 | #Constraints: 16195
12.43/12.50 c #Conflicts: 75000 | #Constraints: 17195
12.43/12.50 c #Conflicts: 76000 | #Constraints: 18195
12.43/12.50 c INPROCESSING
12.43/12.50 c GARBAGE COLLECT
12.43/12.50 c rational objective 908
13.33/13.42 c #Conflicts: 77000 | #Constraints: 13305
13.33/13.42 c #Conflicts: 78000 | #Constraints: 14305
13.33/13.42 c #Conflicts: 79000 | #Constraints: 15305
13.33/13.42 c #Conflicts: 80000 | #Constraints: 16305
13.33/13.42 c #Conflicts: 81000 | #Constraints: 17305
13.33/13.42 c #Conflicts: 82000 | #Constraints: 18305
13.33/13.42 c INPROCESSING
13.33/13.42 c GARBAGE COLLECT
13.33/13.42 c rational objective 908
14.52/14.62 c #Conflicts: 83000 | #Constraints: 13198
14.52/14.62 c #Conflicts: 84000 | #Constraints: 14198
14.52/14.62 c #Conflicts: 85000 | #Constraints: 15198
14.52/14.62 c #Conflicts: 86000 | #Constraints: 16198
14.52/14.62 c #Conflicts: 87000 | #Constraints: 17198
14.52/14.62 c #Conflicts: 88000 | #Constraints: 18198
14.52/14.62 c #Conflicts: 89000 | #Constraints: 19198
14.52/14.62 c INPROCESSING
14.52/14.62 c GARBAGE COLLECT
14.52/14.62 c rational objective 908
15.82/15.94 c #Conflicts: 90000 | #Constraints: 13891
15.82/15.94 c #Conflicts: 91000 | #Constraints: 14891
15.82/15.94 c #Conflicts: 92000 | #Constraints: 15891
15.82/15.94 c #Conflicts: 93000 | #Constraints: 16891
15.82/15.94 c #Conflicts: 94000 | #Constraints: 17891
15.82/15.94 c #Conflicts: 95000 | #Constraints: 18891
15.82/15.94 c #Conflicts: 96000 | #Constraints: 19891
15.82/15.94 c INPROCESSING
15.82/15.94 c GARBAGE COLLECT
15.82/15.94 c rational objective 908
17.22/17.38 c #Conflicts: 97000 | #Constraints: 14405
17.22/17.38 c #Conflicts: 98000 | #Constraints: 15405
17.22/17.38 c #Conflicts: 99000 | #Constraints: 16405
17.22/17.38 c #Conflicts: 100000 | #Constraints: 17405
17.22/17.38 c #Conflicts: 101000 | #Constraints: 18405
17.22/17.38 c #Conflicts: 102000 | #Constraints: 19405
17.22/17.38 c INPROCESSING
17.22/17.38 c GARBAGE COLLECT
17.22/17.38 c rational objective 908
18.31/18.46 c #Conflicts: 103000 | #Constraints: 13697
18.31/18.46 c #Conflicts: 104000 | #Constraints: 14697
18.31/18.46 c #Conflicts: 105000 | #Constraints: 15697
18.31/18.46 c #Conflicts: 106000 | #Constraints: 16697
18.31/18.46 c #Conflicts: 107000 | #Constraints: 17697
18.31/18.46 c #Conflicts: 108000 | #Constraints: 18697
18.31/18.46 c #Conflicts: 109000 | #Constraints: 19697
18.31/18.46 c #Conflicts: 110000 | #Constraints: 20697
18.31/18.46 c INPROCESSING
18.31/18.46 c GARBAGE COLLECT
18.31/18.46 c rational objective 908
19.41/19.56 c #Conflicts: 111000 | #Constraints: 14799
19.41/19.56 c #Conflicts: 112000 | #Constraints: 15799
19.41/19.56 c #Conflicts: 113000 | #Constraints: 16799
19.41/19.56 c #Conflicts: 114000 | #Constraints: 17799
19.41/19.56 c #Conflicts: 115000 | #Constraints: 18799
19.41/19.56 c #Conflicts: 116000 | #Constraints: 19799
19.41/19.56 c #Conflicts: 117000 | #Constraints: 20799
19.41/19.56 c INPROCESSING
19.41/19.56 c GARBAGE COLLECT
19.41/19.56 c rational objective 908
20.60/20.72 c #Conflicts: 118000 | #Constraints: 14718
20.60/20.72 c #Conflicts: 119000 | #Constraints: 15718
20.60/20.72 c #Conflicts: 120000 | #Constraints: 16718
20.60/20.72 c #Conflicts: 121000 | #Constraints: 17718
20.60/20.72 c #Conflicts: 122000 | #Constraints: 18718
20.60/20.72 c #Conflicts: 123000 | #Constraints: 19718
20.60/20.72 c #Conflicts: 124000 | #Constraints: 20718
20.60/20.72 c INPROCESSING
20.60/20.72 c GARBAGE COLLECT
20.60/20.72 c rational objective 908
21.80/21.98 c #Conflicts: 125000 | #Constraints: 14404
21.80/21.98 c #Conflicts: 126000 | #Constraints: 15404
21.80/21.98 c #Conflicts: 127000 | #Constraints: 16404
21.80/21.98 c #Conflicts: 128000 | #Constraints: 17404
21.80/21.98 c #Conflicts: 129000 | #Constraints: 18404
21.80/21.98 c #Conflicts: 130000 | #Constraints: 19404
21.80/21.98 c #Conflicts: 131000 | #Constraints: 20404
21.80/21.98 c #Conflicts: 132000 | #Constraints: 21404
21.80/21.98 c INPROCESSING
21.80/21.98 c GARBAGE COLLECT
21.80/21.98 c rational objective 908
23.10/23.20 c #Conflicts: 133000 | #Constraints: 14894
23.10/23.20 c #Conflicts: 134000 | #Constraints: 15894
23.10/23.20 c #Conflicts: 135000 | #Constraints: 16894
23.10/23.20 c #Conflicts: 136000 | #Constraints: 17894
23.10/23.20 c #Conflicts: 137000 | #Constraints: 18894
23.10/23.20 c #Conflicts: 138000 | #Constraints: 19894
23.10/23.20 c #Conflicts: 139000 | #Constraints: 20894
23.10/23.20 c #Conflicts: 140000 | #Constraints: 21894
23.10/23.20 c INPROCESSING
23.10/23.20 c GARBAGE COLLECT
23.10/23.20 c rational objective 908
24.19/24.40 c #Conflicts: 141000 | #Constraints: 15198
24.19/24.40 c #Conflicts: 142000 | #Constraints: 16198
24.19/24.40 c #Conflicts: 143000 | #Constraints: 17198
24.19/24.40 c #Conflicts: 144000 | #Constraints: 18198
24.19/24.40 c #Conflicts: 145000 | #Constraints: 19198
24.19/24.40 c #Conflicts: 146000 | #Constraints: 20198
24.19/24.40 c #Conflicts: 147000 | #Constraints: 21198
24.19/24.40 c #Conflicts: 148000 | #Constraints: 22198
24.19/24.40 c INPROCESSING
24.19/24.40 c GARBAGE COLLECT
24.19/24.40 c rational objective 908
25.59/25.74 c #Conflicts: 149000 | #Constraints: 15295
25.59/25.74 c #Conflicts: 150000 | #Constraints: 16295
25.59/25.74 c #Conflicts: 151000 | #Constraints: 17295
25.59/25.74 c #Conflicts: 152000 | #Constraints: 18295
25.59/25.74 c #Conflicts: 153000 | #Constraints: 19295
25.59/25.74 c #Conflicts: 154000 | #Constraints: 20295
25.59/25.74 c #Conflicts: 155000 | #Constraints: 21295
25.59/25.74 c #Conflicts: 156000 | #Constraints: 22295
25.59/25.74 c INPROCESSING
25.59/25.74 c GARBAGE COLLECT
25.59/25.74 c rational objective 908
26.90/27.03 c #Conflicts: 157000 | #Constraints: 15194
26.90/27.03 c #Conflicts: 158000 | #Constraints: 16194
26.90/27.03 c #Conflicts: 159000 | #Constraints: 17194
26.90/27.03 c #Conflicts: 160000 | #Constraints: 18194
26.90/27.03 c #Conflicts: 161000 | #Constraints: 19194
26.90/27.03 c #Conflicts: 162000 | #Constraints: 20194
26.90/27.03 c #Conflicts: 163000 | #Constraints: 21194
26.90/27.03 c #Conflicts: 164000 | #Constraints: 22194
26.90/27.03 c #Conflicts: 165000 | #Constraints: 23194
26.90/27.03 c INPROCESSING
26.90/27.03 c GARBAGE COLLECT
26.90/27.03 c rational objective 908
28.18/28.32 c #Conflicts: 166000 | #Constraints: 15916
28.18/28.32 c #Conflicts: 167000 | #Constraints: 16916
28.18/28.32 c #Conflicts: 168000 | #Constraints: 17916
28.18/28.32 c #Conflicts: 169000 | #Constraints: 18916
28.18/28.32 c #Conflicts: 170000 | #Constraints: 19916
28.18/28.32 c #Conflicts: 171000 | #Constraints: 20916
28.18/28.32 c #Conflicts: 172000 | #Constraints: 21916
28.18/28.32 c #Conflicts: 173000 | #Constraints: 22916
28.18/28.32 c #Conflicts: 174000 | #Constraints: 23916
28.18/28.32 c INPROCESSING
28.18/28.32 c GARBAGE COLLECT
28.18/28.32 c rational objective 908
29.58/29.73 c #Conflicts: 175000 | #Constraints: 16427
29.58/29.73 c #Conflicts: 176000 | #Constraints: 17427
29.58/29.73 c #Conflicts: 177000 | #Constraints: 18427
29.58/29.73 c #Conflicts: 178000 | #Constraints: 19427
29.58/29.73 c #Conflicts: 179000 | #Constraints: 20427
29.58/29.73 c #Conflicts: 180000 | #Constraints: 21427
29.58/29.73 c #Conflicts: 181000 | #Constraints: 22427
29.58/29.73 c #Conflicts: 182000 | #Constraints: 23427
29.58/29.73 c INPROCESSING
29.58/29.73 c GARBAGE COLLECT
29.58/29.73 c rational objective 908
31.07/31.29 c #Conflicts: 183000 | #Constraints: 15703
31.07/31.29 c #Conflicts: 184000 | #Constraints: 16703
31.07/31.29 c #Conflicts: 185000 | #Constraints: 17703
31.07/31.29 c #Conflicts: 186000 | #Constraints: 18703
31.07/31.29 c #Conflicts: 187000 | #Constraints: 19703
31.07/31.29 c #Conflicts: 188000 | #Constraints: 20703
31.07/31.29 c #Conflicts: 189000 | #Constraints: 21703
31.07/31.29 c #Conflicts: 190000 | #Constraints: 22703
31.07/31.29 c #Conflicts: 191000 | #Constraints: 23703
31.07/31.29 c #Conflicts: 192000 | #Constraints: 24703
31.07/31.29 c INPROCESSING
31.07/31.29 c GARBAGE COLLECT
31.07/31.29 c rational objective 908
32.88/33.04 c #Conflicts: 193000 | #Constraints: 16825
32.88/33.04 c #Conflicts: 194000 | #Constraints: 17825
32.88/33.04 c #Conflicts: 195000 | #Constraints: 18825
32.88/33.04 c #Conflicts: 196000 | #Constraints: 19825
32.88/33.04 c #Conflicts: 197000 | #Constraints: 20825
32.88/33.04 c #Conflicts: 198000 | #Constraints: 21825
32.88/33.04 c #Conflicts: 199000 | #Constraints: 22825
32.88/33.04 c #Conflicts: 200000 | #Constraints: 23825
32.88/33.04 c #Conflicts: 201000 | #Constraints: 24825
32.88/33.04 c INPROCESSING
32.88/33.04 c GARBAGE COLLECT
32.88/33.04 c rational objective 908
34.56/34.70 c #Conflicts: 202000 | #Constraints: 16725
34.56/34.70 c #Conflicts: 203000 | #Constraints: 17725
34.56/34.70 c #Conflicts: 204000 | #Constraints: 18725
34.56/34.70 c #Conflicts: 205000 | #Constraints: 19725
34.56/34.70 c #Conflicts: 206000 | #Constraints: 20725
34.56/34.70 c #Conflicts: 207000 | #Constraints: 21725
34.56/34.70 c #Conflicts: 208000 | #Constraints: 22725
34.56/34.70 c #Conflicts: 209000 | #Constraints: 23725
34.56/34.70 c #Conflicts: 210000 | #Constraints: 24725
34.56/34.70 c INPROCESSING
34.56/34.70 c GARBAGE COLLECT
34.56/34.70 c rational objective 908
36.16/36.36 c #Conflicts: 211000 | #Constraints: 16403
36.16/36.36 c #Conflicts: 212000 | #Constraints: 17403
36.16/36.36 c #Conflicts: 213000 | #Constraints: 18403
36.16/36.36 c #Conflicts: 214000 | #Constraints: 19403
36.16/36.36 c #Conflicts: 215000 | #Constraints: 20403
36.16/36.36 c #Conflicts: 216000 | #Constraints: 21403
36.16/36.36 c #Conflicts: 217000 | #Constraints: 22403
36.16/36.36 c #Conflicts: 218000 | #Constraints: 23403
36.16/36.36 c #Conflicts: 219000 | #Constraints: 24403
36.16/36.36 c #Conflicts: 220000 | #Constraints: 25403
36.16/36.36 c INPROCESSING
36.16/36.36 c GARBAGE COLLECT
36.16/36.36 c rational objective 908
37.75/38.00 c #Conflicts: 221000 | #Constraints: 16908
37.75/38.00 c #Conflicts: 222000 | #Constraints: 17908
37.75/38.00 c #Conflicts: 223000 | #Constraints: 18908
37.75/38.00 c #Conflicts: 224000 | #Constraints: 19908
37.75/38.00 c #Conflicts: 225000 | #Constraints: 20908
37.75/38.00 c #Conflicts: 226000 | #Constraints: 21908
37.75/38.00 c #Conflicts: 227000 | #Constraints: 22908
37.75/38.00 c #Conflicts: 228000 | #Constraints: 23908
37.75/38.00 c #Conflicts: 229000 | #Constraints: 24908
37.75/38.00 c #Conflicts: 230000 | #Constraints: 25908
37.75/38.00 c INPROCESSING
37.75/38.00 c GARBAGE COLLECT
37.75/38.00 c rational objective 908
39.45/39.60 c #Conflicts: 231000 | #Constraints: 17201
39.45/39.60 c #Conflicts: 232000 | #Constraints: 18201
39.45/39.60 c #Conflicts: 233000 | #Constraints: 19201
39.45/39.60 c #Conflicts: 234000 | #Constraints: 20201
39.45/39.60 c #Conflicts: 235000 | #Constraints: 21201
39.45/39.60 c #Conflicts: 236000 | #Constraints: 22201
39.45/39.60 c #Conflicts: 237000 | #Constraints: 23201
39.45/39.60 c #Conflicts: 238000 | #Constraints: 24201
39.45/39.60 c #Conflicts: 239000 | #Constraints: 25201
39.45/39.60 c #Conflicts: 240000 | #Constraints: 26201
39.45/39.60 c INPROCESSING
39.45/39.60 c GARBAGE COLLECT
39.45/39.60 c rational objective 908
41.04/41.26 c #Conflicts: 241000 | #Constraints: 17294
41.04/41.26 c #Conflicts: 242000 | #Constraints: 18294
41.04/41.26 c #Conflicts: 243000 | #Constraints: 19294
41.04/41.26 c #Conflicts: 244000 | #Constraints: 20294
41.04/41.26 c #Conflicts: 245000 | #Constraints: 21294
41.04/41.26 c #Conflicts: 246000 | #Constraints: 22294
41.04/41.26 c #Conflicts: 247000 | #Constraints: 23294
41.04/41.26 c #Conflicts: 248000 | #Constraints: 24294
41.04/41.26 c #Conflicts: 249000 | #Constraints: 25294
41.04/41.26 c #Conflicts: 250000 | #Constraints: 26294
41.04/41.26 c INPROCESSING
41.04/41.26 c GARBAGE COLLECT
41.04/41.26 c rational objective 908
42.73/43.01 c #Conflicts: 251000 | #Constraints: 17203
42.73/43.01 c #Conflicts: 252000 | #Constraints: 18203
42.73/43.01 c #Conflicts: 253000 | #Constraints: 19203
42.73/43.01 c #Conflicts: 254000 | #Constraints: 20203
42.73/43.01 c #Conflicts: 255000 | #Constraints: 21203
42.73/43.01 c #Conflicts: 256000 | #Constraints: 22203
42.73/43.01 c #Conflicts: 257000 | #Constraints: 23203
42.73/43.01 c #Conflicts: 258000 | #Constraints: 24203
42.73/43.01 c #Conflicts: 259000 | #Constraints: 25203
42.73/43.01 c #Conflicts: 260000 | #Constraints: 26203
42.73/43.01 c #Conflicts: 261000 | #Constraints: 27203
42.73/43.01 c INPROCESSING
42.73/43.01 c GARBAGE COLLECT
42.73/43.01 c rational objective 908
44.43/44.67 c #Conflicts: 262000 | #Constraints: 17901
44.43/44.67 c #Conflicts: 263000 | #Constraints: 18901
44.43/44.67 c #Conflicts: 264000 | #Constraints: 19901
44.43/44.67 c #Conflicts: 265000 | #Constraints: 20901
44.43/44.67 c #Conflicts: 266000 | #Constraints: 21901
44.43/44.67 c #Conflicts: 267000 | #Constraints: 22901
44.43/44.67 c #Conflicts: 268000 | #Constraints: 23901
44.43/44.67 c #Conflicts: 269000 | #Constraints: 24901
44.43/44.67 c #Conflicts: 270000 | #Constraints: 25901
44.43/44.67 c #Conflicts: 271000 | #Constraints: 26901
44.43/44.67 c #Conflicts: 272000 | #Constraints: 27901
44.43/44.67 c INPROCESSING
44.43/44.67 c GARBAGE COLLECT
44.43/44.67 c rational objective 908
46.33/46.53 c #Conflicts: 273000 | #Constraints: 18395
46.33/46.53 c #Conflicts: 274000 | #Constraints: 19395
46.33/46.53 c #Conflicts: 275000 | #Constraints: 20395
46.33/46.53 c #Conflicts: 276000 | #Constraints: 21395
46.33/46.53 c #Conflicts: 277000 | #Constraints: 22395
46.33/46.53 c #Conflicts: 278000 | #Constraints: 23395
46.33/46.53 c #Conflicts: 279000 | #Constraints: 24395
46.33/46.53 c #Conflicts: 280000 | #Constraints: 25395
46.33/46.53 c #Conflicts: 281000 | #Constraints: 26395
46.33/46.53 c #Conflicts: 282000 | #Constraints: 27395
46.33/46.53 c INPROCESSING
46.33/46.53 c GARBAGE COLLECT
46.33/46.53 c rational objective 908
48.22/48.41 c #Conflicts: 283000 | #Constraints: 17709
48.22/48.41 c #Conflicts: 284000 | #Constraints: 18709
48.22/48.41 c #Conflicts: 285000 | #Constraints: 19709
48.22/48.41 c #Conflicts: 286000 | #Constraints: 20709
48.22/48.41 c #Conflicts: 287000 | #Constraints: 21709
48.22/48.41 c #Conflicts: 288000 | #Constraints: 22709
48.22/48.41 c #Conflicts: 289000 | #Constraints: 23709
48.22/48.41 c #Conflicts: 290000 | #Constraints: 24709
48.22/48.41 c #Conflicts: 291000 | #Constraints: 25709
48.22/48.41 c #Conflicts: 292000 | #Constraints: 26709
48.22/48.41 c #Conflicts: 293000 | #Constraints: 27709
48.22/48.41 c #Conflicts: 294000 | #Constraints: 28709
48.22/48.41 c INPROCESSING
48.22/48.41 c GARBAGE COLLECT
48.22/48.41 c rational objective 908
50.12/50.36 c #Conflicts: 295000 | #Constraints: 18814
50.12/50.36 c #Conflicts: 296000 | #Constraints: 19814
50.12/50.36 c #Conflicts: 297000 | #Constraints: 20814
50.12/50.36 c #Conflicts: 298000 | #Constraints: 21814
50.12/50.36 c #Conflicts: 299000 | #Constraints: 22814
50.12/50.36 c #Conflicts: 300000 | #Constraints: 23814
50.12/50.36 c #Conflicts: 301000 | #Constraints: 24814
50.12/50.36 c #Conflicts: 302000 | #Constraints: 25814
50.12/50.36 c #Conflicts: 303000 | #Constraints: 26814
50.12/50.36 c #Conflicts: 304000 | #Constraints: 27814
50.12/50.36 c #Conflicts: 305000 | #Constraints: 28814
50.12/50.36 c INPROCESSING
50.12/50.36 c GARBAGE COLLECT
50.12/50.36 c rational objective 908
51.92/52.11 c #Conflicts: 306000 | #Constraints: 18713
51.92/52.11 c #Conflicts: 307000 | #Constraints: 19713
51.92/52.11 c #Conflicts: 308000 | #Constraints: 20713
51.92/52.11 c #Conflicts: 309000 | #Constraints: 21713
51.92/52.11 c #Conflicts: 310000 | #Constraints: 22713
51.92/52.11 c #Conflicts: 311000 | #Constraints: 23713
51.92/52.11 c #Conflicts: 312000 | #Constraints: 24713
51.92/52.11 c #Conflicts: 313000 | #Constraints: 25713
51.92/52.11 c #Conflicts: 314000 | #Constraints: 26713
51.92/52.11 c #Conflicts: 315000 | #Constraints: 27713
51.92/52.11 c #Conflicts: 316000 | #Constraints: 28713
51.92/52.11 c INPROCESSING
51.92/52.11 c GARBAGE COLLECT
51.92/52.11 c rational objective 908
53.81/54.07 c #Conflicts: 317000 | #Constraints: 18415
53.81/54.07 c #Conflicts: 318000 | #Constraints: 19415
53.81/54.07 c #Conflicts: 319000 | #Constraints: 20415
53.81/54.07 c #Conflicts: 320000 | #Constraints: 21415
53.81/54.07 c #Conflicts: 321000 | #Constraints: 22415
53.81/54.07 c #Conflicts: 322000 | #Constraints: 23415
53.81/54.07 c #Conflicts: 323000 | #Constraints: 24415
53.81/54.07 c #Conflicts: 324000 | #Constraints: 25415
53.81/54.07 c #Conflicts: 325000 | #Constraints: 26415
53.81/54.07 c #Conflicts: 326000 | #Constraints: 27415
53.81/54.07 c #Conflicts: 327000 | #Constraints: 28415
53.81/54.07 c #Conflicts: 328000 | #Constraints: 29415
53.81/54.07 c INPROCESSING
53.81/54.07 c GARBAGE COLLECT
53.81/54.07 c rational objective 908
55.81/56.02 c #Conflicts: 329000 | #Constraints: 18909
55.81/56.02 c #Conflicts: 330000 | #Constraints: 19909
55.81/56.02 c #Conflicts: 331000 | #Constraints: 20909
55.81/56.02 c #Conflicts: 332000 | #Constraints: 21909
55.81/56.02 c #Conflicts: 333000 | #Constraints: 22909
55.81/56.02 c #Conflicts: 334000 | #Constraints: 23909
55.81/56.02 c #Conflicts: 335000 | #Constraints: 24909
55.81/56.02 c #Conflicts: 336000 | #Constraints: 25909
55.81/56.02 c #Conflicts: 337000 | #Constraints: 26909
55.81/56.02 c #Conflicts: 338000 | #Constraints: 27909
55.81/56.02 c #Conflicts: 339000 | #Constraints: 28909
55.81/56.02 c #Conflicts: 340000 | #Constraints: 29909
55.81/56.02 c INPROCESSING
55.81/56.02 c GARBAGE COLLECT
55.81/56.02 c rational objective 908
57.90/58.16 c #Conflicts: 341000 | #Constraints: 19213
57.90/58.16 c #Conflicts: 342000 | #Constraints: 20213
57.90/58.16 c #Conflicts: 343000 | #Constraints: 21213
57.90/58.16 c #Conflicts: 344000 | #Constraints: 22213
57.90/58.16 c #Conflicts: 345000 | #Constraints: 23213
57.90/58.16 c #Conflicts: 346000 | #Constraints: 24213
57.90/58.16 c #Conflicts: 347000 | #Constraints: 25213
57.90/58.16 c #Conflicts: 348000 | #Constraints: 26213
57.90/58.16 c #Conflicts: 349000 | #Constraints: 27213
57.90/58.16 c #Conflicts: 350000 | #Constraints: 28213
57.90/58.16 c #Conflicts: 351000 | #Constraints: 29213
57.90/58.16 c #Conflicts: 352000 | #Constraints: 30213
57.90/58.16 c INPROCESSING
57.90/58.16 c GARBAGE COLLECT
57.90/58.16 c rational objective 908
59.90/60.14 c #Conflicts: 353000 | #Constraints: 19308
59.90/60.14 c #Conflicts: 354000 | #Constraints: 20308
59.90/60.14 c #Conflicts: 355000 | #Constraints: 21308
59.90/60.14 c #Conflicts: 356000 | #Constraints: 22308
59.90/60.14 c #Conflicts: 357000 | #Constraints: 23308
59.90/60.14 c #Conflicts: 358000 | #Constraints: 24308
59.90/60.14 c #Conflicts: 359000 | #Constraints: 25308
59.90/60.14 c #Conflicts: 360000 | #Constraints: 26308
59.90/60.14 c #Conflicts: 361000 | #Constraints: 27308
59.90/60.14 c #Conflicts: 362000 | #Constraints: 28308
59.90/60.14 c #Conflicts: 363000 | #Constraints: 29308
59.90/60.14 c #Conflicts: 364000 | #Constraints: 30308
59.90/60.14 c INPROCESSING
59.90/60.14 c GARBAGE COLLECT
59.90/60.14 c rational objective 908
62.38/62.61 c #Conflicts: 365000 | #Constraints: 19207
62.38/62.61 c #Conflicts: 366000 | #Constraints: 20207
62.38/62.61 c #Conflicts: 367000 | #Constraints: 21207
62.38/62.61 c #Conflicts: 368000 | #Constraints: 22207
62.38/62.61 c #Conflicts: 369000 | #Constraints: 23207
62.38/62.61 c #Conflicts: 370000 | #Constraints: 24207
62.38/62.61 c #Conflicts: 371000 | #Constraints: 25207
62.38/62.61 c #Conflicts: 372000 | #Constraints: 26207
62.38/62.61 c #Conflicts: 373000 | #Constraints: 27207
62.38/62.61 c #Conflicts: 374000 | #Constraints: 28207
62.38/62.61 c #Conflicts: 375000 | #Constraints: 29207
62.38/62.61 c #Conflicts: 376000 | #Constraints: 30207
62.38/62.61 c #Conflicts: 377000 | #Constraints: 31207
62.38/62.61 c INPROCESSING
62.38/62.61 c GARBAGE COLLECT
62.38/62.61 c rational objective 908
64.57/64.88 c #Conflicts: 378000 | #Constraints: 19932
64.57/64.88 c #Conflicts: 379000 | #Constraints: 20932
64.57/64.88 c #Conflicts: 380000 | #Constraints: 21932
64.57/64.88 c #Conflicts: 381000 | #Constraints: 22932
64.57/64.88 c #Conflicts: 382000 | #Constraints: 23932
64.57/64.88 c #Conflicts: 383000 | #Constraints: 24932
64.57/64.88 c #Conflicts: 384000 | #Constraints: 25932
64.57/64.88 c #Conflicts: 385000 | #Constraints: 26932
64.57/64.88 c #Conflicts: 386000 | #Constraints: 27932
64.57/64.88 c #Conflicts: 387000 | #Constraints: 28932
64.57/64.88 c #Conflicts: 388000 | #Constraints: 29932
64.57/64.88 c #Conflicts: 389000 | #Constraints: 30932
64.57/64.88 c #Conflicts: 390000 | #Constraints: 31932
64.57/64.88 c INPROCESSING
64.57/64.88 c GARBAGE COLLECT
64.57/64.88 c rational objective 908
66.78/67.08 c #Conflicts: 391000 | #Constraints: 20434
66.78/67.08 c #Conflicts: 392000 | #Constraints: 21434
66.78/67.08 c #Conflicts: 393000 | #Constraints: 22434
66.78/67.08 c #Conflicts: 394000 | #Constraints: 23434
66.78/67.08 c #Conflicts: 395000 | #Constraints: 24434
66.78/67.08 c #Conflicts: 396000 | #Constraints: 25434
66.78/67.08 c #Conflicts: 397000 | #Constraints: 26434
66.78/67.08 c #Conflicts: 398000 | #Constraints: 27434
66.78/67.08 c #Conflicts: 399000 | #Constraints: 28434
66.78/67.08 c #Conflicts: 400000 | #Constraints: 29434
66.78/67.08 c #Conflicts: 401000 | #Constraints: 30434
66.78/67.08 c #Conflicts: 402000 | #Constraints: 31434
66.78/67.08 c INPROCESSING
66.78/67.08 c GARBAGE COLLECT
66.78/67.08 c rational objective 908
69.35/69.62 c #Conflicts: 403000 | #Constraints: 19729
69.35/69.62 c #Conflicts: 404000 | #Constraints: 20729
69.35/69.62 c #Conflicts: 405000 | #Constraints: 21729
69.35/69.62 c #Conflicts: 406000 | #Constraints: 22729
69.35/69.62 c #Conflicts: 407000 | #Constraints: 23729
69.35/69.62 c #Conflicts: 408000 | #Constraints: 24729
69.35/69.62 c #Conflicts: 409000 | #Constraints: 25729
69.35/69.62 c #Conflicts: 410000 | #Constraints: 26729
69.35/69.62 c #Conflicts: 411000 | #Constraints: 27729
69.35/69.62 c #Conflicts: 412000 | #Constraints: 28729
69.35/69.62 c #Conflicts: 413000 | #Constraints: 29729
69.35/69.62 c #Conflicts: 414000 | #Constraints: 30729
69.35/69.62 c #Conflicts: 415000 | #Constraints: 31729
69.35/69.62 c #Conflicts: 416000 | #Constraints: 32729
69.35/69.62 c INPROCESSING
69.35/69.62 c GARBAGE COLLECT
69.35/69.62 c rational objective 908
71.86/72.14 c #Conflicts: 417000 | #Constraints: 20827
71.86/72.14 c #Conflicts: 418000 | #Constraints: 21827
71.86/72.14 c #Conflicts: 419000 | #Constraints: 22827
71.86/72.14 c #Conflicts: 420000 | #Constraints: 23827
71.86/72.14 c #Conflicts: 421000 | #Constraints: 24827
71.86/72.14 c #Conflicts: 422000 | #Constraints: 25827
71.86/72.14 c #Conflicts: 423000 | #Constraints: 26827
71.86/72.14 c #Conflicts: 424000 | #Constraints: 27827
71.86/72.14 c #Conflicts: 425000 | #Constraints: 28827
71.86/72.14 c #Conflicts: 426000 | #Constraints: 29827
71.86/72.14 c #Conflicts: 427000 | #Constraints: 30827
71.86/72.14 c #Conflicts: 428000 | #Constraints: 31827
71.86/72.14 c #Conflicts: 429000 | #Constraints: 32827
71.86/72.14 c INPROCESSING
71.86/72.14 c GARBAGE COLLECT
71.86/72.14 c rational objective 908
74.94/75.27 c #Conflicts: 430000 | #Constraints: 20740
74.94/75.27 c #Conflicts: 431000 | #Constraints: 21740
74.94/75.27 c #Conflicts: 432000 | #Constraints: 22740
74.94/75.27 c #Conflicts: 433000 | #Constraints: 23740
74.94/75.27 c #Conflicts: 434000 | #Constraints: 24740
74.94/75.27 c #Conflicts: 435000 | #Constraints: 25740
74.94/75.27 c #Conflicts: 436000 | #Constraints: 26740
74.94/75.27 c #Conflicts: 437000 | #Constraints: 27740
74.94/75.27 c #Conflicts: 438000 | #Constraints: 28740
74.94/75.27 c #Conflicts: 439000 | #Constraints: 29740
74.94/75.27 c #Conflicts: 440000 | #Constraints: 30740
74.94/75.27 c #Conflicts: 441000 | #Constraints: 31740
74.94/75.27 c #Conflicts: 442000 | #Constraints: 32740
74.94/75.27 c INPROCESSING
74.94/75.27 c GARBAGE COLLECT
74.94/75.27 c rational objective 908
77.33/77.60 c #Conflicts: 443000 | #Constraints: 20437
77.33/77.60 c #Conflicts: 444000 | #Constraints: 21437
77.33/77.60 c #Conflicts: 445000 | #Constraints: 22437
77.33/77.60 c #Conflicts: 446000 | #Constraints: 23437
77.33/77.60 c #Conflicts: 447000 | #Constraints: 24437
77.33/77.60 c #Conflicts: 448000 | #Constraints: 25437
77.33/77.60 c #Conflicts: 449000 | #Constraints: 26437
77.33/77.60 c #Conflicts: 450000 | #Constraints: 27437
77.33/77.60 c #Conflicts: 451000 | #Constraints: 28437
77.33/77.60 c #Conflicts: 452000 | #Constraints: 29437
77.33/77.60 c #Conflicts: 453000 | #Constraints: 30437
77.33/77.60 c #Conflicts: 454000 | #Constraints: 31437
77.33/77.60 c #Conflicts: 455000 | #Constraints: 32437
77.33/77.60 c #Conflicts: 456000 | #Constraints: 33437
77.33/77.60 c INPROCESSING
77.33/77.60 c GARBAGE COLLECT
77.33/77.60 c rational objective 908
79.52/79.83 c #Conflicts: 457000 | #Constraints: 20935
79.52/79.83 c #Conflicts: 458000 | #Constraints: 21935
79.52/79.83 c #Conflicts: 459000 | #Constraints: 22935
79.52/79.83 c #Conflicts: 460000 | #Constraints: 23935
79.52/79.83 c #Conflicts: 461000 | #Constraints: 24935
79.52/79.83 c #Conflicts: 462000 | #Constraints: 25935
79.52/79.83 c #Conflicts: 463000 | #Constraints: 26935
79.52/79.83 c #Conflicts: 464000 | #Constraints: 27935
79.52/79.83 c #Conflicts: 465000 | #Constraints: 28935
79.52/79.83 c #Conflicts: 466000 | #Constraints: 29935
79.52/79.83 c #Conflicts: 467000 | #Constraints: 30935
79.52/79.83 c #Conflicts: 468000 | #Constraints: 31935
79.52/79.83 c #Conflicts: 469000 | #Constraints: 32935
79.52/79.83 c #Conflicts: 470000 | #Constraints: 33935
79.52/79.83 c INPROCESSING
79.52/79.83 c GARBAGE COLLECT
79.52/79.83 c rational objective 908
82.31/82.64 c #Conflicts: 471000 | #Constraints: 21249
82.31/82.64 c #Conflicts: 472000 | #Constraints: 22249
82.31/82.64 c #Conflicts: 473000 | #Constraints: 23249
82.31/82.64 c #Conflicts: 474000 | #Constraints: 24249
82.31/82.64 c #Conflicts: 475000 | #Constraints: 25249
82.31/82.64 c #Conflicts: 476000 | #Constraints: 26249
82.31/82.64 c #Conflicts: 477000 | #Constraints: 27249
82.31/82.64 c #Conflicts: 478000 | #Constraints: 28249
82.31/82.64 c #Conflicts: 479000 | #Constraints: 29249
82.31/82.64 c #Conflicts: 480000 | #Constraints: 30249
82.31/82.64 c #Conflicts: 481000 | #Constraints: 31249
82.31/82.64 c #Conflicts: 482000 | #Constraints: 32249
82.31/82.64 c #Conflicts: 483000 | #Constraints: 33249
82.31/82.64 c #Conflicts: 484000 | #Constraints: 34249
82.31/82.64 c INPROCESSING
82.31/82.64 c GARBAGE COLLECT
82.31/82.64 c rational objective 908
85.20/85.50 c #Conflicts: 485000 | #Constraints: 21343
85.20/85.50 c #Conflicts: 486000 | #Constraints: 22343
85.20/85.50 c #Conflicts: 487000 | #Constraints: 23343
85.20/85.50 c #Conflicts: 488000 | #Constraints: 24343
85.20/85.50 c #Conflicts: 489000 | #Constraints: 25343
85.20/85.50 c #Conflicts: 490000 | #Constraints: 26343
85.20/85.50 c #Conflicts: 491000 | #Constraints: 27343
85.20/85.50 c #Conflicts: 492000 | #Constraints: 28343
85.20/85.50 c #Conflicts: 493000 | #Constraints: 29343
85.20/85.50 c #Conflicts: 494000 | #Constraints: 30343
85.20/85.50 c #Conflicts: 495000 | #Constraints: 31343
85.20/85.50 c #Conflicts: 496000 | #Constraints: 32343
85.20/85.50 c #Conflicts: 497000 | #Constraints: 33343
85.20/85.50 c #Conflicts: 498000 | #Constraints: 34343
85.20/85.50 c INPROCESSING
85.20/85.50 c GARBAGE COLLECT
85.20/85.50 c rational objective 908
88.29/88.61 c #Conflicts: 499000 | #Constraints: 21235
88.29/88.61 c #Conflicts: 500000 | #Constraints: 22235
88.29/88.61 c #Conflicts: 501000 | #Constraints: 23235
88.29/88.61 c #Conflicts: 502000 | #Constraints: 24235
88.29/88.61 c #Conflicts: 503000 | #Constraints: 25235
88.29/88.61 c #Conflicts: 504000 | #Constraints: 26235
88.29/88.61 c #Conflicts: 505000 | #Constraints: 27235
88.29/88.61 c #Conflicts: 506000 | #Constraints: 28235
88.29/88.61 c #Conflicts: 507000 | #Constraints: 29235
88.29/88.61 c #Conflicts: 508000 | #Constraints: 30235
88.29/88.61 c #Conflicts: 509000 | #Constraints: 31235
88.29/88.61 c #Conflicts: 510000 | #Constraints: 32235
88.29/88.61 c #Conflicts: 511000 | #Constraints: 33235
88.29/88.61 c #Conflicts: 512000 | #Constraints: 34235
88.29/88.61 c #Conflicts: 513000 | #Constraints: 35235
88.29/88.61 c INPROCESSING
88.29/88.61 c GARBAGE COLLECT
88.29/88.61 c rational objective 908
90.89/91.21 c #Conflicts: 514000 | #Constraints: 21928
90.89/91.21 c #Conflicts: 515000 | #Constraints: 22928
90.89/91.21 c #Conflicts: 516000 | #Constraints: 23928
90.89/91.21 c #Conflicts: 517000 | #Constraints: 24928
90.89/91.21 c #Conflicts: 518000 | #Constraints: 25928
90.89/91.21 c #Conflicts: 519000 | #Constraints: 26928
90.89/91.21 c #Conflicts: 520000 | #Constraints: 27928
90.89/91.21 c #Conflicts: 521000 | #Constraints: 28928
90.89/91.21 c #Conflicts: 522000 | #Constraints: 29928
90.89/91.21 c #Conflicts: 523000 | #Constraints: 30928
90.89/91.21 c #Conflicts: 524000 | #Constraints: 31928
90.89/91.21 c #Conflicts: 525000 | #Constraints: 32928
90.89/91.21 c #Conflicts: 526000 | #Constraints: 33928
90.89/91.21 c #Conflicts: 527000 | #Constraints: 34928
90.89/91.21 c #Conflicts: 528000 | #Constraints: 35928
90.89/91.21 c INPROCESSING
90.89/91.21 c GARBAGE COLLECT
90.89/91.21 c rational objective 908
93.48/93.86 c #Conflicts: 529000 | #Constraints: 22443
93.48/93.86 c #Conflicts: 530000 | #Constraints: 23443
93.48/93.86 c #Conflicts: 531000 | #Constraints: 24443
93.48/93.86 c #Conflicts: 532000 | #Constraints: 25443
93.48/93.86 c #Conflicts: 533000 | #Constraints: 26443
93.48/93.86 c #Conflicts: 534000 | #Constraints: 27443
93.48/93.86 c #Conflicts: 535000 | #Constraints: 28443
93.48/93.86 c #Conflicts: 536000 | #Constraints: 29443
93.48/93.86 c #Conflicts: 537000 | #Constraints: 30443
93.48/93.86 c #Conflicts: 538000 | #Constraints: 31443
93.48/93.86 c #Conflicts: 539000 | #Constraints: 32443
93.48/93.86 c #Conflicts: 540000 | #Constraints: 33443
93.48/93.86 c #Conflicts: 541000 | #Constraints: 34443
93.48/93.86 c #Conflicts: 542000 | #Constraints: 35443
93.48/93.86 c INPROCESSING
93.48/93.86 c GARBAGE COLLECT
93.48/93.86 c rational objective 908
96.18/96.58 c #Conflicts: 543000 | #Constraints: 21732
96.18/96.58 c #Conflicts: 544000 | #Constraints: 22732
96.18/96.58 c #Conflicts: 545000 | #Constraints: 23732
96.18/96.58 c #Conflicts: 546000 | #Constraints: 24732
96.18/96.58 c #Conflicts: 547000 | #Constraints: 25732
96.18/96.58 c #Conflicts: 548000 | #Constraints: 26732
96.18/96.58 c #Conflicts: 549000 | #Constraints: 27732
96.18/96.58 c #Conflicts: 550000 | #Constraints: 28732
96.18/96.58 c #Conflicts: 551000 | #Constraints: 29732
96.18/96.58 c #Conflicts: 552000 | #Constraints: 30732
96.18/96.58 c #Conflicts: 553000 | #Constraints: 31732
96.18/96.58 c #Conflicts: 554000 | #Constraints: 32732
96.18/96.58 c #Conflicts: 555000 | #Constraints: 33732
96.18/96.58 c #Conflicts: 556000 | #Constraints: 34732
96.18/96.58 c #Conflicts: 557000 | #Constraints: 35732
96.18/96.58 c #Conflicts: 558000 | #Constraints: 36732
96.18/96.58 c INPROCESSING
96.18/96.58 c GARBAGE COLLECT
96.18/96.58 c rational objective 908
98.86/99.28 c #Conflicts: 559000 | #Constraints: 22817
98.86/99.28 c #Conflicts: 560000 | #Constraints: 23817
98.86/99.28 c #Conflicts: 561000 | #Constraints: 24817
98.86/99.28 c #Conflicts: 562000 | #Constraints: 25817
98.86/99.28 c #Conflicts: 563000 | #Constraints: 26817
98.86/99.28 c #Conflicts: 564000 | #Constraints: 27817
98.86/99.28 c #Conflicts: 565000 | #Constraints: 28817
98.86/99.28 c #Conflicts: 566000 | #Constraints: 29817
98.86/99.28 c #Conflicts: 567000 | #Constraints: 30817
98.86/99.28 c #Conflicts: 568000 | #Constraints: 31817
98.86/99.28 c #Conflicts: 569000 | #Constraints: 32817
98.86/99.28 c #Conflicts: 570000 | #Constraints: 33817
98.86/99.28 c #Conflicts: 571000 | #Constraints: 34817
98.86/99.28 c #Conflicts: 572000 | #Constraints: 35817
98.86/99.28 c #Conflicts: 573000 | #Constraints: 36817
98.86/99.28 c INPROCESSING
98.86/99.28 c GARBAGE COLLECT
98.86/99.28 c rational objective 908
101.78/102.11 c #Conflicts: 574000 | #Constraints: 22722
101.78/102.11 c #Conflicts: 575000 | #Constraints: 23722
101.78/102.11 c #Conflicts: 576000 | #Constraints: 24722
101.78/102.11 c #Conflicts: 577000 | #Constraints: 25722
101.78/102.11 c #Conflicts: 578000 | #Constraints: 26722
101.78/102.11 c #Conflicts: 579000 | #Constraints: 27722
101.78/102.11 c #Conflicts: 580000 | #Constraints: 28722
101.78/102.11 c #Conflicts: 581000 | #Constraints: 29722
101.78/102.11 c #Conflicts: 582000 | #Constraints: 30722
101.78/102.11 c #Conflicts: 583000 | #Constraints: 31722
101.78/102.11 c #Conflicts: 584000 | #Constraints: 32722
101.78/102.11 c #Conflicts: 585000 | #Constraints: 33722
101.78/102.11 c #Conflicts: 586000 | #Constraints: 34722
101.78/102.11 c #Conflicts: 587000 | #Constraints: 35722
101.78/102.11 c #Conflicts: 588000 | #Constraints: 36722
101.78/102.11 c INPROCESSING
101.78/102.11 c GARBAGE COLLECT
101.78/102.11 c rational objective 908
104.66/105.05 c #Conflicts: 589000 | #Constraints: 22416
104.66/105.05 c #Conflicts: 590000 | #Constraints: 23416
104.66/105.05 c #Conflicts: 591000 | #Constraints: 24416
104.66/105.05 c #Conflicts: 592000 | #Constraints: 25416
104.66/105.05 c #Conflicts: 593000 | #Constraints: 26416
104.66/105.05 c #Conflicts: 594000 | #Constraints: 27416
104.66/105.05 c #Conflicts: 595000 | #Constraints: 28416
104.66/105.05 c #Conflicts: 596000 | #Constraints: 29416
104.66/105.05 c #Conflicts: 597000 | #Constraints: 30416
104.66/105.05 c #Conflicts: 598000 | #Constraints: 31416
104.66/105.05 c #Conflicts: 599000 | #Constraints: 32416
104.66/105.05 c #Conflicts: 600000 | #Constraints: 33416
104.66/105.05 c #Conflicts: 601000 | #Constraints: 34416
104.66/105.05 c #Conflicts: 602000 | #Constraints: 35416
104.66/105.05 c #Conflicts: 603000 | #Constraints: 36416
104.66/105.05 c #Conflicts: 604000 | #Constraints: 37416
104.66/105.05 c INPROCESSING
104.66/105.05 c GARBAGE COLLECT
104.66/105.05 c rational objective 908
107.84/108.21 c #Conflicts: 605000 | #Constraints: 22926
107.84/108.21 c #Conflicts: 606000 | #Constraints: 23926
107.84/108.21 c #Conflicts: 607000 | #Constraints: 24926
107.84/108.21 c #Conflicts: 608000 | #Constraints: 25926
107.84/108.21 c #Conflicts: 609000 | #Constraints: 26926
107.84/108.21 c #Conflicts: 610000 | #Constraints: 27926
107.84/108.21 c #Conflicts: 611000 | #Constraints: 28926
107.84/108.21 c #Conflicts: 612000 | #Constraints: 29926
107.84/108.21 c #Conflicts: 613000 | #Constraints: 30926
107.84/108.21 c #Conflicts: 614000 | #Constraints: 31926
107.84/108.21 c #Conflicts: 615000 | #Constraints: 32926
107.84/108.21 c #Conflicts: 616000 | #Constraints: 33926
107.84/108.21 c #Conflicts: 617000 | #Constraints: 34926
107.84/108.21 c #Conflicts: 618000 | #Constraints: 35926
107.84/108.21 c #Conflicts: 619000 | #Constraints: 36926
107.84/108.21 c #Conflicts: 620000 | #Constraints: 37926
107.84/108.21 c INPROCESSING
107.84/108.21 c GARBAGE COLLECT
107.84/108.21 c rational objective 908
110.65/111.09 c #Conflicts: 621000 | #Constraints: 23217
110.65/111.09 c #Conflicts: 622000 | #Constraints: 24217
110.65/111.09 c #Conflicts: 623000 | #Constraints: 25217
110.65/111.09 c #Conflicts: 624000 | #Constraints: 26217
110.65/111.09 c #Conflicts: 625000 | #Constraints: 27217
110.65/111.09 c #Conflicts: 626000 | #Constraints: 28217
110.65/111.09 c #Conflicts: 627000 | #Constraints: 29217
110.65/111.09 c #Conflicts: 628000 | #Constraints: 30217
110.65/111.09 c #Conflicts: 629000 | #Constraints: 31217
110.65/111.09 c #Conflicts: 630000 | #Constraints: 32217
110.65/111.09 c #Conflicts: 631000 | #Constraints: 33217
110.65/111.09 c #Conflicts: 632000 | #Constraints: 34217
110.65/111.09 c #Conflicts: 633000 | #Constraints: 35217
110.65/111.09 c #Conflicts: 634000 | #Constraints: 36217
110.65/111.09 c #Conflicts: 635000 | #Constraints: 37217
110.65/111.09 c #Conflicts: 636000 | #Constraints: 38217
110.65/111.09 c INPROCESSING
110.65/111.09 c GARBAGE COLLECT
110.65/111.09 c rational objective 908
113.43/113.88 c #Conflicts: 637000 | #Constraints: 23315
113.43/113.88 c #Conflicts: 638000 | #Constraints: 24315
113.43/113.88 c #Conflicts: 639000 | #Constraints: 25315
113.43/113.88 c #Conflicts: 640000 | #Constraints: 26315
113.43/113.88 c #Conflicts: 641000 | #Constraints: 27315
113.43/113.88 c #Conflicts: 642000 | #Constraints: 28315
113.43/113.88 c #Conflicts: 643000 | #Constraints: 29315
113.43/113.88 c #Conflicts: 644000 | #Constraints: 30315
113.43/113.88 c #Conflicts: 645000 | #Constraints: 31315
113.43/113.88 c #Conflicts: 646000 | #Constraints: 32315
113.43/113.88 c #Conflicts: 647000 | #Constraints: 33315
113.43/113.88 c #Conflicts: 648000 | #Constraints: 34315
113.43/113.88 c #Conflicts: 649000 | #Constraints: 35315
113.43/113.88 c #Conflicts: 650000 | #Constraints: 36315
113.43/113.88 c #Conflicts: 651000 | #Constraints: 37315
113.43/113.88 c #Conflicts: 652000 | #Constraints: 38315
113.43/113.88 c INPROCESSING
113.43/113.88 c GARBAGE COLLECT
113.43/113.88 c rational objective 908
116.42/116.89 c #Conflicts: 653000 | #Constraints: 23231
116.42/116.89 c #Conflicts: 654000 | #Constraints: 24231
116.42/116.89 c #Conflicts: 655000 | #Constraints: 25231
116.42/116.89 c #Conflicts: 656000 | #Constraints: 26231
116.42/116.89 c #Conflicts: 657000 | #Constraints: 27231
116.42/116.89 c #Conflicts: 658000 | #Constraints: 28231
116.42/116.89 c #Conflicts: 659000 | #Constraints: 29231
116.42/116.89 c #Conflicts: 660000 | #Constraints: 30231
116.42/116.89 c #Conflicts: 661000 | #Constraints: 31231
116.42/116.89 c #Conflicts: 662000 | #Constraints: 32231
116.42/116.89 c #Conflicts: 663000 | #Constraints: 33231
116.42/116.89 c #Conflicts: 664000 | #Constraints: 34231
116.42/116.89 c #Conflicts: 665000 | #Constraints: 35231
116.42/116.89 c #Conflicts: 666000 | #Constraints: 36231
116.42/116.89 c #Conflicts: 667000 | #Constraints: 37231
116.42/116.89 c #Conflicts: 668000 | #Constraints: 38231
116.42/116.89 c #Conflicts: 669000 | #Constraints: 39231
116.42/116.89 c INPROCESSING
116.42/116.89 c GARBAGE COLLECT
116.42/116.89 c rational objective 908
119.62/120.03 c #Conflicts: 670000 | #Constraints: 23927
119.62/120.03 c #Conflicts: 671000 | #Constraints: 24927
119.62/120.03 c #Conflicts: 672000 | #Constraints: 25927
119.62/120.03 c #Conflicts: 673000 | #Constraints: 26927
119.62/120.03 c #Conflicts: 674000 | #Constraints: 27927
119.62/120.03 c #Conflicts: 675000 | #Constraints: 28927
119.62/120.03 c #Conflicts: 676000 | #Constraints: 29927
119.62/120.03 c #Conflicts: 677000 | #Constraints: 30927
119.62/120.03 c #Conflicts: 678000 | #Constraints: 31927
119.62/120.03 c #Conflicts: 679000 | #Constraints: 32927
119.62/120.03 c #Conflicts: 680000 | #Constraints: 33927
119.62/120.03 c #Conflicts: 681000 | #Constraints: 34927
119.62/120.03 c #Conflicts: 682000 | #Constraints: 35927
119.62/120.03 c #Conflicts: 683000 | #Constraints: 36927
119.62/120.03 c #Conflicts: 684000 | #Constraints: 37927
119.62/120.03 c #Conflicts: 685000 | #Constraints: 38927
119.62/120.03 c #Conflicts: 686000 | #Constraints: 39927
119.62/120.03 c INPROCESSING
119.62/120.03 c GARBAGE COLLECT
119.62/120.03 c rational objective 908
122.90/123.37 c #Conflicts: 687000 | #Constraints: 24444
122.90/123.37 c #Conflicts: 688000 | #Constraints: 25444
122.90/123.37 c #Conflicts: 689000 | #Constraints: 26444
122.90/123.37 c #Conflicts: 690000 | #Constraints: 27444
122.90/123.37 c #Conflicts: 691000 | #Constraints: 28444
122.90/123.37 c #Conflicts: 692000 | #Constraints: 29444
122.90/123.37 c #Conflicts: 693000 | #Constraints: 30444
122.90/123.37 c #Conflicts: 694000 | #Constraints: 31444
122.90/123.37 c #Conflicts: 695000 | #Constraints: 32444
122.90/123.37 c #Conflicts: 696000 | #Constraints: 33444
122.90/123.37 c #Conflicts: 697000 | #Constraints: 34444
122.90/123.37 c #Conflicts: 698000 | #Constraints: 35444
122.90/123.37 c #Conflicts: 699000 | #Constraints: 36444
122.90/123.37 c #Conflicts: 700000 | #Constraints: 37444
122.90/123.37 c #Conflicts: 701000 | #Constraints: 38444
122.90/123.37 c #Conflicts: 702000 | #Constraints: 39444
122.90/123.37 c INPROCESSING
122.90/123.37 c GARBAGE COLLECT
122.90/123.37 c rational objective 908
126.61/127.09 c #Conflicts: 703000 | #Constraints: 23746
126.61/127.09 c #Conflicts: 704000 | #Constraints: 24746
126.61/127.09 c #Conflicts: 705000 | #Constraints: 25746
126.61/127.09 c #Conflicts: 706000 | #Constraints: 26746
126.61/127.09 c #Conflicts: 707000 | #Constraints: 27746
126.61/127.09 c #Conflicts: 708000 | #Constraints: 28746
126.61/127.09 c #Conflicts: 709000 | #Constraints: 29746
126.61/127.09 c #Conflicts: 710000 | #Constraints: 30746
126.61/127.09 c #Conflicts: 711000 | #Constraints: 31746
126.61/127.09 c #Conflicts: 712000 | #Constraints: 32746
126.61/127.09 c #Conflicts: 713000 | #Constraints: 33746
126.61/127.09 c #Conflicts: 714000 | #Constraints: 34746
126.61/127.09 c #Conflicts: 715000 | #Constraints: 35746
126.61/127.09 c #Conflicts: 716000 | #Constraints: 36746
126.61/127.09 c #Conflicts: 717000 | #Constraints: 37746
126.61/127.09 c #Conflicts: 718000 | #Constraints: 38746
126.61/127.09 c #Conflicts: 719000 | #Constraints: 39746
126.61/127.09 c #Conflicts: 720000 | #Constraints: 40746
126.61/127.09 c INPROCESSING
126.61/127.09 c GARBAGE COLLECT
126.61/127.09 c rational objective 908
130.98/131.42 c #Conflicts: 721000 | #Constraints: 24841
130.98/131.42 c #Conflicts: 722000 | #Constraints: 25841
130.98/131.42 c #Conflicts: 723000 | #Constraints: 26841
130.98/131.42 c #Conflicts: 724000 | #Constraints: 27841
130.98/131.42 c #Conflicts: 725000 | #Constraints: 28841
130.98/131.42 c #Conflicts: 726000 | #Constraints: 29841
130.98/131.42 c #Conflicts: 727000 | #Constraints: 30841
130.98/131.42 c #Conflicts: 728000 | #Constraints: 31841
130.98/131.42 c #Conflicts: 729000 | #Constraints: 32841
130.98/131.42 c #Conflicts: 730000 | #Constraints: 33841
130.98/131.42 c #Conflicts: 731000 | #Constraints: 34841
130.98/131.42 c #Conflicts: 732000 | #Constraints: 35841
130.98/131.42 c #Conflicts: 733000 | #Constraints: 36841
130.98/131.42 c #Conflicts: 734000 | #Constraints: 37841
130.98/131.42 c #Conflicts: 735000 | #Constraints: 38841
130.98/131.42 c #Conflicts: 736000 | #Constraints: 39841
130.98/131.42 c #Conflicts: 737000 | #Constraints: 40841
130.98/131.42 c INPROCESSING
130.98/131.42 c GARBAGE COLLECT
130.98/131.42 c rational objective 908
134.27/134.72 c #Conflicts: 738000 | #Constraints: 24738
134.27/134.72 c #Conflicts: 739000 | #Constraints: 25738
134.27/134.72 c #Conflicts: 740000 | #Constraints: 26738
134.27/134.72 c #Conflicts: 741000 | #Constraints: 27738
134.27/134.72 c #Conflicts: 742000 | #Constraints: 28738
134.27/134.72 c #Conflicts: 743000 | #Constraints: 29738
134.27/134.72 c #Conflicts: 744000 | #Constraints: 30738
134.27/134.72 c #Conflicts: 745000 | #Constraints: 31738
134.27/134.72 c #Conflicts: 746000 | #Constraints: 32738
134.27/134.72 c #Conflicts: 747000 | #Constraints: 33738
134.27/134.72 c #Conflicts: 748000 | #Constraints: 34738
134.27/134.72 c #Conflicts: 749000 | #Constraints: 35738
134.27/134.72 c #Conflicts: 750000 | #Constraints: 36738
134.27/134.72 c #Conflicts: 751000 | #Constraints: 37738
134.27/134.72 c #Conflicts: 752000 | #Constraints: 38738
134.27/134.72 c #Conflicts: 753000 | #Constraints: 39738
134.27/134.72 c #Conflicts: 754000 | #Constraints: 40738
134.27/134.72 c INPROCESSING
134.27/134.72 c GARBAGE COLLECT
134.27/134.72 c rational objective 908
137.46/137.93 c #Conflicts: 755000 | #Constraints: 24421
137.46/137.93 c #Conflicts: 756000 | #Constraints: 25421
137.46/137.93 c #Conflicts: 757000 | #Constraints: 26421
137.46/137.93 c #Conflicts: 758000 | #Constraints: 27421
137.46/137.93 c #Conflicts: 759000 | #Constraints: 28421
137.46/137.93 c #Conflicts: 760000 | #Constraints: 29421
137.46/137.93 c #Conflicts: 761000 | #Constraints: 30421
137.46/137.93 c #Conflicts: 762000 | #Constraints: 31421
137.46/137.93 c #Conflicts: 763000 | #Constraints: 32421
137.46/137.93 c #Conflicts: 764000 | #Constraints: 33421
137.46/137.93 c #Conflicts: 765000 | #Constraints: 34421
137.46/137.93 c #Conflicts: 766000 | #Constraints: 35421
137.46/137.93 c #Conflicts: 767000 | #Constraints: 36421
137.46/137.93 c #Conflicts: 768000 | #Constraints: 37421
137.46/137.93 c #Conflicts: 769000 | #Constraints: 38421
137.46/137.93 c #Conflicts: 770000 | #Constraints: 39421
137.46/137.93 c #Conflicts: 771000 | #Constraints: 40421
137.46/137.93 c #Conflicts: 772000 | #Constraints: 41421
137.46/137.93 c INPROCESSING
137.46/137.93 c GARBAGE COLLECT
137.46/137.93 c rational objective 908
140.57/141.09 c #Conflicts: 773000 | #Constraints: 24927
140.57/141.09 c #Conflicts: 774000 | #Constraints: 25927
140.57/141.09 c #Conflicts: 775000 | #Constraints: 26927
140.57/141.09 c #Conflicts: 776000 | #Constraints: 27927
140.57/141.09 c #Conflicts: 777000 | #Constraints: 28927
140.57/141.09 c #Conflicts: 778000 | #Constraints: 29927
140.57/141.09 c #Conflicts: 779000 | #Constraints: 30927
140.57/141.09 c #Conflicts: 780000 | #Constraints: 31927
140.57/141.09 c #Conflicts: 781000 | #Constraints: 32927
140.57/141.09 c #Conflicts: 782000 | #Constraints: 33927
140.57/141.09 c #Conflicts: 783000 | #Constraints: 34927
140.57/141.09 c #Conflicts: 784000 | #Constraints: 35927
140.57/141.09 c #Conflicts: 785000 | #Constraints: 36927
140.57/141.09 c #Conflicts: 786000 | #Constraints: 37927
140.57/141.09 c #Conflicts: 787000 | #Constraints: 38927
140.57/141.09 c #Conflicts: 788000 | #Constraints: 39927
140.57/141.09 c #Conflicts: 789000 | #Constraints: 40927
140.57/141.09 c #Conflicts: 790000 | #Constraints: 41927
140.57/141.09 c INPROCESSING
140.57/141.09 c GARBAGE COLLECT
140.57/141.09 c rational objective 908
144.14/144.62 c #Conflicts: 791000 | #Constraints: 25225
144.14/144.62 c #Conflicts: 792000 | #Constraints: 26225
144.14/144.62 c #Conflicts: 793000 | #Constraints: 27225
144.14/144.62 c #Conflicts: 794000 | #Constraints: 28225
144.14/144.62 c #Conflicts: 795000 | #Constraints: 29225
144.14/144.62 c #Conflicts: 796000 | #Constraints: 30225
144.14/144.62 c #Conflicts: 797000 | #Constraints: 31225
144.14/144.62 c #Conflicts: 798000 | #Constraints: 32225
144.14/144.62 c #Conflicts: 799000 | #Constraints: 33225
144.14/144.62 c #Conflicts: 800000 | #Constraints: 34225
144.14/144.62 c #Conflicts: 801000 | #Constraints: 35225
144.14/144.62 c #Conflicts: 802000 | #Constraints: 36225
144.14/144.62 c #Conflicts: 803000 | #Constraints: 37225
144.14/144.62 c #Conflicts: 804000 | #Constraints: 38225
144.14/144.62 c #Conflicts: 805000 | #Constraints: 39225
144.14/144.62 c #Conflicts: 806000 | #Constraints: 40225
144.14/144.62 c #Conflicts: 807000 | #Constraints: 41225
144.14/144.62 c #Conflicts: 808000 | #Constraints: 42225
144.14/144.62 c INPROCESSING
144.14/144.62 c GARBAGE COLLECT
144.14/144.62 c rational objective 908
147.65/148.13 c #Conflicts: 809000 | #Constraints: 25316
147.65/148.13 c #Conflicts: 810000 | #Constraints: 26316
147.65/148.13 c #Conflicts: 811000 | #Constraints: 27316
147.65/148.13 c #Conflicts: 812000 | #Constraints: 28316
147.65/148.13 c #Conflicts: 813000 | #Constraints: 29316
147.65/148.13 c #Conflicts: 814000 | #Constraints: 30316
147.65/148.13 c #Conflicts: 815000 | #Constraints: 31316
147.65/148.13 c #Conflicts: 816000 | #Constraints: 32316
147.65/148.13 c #Conflicts: 817000 | #Constraints: 33316
147.65/148.13 c #Conflicts: 818000 | #Constraints: 34316
147.65/148.13 c #Conflicts: 819000 | #Constraints: 35316
147.65/148.13 c #Conflicts: 820000 | #Constraints: 36316
147.65/148.13 c #Conflicts: 821000 | #Constraints: 37316
147.65/148.13 c #Conflicts: 822000 | #Constraints: 38316
147.65/148.13 c #Conflicts: 823000 | #Constraints: 39316
147.65/148.13 c #Conflicts: 824000 | #Constraints: 40316
147.65/148.13 c #Conflicts: 825000 | #Constraints: 41316
147.65/148.13 c #Conflicts: 826000 | #Constraints: 42316
147.65/148.13 c INPROCESSING
147.65/148.13 c GARBAGE COLLECT
147.65/148.13 c rational objective 908
151.72/152.23 c #Conflicts: 827000 | #Constraints: 25228
151.72/152.23 c #Conflicts: 828000 | #Constraints: 26228
151.72/152.23 c #Conflicts: 829000 | #Constraints: 27228
151.72/152.23 c #Conflicts: 830000 | #Constraints: 28228
151.72/152.23 c #Conflicts: 831000 | #Constraints: 29228
151.72/152.23 c #Conflicts: 832000 | #Constraints: 30228
151.72/152.23 c #Conflicts: 833000 | #Constraints: 31228
151.72/152.23 c #Conflicts: 834000 | #Constraints: 32228
151.72/152.23 c #Conflicts: 835000 | #Constraints: 33228
151.72/152.23 c #Conflicts: 836000 | #Constraints: 34228
151.72/152.23 c #Conflicts: 837000 | #Constraints: 35228
151.72/152.23 c #Conflicts: 838000 | #Constraints: 36228
151.72/152.23 c #Conflicts: 839000 | #Constraints: 37228
151.72/152.23 c #Conflicts: 840000 | #Constraints: 38228
151.72/152.23 c #Conflicts: 841000 | #Constraints: 39228
151.72/152.23 c #Conflicts: 842000 | #Constraints: 40228
151.72/152.23 c #Conflicts: 843000 | #Constraints: 41228
151.72/152.23 c #Conflicts: 844000 | #Constraints: 42228
151.72/152.23 c #Conflicts: 845000 | #Constraints: 43228
151.72/152.23 c INPROCESSING
151.72/152.23 c GARBAGE COLLECT
151.72/152.23 c rational objective 908
155.53/156.04 c #Conflicts: 846000 | #Constraints: 25937
155.53/156.04 c #Conflicts: 847000 | #Constraints: 26937
155.53/156.04 c #Conflicts: 848000 | #Constraints: 27937
155.53/156.04 c #Conflicts: 849000 | #Constraints: 28937
155.53/156.04 c #Conflicts: 850000 | #Constraints: 29937
155.53/156.04 c #Conflicts: 851000 | #Constraints: 30937
155.53/156.04 c #Conflicts: 852000 | #Constraints: 31937
155.53/156.04 c #Conflicts: 853000 | #Constraints: 32937
155.53/156.04 c #Conflicts: 854000 | #Constraints: 33937
155.53/156.04 c #Conflicts: 855000 | #Constraints: 34937
155.53/156.04 c #Conflicts: 856000 | #Constraints: 35937
155.53/156.04 c #Conflicts: 857000 | #Constraints: 36937
155.53/156.04 c #Conflicts: 858000 | #Constraints: 37937
155.53/156.04 c #Conflicts: 859000 | #Constraints: 38937
155.53/156.04 c #Conflicts: 860000 | #Constraints: 39937
155.53/156.04 c #Conflicts: 861000 | #Constraints: 40937
155.53/156.04 c #Conflicts: 862000 | #Constraints: 41937
155.53/156.04 c #Conflicts: 863000 | #Constraints: 42937
155.53/156.04 c #Conflicts: 864000 | #Constraints: 43937
155.53/156.04 c INPROCESSING
155.53/156.04 c GARBAGE COLLECT
155.53/156.04 c rational objective 908
159.31/159.86 c #Conflicts: 865000 | #Constraints: 26424
159.31/159.86 c #Conflicts: 866000 | #Constraints: 27424
159.31/159.86 c #Conflicts: 867000 | #Constraints: 28424
159.31/159.86 c #Conflicts: 868000 | #Constraints: 29424
159.31/159.86 c #Conflicts: 869000 | #Constraints: 30424
159.31/159.86 c #Conflicts: 870000 | #Constraints: 31424
159.31/159.86 c #Conflicts: 871000 | #Constraints: 32424
159.31/159.86 c #Conflicts: 872000 | #Constraints: 33424
159.31/159.86 c #Conflicts: 873000 | #Constraints: 34424
159.31/159.86 c #Conflicts: 874000 | #Constraints: 35424
159.31/159.86 c #Conflicts: 875000 | #Constraints: 36424
159.31/159.86 c #Conflicts: 876000 | #Constraints: 37424
159.31/159.86 c #Conflicts: 877000 | #Constraints: 38424
159.31/159.86 c #Conflicts: 878000 | #Constraints: 39424
159.31/159.86 c #Conflicts: 879000 | #Constraints: 40424
159.31/159.86 c #Conflicts: 880000 | #Constraints: 41424
159.31/159.86 c #Conflicts: 881000 | #Constraints: 42424
159.31/159.86 c #Conflicts: 882000 | #Constraints: 43424
159.31/159.86 c INPROCESSING
159.31/159.86 c GARBAGE COLLECT
159.31/159.86 c rational objective 908
163.20/163.73 c #Conflicts: 883000 | #Constraints: 25721
163.20/163.73 c #Conflicts: 884000 | #Constraints: 26721
163.20/163.73 c #Conflicts: 885000 | #Constraints: 27721
163.20/163.73 c #Conflicts: 886000 | #Constraints: 28721
163.20/163.73 c #Conflicts: 887000 | #Constraints: 29721
163.20/163.73 c #Conflicts: 888000 | #Constraints: 30721
163.20/163.73 c #Conflicts: 889000 | #Constraints: 31721
163.20/163.73 c #Conflicts: 890000 | #Constraints: 32721
163.20/163.73 c #Conflicts: 891000 | #Constraints: 33721
163.20/163.73 c #Conflicts: 892000 | #Constraints: 34721
163.20/163.73 c #Conflicts: 893000 | #Constraints: 35721
163.20/163.73 c #Conflicts: 894000 | #Constraints: 36721
163.20/163.73 c #Conflicts: 895000 | #Constraints: 37721
163.20/163.73 c #Conflicts: 896000 | #Constraints: 38721
163.20/163.73 c #Conflicts: 897000 | #Constraints: 39721
163.20/163.73 c #Conflicts: 898000 | #Constraints: 40721
163.20/163.73 c #Conflicts: 899000 | #Constraints: 41721
163.20/163.73 c #Conflicts: 900000 | #Constraints: 42721
163.20/163.73 c #Conflicts: 901000 | #Constraints: 43721
163.20/163.73 c #Conflicts: 902000 | #Constraints: 44721
163.20/163.73 c INPROCESSING
163.20/163.73 c GARBAGE COLLECT
163.20/163.73 c rational objective 908
167.39/167.94 c #Conflicts: 903000 | #Constraints: 26842
167.39/167.94 c #Conflicts: 904000 | #Constraints: 27842
167.39/167.94 c #Conflicts: 905000 | #Constraints: 28842
167.39/167.94 c #Conflicts: 906000 | #Constraints: 29842
167.39/167.94 c #Conflicts: 907000 | #Constraints: 30842
167.39/167.94 c #Conflicts: 908000 | #Constraints: 31842
167.39/167.94 c #Conflicts: 909000 | #Constraints: 32842
167.39/167.94 c #Conflicts: 910000 | #Constraints: 33842
167.39/167.94 c #Conflicts: 911000 | #Constraints: 34842
167.39/167.94 c #Conflicts: 912000 | #Constraints: 35842
167.39/167.94 c #Conflicts: 913000 | #Constraints: 36842
167.39/167.94 c #Conflicts: 914000 | #Constraints: 37842
167.39/167.94 c #Conflicts: 915000 | #Constraints: 38842
167.39/167.94 c #Conflicts: 916000 | #Constraints: 39842
167.39/167.94 c #Conflicts: 917000 | #Constraints: 40842
167.39/167.94 c #Conflicts: 918000 | #Constraints: 41842
167.39/167.94 c #Conflicts: 919000 | #Constraints: 42842
167.39/167.94 c #Conflicts: 920000 | #Constraints: 43842
167.39/167.94 c #Conflicts: 921000 | #Constraints: 44842
167.39/167.94 c INPROCESSING
167.39/167.94 c GARBAGE COLLECT
167.39/167.94 c rational objective 908
171.97/172.52 c #Conflicts: 922000 | #Constraints: 26738
171.97/172.52 c #Conflicts: 923000 | #Constraints: 27738
171.97/172.52 c #Conflicts: 924000 | #Constraints: 28738
171.97/172.52 c #Conflicts: 925000 | #Constraints: 29738
171.97/172.52 c #Conflicts: 926000 | #Constraints: 30738
171.97/172.52 c #Conflicts: 927000 | #Constraints: 31738
171.97/172.52 c #Conflicts: 928000 | #Constraints: 32738
171.97/172.52 c #Conflicts: 929000 | #Constraints: 33738
171.97/172.52 c #Conflicts: 930000 | #Constraints: 34738
171.97/172.52 c #Conflicts: 931000 | #Constraints: 35738
171.97/172.52 c #Conflicts: 932000 | #Constraints: 36738
171.97/172.52 c #Conflicts: 933000 | #Constraints: 37738
171.97/172.52 c #Conflicts: 934000 | #Constraints: 38738
171.97/172.52 c #Conflicts: 935000 | #Constraints: 39738
171.97/172.52 c #Conflicts: 936000 | #Constraints: 40738
171.97/172.52 c #Conflicts: 937000 | #Constraints: 41738
171.97/172.52 c #Conflicts: 938000 | #Constraints: 42738
171.97/172.52 c #Conflicts: 939000 | #Constraints: 43738
171.97/172.52 c #Conflicts: 940000 | #Constraints: 44738
171.97/172.52 c INPROCESSING
171.97/172.52 c GARBAGE COLLECT
171.97/172.52 c rational objective 908
175.97/176.52 c #Conflicts: 941000 | #Constraints: 26434
175.97/176.52 c #Conflicts: 942000 | #Constraints: 27434
175.97/176.52 c #Conflicts: 943000 | #Constraints: 28434
175.97/176.52 c #Conflicts: 944000 | #Constraints: 29434
175.97/176.52 c #Conflicts: 945000 | #Constraints: 30434
175.97/176.52 c #Conflicts: 946000 | #Constraints: 31434
175.97/176.52 c #Conflicts: 947000 | #Constraints: 32434
175.97/176.52 c #Conflicts: 948000 | #Constraints: 33434
175.97/176.52 c #Conflicts: 949000 | #Constraints: 34434
175.97/176.52 c #Conflicts: 950000 | #Constraints: 35434
175.97/176.52 c #Conflicts: 951000 | #Constraints: 36434
175.97/176.52 c #Conflicts: 952000 | #Constraints: 37434
175.97/176.52 c #Conflicts: 953000 | #Constraints: 38434
175.97/176.52 c #Conflicts: 954000 | #Constraints: 39434
175.97/176.52 c #Conflicts: 955000 | #Constraints: 40434
175.97/176.52 c #Conflicts: 956000 | #Constraints: 41434
175.97/176.52 c #Conflicts: 957000 | #Constraints: 42434
175.97/176.52 c #Conflicts: 958000 | #Constraints: 43434
175.97/176.52 c #Conflicts: 959000 | #Constraints: 44434
175.97/176.52 c #Conflicts: 960000 | #Constraints: 45434
175.97/176.52 c INPROCESSING
175.97/176.52 c GARBAGE COLLECT
175.97/176.52 c rational objective 908
179.95/180.60 c #Conflicts: 961000 | #Constraints: 26934
179.95/180.60 c #Conflicts: 962000 | #Constraints: 27934
179.95/180.60 c #Conflicts: 963000 | #Constraints: 28934
179.95/180.60 c #Conflicts: 964000 | #Constraints: 29934
179.95/180.60 c #Conflicts: 965000 | #Constraints: 30934
179.95/180.60 c #Conflicts: 966000 | #Constraints: 31934
179.95/180.60 c #Conflicts: 967000 | #Constraints: 32934
179.95/180.60 c #Conflicts: 968000 | #Constraints: 33934
179.95/180.60 c #Conflicts: 969000 | #Constraints: 34934
179.95/180.60 c #Conflicts: 970000 | #Constraints: 35934
179.95/180.60 c #Conflicts: 971000 | #Constraints: 36934
179.95/180.60 c #Conflicts: 972000 | #Constraints: 37934
179.95/180.60 c #Conflicts: 973000 | #Constraints: 38934
179.95/180.60 c #Conflicts: 974000 | #Constraints: 39934
179.95/180.60 c #Conflicts: 975000 | #Constraints: 40934
179.95/180.60 c #Conflicts: 976000 | #Constraints: 41934
179.95/180.60 c #Conflicts: 977000 | #Constraints: 42934
179.95/180.60 c #Conflicts: 978000 | #Constraints: 43934
179.95/180.60 c #Conflicts: 979000 | #Constraints: 44934
179.95/180.60 c #Conflicts: 980000 | #Constraints: 45934
179.95/180.60 c INPROCESSING
179.95/180.60 c GARBAGE COLLECT
179.95/180.60 c rational objective 908
184.04/184.66 c #Conflicts: 981000 | #Constraints: 27230
184.04/184.66 c #Conflicts: 982000 | #Constraints: 28230
184.04/184.66 c #Conflicts: 983000 | #Constraints: 29230
184.04/184.66 c #Conflicts: 984000 | #Constraints: 30230
184.04/184.66 c #Conflicts: 985000 | #Constraints: 31230
184.04/184.66 c #Conflicts: 986000 | #Constraints: 32230
184.04/184.66 c #Conflicts: 987000 | #Constraints: 33230
184.04/184.66 c #Conflicts: 988000 | #Constraints: 34230
184.04/184.66 c #Conflicts: 989000 | #Constraints: 35230
184.04/184.66 c #Conflicts: 990000 | #Constraints: 36230
184.04/184.66 c #Conflicts: 991000 | #Constraints: 37230
184.04/184.66 c #Conflicts: 992000 | #Constraints: 38230
184.04/184.66 c #Conflicts: 993000 | #Constraints: 39230
184.04/184.66 c #Conflicts: 994000 | #Constraints: 40230
184.04/184.66 c #Conflicts: 995000 | #Constraints: 41230
184.04/184.66 c #Conflicts: 996000 | #Constraints: 42230
184.04/184.66 c #Conflicts: 997000 | #Constraints: 43230
184.04/184.66 c #Conflicts: 998000 | #Constraints: 44230
184.04/184.66 c #Conflicts: 999000 | #Constraints: 45230
184.04/184.66 c #Conflicts: 1000000 | #Constraints: 46230
184.04/184.66 c INPROCESSING
184.04/184.66 c GARBAGE COLLECT
184.04/184.66 c rational objective 908
189.44/190.09 c #Conflicts: 1001000 | #Constraints: 27342
189.44/190.09 c #Conflicts: 1002000 | #Constraints: 28342
189.44/190.09 c #Conflicts: 1003000 | #Constraints: 29342
189.44/190.09 c #Conflicts: 1004000 | #Constraints: 30342
189.44/190.09 c #Conflicts: 1005000 | #Constraints: 31342
189.44/190.09 c #Conflicts: 1006000 | #Constraints: 32342
189.44/190.09 c #Conflicts: 1007000 | #Constraints: 33342
189.44/190.09 c #Conflicts: 1008000 | #Constraints: 34342
189.44/190.09 c #Conflicts: 1009000 | #Constraints: 35342
189.44/190.09 c #Conflicts: 1010000 | #Constraints: 36342
189.44/190.09 c #Conflicts: 1011000 | #Constraints: 37342
189.44/190.09 c #Conflicts: 1012000 | #Constraints: 38342
189.44/190.09 c #Conflicts: 1013000 | #Constraints: 39342
189.44/190.09 c #Conflicts: 1014000 | #Constraints: 40342
189.44/190.09 c #Conflicts: 1015000 | #Constraints: 41342
189.44/190.09 c #Conflicts: 1016000 | #Constraints: 42342
189.44/190.09 c #Conflicts: 1017000 | #Constraints: 43342
189.44/190.09 c #Conflicts: 1018000 | #Constraints: 44342
189.44/190.09 c #Conflicts: 1019000 | #Constraints: 45342
189.44/190.09 c #Conflicts: 1020000 | #Constraints: 46342
189.44/190.09 c INPROCESSING
189.44/190.09 c GARBAGE COLLECT
189.44/190.09 c rational objective 908
194.43/195.04 c #Conflicts: 1021000 | #Constraints: 27247
194.43/195.04 c #Conflicts: 1022000 | #Constraints: 28247
194.43/195.04 c #Conflicts: 1023000 | #Constraints: 29247
194.43/195.04 c #Conflicts: 1024000 | #Constraints: 30247
194.43/195.04 c #Conflicts: 1025000 | #Constraints: 31247
194.43/195.04 c #Conflicts: 1026000 | #Constraints: 32247
194.43/195.04 c #Conflicts: 1027000 | #Constraints: 33247
194.43/195.04 c #Conflicts: 1028000 | #Constraints: 34247
194.43/195.04 c #Conflicts: 1029000 | #Constraints: 35247
194.43/195.04 c #Conflicts: 1030000 | #Constraints: 36247
194.43/195.04 c #Conflicts: 1031000 | #Constraints: 37247
194.43/195.04 c #Conflicts: 1032000 | #Constraints: 38247
194.43/195.04 c #Conflicts: 1033000 | #Constraints: 39247
194.43/195.04 c #Conflicts: 1034000 | #Constraints: 40247
194.43/195.04 c #Conflicts: 1035000 | #Constraints: 41247
194.43/195.04 c #Conflicts: 1036000 | #Constraints: 42247
194.43/195.04 c #Conflicts: 1037000 | #Constraints: 43247
194.43/195.04 c #Conflicts: 1038000 | #Constraints: 44247
194.43/195.04 c #Conflicts: 1039000 | #Constraints: 45247
194.43/195.04 c #Conflicts: 1040000 | #Constraints: 46247
194.43/195.04 c #Conflicts: 1041000 | #Constraints: 47247
194.43/195.04 c INPROCESSING
194.43/195.04 c GARBAGE COLLECT
194.43/195.04 c rational objective 908
199.20/199.87 c #Conflicts: 1042000 | #Constraints: 27954
199.20/199.87 c #Conflicts: 1043000 | #Constraints: 28954
199.20/199.87 c #Conflicts: 1044000 | #Constraints: 29954
199.20/199.87 c #Conflicts: 1045000 | #Constraints: 30954
199.20/199.87 c #Conflicts: 1046000 | #Constraints: 31954
199.20/199.87 c #Conflicts: 1047000 | #Constraints: 32954
199.20/199.87 c #Conflicts: 1048000 | #Constraints: 33954
199.20/199.87 c #Conflicts: 1049000 | #Constraints: 34954
199.20/199.87 c #Conflicts: 1050000 | #Constraints: 35954
199.20/199.87 c #Conflicts: 1051000 | #Constraints: 36954
199.20/199.87 c #Conflicts: 1052000 | #Constraints: 37954
199.20/199.87 c #Conflicts: 1053000 | #Constraints: 38954
199.20/199.87 c #Conflicts: 1054000 | #Constraints: 39954
199.20/199.87 c #Conflicts: 1055000 | #Constraints: 40954
199.20/199.87 c #Conflicts: 1056000 | #Constraints: 41954
199.20/199.87 c #Conflicts: 1057000 | #Constraints: 42954
199.20/199.87 c #Conflicts: 1058000 | #Constraints: 43954
199.20/199.87 c #Conflicts: 1059000 | #Constraints: 44954
199.20/199.87 c #Conflicts: 1060000 | #Constraints: 45954
199.20/199.87 c #Conflicts: 1061000 | #Constraints: 46954
199.20/199.87 c #Conflicts: 1062000 | #Constraints: 47954
199.20/199.87 c INPROCESSING
199.20/199.87 c GARBAGE COLLECT
199.20/199.87 c rational objective 908
203.41/204.04 c #Conflicts: 1063000 | #Constraints: 28450
203.41/204.04 c #Conflicts: 1064000 | #Constraints: 29450
203.41/204.04 c #Conflicts: 1065000 | #Constraints: 30450
203.41/204.04 c #Conflicts: 1066000 | #Constraints: 31450
203.41/204.04 c #Conflicts: 1067000 | #Constraints: 32450
203.41/204.04 c #Conflicts: 1068000 | #Constraints: 33450
203.41/204.04 c #Conflicts: 1069000 | #Constraints: 34450
203.41/204.04 c #Conflicts: 1070000 | #Constraints: 35450
203.41/204.04 c #Conflicts: 1071000 | #Constraints: 36450
203.41/204.04 c #Conflicts: 1072000 | #Constraints: 37450
203.41/204.04 c #Conflicts: 1073000 | #Constraints: 38450
203.41/204.04 c #Conflicts: 1074000 | #Constraints: 39450
203.41/204.04 c #Conflicts: 1075000 | #Constraints: 40450
203.41/204.04 c #Conflicts: 1076000 | #Constraints: 41450
203.41/204.04 c #Conflicts: 1077000 | #Constraints: 42450
203.41/204.04 c #Conflicts: 1078000 | #Constraints: 43450
203.41/204.04 c #Conflicts: 1079000 | #Constraints: 44450
203.41/204.04 c #Conflicts: 1080000 | #Constraints: 45450
203.41/204.04 c #Conflicts: 1081000 | #Constraints: 46450
203.41/204.04 c #Conflicts: 1082000 | #Constraints: 47450
203.41/204.04 c INPROCESSING
203.41/204.04 c GARBAGE COLLECT
203.41/204.04 c rational objective 908
208.88/209.58 c #Conflicts: 1083000 | #Constraints: 27733
208.88/209.58 c #Conflicts: 1084000 | #Constraints: 28733
208.88/209.58 c #Conflicts: 1085000 | #Constraints: 29733
208.88/209.58 c #Conflicts: 1086000 | #Constraints: 30733
208.88/209.58 c #Conflicts: 1087000 | #Constraints: 31733
208.88/209.58 c #Conflicts: 1088000 | #Constraints: 32733
208.88/209.58 c #Conflicts: 1089000 | #Constraints: 33733
208.88/209.58 c #Conflicts: 1090000 | #Constraints: 34733
208.88/209.58 c #Conflicts: 1091000 | #Constraints: 35733
208.88/209.58 c #Conflicts: 1092000 | #Constraints: 36733
208.88/209.58 c #Conflicts: 1093000 | #Constraints: 37733
208.88/209.58 c #Conflicts: 1094000 | #Constraints: 38733
208.88/209.58 c #Conflicts: 1095000 | #Constraints: 39733
208.88/209.58 c #Conflicts: 1096000 | #Constraints: 40733
208.88/209.58 c #Conflicts: 1097000 | #Constraints: 41733
208.88/209.58 c #Conflicts: 1098000 | #Constraints: 42733
208.88/209.58 c #Conflicts: 1099000 | #Constraints: 43733
208.88/209.58 c #Conflicts: 1100000 | #Constraints: 44733
208.88/209.58 c #Conflicts: 1101000 | #Constraints: 45733
208.88/209.58 c #Conflicts: 1102000 | #Constraints: 46733
208.88/209.58 c #Conflicts: 1103000 | #Constraints: 47733
208.88/209.58 c #Conflicts: 1104000 | #Constraints: 48733
208.88/209.58 c INPROCESSING
208.88/209.58 c GARBAGE COLLECT
208.88/209.58 c rational objective 908
213.27/213.97 c #Conflicts: 1105000 | #Constraints: 28842
213.27/213.97 c #Conflicts: 1106000 | #Constraints: 29842
213.27/213.97 c #Conflicts: 1107000 | #Constraints: 30842
213.27/213.97 c #Conflicts: 1108000 | #Constraints: 31842
213.27/213.97 c #Conflicts: 1109000 | #Constraints: 32842
213.27/213.97 c #Conflicts: 1110000 | #Constraints: 33842
213.27/213.97 c #Conflicts: 1111000 | #Constraints: 34842
213.27/213.97 c #Conflicts: 1112000 | #Constraints: 35842
213.27/213.97 c #Conflicts: 1113000 | #Constraints: 36842
213.27/213.97 c #Conflicts: 1114000 | #Constraints: 37842
213.27/213.97 c #Conflicts: 1115000 | #Constraints: 38842
213.27/213.97 c #Conflicts: 1116000 | #Constraints: 39842
213.27/213.97 c #Conflicts: 1117000 | #Constraints: 40842
213.27/213.97 c #Conflicts: 1118000 | #Constraints: 41842
213.27/213.97 c #Conflicts: 1119000 | #Constraints: 42842
213.27/213.97 c #Conflicts: 1120000 | #Constraints: 43842
213.27/213.97 c #Conflicts: 1121000 | #Constraints: 44842
213.27/213.97 c #Conflicts: 1122000 | #Constraints: 45842
213.27/213.97 c #Conflicts: 1123000 | #Constraints: 46842
213.27/213.97 c #Conflicts: 1124000 | #Constraints: 47842
213.27/213.97 c #Conflicts: 1125000 | #Constraints: 48842
213.27/213.97 c INPROCESSING
213.27/213.97 c GARBAGE COLLECT
213.27/213.97 c rational objective 908
217.66/218.33 c #Conflicts: 1126000 | #Constraints: 28755
217.66/218.33 c #Conflicts: 1127000 | #Constraints: 29755
217.66/218.33 c #Conflicts: 1128000 | #Constraints: 30755
217.66/218.33 c #Conflicts: 1129000 | #Constraints: 31755
217.66/218.33 c #Conflicts: 1130000 | #Constraints: 32755
217.66/218.33 c #Conflicts: 1131000 | #Constraints: 33755
217.66/218.33 c #Conflicts: 1132000 | #Constraints: 34755
217.66/218.33 c #Conflicts: 1133000 | #Constraints: 35755
217.66/218.33 c #Conflicts: 1134000 | #Constraints: 36755
217.66/218.33 c #Conflicts: 1135000 | #Constraints: 37755
217.66/218.33 c #Conflicts: 1136000 | #Constraints: 38755
217.66/218.33 c #Conflicts: 1137000 | #Constraints: 39755
217.66/218.33 c #Conflicts: 1138000 | #Constraints: 40755
217.66/218.33 c #Conflicts: 1139000 | #Constraints: 41755
217.66/218.33 c #Conflicts: 1140000 | #Constraints: 42755
217.66/218.33 c #Conflicts: 1141000 | #Constraints: 43755
217.66/218.33 c #Conflicts: 1142000 | #Constraints: 44755
217.66/218.33 c #Conflicts: 1143000 | #Constraints: 45755
217.66/218.33 c #Conflicts: 1144000 | #Constraints: 46755
217.66/218.33 c #Conflicts: 1145000 | #Constraints: 47755
217.66/218.33 c #Conflicts: 1146000 | #Constraints: 48755
217.66/218.33 c INPROCESSING
217.66/218.33 c GARBAGE COLLECT
217.66/218.33 c rational objective 908
222.25/222.96 c #Conflicts: 1147000 | #Constraints: 28442
222.25/222.96 c #Conflicts: 1148000 | #Constraints: 29442
222.25/222.96 c #Conflicts: 1149000 | #Constraints: 30442
222.25/222.96 c #Conflicts: 1150000 | #Constraints: 31442
222.25/222.96 c #Conflicts: 1151000 | #Constraints: 32442
222.25/222.96 c #Conflicts: 1152000 | #Constraints: 33442
222.25/222.96 c #Conflicts: 1153000 | #Constraints: 34442
222.25/222.96 c #Conflicts: 1154000 | #Constraints: 35442
222.25/222.96 c #Conflicts: 1155000 | #Constraints: 36442
222.25/222.96 c #Conflicts: 1156000 | #Constraints: 37442
222.25/222.96 c #Conflicts: 1157000 | #Constraints: 38442
222.25/222.96 c #Conflicts: 1158000 | #Constraints: 39442
222.25/222.96 c #Conflicts: 1159000 | #Constraints: 40442
222.25/222.96 c #Conflicts: 1160000 | #Constraints: 41442
222.25/222.96 c #Conflicts: 1161000 | #Constraints: 42442
222.25/222.96 c #Conflicts: 1162000 | #Constraints: 43442
222.25/222.96 c #Conflicts: 1163000 | #Constraints: 44442
222.25/222.96 c #Conflicts: 1164000 | #Constraints: 45442
222.25/222.96 c #Conflicts: 1165000 | #Constraints: 46442
222.25/222.96 c #Conflicts: 1166000 | #Constraints: 47442
222.25/222.96 c #Conflicts: 1167000 | #Constraints: 48442
222.25/222.96 c #Conflicts: 1168000 | #Constraints: 49442
222.25/222.96 c INPROCESSING
222.25/222.96 c GARBAGE COLLECT
222.25/222.96 c rational objective 908
227.54/228.28 c #Conflicts: 1169000 | #Constraints: 28933
227.54/228.28 c #Conflicts: 1170000 | #Constraints: 29933
227.54/228.28 c #Conflicts: 1171000 | #Constraints: 30933
227.54/228.28 c #Conflicts: 1172000 | #Constraints: 31933
227.54/228.28 c #Conflicts: 1173000 | #Constraints: 32933
227.54/228.28 c #Conflicts: 1174000 | #Constraints: 33933
227.54/228.28 c #Conflicts: 1175000 | #Constraints: 34933
227.54/228.28 c #Conflicts: 1176000 | #Constraints: 35933
227.54/228.28 c #Conflicts: 1177000 | #Constraints: 36933
227.54/228.28 c #Conflicts: 1178000 | #Constraints: 37933
227.54/228.28 c #Conflicts: 1179000 | #Constraints: 38933
227.54/228.28 c #Conflicts: 1180000 | #Constraints: 39933
227.54/228.28 c #Conflicts: 1181000 | #Constraints: 40933
227.54/228.28 c #Conflicts: 1182000 | #Constraints: 41933
227.54/228.28 c #Conflicts: 1183000 | #Constraints: 42933
227.54/228.28 c #Conflicts: 1184000 | #Constraints: 43933
227.54/228.28 c #Conflicts: 1185000 | #Constraints: 44933
227.54/228.28 c #Conflicts: 1186000 | #Constraints: 45933
227.54/228.28 c #Conflicts: 1187000 | #Constraints: 46933
227.54/228.28 c #Conflicts: 1188000 | #Constraints: 47933
227.54/228.28 c #Conflicts: 1189000 | #Constraints: 48933
227.54/228.28 c #Conflicts: 1190000 | #Constraints: 49933
227.54/228.28 c INPROCESSING
227.54/228.28 c GARBAGE COLLECT
227.54/228.28 c rational objective 908
232.52/233.26 c #Conflicts: 1191000 | #Constraints: 29237
232.52/233.26 c #Conflicts: 1192000 | #Constraints: 30237
232.52/233.26 c #Conflicts: 1193000 | #Constraints: 31237
232.52/233.26 c #Conflicts: 1194000 | #Constraints: 32237
232.52/233.26 c #Conflicts: 1195000 | #Constraints: 33237
232.52/233.26 c #Conflicts: 1196000 | #Constraints: 34237
232.52/233.26 c #Conflicts: 1197000 | #Constraints: 35237
232.52/233.26 c #Conflicts: 1198000 | #Constraints: 36237
232.52/233.26 c #Conflicts: 1199000 | #Constraints: 37237
232.52/233.26 c #Conflicts: 1200000 | #Constraints: 38237
232.52/233.26 c #Conflicts: 1201000 | #Constraints: 39237
232.52/233.26 c #Conflicts: 1202000 | #Constraints: 40237
232.52/233.26 c #Conflicts: 1203000 | #Constraints: 41237
232.52/233.26 c #Conflicts: 1204000 | #Constraints: 42237
232.52/233.26 c #Conflicts: 1205000 | #Constraints: 43237
232.52/233.26 c #Conflicts: 1206000 | #Constraints: 44237
232.52/233.26 c #Conflicts: 1207000 | #Constraints: 45237
232.52/233.26 c #Conflicts: 1208000 | #Constraints: 46237
232.52/233.26 c #Conflicts: 1209000 | #Constraints: 47237
232.52/233.26 c #Conflicts: 1210000 | #Constraints: 48237
232.52/233.26 c #Conflicts: 1211000 | #Constraints: 49237
232.52/233.26 c #Conflicts: 1212000 | #Constraints: 50237
232.52/233.26 c INPROCESSING
232.52/233.26 c GARBAGE COLLECT
232.52/233.26 c rational objective 908
237.32/238.01 c #Conflicts: 1213000 | #Constraints: 29348
237.32/238.01 c #Conflicts: 1214000 | #Constraints: 30348
237.32/238.01 c #Conflicts: 1215000 | #Constraints: 31348
237.32/238.01 c #Conflicts: 1216000 | #Constraints: 32348
237.32/238.01 c #Conflicts: 1217000 | #Constraints: 33348
237.32/238.01 c #Conflicts: 1218000 | #Constraints: 34348
237.32/238.01 c #Conflicts: 1219000 | #Constraints: 35348
237.32/238.01 c #Conflicts: 1220000 | #Constraints: 36348
237.32/238.01 c #Conflicts: 1221000 | #Constraints: 37348
237.32/238.01 c #Conflicts: 1222000 | #Constraints: 38348
237.32/238.01 c #Conflicts: 1223000 | #Constraints: 39348
237.32/238.01 c #Conflicts: 1224000 | #Constraints: 40348
237.32/238.01 c #Conflicts: 1225000 | #Constraints: 41348
237.32/238.01 c #Conflicts: 1226000 | #Constraints: 42348
237.32/238.01 c #Conflicts: 1227000 | #Constraints: 43348
237.32/238.01 c #Conflicts: 1228000 | #Constraints: 44348
237.32/238.01 c #Conflicts: 1229000 | #Constraints: 45348
237.32/238.01 c #Conflicts: 1230000 | #Constraints: 46348
237.32/238.01 c #Conflicts: 1231000 | #Constraints: 47348
237.32/238.01 c #Conflicts: 1232000 | #Constraints: 48348
237.32/238.01 c #Conflicts: 1233000 | #Constraints: 49348
237.32/238.01 c #Conflicts: 1234000 | #Constraints: 50348
237.32/238.01 c INPROCESSING
237.32/238.01 c GARBAGE COLLECT
237.32/238.01 c rational objective 908
242.41/243.11 c #Conflicts: 1235000 | #Constraints: 29244
242.41/243.11 c #Conflicts: 1236000 | #Constraints: 30244
242.41/243.11 c #Conflicts: 1237000 | #Constraints: 31244
242.41/243.11 c #Conflicts: 1238000 | #Constraints: 32244
242.41/243.11 c #Conflicts: 1239000 | #Constraints: 33244
242.41/243.11 c #Conflicts: 1240000 | #Constraints: 34244
242.41/243.11 c #Conflicts: 1241000 | #Constraints: 35244
242.41/243.11 c #Conflicts: 1242000 | #Constraints: 36244
242.41/243.11 c #Conflicts: 1243000 | #Constraints: 37244
242.41/243.11 c #Conflicts: 1244000 | #Constraints: 38244
242.41/243.11 c #Conflicts: 1245000 | #Constraints: 39244
242.41/243.11 c #Conflicts: 1246000 | #Constraints: 40244
242.41/243.11 c #Conflicts: 1247000 | #Constraints: 41244
242.41/243.11 c #Conflicts: 1248000 | #Constraints: 42244
242.41/243.11 c #Conflicts: 1249000 | #Constraints: 43244
242.41/243.11 c #Conflicts: 1250000 | #Constraints: 44244
242.41/243.11 c #Conflicts: 1251000 | #Constraints: 45244
242.41/243.11 c #Conflicts: 1252000 | #Constraints: 46244
242.41/243.11 c #Conflicts: 1253000 | #Constraints: 47244
242.41/243.11 c #Conflicts: 1254000 | #Constraints: 48244
242.41/243.11 c #Conflicts: 1255000 | #Constraints: 49244
242.41/243.11 c #Conflicts: 1256000 | #Constraints: 50244
242.41/243.11 c #Conflicts: 1257000 | #Constraints: 51244
242.41/243.11 c INPROCESSING
242.41/243.11 c GARBAGE COLLECT
242.41/243.11 c rational objective 908
247.58/248.38 c #Conflicts: 1258000 | #Constraints: 29940
247.58/248.38 c #Conflicts: 1259000 | #Constraints: 30940
247.58/248.38 c #Conflicts: 1260000 | #Constraints: 31940
247.58/248.38 c #Conflicts: 1261000 | #Constraints: 32940
247.58/248.38 c #Conflicts: 1262000 | #Constraints: 33940
247.58/248.38 c #Conflicts: 1263000 | #Constraints: 34940
247.58/248.38 c #Conflicts: 1264000 | #Constraints: 35940
247.58/248.38 c #Conflicts: 1265000 | #Constraints: 36940
247.58/248.38 c #Conflicts: 1266000 | #Constraints: 37940
247.58/248.38 c #Conflicts: 1267000 | #Constraints: 38940
247.58/248.38 c #Conflicts: 1268000 | #Constraints: 39940
247.58/248.38 c #Conflicts: 1269000 | #Constraints: 40940
247.58/248.38 c #Conflicts: 1270000 | #Constraints: 41940
247.58/248.38 c #Conflicts: 1271000 | #Constraints: 42940
247.58/248.38 c #Conflicts: 1272000 | #Constraints: 43940
247.58/248.38 c #Conflicts: 1273000 | #Constraints: 44940
247.58/248.38 c #Conflicts: 1274000 | #Constraints: 45940
247.58/248.38 c #Conflicts: 1275000 | #Constraints: 46940
247.58/248.38 c #Conflicts: 1276000 | #Constraints: 47940
247.58/248.38 c #Conflicts: 1277000 | #Constraints: 48940
247.58/248.38 c #Conflicts: 1278000 | #Constraints: 49940
247.58/248.38 c #Conflicts: 1279000 | #Constraints: 50940
247.58/248.38 c #Conflicts: 1280000 | #Constraints: 51940
247.58/248.38 c INPROCESSING
247.58/248.38 c GARBAGE COLLECT
247.58/248.38 c rational objective 908
252.77/253.58 c #Conflicts: 1281000 | #Constraints: 30448
252.77/253.58 c #Conflicts: 1282000 | #Constraints: 31448
252.77/253.58 c #Conflicts: 1283000 | #Constraints: 32448
252.77/253.58 c #Conflicts: 1284000 | #Constraints: 33448
252.77/253.58 c #Conflicts: 1285000 | #Constraints: 34448
252.77/253.58 c #Conflicts: 1286000 | #Constraints: 35448
252.77/253.58 c #Conflicts: 1287000 | #Constraints: 36448
252.77/253.58 c #Conflicts: 1288000 | #Constraints: 37448
252.77/253.58 c #Conflicts: 1289000 | #Constraints: 38448
252.77/253.58 c #Conflicts: 1290000 | #Constraints: 39448
252.77/253.58 c #Conflicts: 1291000 | #Constraints: 40448
252.77/253.58 c #Conflicts: 1292000 | #Constraints: 41448
252.77/253.58 c #Conflicts: 1293000 | #Constraints: 42448
252.77/253.58 c #Conflicts: 1294000 | #Constraints: 43448
252.77/253.58 c #Conflicts: 1295000 | #Constraints: 44448
252.77/253.58 c #Conflicts: 1296000 | #Constraints: 45448
252.77/253.58 c #Conflicts: 1297000 | #Constraints: 46448
252.77/253.58 c #Conflicts: 1298000 | #Constraints: 47448
252.77/253.58 c #Conflicts: 1299000 | #Constraints: 48448
252.77/253.58 c #Conflicts: 1300000 | #Constraints: 49448
252.77/253.58 c #Conflicts: 1301000 | #Constraints: 50448
252.77/253.58 c #Conflicts: 1302000 | #Constraints: 51448
252.77/253.58 c INPROCESSING
252.77/253.58 c GARBAGE COLLECT
252.77/253.58 c rational objective 908
258.15/258.96 c #Conflicts: 1303000 | #Constraints: 29748
258.15/258.96 c #Conflicts: 1304000 | #Constraints: 30748
258.15/258.96 c #Conflicts: 1305000 | #Constraints: 31748
258.15/258.96 c #Conflicts: 1306000 | #Constraints: 32748
258.15/258.96 c #Conflicts: 1307000 | #Constraints: 33748
258.15/258.96 c #Conflicts: 1308000 | #Constraints: 34748
258.15/258.96 c #Conflicts: 1309000 | #Constraints: 35748
258.15/258.96 c #Conflicts: 1310000 | #Constraints: 36748
258.15/258.96 c #Conflicts: 1311000 | #Constraints: 37748
258.15/258.96 c #Conflicts: 1312000 | #Constraints: 38748
258.15/258.96 c #Conflicts: 1313000 | #Constraints: 39748
258.15/258.96 c #Conflicts: 1314000 | #Constraints: 40748
258.15/258.96 c #Conflicts: 1315000 | #Constraints: 41748
258.15/258.96 c #Conflicts: 1316000 | #Constraints: 42748
258.15/258.96 c #Conflicts: 1317000 | #Constraints: 43748
258.15/258.96 c #Conflicts: 1318000 | #Constraints: 44748
258.15/258.96 c #Conflicts: 1319000 | #Constraints: 45748
258.15/258.96 c #Conflicts: 1320000 | #Constraints: 46748
258.15/258.96 c #Conflicts: 1321000 | #Constraints: 47748
258.15/258.96 c #Conflicts: 1322000 | #Constraints: 48748
258.15/258.96 c #Conflicts: 1323000 | #Constraints: 49748
258.15/258.96 c #Conflicts: 1324000 | #Constraints: 50748
258.15/258.96 c #Conflicts: 1325000 | #Constraints: 51748
258.15/258.96 c #Conflicts: 1326000 | #Constraints: 52748
258.15/258.96 c INPROCESSING
258.15/258.96 c GARBAGE COLLECT
258.15/258.96 c rational objective 908
263.34/264.19 c #Conflicts: 1327000 | #Constraints: 30848
263.34/264.19 c #Conflicts: 1328000 | #Constraints: 31848
263.34/264.19 c #Conflicts: 1329000 | #Constraints: 32848
263.34/264.19 c #Conflicts: 1330000 | #Constraints: 33848
263.34/264.19 c #Conflicts: 1331000 | #Constraints: 34848
263.34/264.19 c #Conflicts: 1332000 | #Constraints: 35848
263.34/264.19 c #Conflicts: 1333000 | #Constraints: 36848
263.34/264.19 c #Conflicts: 1334000 | #Constraints: 37848
263.34/264.19 c #Conflicts: 1335000 | #Constraints: 38848
263.34/264.19 c #Conflicts: 1336000 | #Constraints: 39848
263.34/264.19 c #Conflicts: 1337000 | #Constraints: 40848
263.34/264.19 c #Conflicts: 1338000 | #Constraints: 41848
263.34/264.19 c #Conflicts: 1339000 | #Constraints: 42848
263.34/264.19 c #Conflicts: 1340000 | #Constraints: 43848
263.34/264.19 c #Conflicts: 1341000 | #Constraints: 44848
263.34/264.19 c #Conflicts: 1342000 | #Constraints: 45848
263.34/264.19 c #Conflicts: 1343000 | #Constraints: 46848
263.34/264.19 c #Conflicts: 1344000 | #Constraints: 47848
263.34/264.19 c #Conflicts: 1345000 | #Constraints: 48848
263.34/264.19 c #Conflicts: 1346000 | #Constraints: 49848
263.34/264.19 c #Conflicts: 1347000 | #Constraints: 50848
263.34/264.19 c #Conflicts: 1348000 | #Constraints: 51848
263.34/264.19 c #Conflicts: 1349000 | #Constraints: 52848
263.34/264.19 c INPROCESSING
263.34/264.19 c GARBAGE COLLECT
263.34/264.19 c rational objective 908
269.11/269.97 c #Conflicts: 1350000 | #Constraints: 30739
269.11/269.97 c #Conflicts: 1351000 | #Constraints: 31739
269.11/269.97 c #Conflicts: 1352000 | #Constraints: 32739
269.11/269.97 c #Conflicts: 1353000 | #Constraints: 33739
269.11/269.97 c #Conflicts: 1354000 | #Constraints: 34739
269.11/269.97 c #Conflicts: 1355000 | #Constraints: 35739
269.11/269.97 c #Conflicts: 1356000 | #Constraints: 36739
269.11/269.97 c #Conflicts: 1357000 | #Constraints: 37739
269.11/269.97 c #Conflicts: 1358000 | #Constraints: 38739
269.11/269.97 c #Conflicts: 1359000 | #Constraints: 39739
269.11/269.97 c #Conflicts: 1360000 | #Constraints: 40739
269.11/269.97 c #Conflicts: 1361000 | #Constraints: 41739
269.11/269.97 c #Conflicts: 1362000 | #Constraints: 42739
269.11/269.97 c #Conflicts: 1363000 | #Constraints: 43739
269.11/269.97 c #Conflicts: 1364000 | #Constraints: 44739
269.11/269.97 c #Conflicts: 1365000 | #Constraints: 45739
269.11/269.97 c #Conflicts: 1366000 | #Constraints: 46739
269.11/269.97 c #Conflicts: 1367000 | #Constraints: 47739
269.11/269.97 c #Conflicts: 1368000 | #Constraints: 48739
269.11/269.97 c #Conflicts: 1369000 | #Constraints: 49739
269.11/269.97 c #Conflicts: 1370000 | #Constraints: 50739
269.11/269.97 c #Conflicts: 1371000 | #Constraints: 51739
269.11/269.97 c #Conflicts: 1372000 | #Constraints: 52739
269.11/269.97 c INPROCESSING
269.11/269.97 c GARBAGE COLLECT
269.11/269.97 c rational objective 908
275.00/275.85 c #Conflicts: 1373000 | #Constraints: 30443
275.00/275.85 c #Conflicts: 1374000 | #Constraints: 31443
275.00/275.85 c #Conflicts: 1375000 | #Constraints: 32443
275.00/275.85 c #Conflicts: 1376000 | #Constraints: 33443
275.00/275.85 c #Conflicts: 1377000 | #Constraints: 34443
275.00/275.85 c #Conflicts: 1378000 | #Constraints: 35443
275.00/275.85 c #Conflicts: 1379000 | #Constraints: 36443
275.00/275.85 c #Conflicts: 1380000 | #Constraints: 37443
275.00/275.85 c #Conflicts: 1381000 | #Constraints: 38443
275.00/275.85 c #Conflicts: 1382000 | #Constraints: 39443
275.00/275.85 c #Conflicts: 1383000 | #Constraints: 40443
275.00/275.85 c #Conflicts: 1384000 | #Constraints: 41443
275.00/275.85 c #Conflicts: 1385000 | #Constraints: 42443
275.00/275.85 c #Conflicts: 1386000 | #Constraints: 43443
275.00/275.85 c #Conflicts: 1387000 | #Constraints: 44443
275.00/275.85 c #Conflicts: 1388000 | #Constraints: 45443
275.00/275.85 c #Conflicts: 1389000 | #Constraints: 46443
275.00/275.85 c #Conflicts: 1390000 | #Constraints: 47443
275.00/275.85 c #Conflicts: 1391000 | #Constraints: 48443
275.00/275.85 c #Conflicts: 1392000 | #Constraints: 49443
275.00/275.85 c #Conflicts: 1393000 | #Constraints: 50443
275.00/275.85 c #Conflicts: 1394000 | #Constraints: 51443
275.00/275.85 c #Conflicts: 1395000 | #Constraints: 52443
275.00/275.85 c #Conflicts: 1396000 | #Constraints: 53443
275.00/275.85 c INPROCESSING
275.00/275.85 c GARBAGE COLLECT
275.00/275.85 c rational objective 908
302.31/303.27 c #Conflicts: 1397000 | #Constraints: 30955
302.31/303.27 c #Conflicts: 1398000 | #Constraints: 31955
302.31/303.27 c #Conflicts: 1399000 | #Constraints: 32955
302.31/303.27 c #Conflicts: 1400000 | #Constraints: 33955
302.31/303.27 c #Conflicts: 1401000 | #Constraints: 34955
302.31/303.27 c #Conflicts: 1402000 | #Constraints: 35955
302.31/303.27 c #Conflicts: 1403000 | #Constraints: 36955
302.31/303.27 c #Conflicts: 1404000 | #Constraints: 37955
302.31/303.27 c #Conflicts: 1405000 | #Constraints: 38955
302.31/303.27 c #Conflicts: 1406000 | #Constraints: 39955
302.31/303.27 c #Conflicts: 1407000 | #Constraints: 40955
302.31/303.27 c #Conflicts: 1408000 | #Constraints: 41955
302.31/303.27 c #Conflicts: 1409000 | #Constraints: 42955
302.31/303.27 c #Conflicts: 1410000 | #Constraints: 43955
302.31/303.27 c #Conflicts: 1411000 | #Constraints: 44955
302.31/303.27 c #Conflicts: 1412000 | #Constraints: 45955
302.31/303.27 c #Conflicts: 1413000 | #Constraints: 46955
302.31/303.27 c #Conflicts: 1414000 | #Constraints: 47955
302.31/303.27 c #Conflicts: 1415000 | #Constraints: 48955
302.31/303.27 c #Conflicts: 1416000 | #Constraints: 49955
302.31/303.27 c #Conflicts: 1417000 | #Constraints: 50955
302.31/303.27 c #Conflicts: 1418000 | #Constraints: 51955
302.31/303.27 c #Conflicts: 1419000 | #Constraints: 52955
302.31/303.27 c #Conflicts: 1420000 | #Constraints: 53955
302.31/303.27 c #Conflicts: 1421000 | #Constraints: 54955
302.31/303.27 c #Conflicts: 1422000 | #Constraints: 55955
302.31/303.27 c #Conflicts: 1423000 | #Constraints: 56955
302.31/303.27 c #Conflicts: 1424000 | #Constraints: 57955
302.31/303.27 c #Conflicts: 1425000 | #Constraints: 58955
302.31/303.27 c #Conflicts: 1426000 | #Constraints: 59955
302.31/303.27 c #Conflicts: 1427000 | #Constraints: 60955
302.31/303.27 c #Conflicts: 1428000 | #Constraints: 61955
302.31/303.27 c #Conflicts: 1429000 | #Constraints: 62955
302.31/303.27 c #Conflicts: 1430000 | #Constraints: 63955
302.31/303.27 c #Conflicts: 1431000 | #Constraints: 64955
302.31/303.27 c #Conflicts: 1432000 | #Constraints: 65955
302.31/303.27 c #Conflicts: 1433000 | #Constraints: 66955
302.31/303.27 c #Conflicts: 1434000 | #Constraints: 67955
302.31/303.27 c #Conflicts: 1435000 | #Constraints: 68955
302.31/303.27 c #Conflicts: 1436000 | #Constraints: 69955
302.31/303.27 c #Conflicts: 1437000 | #Constraints: 70955
302.31/303.27 c #Conflicts: 1438000 | #Constraints: 71955
302.31/303.27 c #Conflicts: 1439000 | #Constraints: 72955
302.31/303.27 c #Conflicts: 1440000 | #Constraints: 73955
302.31/303.27 c #Conflicts: 1441000 | #Constraints: 74955
302.31/303.27 c #Conflicts: 1442000 | #Constraints: 75955
302.31/303.27 c #Conflicts: 1443000 | #Constraints: 76955
302.31/303.27 c #Conflicts: 1444000 | #Constraints: 77955
302.31/303.27 c #Conflicts: 1445000 | #Constraints: 78955
302.31/303.27 c #Conflicts: 1446000 | #Constraints: 79955
302.31/303.27 c #Conflicts: 1447000 | #Constraints: 80955
302.31/303.27 c #Conflicts: 1448000 | #Constraints: 81955
302.31/303.27 c #Conflicts: 1449000 | #Constraints: 82955
302.31/303.27 c #Conflicts: 1450000 | #Constraints: 83955
302.31/303.27 c #Conflicts: 1451000 | #Constraints: 84955
302.31/303.27 c #Conflicts: 1452000 | #Constraints: 85955
302.31/303.27 c #Conflicts: 1453000 | #Constraints: 86955
302.31/303.27 c #Conflicts: 1454000 | #Constraints: 87955
302.31/303.27 c #Conflicts: 1455000 | #Constraints: 88955
302.31/303.27 c #Conflicts: 1456000 | #Constraints: 89955
302.31/303.27 c #Conflicts: 1457000 | #Constraints: 90955
302.31/303.27 c #Conflicts: 1458000 | #Constraints: 91955
302.31/303.27 c #Conflicts: 1459000 | #Constraints: 92955
302.31/303.27 c #Conflicts: 1460000 | #Constraints: 93955
302.31/303.27 c #Conflicts: 1461000 | #Constraints: 94955
302.31/303.27 c #Conflicts: 1462000 | #Constraints: 95955
302.31/303.27 c #Conflicts: 1463000 | #Constraints: 96955
302.31/303.27 c #Conflicts: 1464000 | #Constraints: 97955
302.31/303.27 c #Conflicts: 1465000 | #Constraints: 98955
302.31/303.27 c #Conflicts: 1466000 | #Constraints: 99955
302.31/303.27 c #Conflicts: 1467000 | #Constraints: 100955
302.31/303.27 c #Conflicts: 1468000 | #Constraints: 101955
302.31/303.27 c #Conflicts: 1469000 | #Constraints: 102955
302.31/303.27 c #Conflicts: 1470000 | #Constraints: 103955
302.31/303.27 c #Conflicts: 1471000 | #Constraints: 104955
302.31/303.27 c #Conflicts: 1472000 | #Constraints: 105955
302.31/303.27 c #Conflicts: 1473000 | #Constraints: 106955
302.31/303.27 c #Conflicts: 1474000 | #Constraints: 107955
302.31/303.27 c #Conflicts: 1475000 | #Constraints: 108955
331.32/332.31 c #Conflicts: 1476000 | #Constraints: 109955
331.32/332.31 c #Conflicts: 1477000 | #Constraints: 110955
331.32/332.31 c #Conflicts: 1478000 | #Constraints: 111955
331.32/332.31 c #Conflicts: 1479000 | #Constraints: 112955
331.32/332.31 c #Conflicts: 1480000 | #Constraints: 113955
331.32/332.31 c #Conflicts: 1481000 | #Constraints: 114955
331.32/332.31 c #Conflicts: 1482000 | #Constraints: 115955
331.32/332.31 c #Conflicts: 1483000 | #Constraints: 116955
331.32/332.31 c #Conflicts: 1484000 | #Constraints: 117955
331.32/332.31 c #Conflicts: 1485000 | #Constraints: 118955
331.32/332.31 c #Conflicts: 1486000 | #Constraints: 119955
331.32/332.31 c #Conflicts: 1487000 | #Constraints: 120955
331.32/332.31 c #Conflicts: 1488000 | #Constraints: 121955
331.32/332.31 c #Conflicts: 1489000 | #Constraints: 122955
331.32/332.31 c #Conflicts: 1490000 | #Constraints: 123955
331.32/332.31 c #Conflicts: 1491000 | #Constraints: 124955
331.32/332.31 c #Conflicts: 1492000 | #Constraints: 125955
331.32/332.31 c #Conflicts: 1493000 | #Constraints: 126955
331.32/332.31 c #Conflicts: 1494000 | #Constraints: 127955
331.32/332.31 c #Conflicts: 1495000 | #Constraints: 128955
331.32/332.31 c #Conflicts: 1496000 | #Constraints: 129955
331.32/332.31 c #Conflicts: 1497000 | #Constraints: 130955
331.32/332.31 c #Conflicts: 1498000 | #Constraints: 131955
331.32/332.31 c #Conflicts: 1499000 | #Constraints: 132955
331.32/332.31 c #Conflicts: 1500000 | #Constraints: 133955
331.32/332.31 c #Conflicts: 1501000 | #Constraints: 134955
331.32/332.31 c #Conflicts: 1502000 | #Constraints: 135955
331.32/332.31 c #Conflicts: 1503000 | #Constraints: 136955
331.32/332.31 c #Conflicts: 1504000 | #Constraints: 137955
331.32/332.31 c #Conflicts: 1505000 | #Constraints: 138955
331.32/332.31 c #Conflicts: 1506000 | #Constraints: 139955
331.32/332.31 c #Conflicts: 1507000 | #Constraints: 140955
331.32/332.31 c #Conflicts: 1508000 | #Constraints: 141955
331.32/332.31 c #Conflicts: 1509000 | #Constraints: 142955
331.32/332.31 c #Conflicts: 1510000 | #Constraints: 143955
331.32/332.31 c #Conflicts: 1511000 | #Constraints: 144955
331.32/332.31 c #Conflicts: 1512000 | #Constraints: 145955
331.32/332.31 c #Conflicts: 1513000 | #Constraints: 146955
331.32/332.31 c #Conflicts: 1514000 | #Constraints: 147955
331.32/332.31 c #Conflicts: 1515000 | #Constraints: 148955
331.32/332.31 c INPROCESSING
331.32/332.31 c GARBAGE COLLECT
331.32/332.31 c rational objective 908
344.67/345.80 c #Conflicts: 1516000 | #Constraints: 78552
344.67/345.80 c #Conflicts: 1517000 | #Constraints: 79552
344.67/345.80 c #Conflicts: 1518000 | #Constraints: 80552
344.67/345.80 c #Conflicts: 1519000 | #Constraints: 81552
344.67/345.80 c #Conflicts: 1520000 | #Constraints: 82552
344.67/345.80 c #Conflicts: 1521000 | #Constraints: 83552
344.67/345.80 c #Conflicts: 1522000 | #Constraints: 84552
344.67/345.80 c #Conflicts: 1523000 | #Constraints: 85552
344.67/345.80 c #Conflicts: 1524000 | #Constraints: 86552
344.67/345.80 c #Conflicts: 1525000 | #Constraints: 87552
344.67/345.80 c #Conflicts: 1526000 | #Constraints: 88552
344.67/345.80 c #Conflicts: 1527000 | #Constraints: 89552
344.67/345.80 c #Conflicts: 1528000 | #Constraints: 90552
344.67/345.80 c #Conflicts: 1529000 | #Constraints: 91552
344.67/345.80 c #Conflicts: 1530000 | #Constraints: 92552
344.67/345.80 c #Conflicts: 1531000 | #Constraints: 93552
344.67/345.80 c #Conflicts: 1532000 | #Constraints: 94552
344.67/345.80 c #Conflicts: 1533000 | #Constraints: 95552
344.67/345.80 c #Conflicts: 1534000 | #Constraints: 96552
344.67/345.80 c #Conflicts: 1535000 | #Constraints: 97552
344.67/345.80 c #Conflicts: 1536000 | #Constraints: 98552
344.67/345.80 c #Conflicts: 1537000 | #Constraints: 99552
344.67/345.80 c #Conflicts: 1538000 | #Constraints: 100552
344.67/345.80 c #Conflicts: 1539000 | #Constraints: 101552
344.67/345.80 c #Conflicts: 1540000 | #Constraints: 102552
344.67/345.80 c INPROCESSING
344.67/345.80 c GARBAGE COLLECT
344.67/345.80 c rational objective 908
355.33/356.49 c #Conflicts: 1541000 | #Constraints: 55348
355.33/356.49 c #Conflicts: 1542000 | #Constraints: 56348
355.33/356.49 c #Conflicts: 1543000 | #Constraints: 57348
355.33/356.49 c #Conflicts: 1544000 | #Constraints: 58348
355.33/356.49 c #Conflicts: 1545000 | #Constraints: 59348
355.33/356.49 c #Conflicts: 1546000 | #Constraints: 60348
355.33/356.49 c #Conflicts: 1547000 | #Constraints: 61348
355.33/356.49 c #Conflicts: 1548000 | #Constraints: 62348
355.33/356.49 c #Conflicts: 1549000 | #Constraints: 63348
355.33/356.49 c #Conflicts: 1550000 | #Constraints: 64348
355.33/356.49 c #Conflicts: 1551000 | #Constraints: 65348
355.33/356.49 c #Conflicts: 1552000 | #Constraints: 66348
355.33/356.49 c #Conflicts: 1553000 | #Constraints: 67348
355.33/356.49 c #Conflicts: 1554000 | #Constraints: 68348
355.33/356.49 c #Conflicts: 1555000 | #Constraints: 69348
355.33/356.49 c #Conflicts: 1556000 | #Constraints: 70348
355.33/356.49 c #Conflicts: 1557000 | #Constraints: 71348
355.33/356.49 c #Conflicts: 1558000 | #Constraints: 72348
355.33/356.49 c #Conflicts: 1559000 | #Constraints: 73348
355.33/356.49 c #Conflicts: 1560000 | #Constraints: 74348
355.33/356.49 c #Conflicts: 1561000 | #Constraints: 75348
355.33/356.49 c #Conflicts: 1562000 | #Constraints: 76348
355.33/356.49 c #Conflicts: 1563000 | #Constraints: 77348
355.33/356.49 c #Conflicts: 1564000 | #Constraints: 78348
355.33/356.49 c #Conflicts: 1565000 | #Constraints: 79348
355.33/356.49 c #Conflicts: 1566000 | #Constraints: 80348
355.33/356.49 c INPROCESSING
355.33/356.49 c GARBAGE COLLECT
355.33/356.49 c rational objective 908
364.61/365.75 c #Conflicts: 1567000 | #Constraints: 44650
364.61/365.75 c #Conflicts: 1568000 | #Constraints: 45650
364.61/365.75 c #Conflicts: 1569000 | #Constraints: 46650
364.61/365.75 c #Conflicts: 1570000 | #Constraints: 47650
364.61/365.75 c #Conflicts: 1571000 | #Constraints: 48650
364.61/365.75 c #Conflicts: 1572000 | #Constraints: 49650
364.61/365.75 c #Conflicts: 1573000 | #Constraints: 50650
364.61/365.75 c #Conflicts: 1574000 | #Constraints: 51650
364.61/365.75 c #Conflicts: 1575000 | #Constraints: 52650
364.61/365.75 c #Conflicts: 1576000 | #Constraints: 53650
364.61/365.75 c #Conflicts: 1577000 | #Constraints: 54650
364.61/365.75 c #Conflicts: 1578000 | #Constraints: 55650
364.61/365.75 c #Conflicts: 1579000 | #Constraints: 56650
364.61/365.75 c #Conflicts: 1580000 | #Constraints: 57650
364.61/365.75 c #Conflicts: 1581000 | #Constraints: 58650
364.61/365.75 c #Conflicts: 1582000 | #Constraints: 59650
364.61/365.75 c #Conflicts: 1583000 | #Constraints: 60650
364.61/365.75 c #Conflicts: 1584000 | #Constraints: 61650
364.61/365.75 c #Conflicts: 1585000 | #Constraints: 62650
364.61/365.75 c #Conflicts: 1586000 | #Constraints: 63650
364.61/365.75 c #Conflicts: 1587000 | #Constraints: 64650
364.61/365.75 c #Conflicts: 1588000 | #Constraints: 65650
364.61/365.75 c #Conflicts: 1589000 | #Constraints: 66650
364.61/365.75 c #Conflicts: 1590000 | #Constraints: 67650
364.61/365.75 c #Conflicts: 1591000 | #Constraints: 68650
364.61/365.75 c INPROCESSING
364.61/365.75 c GARBAGE COLLECT
364.61/365.75 c rational objective 908
368.69/369.85 c #Conflicts: 1592000 | #Constraints: 35216
368.69/369.85 c #Conflicts: 1593000 | #Constraints: 36216
368.69/369.85 c #Conflicts: 1594000 | #Constraints: 37216
368.69/369.85 c #Conflicts: 1595000 | #Constraints: 38216
368.69/369.85 c #Conflicts: 1596000 | #Constraints: 39216
368.69/369.85 c #Conflicts: 1597000 | #Constraints: 40216
368.69/369.85 c #Conflicts: 1598000 | #Constraints: 41216
368.69/369.85 c #Conflicts: 1599000 | #Constraints: 42216
368.69/369.85 c #Conflicts: 1600000 | #Constraints: 43216
368.69/369.85 c #Conflicts: 1601000 | #Constraints: 44216
368.69/369.85 c #Conflicts: 1602000 | #Constraints: 45216
368.69/369.85 c #Conflicts: 1603000 | #Constraints: 46216
368.69/369.85 c #Conflicts: 1604000 | #Constraints: 47216
368.69/369.85 c #Conflicts: 1605000 | #Constraints: 48216
368.69/369.85 c #Conflicts: 1606000 | #Constraints: 49216
368.69/369.85 c #Conflicts: 1607000 | #Constraints: 50216
368.69/369.85 c #Conflicts: 1608000 | #Constraints: 51216
368.69/369.85 c #Conflicts: 1609000 | #Constraints: 52216
368.69/369.85 c #Conflicts: 1610000 | #Constraints: 53216
368.69/369.85 c cpu time 362.739 s
368.69/369.85 c deterministic time 12758305145 1.28e+10
368.69/369.85 c optimization time 0.000122 s
368.69/369.85 c total solve time 362.679 s
368.69/369.85 c core-guided solve time 0 s
368.69/369.85 c propagation time 208.208 s
368.69/369.85 c conflict analysis time 129.562 s
368.69/369.85 c propagations 457123575
368.69/369.85 c resolve steps 53750790
368.69/369.85 c decisions 2086067
368.69/369.85 c conflicts 1610218
368.69/369.85 c restarts 3069
368.69/369.85 c inprocessing phases 109
368.69/369.85 c garbage collections 109 ,( 100.00 )
368.69/369.85 c input clauses 3005 ,( 47.06 )
368.69/369.85 c input cardinalities 3380 ,( 52.94 )
368.69/369.85 c input general constraints 0 ,( 0.00 )
368.69/369.85 c input average constraint length 2.67
368.69/369.85 c input average constraint degree 1.53
368.69/369.85 c learned clauses 1609047 ,( 99.92 )
368.69/369.85 c learned cardinalities 1064 ,( 0.07 )
368.69/369.85 c learned general constraints 230 ,( 0.01 )
368.69/369.85 c learned average constraint length 189.91
368.69/369.85 c learned average constraint degree 19500.72
368.69/369.85 c watched CF 32, 64, 128, Arb: 216 , 0 , 0 , 0
368.69/369.85 c counting CF 32, 64, 128, Arb: 14 , 0 , 0 , 0
368.69/369.85 c watched constraints 216 ,( 93.91 )
368.69/369.85 c counting constraints 14 ,( 6.09 )
368.69/369.85 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2493718750 , 510833293 , 257986 ,( 159266 , 98720 )
368.69/369.85 c gcd simplifications 184
368.69/369.85 c detected cardinalities 10
368.69/369.85 c weakened non-implied lits 4190068
368.69/369.85 c weakened non-implying lits 219
368.69/369.85 c original variables 2724
368.69/369.85 c clausal propagations 268501903
368.69/369.85 c cardinality propagations 186979580
368.69/369.85 c watched propagations 11807
368.69/369.85 c counting propagations 19074
368.69/369.85 c watch lookups 3014008515
368.69/369.85 c watch backjump lookups 0
368.69/369.85 c watch checks 6303167507
368.69/369.85 c propagation checks 1639716716
368.69/369.85 c constraint additions 881205089
368.69/369.85 c trail pops 460818872
368.69/369.85 c formula constraints 6385
368.69/369.85 c learned constraints 1610217
368.69/369.85 c bound constraints 0
368.69/369.85 c core-guided constraints 0
368.69/369.85 c encountered formula constraints 31414043
368.69/369.85 c encountered learned constraints 23905531
368.69/369.85 c encountered bound constraints 0
368.69/369.85 c encountered core-guided constraints 0
368.69/369.85 c LP total time 15.726 s
368.69/369.85 c LP solve time 4.86 s
368.69/369.85 c LP constraints added 6824
368.69/369.85 c LP constraints removed 434
368.69/369.85 c LP pivots internal 161227
368.69/369.85 c LP pivots root 17576
368.69/369.85 c LP calls 393
368.69/369.85 c LP optimalities 391
368.69/369.85 c LP no pivot count 75
368.69/369.85 c LP infeasibilities 0
368.69/369.85 c LP valid Farkas constraints 0
368.69/369.85 c LP learned Farkas constraints 0
368.69/369.85 c LP basis resets 0
368.69/369.85 c LP cycling count 0
368.69/369.85 c LP singular count 0
368.69/369.85 c LP no primal count 0
368.69/369.85 c LP no farkas count 0
368.69/369.85 c LP other issue count 0
368.69/369.85 c LP Gomory cuts 124
368.69/369.85 c LP learned cuts 315
368.69/369.85 c LP deleted cuts 434
368.69/369.85 c LP encountered Gomory constraints 41434
368.69/369.85 c LP encountered Farkas constraints 0
368.69/369.85 c LP encountered learned Farkas constraints 0
368.69/369.85 c CG auxiliary variables introduced 0
368.69/369.85 c CG solutions found 0
368.69/369.85 c CG cores constructed 0
368.69/369.85 c CG core cardinality constraints returned 0
368.69/369.85 c CG unit cores 0
368.69/369.85 c CG single cores 0
368.69/369.85 c CG blocks removed during cardinality reduction 0
368.69/369.85 c CG first core best 0
368.69/369.85 c CG decision core best 0
368.69/369.85 c CG core reduction tie 0
368.69/369.85 c CG core degree average 0.00
368.69/369.85 c CG core slack average 0.00
368.69/369.85 c CG core upper bound improvements 0
368.69/369.85 c STR number of successful calls 0
368.69/369.85 c STR number of unsuccessful calls 0
368.69/369.85 c STR number of inconclusive calls 0
368.69/369.85 c STR number of successful attempts 0
368.69/369.85 c STR number of unsuccessful attempts 0
368.69/369.85 c STR number of inconclusive attempts 0
368.69/369.85 c STR average degree increase per successful call inf
368.69/369.85 c STR average degree increase per successful attempt inf
368.69/369.85 c STR total number of conflicts for successful attempts 0
368.69/369.85 c STR total number of conflicts for unsuccessful attempts 0
368.69/369.85 c STR total number of conflicts for inconclusive attempts 0
368.69/369.85 c STR average number of conflicts per successful attempt inf
368.69/369.85 c STR average number of conflicts per unsuccessful attempt inf
368.69/369.85 c STR average number of conflicts per inconclusive attempt inf
368.69/369.85 c AVG.sumWPerc 10.16
368.69/369.85 c bigint constraints 0
368.69/369.85 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63071 MiB free)
memory of node 1: 64465 MiB (63879 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510940-1751199919/watcher-4510940-1751199919 -o /tmp/evaluation-result-4510940-1751199919/solver-4510940-1751199919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760 run-dec.sh HOME/instance-4510940-1751199919.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22623, runsolver pid=22620
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.20 4.11 4.10 5/255 22625
/proc/meminfo: memFree=129994420/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=62544 memory=17616 CPUtime=0.08 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 2420 0 0 0 6 2 0 0 20 0 1 0 35670541 64045056 4404 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 15636 4404 2208 1147 0 3063 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66736 KiB
Current children cumulated memory: 20688 KiB
[startup+0.214989 s]*
/proc/loadavg: 4.20 4.11 4.10 5/255 22625
/proc/meminfo: memFree=129994420/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=65912 memory=21456 CPUtime=0.18 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 3330 0 0 0 15 3 0 0 20 0 1 0 35670541 67493888 5364 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 16478 5364 2272 1147 0 3905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70104 KiB
Current children cumulated memory: 24528 KiB
[startup+0.313621 s]*
/proc/loadavg: 4.20 4.11 4.10 5/255 22625
/proc/meminfo: memFree=129994420/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=65912 memory=21456 CPUtime=0.28 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 3331 0 0 0 22 6 0 0 20 0 1 0 35670541 67493888 5364 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 16478 5364 2272 1147 0 3905 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70104 KiB
Current children cumulated memory: 24528 KiB
[startup+0.700323 s]
/proc/loadavg: 4.20 4.11 4.10 5/255 22625
/proc/meminfo: memFree=129994484/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=65912 memory=21584 CPUtime=0.66 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 3334 0 0 0 52 14 0 0 20 0 1 0 35670541 67493888 5396 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 16478 5396 2304 1147 0 3905 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70104 KiB
Current children cumulated memory: 24656 KiB
[startup+1.50035 s]
/proc/loadavg: 4.20 4.11 4.10 5/255 22625
/proc/meminfo: memFree=129994484/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=65912 memory=21584 CPUtime=1.45 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 3341 0 0 0 124 21 0 0 20 0 1 0 35670541 67493888 5396 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 16478 5396 2304 1147 0 3905 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 70104 KiB
Current children cumulated memory: 24656 KiB
[startup+3.11353 s]
/proc/loadavg: 4.26 4.13 4.10 5/255 22625
/proc/meminfo: memFree=129994492/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=67016 memory=24736 CPUtime=3.06 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 3624 0 0 0 282 24 0 0 20 0 1 0 35670541 68624384 6184 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 16754 6184 2304 1147 0 4181 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 71208 KiB
Current children cumulated memory: 27808 KiB
[startup+6.30033 s]
/proc/loadavg: 4.26 4.13 4.10 5/255 22625
/proc/meminfo: memFree=129982332/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=69156 memory=26656 CPUtime=6.24 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 4087 0 0 0 592 32 0 0 20 0 1 0 35670541 70815744 6664 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 17289 6664 2304 1147 0 4716 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 73348 KiB
Current children cumulated memory: 29728 KiB
[startup+12.7004 s]
/proc/loadavg: 4.38 4.16 4.11 5/255 22625
/proc/meminfo: memFree=129970488/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=72712 memory=29616 CPUtime=12.62 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 4322 0 0 0 1214 48 0 0 20 0 1 0 35670541 74457088 7404 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 18178 7404 2304 1147 0 5605 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 76904 KiB
Current children cumulated memory: 32688 KiB
[startup+25.5004 s]
/proc/loadavg: 4.47 4.19 4.12 5/255 22625
/proc/meminfo: memFree=129939548/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=74228 memory=31024 CPUtime=25.39 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 4696 0 0 0 2465 74 0 0 20 0 1 0 35670541 76009472 7756 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 18557 7756 2304 1147 0 5984 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78420 KiB
Current children cumulated memory: 34096 KiB
[startup+51.1136 s]
/proc/loadavg: 4.72 4.27 4.15 5/256 22673
/proc/meminfo: memFree=129968632/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=80544 memory=36488 CPUtime=50.93 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 5534 0 0 0 4962 131 0 0 20 0 1 0 35670541 82477056 9122 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 20136 9122 2304 1147 0 7563 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 84736 KiB
Current children cumulated memory: 39560 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.25 4.15 5/256 22677
/proc/meminfo: memFree=129922032/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=90808 memory=46248 CPUtime=101.96 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 6866 0 0 0 9968 228 0 0 20 0 1 0 35670541 92987392 11562 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 22702 11562 2304 1147 0 10129 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 95000 KiB
Current children cumulated memory: 49320 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.23 4.15 5/256 22680
/proc/meminfo: memFree=129876492/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=104344 memory=54252 CPUtime=161.8 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 7854 0 0 0 15843 337 0 0 20 0 1 0 35670541 106848256 13563 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 26086 13563 2304 1147 0 13513 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 108536 KiB
Current children cumulated memory: 57324 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/256 22683
/proc/meminfo: memFree=129859608/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=106296 memory=58148 CPUtime=221.65 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 8329 0 0 0 21738 427 0 0 20 0 1 0 35670541 108847104 14537 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 26574 14537 2304 1147 0 14001 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 110488 KiB
Current children cumulated memory: 61220 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/256 22684
/proc/meminfo: memFree=129817520/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=107528 memory=64556 CPUtime=281.48 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 8913 0 0 0 27628 520 0 0 20 0 1 0 35670541 110108672 16139 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 26882 16139 2304 1147 0 14309 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 111720 KiB
Current children cumulated memory: 67628 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/256 22687
/proc/meminfo: memFree=129681084/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174344 CPUtime=341.28 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13396 0 0 0 33559 569 0 0 20 0 1 0 35670541 229212160 43586 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43586 2304 1147 0 43387 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177416 KiB
[startup+369.854 s]
# the end of solver process 22623 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=362.74 s, system=6.01967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.13 4.17 4.14 5/256 22688
/proc/meminfo: memFree=129664448/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174344 CPUtime=344.57 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13396 0 0 0 33885 572 0 0 20 0 1 0 35670541 229212160 43586 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43586 2304 1147 0 43387 0
Current children cumulated CPU time: 344.57 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177416 KiB
[startup+358.4 s]
/proc/loadavg: 4.10 4.17 4.14 5/256 22688
/proc/meminfo: memFree=129662432/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=357.33 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13433 0 0 0 35147 586 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 357.33 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
[startup+364.8 s]
/proc/loadavg: 4.09 4.16 4.14 5/256 22688
/proc/meminfo: memFree=129657076/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=363.71 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13436 0 0 0 35778 593 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 363.71 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
[startup+368 s]*
/proc/loadavg: 4.08 4.16 4.13 5/256 22688
/proc/meminfo: memFree=129653988/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=366.91 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13436 0 0 0 36095 596 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 366.91 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
[startup+368.8 s]
/proc/loadavg: 4.08 4.16 4.13 5/256 22688
/proc/meminfo: memFree=129653988/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=367.69 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13436 0 0 0 36171 598 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 367.69 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
[startup+369.6 s]
/proc/loadavg: 4.08 4.16 4.13 5/256 22688
/proc/meminfo: memFree=129653232/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=368.49 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13436 0 0 0 36249 600 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 368.49 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
[startup+369.8 s]
/proc/loadavg: 4.08 4.16 4.13 5/256 22688
/proc/meminfo: memFree=129653232/131382120 swapFree=33010684/33010684
[pid=22623] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22623/stat : 22623 (run-dec.sh) S 22620 22623 21214 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 35670540 4292608 768 18446744073709551615 94213259087872 94213259982405 140729776680176 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94213260221456 94213260269200 94213273202688 140729776683373 140729776683496 140729776683496 140729776689098 0
/proc/22623/statm: 1048 768 704 219 0 110 0
[pid=22625] ppid=22623 vsize=223840 memory=174600 CPUtime=368.69 cores=0,2
/proc/22625/stat : 22625 (roundingsat) R 22623 22623 21214 0 -1 4194304 13436 0 0 0 36269 600 0 0 20 0 1 0 35670541 229212160 43650 18446744073709551615 4227072 8923433 140729121186416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21340160 140729121188279 140729121188392 140729121188392 140729121193962 0
/proc/22625/statm: 55960 43650 2304 1147 0 43387 0
Current children cumulated CPU time: 368.69 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 177672 KiB
Child status: 0
Real time (s): 369.855
CPU time (s): 368.76
CPU user time (s): 362.74
CPU system time (s): 6.01967
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 228032
Max. memory (cumulated for all children) (KiB): 177672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.74
system time used= 6.01967
maximum resident set size= 174600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156
involuntary context switches= 848
# summary of solver processes directly reported to runsolver:
# pid: 22623
# total CPU time (s): 368.76
# total CPU user time (s): 362.74
# total CPU system time (s): 6.01967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03444 second user time and 3.84418 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:25:19
IDJOB=4510940
IDBENCH=160406
IDSOLVER=3349
FILE ID=nodeC003/4510940-1751199919
RUNJOBID= nodeC003-1751196106-21224
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510940-1751199919/watcher-4510940-1751199919 -o /tmp/evaluation-result-4510940-1751199919/solver-4510940-1751199919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760 run-dec.sh HOME/instance-4510940-1751199919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=1307695603
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.240
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.455
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.943
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.771
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129998676 kB
MemAvailable: 129817432 kB
Buffers: 3280 kB
Cached: 629108 kB
SwapCached: 0 kB
Active: 429944 kB
Inactive: 415888 kB
Active(anon): 231412 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 415888 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15220 kB
Writeback: 0 kB
AnonPages: 216588 kB
Mapped: 112624 kB
Shmem: 17960 kB
KReclaimable: 87928 kB
Slab: 168700 kB
SReclaimable: 87928 kB
SUnreclaim: 80772 kB
KernelStack: 4064 kB
PageTables: 3652 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 562092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 75776 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 14:31:29