0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 2724 #constraints 6385
1.97/2.03 c #Conflicts: 1000 | #Constraints: 7384
1.97/2.03 c #Conflicts: 2000 | #Constraints: 8384
1.97/2.03 c INPROCESSING
1.97/2.03 c GARBAGE COLLECT
1.97/2.03 c #Conflicts: 3000 | #Constraints: 8717
1.97/2.03 c #Conflicts: 4000 | #Constraints: 9717
1.97/2.03 c #Conflicts: 5000 | #Constraints: 10717
1.97/2.03 c #Conflicts: 6000 | #Constraints: 11717
1.97/2.03 c INPROCESSING
1.97/2.03 c GARBAGE COLLECT
1.97/2.03 c #Conflicts: 7000 | #Constraints: 10274
1.97/2.03 c #Conflicts: 8000 | #Constraints: 11274
1.97/2.03 c #Conflicts: 9000 | #Constraints: 12274
1.97/2.03 c INPROCESSING
1.97/2.03 c GARBAGE COLLECT
1.97/2.03 c #Conflicts: 10000 | #Constraints: 10427
1.97/2.03 c #Conflicts: 11000 | #Constraints: 11427
1.97/2.03 c #Conflicts: 12000 | #Constraints: 12427
1.97/2.03 c INPROCESSING
1.97/2.03 c GARBAGE COLLECT
1.97/2.03 c rational objective 908
2.56/2.69 c #Conflicts: 13000 | #Constraints: 10228
2.56/2.69 c #Conflicts: 14000 | #Constraints: 11228
2.56/2.69 c #Conflicts: 15000 | #Constraints: 12228
2.56/2.69 c #Conflicts: 16000 | #Constraints: 13228
2.56/2.69 c INPROCESSING
2.56/2.69 c GARBAGE COLLECT
2.56/2.69 c rational objective 908
3.25/3.37 c #Conflicts: 17000 | #Constraints: 10797
3.25/3.37 c #Conflicts: 18000 | #Constraints: 11797
3.25/3.37 c #Conflicts: 19000 | #Constraints: 12797
3.25/3.37 c #Conflicts: 20000 | #Constraints: 13797
3.25/3.37 c INPROCESSING
3.25/3.37 c GARBAGE COLLECT
3.25/3.37 c rational objective 908
4.15/4.28 c #Conflicts: 21000 | #Constraints: 11135
4.15/4.28 c #Conflicts: 22000 | #Constraints: 12135
4.15/4.28 c #Conflicts: 23000 | #Constraints: 13135
4.15/4.28 c #Conflicts: 24000 | #Constraints: 14135
4.15/4.28 c INPROCESSING
4.15/4.28 c GARBAGE COLLECT
4.15/4.28 c rational objective 908
5.06/5.12 c #Conflicts: 25000 | #Constraints: 11245
5.06/5.12 c #Conflicts: 26000 | #Constraints: 12245
5.06/5.12 c #Conflicts: 27000 | #Constraints: 13245
5.06/5.12 c #Conflicts: 28000 | #Constraints: 14245
5.06/5.12 c INPROCESSING
5.06/5.12 c GARBAGE COLLECT
5.06/5.12 c rational objective 908
8.15/8.23 c #Conflicts: 29000 | #Constraints: 11151
8.15/8.23 c #Conflicts: 30000 | #Constraints: 12151
8.15/8.23 c #Conflicts: 31000 | #Constraints: 13151
8.15/8.23 c #Conflicts: 32000 | #Constraints: 14151
8.15/8.23 c #Conflicts: 33000 | #Constraints: 15151
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c #Conflicts: 34000 | #Constraints: 11851
8.15/8.23 c #Conflicts: 35000 | #Constraints: 12851
8.15/8.23 c #Conflicts: 36000 | #Constraints: 13851
8.15/8.23 c #Conflicts: 37000 | #Constraints: 14851
8.15/8.23 c #Conflicts: 38000 | #Constraints: 15851
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c #Conflicts: 39000 | #Constraints: 12368
8.15/8.23 c #Conflicts: 40000 | #Constraints: 13368
8.15/8.23 c #Conflicts: 41000 | #Constraints: 14368
8.15/8.23 c #Conflicts: 42000 | #Constraints: 15368
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c #Conflicts: 43000 | #Constraints: 11677
8.15/8.23 c #Conflicts: 44000 | #Constraints: 12677
8.15/8.23 c #Conflicts: 45000 | #Constraints: 13677
8.15/8.23 c #Conflicts: 46000 | #Constraints: 14677
8.15/8.23 c #Conflicts: 47000 | #Constraints: 15677
8.15/8.23 c #Conflicts: 48000 | #Constraints: 16677
8.15/8.23 c INPROCESSING
8.15/8.23 c GARBAGE COLLECT
8.15/8.23 c rational objective 908
9.04/9.16 c #Conflicts: 49000 | #Constraints: 12789
9.04/9.16 c #Conflicts: 50000 | #Constraints: 13789
9.04/9.16 c #Conflicts: 51000 | #Constraints: 14789
9.04/9.16 c #Conflicts: 52000 | #Constraints: 15789
9.04/9.16 c #Conflicts: 53000 | #Constraints: 16789
9.04/9.16 c INPROCESSING
9.04/9.16 c GARBAGE COLLECT
9.04/9.16 c rational objective 908
10.05/10.14 c #Conflicts: 54000 | #Constraints: 12688
10.05/10.14 c #Conflicts: 55000 | #Constraints: 13688
10.05/10.14 c #Conflicts: 56000 | #Constraints: 14688
10.05/10.14 c #Conflicts: 57000 | #Constraints: 15688
10.05/10.14 c #Conflicts: 58000 | #Constraints: 16688
10.05/10.14 c INPROCESSING
10.05/10.14 c GARBAGE COLLECT
10.05/10.14 c rational objective 908
13.03/13.17 c #Conflicts: 59000 | #Constraints: 12394
13.03/13.17 c #Conflicts: 60000 | #Constraints: 13394
13.03/13.17 c #Conflicts: 61000 | #Constraints: 14394
13.03/13.17 c #Conflicts: 62000 | #Constraints: 15394
13.03/13.17 c #Conflicts: 63000 | #Constraints: 16394
13.03/13.17 c #Conflicts: 64000 | #Constraints: 17394
13.03/13.17 c INPROCESSING
13.03/13.17 c GARBAGE COLLECT
13.03/13.17 c #Conflicts: 65000 | #Constraints: 12893
13.03/13.17 c #Conflicts: 66000 | #Constraints: 13893
13.03/13.17 c #Conflicts: 67000 | #Constraints: 14893
13.03/13.17 c #Conflicts: 68000 | #Constraints: 15893
13.03/13.17 c #Conflicts: 69000 | #Constraints: 16893
13.03/13.17 c #Conflicts: 70000 | #Constraints: 17893
13.03/13.17 c INPROCESSING
13.03/13.17 c GARBAGE COLLECT
13.03/13.17 c #Conflicts: 71000 | #Constraints: 13195
13.03/13.17 c #Conflicts: 72000 | #Constraints: 14195
13.03/13.17 c #Conflicts: 73000 | #Constraints: 15195
13.03/13.17 c #Conflicts: 74000 | #Constraints: 16195
13.03/13.17 c #Conflicts: 75000 | #Constraints: 17195
13.03/13.17 c #Conflicts: 76000 | #Constraints: 18195
13.03/13.17 c INPROCESSING
13.03/13.17 c GARBAGE COLLECT
13.03/13.17 c rational objective 908
14.13/14.22 c #Conflicts: 77000 | #Constraints: 13305
14.13/14.22 c #Conflicts: 78000 | #Constraints: 14305
14.13/14.22 c #Conflicts: 79000 | #Constraints: 15305
14.13/14.22 c #Conflicts: 80000 | #Constraints: 16305
14.13/14.22 c #Conflicts: 81000 | #Constraints: 17305
14.13/14.22 c #Conflicts: 82000 | #Constraints: 18305
14.13/14.22 c INPROCESSING
14.13/14.22 c GARBAGE COLLECT
14.13/14.22 c rational objective 908
15.52/15.60 c #Conflicts: 83000 | #Constraints: 13198
15.52/15.60 c #Conflicts: 84000 | #Constraints: 14198
15.52/15.60 c #Conflicts: 85000 | #Constraints: 15198
15.52/15.60 c #Conflicts: 86000 | #Constraints: 16198
15.52/15.60 c #Conflicts: 87000 | #Constraints: 17198
15.52/15.60 c #Conflicts: 88000 | #Constraints: 18198
15.52/15.60 c #Conflicts: 89000 | #Constraints: 19198
15.52/15.60 c INPROCESSING
15.52/15.60 c GARBAGE COLLECT
15.52/15.60 c rational objective 908
17.02/17.11 c #Conflicts: 90000 | #Constraints: 13891
17.02/17.11 c #Conflicts: 91000 | #Constraints: 14891
17.02/17.11 c #Conflicts: 92000 | #Constraints: 15891
17.02/17.11 c #Conflicts: 93000 | #Constraints: 16891
17.02/17.11 c #Conflicts: 94000 | #Constraints: 17891
17.02/17.11 c #Conflicts: 95000 | #Constraints: 18891
17.02/17.11 c #Conflicts: 96000 | #Constraints: 19891
17.02/17.11 c INPROCESSING
17.02/17.11 c GARBAGE COLLECT
17.02/17.11 c rational objective 908
18.62/18.77 c #Conflicts: 97000 | #Constraints: 14405
18.62/18.77 c #Conflicts: 98000 | #Constraints: 15405
18.62/18.77 c #Conflicts: 99000 | #Constraints: 16405
18.62/18.77 c #Conflicts: 100000 | #Constraints: 17405
18.62/18.77 c #Conflicts: 101000 | #Constraints: 18405
18.62/18.77 c #Conflicts: 102000 | #Constraints: 19405
18.62/18.77 c INPROCESSING
18.62/18.77 c GARBAGE COLLECT
18.62/18.77 c rational objective 908
19.92/20.01 c #Conflicts: 103000 | #Constraints: 13697
19.92/20.01 c #Conflicts: 104000 | #Constraints: 14697
19.92/20.01 c #Conflicts: 105000 | #Constraints: 15697
19.92/20.01 c #Conflicts: 106000 | #Constraints: 16697
19.92/20.01 c #Conflicts: 107000 | #Constraints: 17697
19.92/20.01 c #Conflicts: 108000 | #Constraints: 18697
19.92/20.01 c #Conflicts: 109000 | #Constraints: 19697
19.92/20.01 c #Conflicts: 110000 | #Constraints: 20697
19.92/20.01 c INPROCESSING
19.92/20.01 c GARBAGE COLLECT
19.92/20.01 c rational objective 908
21.11/21.25 c #Conflicts: 111000 | #Constraints: 14799
21.11/21.25 c #Conflicts: 112000 | #Constraints: 15799
21.11/21.25 c #Conflicts: 113000 | #Constraints: 16799
21.11/21.25 c #Conflicts: 114000 | #Constraints: 17799
21.11/21.25 c #Conflicts: 115000 | #Constraints: 18799
21.11/21.25 c #Conflicts: 116000 | #Constraints: 19799
21.11/21.25 c #Conflicts: 117000 | #Constraints: 20799
21.11/21.25 c INPROCESSING
21.11/21.25 c GARBAGE COLLECT
21.11/21.25 c rational objective 908
22.41/22.56 c #Conflicts: 118000 | #Constraints: 14718
22.41/22.56 c #Conflicts: 119000 | #Constraints: 15718
22.41/22.56 c #Conflicts: 120000 | #Constraints: 16718
22.41/22.56 c #Conflicts: 121000 | #Constraints: 17718
22.41/22.56 c #Conflicts: 122000 | #Constraints: 18718
22.41/22.56 c #Conflicts: 123000 | #Constraints: 19718
22.41/22.56 c #Conflicts: 124000 | #Constraints: 20718
22.41/22.56 c INPROCESSING
22.41/22.56 c GARBAGE COLLECT
22.41/22.56 c rational objective 908
23.91/24.05 c #Conflicts: 125000 | #Constraints: 14404
23.91/24.05 c #Conflicts: 126000 | #Constraints: 15404
23.91/24.05 c #Conflicts: 127000 | #Constraints: 16404
23.91/24.05 c #Conflicts: 128000 | #Constraints: 17404
23.91/24.05 c #Conflicts: 129000 | #Constraints: 18404
23.91/24.05 c #Conflicts: 130000 | #Constraints: 19404
23.91/24.05 c #Conflicts: 131000 | #Constraints: 20404
23.91/24.05 c #Conflicts: 132000 | #Constraints: 21404
23.91/24.05 c INPROCESSING
23.91/24.05 c GARBAGE COLLECT
23.91/24.05 c rational objective 908
25.30/25.43 c #Conflicts: 133000 | #Constraints: 14894
25.30/25.43 c #Conflicts: 134000 | #Constraints: 15894
25.30/25.43 c #Conflicts: 135000 | #Constraints: 16894
25.30/25.43 c #Conflicts: 136000 | #Constraints: 17894
25.30/25.43 c #Conflicts: 137000 | #Constraints: 18894
25.30/25.43 c #Conflicts: 138000 | #Constraints: 19894
25.30/25.43 c #Conflicts: 139000 | #Constraints: 20894
25.30/25.43 c #Conflicts: 140000 | #Constraints: 21894
25.30/25.43 c INPROCESSING
25.30/25.43 c GARBAGE COLLECT
25.30/25.43 c rational objective 908
26.60/26.76 c #Conflicts: 141000 | #Constraints: 15198
26.60/26.76 c #Conflicts: 142000 | #Constraints: 16198
26.60/26.76 c #Conflicts: 143000 | #Constraints: 17198
26.60/26.76 c #Conflicts: 144000 | #Constraints: 18198
26.60/26.76 c #Conflicts: 145000 | #Constraints: 19198
26.60/26.76 c #Conflicts: 146000 | #Constraints: 20198
26.60/26.76 c #Conflicts: 147000 | #Constraints: 21198
26.60/26.76 c #Conflicts: 148000 | #Constraints: 22198
26.60/26.76 c INPROCESSING
26.60/26.76 c GARBAGE COLLECT
26.60/26.76 c rational objective 908
28.10/28.26 c #Conflicts: 149000 | #Constraints: 15295
28.10/28.26 c #Conflicts: 150000 | #Constraints: 16295
28.10/28.26 c #Conflicts: 151000 | #Constraints: 17295
28.10/28.26 c #Conflicts: 152000 | #Constraints: 18295
28.10/28.26 c #Conflicts: 153000 | #Constraints: 19295
28.10/28.26 c #Conflicts: 154000 | #Constraints: 20295
28.10/28.26 c #Conflicts: 155000 | #Constraints: 21295
28.10/28.26 c #Conflicts: 156000 | #Constraints: 22295
28.10/28.26 c INPROCESSING
28.10/28.26 c GARBAGE COLLECT
28.10/28.26 c rational objective 908
29.59/29.71 c #Conflicts: 157000 | #Constraints: 15194
29.59/29.71 c #Conflicts: 158000 | #Constraints: 16194
29.59/29.71 c #Conflicts: 159000 | #Constraints: 17194
29.59/29.71 c #Conflicts: 160000 | #Constraints: 18194
29.59/29.71 c #Conflicts: 161000 | #Constraints: 19194
29.59/29.71 c #Conflicts: 162000 | #Constraints: 20194
29.59/29.71 c #Conflicts: 163000 | #Constraints: 21194
29.59/29.71 c #Conflicts: 164000 | #Constraints: 22194
29.59/29.71 c #Conflicts: 165000 | #Constraints: 23194
29.59/29.71 c INPROCESSING
29.59/29.71 c GARBAGE COLLECT
29.59/29.71 c rational objective 908
31.00/31.14 c #Conflicts: 166000 | #Constraints: 15916
31.00/31.14 c #Conflicts: 167000 | #Constraints: 16916
31.00/31.14 c #Conflicts: 168000 | #Constraints: 17916
31.00/31.14 c #Conflicts: 169000 | #Constraints: 18916
31.00/31.14 c #Conflicts: 170000 | #Constraints: 19916
31.00/31.14 c #Conflicts: 171000 | #Constraints: 20916
31.00/31.14 c #Conflicts: 172000 | #Constraints: 21916
31.00/31.14 c #Conflicts: 173000 | #Constraints: 22916
31.00/31.14 c #Conflicts: 174000 | #Constraints: 23916
31.00/31.14 c INPROCESSING
31.00/31.14 c GARBAGE COLLECT
31.00/31.14 c rational objective 908
32.58/32.71 c #Conflicts: 175000 | #Constraints: 16427
32.58/32.71 c #Conflicts: 176000 | #Constraints: 17427
32.58/32.71 c #Conflicts: 177000 | #Constraints: 18427
32.58/32.71 c #Conflicts: 178000 | #Constraints: 19427
32.58/32.71 c #Conflicts: 179000 | #Constraints: 20427
32.58/32.71 c #Conflicts: 180000 | #Constraints: 21427
32.58/32.71 c #Conflicts: 181000 | #Constraints: 22427
32.58/32.71 c #Conflicts: 182000 | #Constraints: 23427
32.58/32.71 c INPROCESSING
32.58/32.71 c GARBAGE COLLECT
32.58/32.71 c rational objective 908
34.28/34.43 c #Conflicts: 183000 | #Constraints: 15703
34.28/34.43 c #Conflicts: 184000 | #Constraints: 16703
34.28/34.43 c #Conflicts: 185000 | #Constraints: 17703
34.28/34.43 c #Conflicts: 186000 | #Constraints: 18703
34.28/34.43 c #Conflicts: 187000 | #Constraints: 19703
34.28/34.43 c #Conflicts: 188000 | #Constraints: 20703
34.28/34.43 c #Conflicts: 189000 | #Constraints: 21703
34.28/34.43 c #Conflicts: 190000 | #Constraints: 22703
34.28/34.43 c #Conflicts: 191000 | #Constraints: 23703
34.28/34.43 c #Conflicts: 192000 | #Constraints: 24703
34.28/34.43 c INPROCESSING
34.28/34.43 c GARBAGE COLLECT
34.28/34.43 c rational objective 908
36.17/36.35 c #Conflicts: 193000 | #Constraints: 16825
36.17/36.35 c #Conflicts: 194000 | #Constraints: 17825
36.17/36.35 c #Conflicts: 195000 | #Constraints: 18825
36.17/36.35 c #Conflicts: 196000 | #Constraints: 19825
36.17/36.35 c #Conflicts: 197000 | #Constraints: 20825
36.17/36.35 c #Conflicts: 198000 | #Constraints: 21825
36.17/36.35 c #Conflicts: 199000 | #Constraints: 22825
36.17/36.35 c #Conflicts: 200000 | #Constraints: 23825
36.17/36.35 c #Conflicts: 201000 | #Constraints: 24825
36.17/36.35 c INPROCESSING
36.17/36.35 c GARBAGE COLLECT
36.17/36.35 c rational objective 908
37.97/38.17 c #Conflicts: 202000 | #Constraints: 16725
37.97/38.17 c #Conflicts: 203000 | #Constraints: 17725
37.97/38.17 c #Conflicts: 204000 | #Constraints: 18725
37.97/38.17 c #Conflicts: 205000 | #Constraints: 19725
37.97/38.17 c #Conflicts: 206000 | #Constraints: 20725
37.97/38.17 c #Conflicts: 207000 | #Constraints: 21725
37.97/38.17 c #Conflicts: 208000 | #Constraints: 22725
37.97/38.17 c #Conflicts: 209000 | #Constraints: 23725
37.97/38.17 c #Conflicts: 210000 | #Constraints: 24725
37.97/38.17 c INPROCESSING
37.97/38.17 c GARBAGE COLLECT
37.97/38.17 c rational objective 908
39.77/39.95 c #Conflicts: 211000 | #Constraints: 16403
39.77/39.95 c #Conflicts: 212000 | #Constraints: 17403
39.77/39.95 c #Conflicts: 213000 | #Constraints: 18403
39.77/39.95 c #Conflicts: 214000 | #Constraints: 19403
39.77/39.95 c #Conflicts: 215000 | #Constraints: 20403
39.77/39.95 c #Conflicts: 216000 | #Constraints: 21403
39.77/39.95 c #Conflicts: 217000 | #Constraints: 22403
39.77/39.95 c #Conflicts: 218000 | #Constraints: 23403
39.77/39.95 c #Conflicts: 219000 | #Constraints: 24403
39.77/39.95 c #Conflicts: 220000 | #Constraints: 25403
39.77/39.95 c INPROCESSING
39.77/39.95 c GARBAGE COLLECT
39.77/39.95 c rational objective 908
41.56/41.70 c #Conflicts: 221000 | #Constraints: 16908
41.56/41.70 c #Conflicts: 222000 | #Constraints: 17908
41.56/41.70 c #Conflicts: 223000 | #Constraints: 18908
41.56/41.70 c #Conflicts: 224000 | #Constraints: 19908
41.56/41.70 c #Conflicts: 225000 | #Constraints: 20908
41.56/41.70 c #Conflicts: 226000 | #Constraints: 21908
41.56/41.70 c #Conflicts: 227000 | #Constraints: 22908
41.56/41.70 c #Conflicts: 228000 | #Constraints: 23908
41.56/41.70 c #Conflicts: 229000 | #Constraints: 24908
41.56/41.70 c #Conflicts: 230000 | #Constraints: 25908
41.56/41.70 c INPROCESSING
41.56/41.70 c GARBAGE COLLECT
41.56/41.70 c rational objective 908
43.25/43.41 c #Conflicts: 231000 | #Constraints: 17201
43.25/43.41 c #Conflicts: 232000 | #Constraints: 18201
43.25/43.41 c #Conflicts: 233000 | #Constraints: 19201
43.25/43.41 c #Conflicts: 234000 | #Constraints: 20201
43.25/43.41 c #Conflicts: 235000 | #Constraints: 21201
43.25/43.41 c #Conflicts: 236000 | #Constraints: 22201
43.25/43.41 c #Conflicts: 237000 | #Constraints: 23201
43.25/43.41 c #Conflicts: 238000 | #Constraints: 24201
43.25/43.41 c #Conflicts: 239000 | #Constraints: 25201
43.25/43.41 c #Conflicts: 240000 | #Constraints: 26201
43.25/43.41 c INPROCESSING
43.25/43.41 c GARBAGE COLLECT
43.25/43.41 c rational objective 908
45.05/45.21 c #Conflicts: 241000 | #Constraints: 17294
45.05/45.21 c #Conflicts: 242000 | #Constraints: 18294
45.05/45.21 c #Conflicts: 243000 | #Constraints: 19294
45.05/45.21 c #Conflicts: 244000 | #Constraints: 20294
45.05/45.21 c #Conflicts: 245000 | #Constraints: 21294
45.05/45.21 c #Conflicts: 246000 | #Constraints: 22294
45.05/45.21 c #Conflicts: 247000 | #Constraints: 23294
45.05/45.21 c #Conflicts: 248000 | #Constraints: 24294
45.05/45.21 c #Conflicts: 249000 | #Constraints: 25294
45.05/45.21 c #Conflicts: 250000 | #Constraints: 26294
45.05/45.21 c INPROCESSING
45.05/45.21 c GARBAGE COLLECT
45.05/45.21 c rational objective 908
46.95/47.13 c #Conflicts: 251000 | #Constraints: 17203
46.95/47.13 c #Conflicts: 252000 | #Constraints: 18203
46.95/47.13 c #Conflicts: 253000 | #Constraints: 19203
46.95/47.13 c #Conflicts: 254000 | #Constraints: 20203
46.95/47.13 c #Conflicts: 255000 | #Constraints: 21203
46.95/47.13 c #Conflicts: 256000 | #Constraints: 22203
46.95/47.13 c #Conflicts: 257000 | #Constraints: 23203
46.95/47.13 c #Conflicts: 258000 | #Constraints: 24203
46.95/47.13 c #Conflicts: 259000 | #Constraints: 25203
46.95/47.13 c #Conflicts: 260000 | #Constraints: 26203
46.95/47.13 c #Conflicts: 261000 | #Constraints: 27203
46.95/47.13 c INPROCESSING
46.95/47.13 c GARBAGE COLLECT
46.95/47.13 c rational objective 908
48.74/48.92 c #Conflicts: 262000 | #Constraints: 17901
48.74/48.92 c #Conflicts: 263000 | #Constraints: 18901
48.74/48.92 c #Conflicts: 264000 | #Constraints: 19901
48.74/48.92 c #Conflicts: 265000 | #Constraints: 20901
48.74/48.92 c #Conflicts: 266000 | #Constraints: 21901
48.74/48.92 c #Conflicts: 267000 | #Constraints: 22901
48.74/48.92 c #Conflicts: 268000 | #Constraints: 23901
48.74/48.92 c #Conflicts: 269000 | #Constraints: 24901
48.74/48.92 c #Conflicts: 270000 | #Constraints: 25901
48.74/48.92 c #Conflicts: 271000 | #Constraints: 26901
48.74/48.92 c #Conflicts: 272000 | #Constraints: 27901
48.74/48.92 c INPROCESSING
48.74/48.92 c GARBAGE COLLECT
48.74/48.92 c rational objective 908
50.74/50.91 c #Conflicts: 273000 | #Constraints: 18395
50.74/50.91 c #Conflicts: 274000 | #Constraints: 19395
50.74/50.91 c #Conflicts: 275000 | #Constraints: 20395
50.74/50.91 c #Conflicts: 276000 | #Constraints: 21395
50.74/50.91 c #Conflicts: 277000 | #Constraints: 22395
50.74/50.91 c #Conflicts: 278000 | #Constraints: 23395
50.74/50.91 c #Conflicts: 279000 | #Constraints: 24395
50.74/50.91 c #Conflicts: 280000 | #Constraints: 25395
50.74/50.91 c #Conflicts: 281000 | #Constraints: 26395
50.74/50.91 c #Conflicts: 282000 | #Constraints: 27395
50.74/50.91 c INPROCESSING
50.74/50.91 c GARBAGE COLLECT
50.74/50.91 c rational objective 908
52.73/52.91 c #Conflicts: 283000 | #Constraints: 17709
52.73/52.91 c #Conflicts: 284000 | #Constraints: 18709
52.73/52.91 c #Conflicts: 285000 | #Constraints: 19709
52.73/52.91 c #Conflicts: 286000 | #Constraints: 20709
52.73/52.91 c #Conflicts: 287000 | #Constraints: 21709
52.73/52.91 c #Conflicts: 288000 | #Constraints: 22709
52.73/52.91 c #Conflicts: 289000 | #Constraints: 23709
52.73/52.91 c #Conflicts: 290000 | #Constraints: 24709
52.73/52.91 c #Conflicts: 291000 | #Constraints: 25709
52.73/52.91 c #Conflicts: 292000 | #Constraints: 26709
52.73/52.91 c #Conflicts: 293000 | #Constraints: 27709
52.73/52.91 c #Conflicts: 294000 | #Constraints: 28709
52.73/52.91 c INPROCESSING
52.73/52.91 c GARBAGE COLLECT
52.73/52.91 c rational objective 908
54.72/54.99 c #Conflicts: 295000 | #Constraints: 18814
54.72/54.99 c #Conflicts: 296000 | #Constraints: 19814
54.72/54.99 c #Conflicts: 297000 | #Constraints: 20814
54.72/54.99 c #Conflicts: 298000 | #Constraints: 21814
54.72/54.99 c #Conflicts: 299000 | #Constraints: 22814
54.72/54.99 c #Conflicts: 300000 | #Constraints: 23814
54.72/54.99 c #Conflicts: 301000 | #Constraints: 24814
54.72/54.99 c #Conflicts: 302000 | #Constraints: 25814
54.72/54.99 c #Conflicts: 303000 | #Constraints: 26814
54.72/54.99 c #Conflicts: 304000 | #Constraints: 27814
54.72/54.99 c #Conflicts: 305000 | #Constraints: 28814
54.72/54.99 c INPROCESSING
54.72/54.99 c GARBAGE COLLECT
54.72/54.99 c rational objective 908
56.72/56.91 c #Conflicts: 306000 | #Constraints: 18713
56.72/56.91 c #Conflicts: 307000 | #Constraints: 19713
56.72/56.91 c #Conflicts: 308000 | #Constraints: 20713
56.72/56.91 c #Conflicts: 309000 | #Constraints: 21713
56.72/56.91 c #Conflicts: 310000 | #Constraints: 22713
56.72/56.91 c #Conflicts: 311000 | #Constraints: 23713
56.72/56.91 c #Conflicts: 312000 | #Constraints: 24713
56.72/56.91 c #Conflicts: 313000 | #Constraints: 25713
56.72/56.91 c #Conflicts: 314000 | #Constraints: 26713
56.72/56.91 c #Conflicts: 315000 | #Constraints: 27713
56.72/56.91 c #Conflicts: 316000 | #Constraints: 28713
56.72/56.91 c INPROCESSING
56.72/56.91 c GARBAGE COLLECT
56.72/56.91 c rational objective 908
58.72/59.00 c #Conflicts: 317000 | #Constraints: 18415
58.72/59.00 c #Conflicts: 318000 | #Constraints: 19415
58.72/59.00 c #Conflicts: 319000 | #Constraints: 20415
58.72/59.00 c #Conflicts: 320000 | #Constraints: 21415
58.72/59.00 c #Conflicts: 321000 | #Constraints: 22415
58.72/59.00 c #Conflicts: 322000 | #Constraints: 23415
58.72/59.00 c #Conflicts: 323000 | #Constraints: 24415
58.72/59.00 c #Conflicts: 324000 | #Constraints: 25415
58.72/59.00 c #Conflicts: 325000 | #Constraints: 26415
58.72/59.00 c #Conflicts: 326000 | #Constraints: 27415
58.72/59.00 c #Conflicts: 327000 | #Constraints: 28415
58.72/59.00 c #Conflicts: 328000 | #Constraints: 29415
58.72/59.00 c INPROCESSING
58.72/59.00 c GARBAGE COLLECT
58.72/59.00 c rational objective 908
60.92/61.11 c #Conflicts: 329000 | #Constraints: 18909
60.92/61.11 c #Conflicts: 330000 | #Constraints: 19909
60.92/61.11 c #Conflicts: 331000 | #Constraints: 20909
60.92/61.11 c #Conflicts: 332000 | #Constraints: 21909
60.92/61.11 c #Conflicts: 333000 | #Constraints: 22909
60.92/61.11 c #Conflicts: 334000 | #Constraints: 23909
60.92/61.11 c #Conflicts: 335000 | #Constraints: 24909
60.92/61.11 c #Conflicts: 336000 | #Constraints: 25909
60.92/61.11 c #Conflicts: 337000 | #Constraints: 26909
60.92/61.11 c #Conflicts: 338000 | #Constraints: 27909
60.92/61.11 c #Conflicts: 339000 | #Constraints: 28909
60.92/61.11 c #Conflicts: 340000 | #Constraints: 29909
60.92/61.11 c INPROCESSING
60.92/61.11 c GARBAGE COLLECT
60.92/61.11 c rational objective 908
63.21/63.45 c #Conflicts: 341000 | #Constraints: 19213
63.21/63.45 c #Conflicts: 342000 | #Constraints: 20213
63.21/63.45 c #Conflicts: 343000 | #Constraints: 21213
63.21/63.45 c #Conflicts: 344000 | #Constraints: 22213
63.21/63.45 c #Conflicts: 345000 | #Constraints: 23213
63.21/63.45 c #Conflicts: 346000 | #Constraints: 24213
63.21/63.45 c #Conflicts: 347000 | #Constraints: 25213
63.21/63.45 c #Conflicts: 348000 | #Constraints: 26213
63.21/63.45 c #Conflicts: 349000 | #Constraints: 27213
63.21/63.45 c #Conflicts: 350000 | #Constraints: 28213
63.21/63.45 c #Conflicts: 351000 | #Constraints: 29213
63.21/63.45 c #Conflicts: 352000 | #Constraints: 30213
63.21/63.45 c INPROCESSING
63.21/63.45 c GARBAGE COLLECT
63.21/63.45 c rational objective 908
65.31/65.58 c #Conflicts: 353000 | #Constraints: 19308
65.31/65.58 c #Conflicts: 354000 | #Constraints: 20308
65.31/65.58 c #Conflicts: 355000 | #Constraints: 21308
65.31/65.58 c #Conflicts: 356000 | #Constraints: 22308
65.31/65.58 c #Conflicts: 357000 | #Constraints: 23308
65.31/65.58 c #Conflicts: 358000 | #Constraints: 24308
65.31/65.58 c #Conflicts: 359000 | #Constraints: 25308
65.31/65.58 c #Conflicts: 360000 | #Constraints: 26308
65.31/65.58 c #Conflicts: 361000 | #Constraints: 27308
65.31/65.58 c #Conflicts: 362000 | #Constraints: 28308
65.31/65.58 c #Conflicts: 363000 | #Constraints: 29308
65.31/65.58 c #Conflicts: 364000 | #Constraints: 30308
65.31/65.58 c INPROCESSING
65.31/65.58 c GARBAGE COLLECT
65.31/65.58 c rational objective 908
68.00/68.24 c #Conflicts: 365000 | #Constraints: 19207
68.00/68.24 c #Conflicts: 366000 | #Constraints: 20207
68.00/68.24 c #Conflicts: 367000 | #Constraints: 21207
68.00/68.24 c #Conflicts: 368000 | #Constraints: 22207
68.00/68.24 c #Conflicts: 369000 | #Constraints: 23207
68.00/68.24 c #Conflicts: 370000 | #Constraints: 24207
68.00/68.24 c #Conflicts: 371000 | #Constraints: 25207
68.00/68.24 c #Conflicts: 372000 | #Constraints: 26207
68.00/68.24 c #Conflicts: 373000 | #Constraints: 27207
68.00/68.24 c #Conflicts: 374000 | #Constraints: 28207
68.00/68.24 c #Conflicts: 375000 | #Constraints: 29207
68.00/68.24 c #Conflicts: 376000 | #Constraints: 30207
68.00/68.24 c #Conflicts: 377000 | #Constraints: 31207
68.00/68.24 c INPROCESSING
68.00/68.24 c GARBAGE COLLECT
68.00/68.24 c rational objective 908
70.39/70.65 c #Conflicts: 378000 | #Constraints: 19932
70.39/70.65 c #Conflicts: 379000 | #Constraints: 20932
70.39/70.65 c #Conflicts: 380000 | #Constraints: 21932
70.39/70.65 c #Conflicts: 381000 | #Constraints: 22932
70.39/70.65 c #Conflicts: 382000 | #Constraints: 23932
70.39/70.65 c #Conflicts: 383000 | #Constraints: 24932
70.39/70.65 c #Conflicts: 384000 | #Constraints: 25932
70.39/70.65 c #Conflicts: 385000 | #Constraints: 26932
70.39/70.65 c #Conflicts: 386000 | #Constraints: 27932
70.39/70.65 c #Conflicts: 387000 | #Constraints: 28932
70.39/70.65 c #Conflicts: 388000 | #Constraints: 29932
70.39/70.65 c #Conflicts: 389000 | #Constraints: 30932
70.39/70.65 c #Conflicts: 390000 | #Constraints: 31932
70.39/70.65 c INPROCESSING
70.39/70.65 c GARBAGE COLLECT
70.39/70.65 c rational objective 908
72.68/73.00 c #Conflicts: 391000 | #Constraints: 20434
72.68/73.00 c #Conflicts: 392000 | #Constraints: 21434
72.68/73.00 c #Conflicts: 393000 | #Constraints: 22434
72.68/73.00 c #Conflicts: 394000 | #Constraints: 23434
72.68/73.00 c #Conflicts: 395000 | #Constraints: 24434
72.68/73.00 c #Conflicts: 396000 | #Constraints: 25434
72.68/73.00 c #Conflicts: 397000 | #Constraints: 26434
72.68/73.00 c #Conflicts: 398000 | #Constraints: 27434
72.68/73.00 c #Conflicts: 399000 | #Constraints: 28434
72.68/73.00 c #Conflicts: 400000 | #Constraints: 29434
72.68/73.00 c #Conflicts: 401000 | #Constraints: 30434
72.68/73.00 c #Conflicts: 402000 | #Constraints: 31434
72.68/73.00 c INPROCESSING
72.68/73.00 c GARBAGE COLLECT
72.68/73.00 c rational objective 908
75.48/75.75 c #Conflicts: 403000 | #Constraints: 19729
75.48/75.75 c #Conflicts: 404000 | #Constraints: 20729
75.48/75.75 c #Conflicts: 405000 | #Constraints: 21729
75.48/75.75 c #Conflicts: 406000 | #Constraints: 22729
75.48/75.75 c #Conflicts: 407000 | #Constraints: 23729
75.48/75.75 c #Conflicts: 408000 | #Constraints: 24729
75.48/75.75 c #Conflicts: 409000 | #Constraints: 25729
75.48/75.75 c #Conflicts: 410000 | #Constraints: 26729
75.48/75.75 c #Conflicts: 411000 | #Constraints: 27729
75.48/75.75 c #Conflicts: 412000 | #Constraints: 28729
75.48/75.75 c #Conflicts: 413000 | #Constraints: 29729
75.48/75.75 c #Conflicts: 414000 | #Constraints: 30729
75.48/75.75 c #Conflicts: 415000 | #Constraints: 31729
75.48/75.75 c #Conflicts: 416000 | #Constraints: 32729
75.48/75.75 c INPROCESSING
75.48/75.75 c GARBAGE COLLECT
75.48/75.75 c rational objective 908
78.17/78.43 c #Conflicts: 417000 | #Constraints: 20827
78.17/78.43 c #Conflicts: 418000 | #Constraints: 21827
78.17/78.43 c #Conflicts: 419000 | #Constraints: 22827
78.17/78.43 c #Conflicts: 420000 | #Constraints: 23827
78.17/78.43 c #Conflicts: 421000 | #Constraints: 24827
78.17/78.43 c #Conflicts: 422000 | #Constraints: 25827
78.17/78.43 c #Conflicts: 423000 | #Constraints: 26827
78.17/78.43 c #Conflicts: 424000 | #Constraints: 27827
78.17/78.43 c #Conflicts: 425000 | #Constraints: 28827
78.17/78.43 c #Conflicts: 426000 | #Constraints: 29827
78.17/78.43 c #Conflicts: 427000 | #Constraints: 30827
78.17/78.43 c #Conflicts: 428000 | #Constraints: 31827
78.17/78.43 c #Conflicts: 429000 | #Constraints: 32827
78.17/78.43 c INPROCESSING
78.17/78.43 c GARBAGE COLLECT
78.17/78.43 c rational objective 908
81.56/81.83 c #Conflicts: 430000 | #Constraints: 20740
81.56/81.83 c #Conflicts: 431000 | #Constraints: 21740
81.56/81.83 c #Conflicts: 432000 | #Constraints: 22740
81.56/81.83 c #Conflicts: 433000 | #Constraints: 23740
81.56/81.83 c #Conflicts: 434000 | #Constraints: 24740
81.56/81.83 c #Conflicts: 435000 | #Constraints: 25740
81.56/81.83 c #Conflicts: 436000 | #Constraints: 26740
81.56/81.83 c #Conflicts: 437000 | #Constraints: 27740
81.56/81.83 c #Conflicts: 438000 | #Constraints: 28740
81.56/81.83 c #Conflicts: 439000 | #Constraints: 29740
81.56/81.83 c #Conflicts: 440000 | #Constraints: 30740
81.56/81.83 c #Conflicts: 441000 | #Constraints: 31740
81.56/81.83 c #Conflicts: 442000 | #Constraints: 32740
81.56/81.83 c INPROCESSING
81.56/81.83 c GARBAGE COLLECT
81.56/81.83 c rational objective 908
84.06/84.34 c #Conflicts: 443000 | #Constraints: 20437
84.06/84.34 c #Conflicts: 444000 | #Constraints: 21437
84.06/84.34 c #Conflicts: 445000 | #Constraints: 22437
84.06/84.34 c #Conflicts: 446000 | #Constraints: 23437
84.06/84.34 c #Conflicts: 447000 | #Constraints: 24437
84.06/84.34 c #Conflicts: 448000 | #Constraints: 25437
84.06/84.34 c #Conflicts: 449000 | #Constraints: 26437
84.06/84.34 c #Conflicts: 450000 | #Constraints: 27437
84.06/84.34 c #Conflicts: 451000 | #Constraints: 28437
84.06/84.34 c #Conflicts: 452000 | #Constraints: 29437
84.06/84.34 c #Conflicts: 453000 | #Constraints: 30437
84.06/84.34 c #Conflicts: 454000 | #Constraints: 31437
84.06/84.34 c #Conflicts: 455000 | #Constraints: 32437
84.06/84.34 c #Conflicts: 456000 | #Constraints: 33437
84.06/84.34 c INPROCESSING
84.06/84.34 c GARBAGE COLLECT
84.06/84.34 c rational objective 908
86.55/86.82 c #Conflicts: 457000 | #Constraints: 20935
86.55/86.82 c #Conflicts: 458000 | #Constraints: 21935
86.55/86.82 c #Conflicts: 459000 | #Constraints: 22935
86.55/86.82 c #Conflicts: 460000 | #Constraints: 23935
86.55/86.82 c #Conflicts: 461000 | #Constraints: 24935
86.55/86.82 c #Conflicts: 462000 | #Constraints: 25935
86.55/86.82 c #Conflicts: 463000 | #Constraints: 26935
86.55/86.82 c #Conflicts: 464000 | #Constraints: 27935
86.55/86.82 c #Conflicts: 465000 | #Constraints: 28935
86.55/86.82 c #Conflicts: 466000 | #Constraints: 29935
86.55/86.82 c #Conflicts: 467000 | #Constraints: 30935
86.55/86.82 c #Conflicts: 468000 | #Constraints: 31935
86.55/86.82 c #Conflicts: 469000 | #Constraints: 32935
86.55/86.82 c #Conflicts: 470000 | #Constraints: 33935
86.55/86.82 c INPROCESSING
86.55/86.82 c GARBAGE COLLECT
86.55/86.82 c rational objective 908
89.64/89.95 c #Conflicts: 471000 | #Constraints: 21249
89.64/89.95 c #Conflicts: 472000 | #Constraints: 22249
89.64/89.95 c #Conflicts: 473000 | #Constraints: 23249
89.64/89.95 c #Conflicts: 474000 | #Constraints: 24249
89.64/89.95 c #Conflicts: 475000 | #Constraints: 25249
89.64/89.95 c #Conflicts: 476000 | #Constraints: 26249
89.64/89.95 c #Conflicts: 477000 | #Constraints: 27249
89.64/89.95 c #Conflicts: 478000 | #Constraints: 28249
89.64/89.95 c #Conflicts: 479000 | #Constraints: 29249
89.64/89.95 c #Conflicts: 480000 | #Constraints: 30249
89.64/89.95 c #Conflicts: 481000 | #Constraints: 31249
89.64/89.95 c #Conflicts: 482000 | #Constraints: 32249
89.64/89.95 c #Conflicts: 483000 | #Constraints: 33249
89.64/89.95 c #Conflicts: 484000 | #Constraints: 34249
89.64/89.95 c INPROCESSING
89.64/89.95 c GARBAGE COLLECT
89.64/89.95 c rational objective 908
92.84/93.16 c #Conflicts: 485000 | #Constraints: 21343
92.84/93.16 c #Conflicts: 486000 | #Constraints: 22343
92.84/93.16 c #Conflicts: 487000 | #Constraints: 23343
92.84/93.16 c #Conflicts: 488000 | #Constraints: 24343
92.84/93.16 c #Conflicts: 489000 | #Constraints: 25343
92.84/93.16 c #Conflicts: 490000 | #Constraints: 26343
92.84/93.16 c #Conflicts: 491000 | #Constraints: 27343
92.84/93.16 c #Conflicts: 492000 | #Constraints: 28343
92.84/93.16 c #Conflicts: 493000 | #Constraints: 29343
92.84/93.16 c #Conflicts: 494000 | #Constraints: 30343
92.84/93.16 c #Conflicts: 495000 | #Constraints: 31343
92.84/93.16 c #Conflicts: 496000 | #Constraints: 32343
92.84/93.16 c #Conflicts: 497000 | #Constraints: 33343
92.84/93.16 c #Conflicts: 498000 | #Constraints: 34343
92.84/93.16 c INPROCESSING
92.84/93.16 c GARBAGE COLLECT
92.84/93.16 c rational objective 908
96.33/96.62 c #Conflicts: 499000 | #Constraints: 21235
96.33/96.62 c #Conflicts: 500000 | #Constraints: 22235
96.33/96.62 c #Conflicts: 501000 | #Constraints: 23235
96.33/96.62 c #Conflicts: 502000 | #Constraints: 24235
96.33/96.62 c #Conflicts: 503000 | #Constraints: 25235
96.33/96.62 c #Conflicts: 504000 | #Constraints: 26235
96.33/96.62 c #Conflicts: 505000 | #Constraints: 27235
96.33/96.62 c #Conflicts: 506000 | #Constraints: 28235
96.33/96.62 c #Conflicts: 507000 | #Constraints: 29235
96.33/96.62 c #Conflicts: 508000 | #Constraints: 30235
96.33/96.62 c #Conflicts: 509000 | #Constraints: 31235
96.33/96.62 c #Conflicts: 510000 | #Constraints: 32235
96.33/96.62 c #Conflicts: 511000 | #Constraints: 33235
96.33/96.62 c #Conflicts: 512000 | #Constraints: 34235
96.33/96.62 c #Conflicts: 513000 | #Constraints: 35235
96.33/96.62 c INPROCESSING
96.33/96.62 c GARBAGE COLLECT
96.33/96.62 c rational objective 908
99.12/99.48 c #Conflicts: 514000 | #Constraints: 21928
99.12/99.48 c #Conflicts: 515000 | #Constraints: 22928
99.12/99.48 c #Conflicts: 516000 | #Constraints: 23928
99.12/99.48 c #Conflicts: 517000 | #Constraints: 24928
99.12/99.48 c #Conflicts: 518000 | #Constraints: 25928
99.12/99.48 c #Conflicts: 519000 | #Constraints: 26928
99.12/99.48 c #Conflicts: 520000 | #Constraints: 27928
99.12/99.48 c #Conflicts: 521000 | #Constraints: 28928
99.12/99.48 c #Conflicts: 522000 | #Constraints: 29928
99.12/99.48 c #Conflicts: 523000 | #Constraints: 30928
99.12/99.48 c #Conflicts: 524000 | #Constraints: 31928
99.12/99.48 c #Conflicts: 525000 | #Constraints: 32928
99.12/99.48 c #Conflicts: 526000 | #Constraints: 33928
99.12/99.48 c #Conflicts: 527000 | #Constraints: 34928
99.12/99.48 c #Conflicts: 528000 | #Constraints: 35928
99.12/99.48 c INPROCESSING
99.12/99.48 c GARBAGE COLLECT
99.12/99.48 c rational objective 908
102.12/102.44 c #Conflicts: 529000 | #Constraints: 22443
102.12/102.44 c #Conflicts: 530000 | #Constraints: 23443
102.12/102.44 c #Conflicts: 531000 | #Constraints: 24443
102.12/102.44 c #Conflicts: 532000 | #Constraints: 25443
102.12/102.44 c #Conflicts: 533000 | #Constraints: 26443
102.12/102.44 c #Conflicts: 534000 | #Constraints: 27443
102.12/102.44 c #Conflicts: 535000 | #Constraints: 28443
102.12/102.44 c #Conflicts: 536000 | #Constraints: 29443
102.12/102.44 c #Conflicts: 537000 | #Constraints: 30443
102.12/102.44 c #Conflicts: 538000 | #Constraints: 31443
102.12/102.44 c #Conflicts: 539000 | #Constraints: 32443
102.12/102.44 c #Conflicts: 540000 | #Constraints: 33443
102.12/102.44 c #Conflicts: 541000 | #Constraints: 34443
102.12/102.44 c #Conflicts: 542000 | #Constraints: 35443
102.12/102.44 c INPROCESSING
102.12/102.44 c GARBAGE COLLECT
102.12/102.44 c rational objective 908
105.11/105.48 c #Conflicts: 543000 | #Constraints: 21732
105.11/105.48 c #Conflicts: 544000 | #Constraints: 22732
105.11/105.48 c #Conflicts: 545000 | #Constraints: 23732
105.11/105.48 c #Conflicts: 546000 | #Constraints: 24732
105.11/105.48 c #Conflicts: 547000 | #Constraints: 25732
105.11/105.48 c #Conflicts: 548000 | #Constraints: 26732
105.11/105.48 c #Conflicts: 549000 | #Constraints: 27732
105.11/105.48 c #Conflicts: 550000 | #Constraints: 28732
105.11/105.48 c #Conflicts: 551000 | #Constraints: 29732
105.11/105.48 c #Conflicts: 552000 | #Constraints: 30732
105.11/105.48 c #Conflicts: 553000 | #Constraints: 31732
105.11/105.48 c #Conflicts: 554000 | #Constraints: 32732
105.11/105.48 c #Conflicts: 555000 | #Constraints: 33732
105.11/105.48 c #Conflicts: 556000 | #Constraints: 34732
105.11/105.48 c #Conflicts: 557000 | #Constraints: 35732
105.11/105.48 c #Conflicts: 558000 | #Constraints: 36732
105.11/105.48 c INPROCESSING
105.11/105.48 c GARBAGE COLLECT
105.11/105.48 c rational objective 908
108.10/108.48 c #Conflicts: 559000 | #Constraints: 22817
108.10/108.48 c #Conflicts: 560000 | #Constraints: 23817
108.10/108.48 c #Conflicts: 561000 | #Constraints: 24817
108.10/108.48 c #Conflicts: 562000 | #Constraints: 25817
108.10/108.48 c #Conflicts: 563000 | #Constraints: 26817
108.10/108.48 c #Conflicts: 564000 | #Constraints: 27817
108.10/108.48 c #Conflicts: 565000 | #Constraints: 28817
108.10/108.48 c #Conflicts: 566000 | #Constraints: 29817
108.10/108.48 c #Conflicts: 567000 | #Constraints: 30817
108.10/108.48 c #Conflicts: 568000 | #Constraints: 31817
108.10/108.48 c #Conflicts: 569000 | #Constraints: 32817
108.10/108.48 c #Conflicts: 570000 | #Constraints: 33817
108.10/108.48 c #Conflicts: 571000 | #Constraints: 34817
108.10/108.48 c #Conflicts: 572000 | #Constraints: 35817
108.10/108.48 c #Conflicts: 573000 | #Constraints: 36817
108.10/108.48 c INPROCESSING
108.10/108.48 c GARBAGE COLLECT
108.10/108.48 c rational objective 908
111.29/111.62 c #Conflicts: 574000 | #Constraints: 22722
111.29/111.62 c #Conflicts: 575000 | #Constraints: 23722
111.29/111.62 c #Conflicts: 576000 | #Constraints: 24722
111.29/111.62 c #Conflicts: 577000 | #Constraints: 25722
111.29/111.62 c #Conflicts: 578000 | #Constraints: 26722
111.29/111.62 c #Conflicts: 579000 | #Constraints: 27722
111.29/111.62 c #Conflicts: 580000 | #Constraints: 28722
111.29/111.62 c #Conflicts: 581000 | #Constraints: 29722
111.29/111.62 c #Conflicts: 582000 | #Constraints: 30722
111.29/111.62 c #Conflicts: 583000 | #Constraints: 31722
111.29/111.62 c #Conflicts: 584000 | #Constraints: 32722
111.29/111.62 c #Conflicts: 585000 | #Constraints: 33722
111.29/111.62 c #Conflicts: 586000 | #Constraints: 34722
111.29/111.62 c #Conflicts: 587000 | #Constraints: 35722
111.29/111.62 c #Conflicts: 588000 | #Constraints: 36722
111.29/111.62 c INPROCESSING
111.29/111.62 c GARBAGE COLLECT
111.29/111.62 c rational objective 908
114.58/114.92 c #Conflicts: 589000 | #Constraints: 22416
114.58/114.92 c #Conflicts: 590000 | #Constraints: 23416
114.58/114.92 c #Conflicts: 591000 | #Constraints: 24416
114.58/114.92 c #Conflicts: 592000 | #Constraints: 25416
114.58/114.92 c #Conflicts: 593000 | #Constraints: 26416
114.58/114.92 c #Conflicts: 594000 | #Constraints: 27416
114.58/114.92 c #Conflicts: 595000 | #Constraints: 28416
114.58/114.92 c #Conflicts: 596000 | #Constraints: 29416
114.58/114.92 c #Conflicts: 597000 | #Constraints: 30416
114.58/114.92 c #Conflicts: 598000 | #Constraints: 31416
114.58/114.92 c #Conflicts: 599000 | #Constraints: 32416
114.58/114.92 c #Conflicts: 600000 | #Constraints: 33416
114.58/114.92 c #Conflicts: 601000 | #Constraints: 34416
114.58/114.92 c #Conflicts: 602000 | #Constraints: 35416
114.58/114.92 c #Conflicts: 603000 | #Constraints: 36416
114.58/114.92 c #Conflicts: 604000 | #Constraints: 37416
114.58/114.92 c INPROCESSING
114.58/114.92 c GARBAGE COLLECT
114.58/114.92 c rational objective 908
118.17/118.50 c #Conflicts: 605000 | #Constraints: 22926
118.17/118.50 c #Conflicts: 606000 | #Constraints: 23926
118.17/118.50 c #Conflicts: 607000 | #Constraints: 24926
118.17/118.50 c #Conflicts: 608000 | #Constraints: 25926
118.17/118.50 c #Conflicts: 609000 | #Constraints: 26926
118.17/118.50 c #Conflicts: 610000 | #Constraints: 27926
118.17/118.50 c #Conflicts: 611000 | #Constraints: 28926
118.17/118.50 c #Conflicts: 612000 | #Constraints: 29926
118.17/118.50 c #Conflicts: 613000 | #Constraints: 30926
118.17/118.50 c #Conflicts: 614000 | #Constraints: 31926
118.17/118.50 c #Conflicts: 615000 | #Constraints: 32926
118.17/118.50 c #Conflicts: 616000 | #Constraints: 33926
118.17/118.50 c #Conflicts: 617000 | #Constraints: 34926
118.17/118.50 c #Conflicts: 618000 | #Constraints: 35926
118.17/118.50 c #Conflicts: 619000 | #Constraints: 36926
118.17/118.50 c #Conflicts: 620000 | #Constraints: 37926
118.17/118.50 c INPROCESSING
118.17/118.50 c GARBAGE COLLECT
118.17/118.50 c rational objective 908
121.36/121.74 c #Conflicts: 621000 | #Constraints: 23217
121.36/121.74 c #Conflicts: 622000 | #Constraints: 24217
121.36/121.74 c #Conflicts: 623000 | #Constraints: 25217
121.36/121.74 c #Conflicts: 624000 | #Constraints: 26217
121.36/121.74 c #Conflicts: 625000 | #Constraints: 27217
121.36/121.74 c #Conflicts: 626000 | #Constraints: 28217
121.36/121.74 c #Conflicts: 627000 | #Constraints: 29217
121.36/121.74 c #Conflicts: 628000 | #Constraints: 30217
121.36/121.74 c #Conflicts: 629000 | #Constraints: 31217
121.36/121.74 c #Conflicts: 630000 | #Constraints: 32217
121.36/121.74 c #Conflicts: 631000 | #Constraints: 33217
121.36/121.74 c #Conflicts: 632000 | #Constraints: 34217
121.36/121.74 c #Conflicts: 633000 | #Constraints: 35217
121.36/121.74 c #Conflicts: 634000 | #Constraints: 36217
121.36/121.74 c #Conflicts: 635000 | #Constraints: 37217
121.36/121.74 c #Conflicts: 636000 | #Constraints: 38217
121.36/121.74 c INPROCESSING
121.36/121.74 c GARBAGE COLLECT
121.36/121.74 c rational objective 908
124.46/124.89 c #Conflicts: 637000 | #Constraints: 23315
124.46/124.89 c #Conflicts: 638000 | #Constraints: 24315
124.46/124.89 c #Conflicts: 639000 | #Constraints: 25315
124.46/124.89 c #Conflicts: 640000 | #Constraints: 26315
124.46/124.89 c #Conflicts: 641000 | #Constraints: 27315
124.46/124.89 c #Conflicts: 642000 | #Constraints: 28315
124.46/124.89 c #Conflicts: 643000 | #Constraints: 29315
124.46/124.89 c #Conflicts: 644000 | #Constraints: 30315
124.46/124.89 c #Conflicts: 645000 | #Constraints: 31315
124.46/124.89 c #Conflicts: 646000 | #Constraints: 32315
124.46/124.89 c #Conflicts: 647000 | #Constraints: 33315
124.46/124.89 c #Conflicts: 648000 | #Constraints: 34315
124.46/124.89 c #Conflicts: 649000 | #Constraints: 35315
124.46/124.89 c #Conflicts: 650000 | #Constraints: 36315
124.46/124.89 c #Conflicts: 651000 | #Constraints: 37315
124.46/124.89 c #Conflicts: 652000 | #Constraints: 38315
124.46/124.89 c INPROCESSING
124.46/124.89 c GARBAGE COLLECT
124.46/124.89 c rational objective 908
127.85/128.29 c #Conflicts: 653000 | #Constraints: 23231
127.85/128.29 c #Conflicts: 654000 | #Constraints: 24231
127.85/128.29 c #Conflicts: 655000 | #Constraints: 25231
127.85/128.29 c #Conflicts: 656000 | #Constraints: 26231
127.85/128.29 c #Conflicts: 657000 | #Constraints: 27231
127.85/128.29 c #Conflicts: 658000 | #Constraints: 28231
127.85/128.29 c #Conflicts: 659000 | #Constraints: 29231
127.85/128.29 c #Conflicts: 660000 | #Constraints: 30231
127.85/128.29 c #Conflicts: 661000 | #Constraints: 31231
127.85/128.29 c #Conflicts: 662000 | #Constraints: 32231
127.85/128.29 c #Conflicts: 663000 | #Constraints: 33231
127.85/128.29 c #Conflicts: 664000 | #Constraints: 34231
127.85/128.29 c #Conflicts: 665000 | #Constraints: 35231
127.85/128.29 c #Conflicts: 666000 | #Constraints: 36231
127.85/128.29 c #Conflicts: 667000 | #Constraints: 37231
127.85/128.29 c #Conflicts: 668000 | #Constraints: 38231
127.85/128.29 c #Conflicts: 669000 | #Constraints: 39231
127.85/128.29 c INPROCESSING
127.85/128.29 c GARBAGE COLLECT
127.85/128.29 c rational objective 908
131.34/131.79 c #Conflicts: 670000 | #Constraints: 23927
131.34/131.79 c #Conflicts: 671000 | #Constraints: 24927
131.34/131.79 c #Conflicts: 672000 | #Constraints: 25927
131.34/131.79 c #Conflicts: 673000 | #Constraints: 26927
131.34/131.79 c #Conflicts: 674000 | #Constraints: 27927
131.34/131.79 c #Conflicts: 675000 | #Constraints: 28927
131.34/131.79 c #Conflicts: 676000 | #Constraints: 29927
131.34/131.79 c #Conflicts: 677000 | #Constraints: 30927
131.34/131.79 c #Conflicts: 678000 | #Constraints: 31927
131.34/131.79 c #Conflicts: 679000 | #Constraints: 32927
131.34/131.79 c #Conflicts: 680000 | #Constraints: 33927
131.34/131.79 c #Conflicts: 681000 | #Constraints: 34927
131.34/131.79 c #Conflicts: 682000 | #Constraints: 35927
131.34/131.79 c #Conflicts: 683000 | #Constraints: 36927
131.34/131.79 c #Conflicts: 684000 | #Constraints: 37927
131.34/131.79 c #Conflicts: 685000 | #Constraints: 38927
131.34/131.79 c #Conflicts: 686000 | #Constraints: 39927
131.34/131.79 c INPROCESSING
131.34/131.79 c GARBAGE COLLECT
131.34/131.79 c rational objective 908
135.03/135.49 c #Conflicts: 687000 | #Constraints: 24444
135.03/135.49 c #Conflicts: 688000 | #Constraints: 25444
135.03/135.49 c #Conflicts: 689000 | #Constraints: 26444
135.03/135.49 c #Conflicts: 690000 | #Constraints: 27444
135.03/135.49 c #Conflicts: 691000 | #Constraints: 28444
135.03/135.49 c #Conflicts: 692000 | #Constraints: 29444
135.03/135.49 c #Conflicts: 693000 | #Constraints: 30444
135.03/135.49 c #Conflicts: 694000 | #Constraints: 31444
135.03/135.49 c #Conflicts: 695000 | #Constraints: 32444
135.03/135.49 c #Conflicts: 696000 | #Constraints: 33444
135.03/135.49 c #Conflicts: 697000 | #Constraints: 34444
135.03/135.49 c #Conflicts: 698000 | #Constraints: 35444
135.03/135.49 c #Conflicts: 699000 | #Constraints: 36444
135.03/135.49 c #Conflicts: 700000 | #Constraints: 37444
135.03/135.49 c #Conflicts: 701000 | #Constraints: 38444
135.03/135.49 c #Conflicts: 702000 | #Constraints: 39444
135.03/135.49 c INPROCESSING
135.03/135.49 c GARBAGE COLLECT
135.03/135.49 c rational objective 908
139.22/139.68 c #Conflicts: 703000 | #Constraints: 23746
139.22/139.68 c #Conflicts: 704000 | #Constraints: 24746
139.22/139.68 c #Conflicts: 705000 | #Constraints: 25746
139.22/139.68 c #Conflicts: 706000 | #Constraints: 26746
139.22/139.68 c #Conflicts: 707000 | #Constraints: 27746
139.22/139.68 c #Conflicts: 708000 | #Constraints: 28746
139.22/139.68 c #Conflicts: 709000 | #Constraints: 29746
139.22/139.68 c #Conflicts: 710000 | #Constraints: 30746
139.22/139.68 c #Conflicts: 711000 | #Constraints: 31746
139.22/139.68 c #Conflicts: 712000 | #Constraints: 32746
139.22/139.68 c #Conflicts: 713000 | #Constraints: 33746
139.22/139.68 c #Conflicts: 714000 | #Constraints: 34746
139.22/139.68 c #Conflicts: 715000 | #Constraints: 35746
139.22/139.68 c #Conflicts: 716000 | #Constraints: 36746
139.22/139.68 c #Conflicts: 717000 | #Constraints: 37746
139.22/139.68 c #Conflicts: 718000 | #Constraints: 38746
139.22/139.68 c #Conflicts: 719000 | #Constraints: 39746
139.22/139.68 c #Conflicts: 720000 | #Constraints: 40746
139.22/139.68 c INPROCESSING
139.22/139.68 c GARBAGE COLLECT
139.22/139.68 c rational objective 908
144.12/144.55 c #Conflicts: 721000 | #Constraints: 24841
144.12/144.55 c #Conflicts: 722000 | #Constraints: 25841
144.12/144.55 c #Conflicts: 723000 | #Constraints: 26841
144.12/144.55 c #Conflicts: 724000 | #Constraints: 27841
144.12/144.55 c #Conflicts: 725000 | #Constraints: 28841
144.12/144.55 c #Conflicts: 726000 | #Constraints: 29841
144.12/144.55 c #Conflicts: 727000 | #Constraints: 30841
144.12/144.55 c #Conflicts: 728000 | #Constraints: 31841
144.12/144.55 c #Conflicts: 729000 | #Constraints: 32841
144.12/144.55 c #Conflicts: 730000 | #Constraints: 33841
144.12/144.55 c #Conflicts: 731000 | #Constraints: 34841
144.12/144.55 c #Conflicts: 732000 | #Constraints: 35841
144.12/144.55 c #Conflicts: 733000 | #Constraints: 36841
144.12/144.55 c #Conflicts: 734000 | #Constraints: 37841
144.12/144.55 c #Conflicts: 735000 | #Constraints: 38841
144.12/144.55 c #Conflicts: 736000 | #Constraints: 39841
144.12/144.55 c #Conflicts: 737000 | #Constraints: 40841
144.12/144.55 c INPROCESSING
144.12/144.55 c GARBAGE COLLECT
144.12/144.55 c rational objective 908
147.80/148.22 c #Conflicts: 738000 | #Constraints: 24738
147.80/148.22 c #Conflicts: 739000 | #Constraints: 25738
147.80/148.22 c #Conflicts: 740000 | #Constraints: 26738
147.80/148.22 c #Conflicts: 741000 | #Constraints: 27738
147.80/148.22 c #Conflicts: 742000 | #Constraints: 28738
147.80/148.22 c #Conflicts: 743000 | #Constraints: 29738
147.80/148.22 c #Conflicts: 744000 | #Constraints: 30738
147.80/148.22 c #Conflicts: 745000 | #Constraints: 31738
147.80/148.22 c #Conflicts: 746000 | #Constraints: 32738
147.80/148.22 c #Conflicts: 747000 | #Constraints: 33738
147.80/148.22 c #Conflicts: 748000 | #Constraints: 34738
147.80/148.22 c #Conflicts: 749000 | #Constraints: 35738
147.80/148.22 c #Conflicts: 750000 | #Constraints: 36738
147.80/148.22 c #Conflicts: 751000 | #Constraints: 37738
147.80/148.22 c #Conflicts: 752000 | #Constraints: 38738
147.80/148.22 c #Conflicts: 753000 | #Constraints: 39738
147.80/148.22 c #Conflicts: 754000 | #Constraints: 40738
147.80/148.22 c INPROCESSING
147.80/148.22 c GARBAGE COLLECT
147.80/148.22 c rational objective 908
151.39/151.83 c #Conflicts: 755000 | #Constraints: 24421
151.39/151.83 c #Conflicts: 756000 | #Constraints: 25421
151.39/151.83 c #Conflicts: 757000 | #Constraints: 26421
151.39/151.83 c #Conflicts: 758000 | #Constraints: 27421
151.39/151.83 c #Conflicts: 759000 | #Constraints: 28421
151.39/151.83 c #Conflicts: 760000 | #Constraints: 29421
151.39/151.83 c #Conflicts: 761000 | #Constraints: 30421
151.39/151.83 c #Conflicts: 762000 | #Constraints: 31421
151.39/151.83 c #Conflicts: 763000 | #Constraints: 32421
151.39/151.83 c #Conflicts: 764000 | #Constraints: 33421
151.39/151.83 c #Conflicts: 765000 | #Constraints: 34421
151.39/151.83 c #Conflicts: 766000 | #Constraints: 35421
151.39/151.83 c #Conflicts: 767000 | #Constraints: 36421
151.39/151.83 c #Conflicts: 768000 | #Constraints: 37421
151.39/151.83 c #Conflicts: 769000 | #Constraints: 38421
151.39/151.83 c #Conflicts: 770000 | #Constraints: 39421
151.39/151.83 c #Conflicts: 771000 | #Constraints: 40421
151.39/151.83 c #Conflicts: 772000 | #Constraints: 41421
151.39/151.83 c INPROCESSING
151.39/151.83 c GARBAGE COLLECT
151.39/151.83 c rational objective 908
154.89/155.35 c #Conflicts: 773000 | #Constraints: 24927
154.89/155.35 c #Conflicts: 774000 | #Constraints: 25927
154.89/155.35 c #Conflicts: 775000 | #Constraints: 26927
154.89/155.35 c #Conflicts: 776000 | #Constraints: 27927
154.89/155.35 c #Conflicts: 777000 | #Constraints: 28927
154.89/155.35 c #Conflicts: 778000 | #Constraints: 29927
154.89/155.35 c #Conflicts: 779000 | #Constraints: 30927
154.89/155.35 c #Conflicts: 780000 | #Constraints: 31927
154.89/155.35 c #Conflicts: 781000 | #Constraints: 32927
154.89/155.35 c #Conflicts: 782000 | #Constraints: 33927
154.89/155.35 c #Conflicts: 783000 | #Constraints: 34927
154.89/155.35 c #Conflicts: 784000 | #Constraints: 35927
154.89/155.35 c #Conflicts: 785000 | #Constraints: 36927
154.89/155.35 c #Conflicts: 786000 | #Constraints: 37927
154.89/155.35 c #Conflicts: 787000 | #Constraints: 38927
154.89/155.35 c #Conflicts: 788000 | #Constraints: 39927
154.89/155.35 c #Conflicts: 789000 | #Constraints: 40927
154.89/155.35 c #Conflicts: 790000 | #Constraints: 41927
154.89/155.35 c INPROCESSING
154.89/155.35 c GARBAGE COLLECT
154.89/155.35 c rational objective 908
158.78/159.25 c #Conflicts: 791000 | #Constraints: 25225
158.78/159.25 c #Conflicts: 792000 | #Constraints: 26225
158.78/159.25 c #Conflicts: 793000 | #Constraints: 27225
158.78/159.25 c #Conflicts: 794000 | #Constraints: 28225
158.78/159.25 c #Conflicts: 795000 | #Constraints: 29225
158.78/159.25 c #Conflicts: 796000 | #Constraints: 30225
158.78/159.25 c #Conflicts: 797000 | #Constraints: 31225
158.78/159.25 c #Conflicts: 798000 | #Constraints: 32225
158.78/159.25 c #Conflicts: 799000 | #Constraints: 33225
158.78/159.25 c #Conflicts: 800000 | #Constraints: 34225
158.78/159.25 c #Conflicts: 801000 | #Constraints: 35225
158.78/159.25 c #Conflicts: 802000 | #Constraints: 36225
158.78/159.25 c #Conflicts: 803000 | #Constraints: 37225
158.78/159.25 c #Conflicts: 804000 | #Constraints: 38225
158.78/159.25 c #Conflicts: 805000 | #Constraints: 39225
158.78/159.25 c #Conflicts: 806000 | #Constraints: 40225
158.78/159.25 c #Conflicts: 807000 | #Constraints: 41225
158.78/159.25 c #Conflicts: 808000 | #Constraints: 42225
158.78/159.25 c INPROCESSING
158.78/159.25 c GARBAGE COLLECT
158.78/159.25 c rational objective 908
162.67/163.19 c #Conflicts: 809000 | #Constraints: 25316
162.67/163.19 c #Conflicts: 810000 | #Constraints: 26316
162.67/163.19 c #Conflicts: 811000 | #Constraints: 27316
162.67/163.19 c #Conflicts: 812000 | #Constraints: 28316
162.67/163.19 c #Conflicts: 813000 | #Constraints: 29316
162.67/163.19 c #Conflicts: 814000 | #Constraints: 30316
162.67/163.19 c #Conflicts: 815000 | #Constraints: 31316
162.67/163.19 c #Conflicts: 816000 | #Constraints: 32316
162.67/163.19 c #Conflicts: 817000 | #Constraints: 33316
162.67/163.19 c #Conflicts: 818000 | #Constraints: 34316
162.67/163.19 c #Conflicts: 819000 | #Constraints: 35316
162.67/163.19 c #Conflicts: 820000 | #Constraints: 36316
162.67/163.19 c #Conflicts: 821000 | #Constraints: 37316
162.67/163.19 c #Conflicts: 822000 | #Constraints: 38316
162.67/163.19 c #Conflicts: 823000 | #Constraints: 39316
162.67/163.19 c #Conflicts: 824000 | #Constraints: 40316
162.67/163.19 c #Conflicts: 825000 | #Constraints: 41316
162.67/163.19 c #Conflicts: 826000 | #Constraints: 42316
162.67/163.19 c INPROCESSING
162.67/163.19 c GARBAGE COLLECT
162.67/163.19 c rational objective 908
167.36/167.81 c #Conflicts: 827000 | #Constraints: 25228
167.36/167.81 c #Conflicts: 828000 | #Constraints: 26228
167.36/167.81 c #Conflicts: 829000 | #Constraints: 27228
167.36/167.81 c #Conflicts: 830000 | #Constraints: 28228
167.36/167.81 c #Conflicts: 831000 | #Constraints: 29228
167.36/167.81 c #Conflicts: 832000 | #Constraints: 30228
167.36/167.81 c #Conflicts: 833000 | #Constraints: 31228
167.36/167.81 c #Conflicts: 834000 | #Constraints: 32228
167.36/167.81 c #Conflicts: 835000 | #Constraints: 33228
167.36/167.81 c #Conflicts: 836000 | #Constraints: 34228
167.36/167.81 c #Conflicts: 837000 | #Constraints: 35228
167.36/167.81 c #Conflicts: 838000 | #Constraints: 36228
167.36/167.81 c #Conflicts: 839000 | #Constraints: 37228
167.36/167.81 c #Conflicts: 840000 | #Constraints: 38228
167.36/167.81 c #Conflicts: 841000 | #Constraints: 39228
167.36/167.81 c #Conflicts: 842000 | #Constraints: 40228
167.36/167.81 c #Conflicts: 843000 | #Constraints: 41228
167.36/167.81 c #Conflicts: 844000 | #Constraints: 42228
167.36/167.81 c #Conflicts: 845000 | #Constraints: 43228
167.36/167.81 c INPROCESSING
167.36/167.81 c GARBAGE COLLECT
167.36/167.81 c rational objective 908
171.65/172.10 c #Conflicts: 846000 | #Constraints: 25937
171.65/172.10 c #Conflicts: 847000 | #Constraints: 26937
171.65/172.10 c #Conflicts: 848000 | #Constraints: 27937
171.65/172.10 c #Conflicts: 849000 | #Constraints: 28937
171.65/172.10 c #Conflicts: 850000 | #Constraints: 29937
171.65/172.10 c #Conflicts: 851000 | #Constraints: 30937
171.65/172.10 c #Conflicts: 852000 | #Constraints: 31937
171.65/172.10 c #Conflicts: 853000 | #Constraints: 32937
171.65/172.10 c #Conflicts: 854000 | #Constraints: 33937
171.65/172.10 c #Conflicts: 855000 | #Constraints: 34937
171.65/172.10 c #Conflicts: 856000 | #Constraints: 35937
171.65/172.10 c #Conflicts: 857000 | #Constraints: 36937
171.65/172.10 c #Conflicts: 858000 | #Constraints: 37937
171.65/172.10 c #Conflicts: 859000 | #Constraints: 38937
171.65/172.10 c #Conflicts: 860000 | #Constraints: 39937
171.65/172.10 c #Conflicts: 861000 | #Constraints: 40937
171.65/172.10 c #Conflicts: 862000 | #Constraints: 41937
171.65/172.10 c #Conflicts: 863000 | #Constraints: 42937
171.65/172.10 c #Conflicts: 864000 | #Constraints: 43937
171.65/172.10 c INPROCESSING
171.65/172.10 c GARBAGE COLLECT
171.65/172.10 c rational objective 908
175.93/176.43 c #Conflicts: 865000 | #Constraints: 26424
175.93/176.43 c #Conflicts: 866000 | #Constraints: 27424
175.93/176.43 c #Conflicts: 867000 | #Constraints: 28424
175.93/176.43 c #Conflicts: 868000 | #Constraints: 29424
175.93/176.43 c #Conflicts: 869000 | #Constraints: 30424
175.93/176.43 c #Conflicts: 870000 | #Constraints: 31424
175.93/176.43 c #Conflicts: 871000 | #Constraints: 32424
175.93/176.43 c #Conflicts: 872000 | #Constraints: 33424
175.93/176.43 c #Conflicts: 873000 | #Constraints: 34424
175.93/176.43 c #Conflicts: 874000 | #Constraints: 35424
175.93/176.43 c #Conflicts: 875000 | #Constraints: 36424
175.93/176.43 c #Conflicts: 876000 | #Constraints: 37424
175.93/176.43 c #Conflicts: 877000 | #Constraints: 38424
175.93/176.43 c #Conflicts: 878000 | #Constraints: 39424
175.93/176.43 c #Conflicts: 879000 | #Constraints: 40424
175.93/176.43 c #Conflicts: 880000 | #Constraints: 41424
175.93/176.43 c #Conflicts: 881000 | #Constraints: 42424
175.93/176.43 c #Conflicts: 882000 | #Constraints: 43424
175.93/176.43 c INPROCESSING
175.93/176.43 c GARBAGE COLLECT
175.93/176.43 c rational objective 908
180.22/180.74 c #Conflicts: 883000 | #Constraints: 25721
180.22/180.74 c #Conflicts: 884000 | #Constraints: 26721
180.22/180.74 c #Conflicts: 885000 | #Constraints: 27721
180.22/180.74 c #Conflicts: 886000 | #Constraints: 28721
180.22/180.74 c #Conflicts: 887000 | #Constraints: 29721
180.22/180.74 c #Conflicts: 888000 | #Constraints: 30721
180.22/180.74 c #Conflicts: 889000 | #Constraints: 31721
180.22/180.74 c #Conflicts: 890000 | #Constraints: 32721
180.22/180.74 c #Conflicts: 891000 | #Constraints: 33721
180.22/180.74 c #Conflicts: 892000 | #Constraints: 34721
180.22/180.74 c #Conflicts: 893000 | #Constraints: 35721
180.22/180.74 c #Conflicts: 894000 | #Constraints: 36721
180.22/180.74 c #Conflicts: 895000 | #Constraints: 37721
180.22/180.74 c #Conflicts: 896000 | #Constraints: 38721
180.22/180.74 c #Conflicts: 897000 | #Constraints: 39721
180.22/180.74 c #Conflicts: 898000 | #Constraints: 40721
180.22/180.74 c #Conflicts: 899000 | #Constraints: 41721
180.22/180.74 c #Conflicts: 900000 | #Constraints: 42721
180.22/180.74 c #Conflicts: 901000 | #Constraints: 43721
180.22/180.74 c #Conflicts: 902000 | #Constraints: 44721
180.22/180.74 c INPROCESSING
180.22/180.74 c GARBAGE COLLECT
180.22/180.74 c rational objective 908
184.91/185.44 c #Conflicts: 903000 | #Constraints: 26842
184.91/185.44 c #Conflicts: 904000 | #Constraints: 27842
184.91/185.44 c #Conflicts: 905000 | #Constraints: 28842
184.91/185.44 c #Conflicts: 906000 | #Constraints: 29842
184.91/185.44 c #Conflicts: 907000 | #Constraints: 30842
184.91/185.44 c #Conflicts: 908000 | #Constraints: 31842
184.91/185.44 c #Conflicts: 909000 | #Constraints: 32842
184.91/185.44 c #Conflicts: 910000 | #Constraints: 33842
184.91/185.44 c #Conflicts: 911000 | #Constraints: 34842
184.91/185.44 c #Conflicts: 912000 | #Constraints: 35842
184.91/185.44 c #Conflicts: 913000 | #Constraints: 36842
184.91/185.44 c #Conflicts: 914000 | #Constraints: 37842
184.91/185.44 c #Conflicts: 915000 | #Constraints: 38842
184.91/185.44 c #Conflicts: 916000 | #Constraints: 39842
184.91/185.44 c #Conflicts: 917000 | #Constraints: 40842
184.91/185.44 c #Conflicts: 918000 | #Constraints: 41842
184.91/185.44 c #Conflicts: 919000 | #Constraints: 42842
184.91/185.44 c #Conflicts: 920000 | #Constraints: 43842
184.91/185.44 c #Conflicts: 921000 | #Constraints: 44842
184.91/185.44 c INPROCESSING
184.91/185.44 c GARBAGE COLLECT
184.91/185.44 c rational objective 908
189.99/190.59 c #Conflicts: 922000 | #Constraints: 26738
189.99/190.59 c #Conflicts: 923000 | #Constraints: 27738
189.99/190.59 c #Conflicts: 924000 | #Constraints: 28738
189.99/190.59 c #Conflicts: 925000 | #Constraints: 29738
189.99/190.59 c #Conflicts: 926000 | #Constraints: 30738
189.99/190.59 c #Conflicts: 927000 | #Constraints: 31738
189.99/190.59 c #Conflicts: 928000 | #Constraints: 32738
189.99/190.59 c #Conflicts: 929000 | #Constraints: 33738
189.99/190.59 c #Conflicts: 930000 | #Constraints: 34738
189.99/190.59 c #Conflicts: 931000 | #Constraints: 35738
189.99/190.59 c #Conflicts: 932000 | #Constraints: 36738
189.99/190.59 c #Conflicts: 933000 | #Constraints: 37738
189.99/190.59 c #Conflicts: 934000 | #Constraints: 38738
189.99/190.59 c #Conflicts: 935000 | #Constraints: 39738
189.99/190.59 c #Conflicts: 936000 | #Constraints: 40738
189.99/190.59 c #Conflicts: 937000 | #Constraints: 41738
189.99/190.59 c #Conflicts: 938000 | #Constraints: 42738
189.99/190.59 c #Conflicts: 939000 | #Constraints: 43738
189.99/190.59 c #Conflicts: 940000 | #Constraints: 44738
189.99/190.59 c INPROCESSING
189.99/190.59 c GARBAGE COLLECT
189.99/190.59 c rational objective 908
194.49/195.03 c #Conflicts: 941000 | #Constraints: 26434
194.49/195.03 c #Conflicts: 942000 | #Constraints: 27434
194.49/195.03 c #Conflicts: 943000 | #Constraints: 28434
194.49/195.03 c #Conflicts: 944000 | #Constraints: 29434
194.49/195.03 c #Conflicts: 945000 | #Constraints: 30434
194.49/195.03 c #Conflicts: 946000 | #Constraints: 31434
194.49/195.03 c #Conflicts: 947000 | #Constraints: 32434
194.49/195.03 c #Conflicts: 948000 | #Constraints: 33434
194.49/195.03 c #Conflicts: 949000 | #Constraints: 34434
194.49/195.03 c #Conflicts: 950000 | #Constraints: 35434
194.49/195.03 c #Conflicts: 951000 | #Constraints: 36434
194.49/195.03 c #Conflicts: 952000 | #Constraints: 37434
194.49/195.03 c #Conflicts: 953000 | #Constraints: 38434
194.49/195.03 c #Conflicts: 954000 | #Constraints: 39434
194.49/195.03 c #Conflicts: 955000 | #Constraints: 40434
194.49/195.03 c #Conflicts: 956000 | #Constraints: 41434
194.49/195.03 c #Conflicts: 957000 | #Constraints: 42434
194.49/195.03 c #Conflicts: 958000 | #Constraints: 43434
194.49/195.03 c #Conflicts: 959000 | #Constraints: 44434
194.49/195.03 c #Conflicts: 960000 | #Constraints: 45434
194.49/195.03 c INPROCESSING
194.49/195.03 c GARBAGE COLLECT
194.49/195.03 c rational objective 908
199.07/199.62 c #Conflicts: 961000 | #Constraints: 26934
199.07/199.62 c #Conflicts: 962000 | #Constraints: 27934
199.07/199.62 c #Conflicts: 963000 | #Constraints: 28934
199.07/199.62 c #Conflicts: 964000 | #Constraints: 29934
199.07/199.62 c #Conflicts: 965000 | #Constraints: 30934
199.07/199.62 c #Conflicts: 966000 | #Constraints: 31934
199.07/199.62 c #Conflicts: 967000 | #Constraints: 32934
199.07/199.62 c #Conflicts: 968000 | #Constraints: 33934
199.07/199.62 c #Conflicts: 969000 | #Constraints: 34934
199.07/199.62 c #Conflicts: 970000 | #Constraints: 35934
199.07/199.62 c #Conflicts: 971000 | #Constraints: 36934
199.07/199.62 c #Conflicts: 972000 | #Constraints: 37934
199.07/199.62 c #Conflicts: 973000 | #Constraints: 38934
199.07/199.62 c #Conflicts: 974000 | #Constraints: 39934
199.07/199.62 c #Conflicts: 975000 | #Constraints: 40934
199.07/199.62 c #Conflicts: 976000 | #Constraints: 41934
199.07/199.62 c #Conflicts: 977000 | #Constraints: 42934
199.07/199.62 c #Conflicts: 978000 | #Constraints: 43934
199.07/199.62 c #Conflicts: 979000 | #Constraints: 44934
199.07/199.62 c #Conflicts: 980000 | #Constraints: 45934
199.07/199.62 c INPROCESSING
199.07/199.62 c GARBAGE COLLECT
199.07/199.62 c rational objective 908
203.57/204.17 c #Conflicts: 981000 | #Constraints: 27230
203.57/204.17 c #Conflicts: 982000 | #Constraints: 28230
203.57/204.17 c #Conflicts: 983000 | #Constraints: 29230
203.57/204.17 c #Conflicts: 984000 | #Constraints: 30230
203.57/204.17 c #Conflicts: 985000 | #Constraints: 31230
203.57/204.17 c #Conflicts: 986000 | #Constraints: 32230
203.57/204.17 c #Conflicts: 987000 | #Constraints: 33230
203.57/204.17 c #Conflicts: 988000 | #Constraints: 34230
203.57/204.17 c #Conflicts: 989000 | #Constraints: 35230
203.57/204.17 c #Conflicts: 990000 | #Constraints: 36230
203.57/204.17 c #Conflicts: 991000 | #Constraints: 37230
203.57/204.17 c #Conflicts: 992000 | #Constraints: 38230
203.57/204.17 c #Conflicts: 993000 | #Constraints: 39230
203.57/204.17 c #Conflicts: 994000 | #Constraints: 40230
203.57/204.17 c #Conflicts: 995000 | #Constraints: 41230
203.57/204.17 c #Conflicts: 996000 | #Constraints: 42230
203.57/204.17 c #Conflicts: 997000 | #Constraints: 43230
203.57/204.17 c #Conflicts: 998000 | #Constraints: 44230
203.57/204.17 c #Conflicts: 999000 | #Constraints: 45230
203.57/204.17 c #Conflicts: 1000000 | #Constraints: 46230
203.57/204.17 c INPROCESSING
203.57/204.17 c GARBAGE COLLECT
203.57/204.17 c rational objective 908
209.65/210.22 c #Conflicts: 1001000 | #Constraints: 27342
209.65/210.22 c #Conflicts: 1002000 | #Constraints: 28342
209.65/210.22 c #Conflicts: 1003000 | #Constraints: 29342
209.65/210.22 c #Conflicts: 1004000 | #Constraints: 30342
209.65/210.22 c #Conflicts: 1005000 | #Constraints: 31342
209.65/210.22 c #Conflicts: 1006000 | #Constraints: 32342
209.65/210.22 c #Conflicts: 1007000 | #Constraints: 33342
209.65/210.22 c #Conflicts: 1008000 | #Constraints: 34342
209.65/210.22 c #Conflicts: 1009000 | #Constraints: 35342
209.65/210.22 c #Conflicts: 1010000 | #Constraints: 36342
209.65/210.22 c #Conflicts: 1011000 | #Constraints: 37342
209.65/210.22 c #Conflicts: 1012000 | #Constraints: 38342
209.65/210.22 c #Conflicts: 1013000 | #Constraints: 39342
209.65/210.22 c #Conflicts: 1014000 | #Constraints: 40342
209.65/210.22 c #Conflicts: 1015000 | #Constraints: 41342
209.65/210.22 c #Conflicts: 1016000 | #Constraints: 42342
209.65/210.22 c #Conflicts: 1017000 | #Constraints: 43342
209.65/210.22 c #Conflicts: 1018000 | #Constraints: 44342
209.65/210.22 c #Conflicts: 1019000 | #Constraints: 45342
209.65/210.22 c #Conflicts: 1020000 | #Constraints: 46342
209.65/210.22 c INPROCESSING
209.65/210.22 c GARBAGE COLLECT
209.65/210.22 c rational objective 908
215.13/215.72 c #Conflicts: 1021000 | #Constraints: 27247
215.13/215.72 c #Conflicts: 1022000 | #Constraints: 28247
215.13/215.72 c #Conflicts: 1023000 | #Constraints: 29247
215.13/215.72 c #Conflicts: 1024000 | #Constraints: 30247
215.13/215.72 c #Conflicts: 1025000 | #Constraints: 31247
215.13/215.72 c #Conflicts: 1026000 | #Constraints: 32247
215.13/215.72 c #Conflicts: 1027000 | #Constraints: 33247
215.13/215.72 c #Conflicts: 1028000 | #Constraints: 34247
215.13/215.72 c #Conflicts: 1029000 | #Constraints: 35247
215.13/215.72 c #Conflicts: 1030000 | #Constraints: 36247
215.13/215.72 c #Conflicts: 1031000 | #Constraints: 37247
215.13/215.72 c #Conflicts: 1032000 | #Constraints: 38247
215.13/215.72 c #Conflicts: 1033000 | #Constraints: 39247
215.13/215.72 c #Conflicts: 1034000 | #Constraints: 40247
215.13/215.72 c #Conflicts: 1035000 | #Constraints: 41247
215.13/215.72 c #Conflicts: 1036000 | #Constraints: 42247
215.13/215.72 c #Conflicts: 1037000 | #Constraints: 43247
215.13/215.72 c #Conflicts: 1038000 | #Constraints: 44247
215.13/215.72 c #Conflicts: 1039000 | #Constraints: 45247
215.13/215.72 c #Conflicts: 1040000 | #Constraints: 46247
215.13/215.72 c #Conflicts: 1041000 | #Constraints: 47247
215.13/215.72 c INPROCESSING
215.13/215.72 c GARBAGE COLLECT
215.13/215.72 c rational objective 908
220.53/221.12 c #Conflicts: 1042000 | #Constraints: 27954
220.53/221.12 c #Conflicts: 1043000 | #Constraints: 28954
220.53/221.12 c #Conflicts: 1044000 | #Constraints: 29954
220.53/221.12 c #Conflicts: 1045000 | #Constraints: 30954
220.53/221.12 c #Conflicts: 1046000 | #Constraints: 31954
220.53/221.12 c #Conflicts: 1047000 | #Constraints: 32954
220.53/221.12 c #Conflicts: 1048000 | #Constraints: 33954
220.53/221.12 c #Conflicts: 1049000 | #Constraints: 34954
220.53/221.12 c #Conflicts: 1050000 | #Constraints: 35954
220.53/221.12 c #Conflicts: 1051000 | #Constraints: 36954
220.53/221.12 c #Conflicts: 1052000 | #Constraints: 37954
220.53/221.12 c #Conflicts: 1053000 | #Constraints: 38954
220.53/221.12 c #Conflicts: 1054000 | #Constraints: 39954
220.53/221.12 c #Conflicts: 1055000 | #Constraints: 40954
220.53/221.12 c #Conflicts: 1056000 | #Constraints: 41954
220.53/221.12 c #Conflicts: 1057000 | #Constraints: 42954
220.53/221.12 c #Conflicts: 1058000 | #Constraints: 43954
220.53/221.12 c #Conflicts: 1059000 | #Constraints: 44954
220.53/221.12 c #Conflicts: 1060000 | #Constraints: 45954
220.53/221.12 c #Conflicts: 1061000 | #Constraints: 46954
220.53/221.12 c #Conflicts: 1062000 | #Constraints: 47954
220.53/221.12 c INPROCESSING
220.53/221.12 c GARBAGE COLLECT
220.53/221.12 c rational objective 908
225.11/225.79 c #Conflicts: 1063000 | #Constraints: 28450
225.11/225.79 c #Conflicts: 1064000 | #Constraints: 29450
225.11/225.79 c #Conflicts: 1065000 | #Constraints: 30450
225.11/225.79 c #Conflicts: 1066000 | #Constraints: 31450
225.11/225.79 c #Conflicts: 1067000 | #Constraints: 32450
225.11/225.79 c #Conflicts: 1068000 | #Constraints: 33450
225.11/225.79 c #Conflicts: 1069000 | #Constraints: 34450
225.11/225.79 c #Conflicts: 1070000 | #Constraints: 35450
225.11/225.79 c #Conflicts: 1071000 | #Constraints: 36450
225.11/225.79 c #Conflicts: 1072000 | #Constraints: 37450
225.11/225.79 c #Conflicts: 1073000 | #Constraints: 38450
225.11/225.79 c #Conflicts: 1074000 | #Constraints: 39450
225.11/225.79 c #Conflicts: 1075000 | #Constraints: 40450
225.11/225.79 c #Conflicts: 1076000 | #Constraints: 41450
225.11/225.79 c #Conflicts: 1077000 | #Constraints: 42450
225.11/225.79 c #Conflicts: 1078000 | #Constraints: 43450
225.11/225.79 c #Conflicts: 1079000 | #Constraints: 44450
225.11/225.79 c #Conflicts: 1080000 | #Constraints: 45450
225.11/225.79 c #Conflicts: 1081000 | #Constraints: 46450
225.11/225.79 c #Conflicts: 1082000 | #Constraints: 47450
225.11/225.79 c INPROCESSING
225.11/225.79 c GARBAGE COLLECT
225.11/225.79 c rational objective 908
231.39/232.03 c #Conflicts: 1083000 | #Constraints: 27733
231.39/232.03 c #Conflicts: 1084000 | #Constraints: 28733
231.39/232.03 c #Conflicts: 1085000 | #Constraints: 29733
231.39/232.03 c #Conflicts: 1086000 | #Constraints: 30733
231.39/232.03 c #Conflicts: 1087000 | #Constraints: 31733
231.39/232.03 c #Conflicts: 1088000 | #Constraints: 32733
231.39/232.03 c #Conflicts: 1089000 | #Constraints: 33733
231.39/232.03 c #Conflicts: 1090000 | #Constraints: 34733
231.39/232.03 c #Conflicts: 1091000 | #Constraints: 35733
231.39/232.03 c #Conflicts: 1092000 | #Constraints: 36733
231.39/232.03 c #Conflicts: 1093000 | #Constraints: 37733
231.39/232.03 c #Conflicts: 1094000 | #Constraints: 38733
231.39/232.03 c #Conflicts: 1095000 | #Constraints: 39733
231.39/232.03 c #Conflicts: 1096000 | #Constraints: 40733
231.39/232.03 c #Conflicts: 1097000 | #Constraints: 41733
231.39/232.03 c #Conflicts: 1098000 | #Constraints: 42733
231.39/232.03 c #Conflicts: 1099000 | #Constraints: 43733
231.39/232.03 c #Conflicts: 1100000 | #Constraints: 44733
231.39/232.03 c #Conflicts: 1101000 | #Constraints: 45733
231.39/232.03 c #Conflicts: 1102000 | #Constraints: 46733
231.39/232.03 c #Conflicts: 1103000 | #Constraints: 47733
231.39/232.03 c #Conflicts: 1104000 | #Constraints: 48733
231.39/232.03 c INPROCESSING
231.39/232.03 c GARBAGE COLLECT
231.39/232.03 c rational objective 908
236.38/237.03 c #Conflicts: 1105000 | #Constraints: 28842
236.38/237.03 c #Conflicts: 1106000 | #Constraints: 29842
236.38/237.03 c #Conflicts: 1107000 | #Constraints: 30842
236.38/237.03 c #Conflicts: 1108000 | #Constraints: 31842
236.38/237.03 c #Conflicts: 1109000 | #Constraints: 32842
236.38/237.03 c #Conflicts: 1110000 | #Constraints: 33842
236.38/237.03 c #Conflicts: 1111000 | #Constraints: 34842
236.38/237.03 c #Conflicts: 1112000 | #Constraints: 35842
236.38/237.03 c #Conflicts: 1113000 | #Constraints: 36842
236.38/237.03 c #Conflicts: 1114000 | #Constraints: 37842
236.38/237.03 c #Conflicts: 1115000 | #Constraints: 38842
236.38/237.03 c #Conflicts: 1116000 | #Constraints: 39842
236.38/237.03 c #Conflicts: 1117000 | #Constraints: 40842
236.38/237.03 c #Conflicts: 1118000 | #Constraints: 41842
236.38/237.03 c #Conflicts: 1119000 | #Constraints: 42842
236.38/237.03 c #Conflicts: 1120000 | #Constraints: 43842
236.38/237.03 c #Conflicts: 1121000 | #Constraints: 44842
236.38/237.03 c #Conflicts: 1122000 | #Constraints: 45842
236.38/237.03 c #Conflicts: 1123000 | #Constraints: 46842
236.38/237.03 c #Conflicts: 1124000 | #Constraints: 47842
236.38/237.03 c #Conflicts: 1125000 | #Constraints: 48842
236.38/237.03 c INPROCESSING
236.38/237.03 c GARBAGE COLLECT
236.38/237.03 c rational objective 908
241.26/241.90 c #Conflicts: 1126000 | #Constraints: 28755
241.26/241.90 c #Conflicts: 1127000 | #Constraints: 29755
241.26/241.90 c #Conflicts: 1128000 | #Constraints: 30755
241.26/241.90 c #Conflicts: 1129000 | #Constraints: 31755
241.26/241.90 c #Conflicts: 1130000 | #Constraints: 32755
241.26/241.90 c #Conflicts: 1131000 | #Constraints: 33755
241.26/241.90 c #Conflicts: 1132000 | #Constraints: 34755
241.26/241.90 c #Conflicts: 1133000 | #Constraints: 35755
241.26/241.90 c #Conflicts: 1134000 | #Constraints: 36755
241.26/241.90 c #Conflicts: 1135000 | #Constraints: 37755
241.26/241.90 c #Conflicts: 1136000 | #Constraints: 38755
241.26/241.90 c #Conflicts: 1137000 | #Constraints: 39755
241.26/241.90 c #Conflicts: 1138000 | #Constraints: 40755
241.26/241.90 c #Conflicts: 1139000 | #Constraints: 41755
241.26/241.90 c #Conflicts: 1140000 | #Constraints: 42755
241.26/241.90 c #Conflicts: 1141000 | #Constraints: 43755
241.26/241.90 c #Conflicts: 1142000 | #Constraints: 44755
241.26/241.90 c #Conflicts: 1143000 | #Constraints: 45755
241.26/241.90 c #Conflicts: 1144000 | #Constraints: 46755
241.26/241.90 c #Conflicts: 1145000 | #Constraints: 47755
241.26/241.90 c #Conflicts: 1146000 | #Constraints: 48755
241.26/241.90 c INPROCESSING
241.26/241.90 c GARBAGE COLLECT
241.26/241.90 c rational objective 908
246.36/247.10 c #Conflicts: 1147000 | #Constraints: 28442
246.36/247.10 c #Conflicts: 1148000 | #Constraints: 29442
246.36/247.10 c #Conflicts: 1149000 | #Constraints: 30442
246.36/247.10 c #Conflicts: 1150000 | #Constraints: 31442
246.36/247.10 c #Conflicts: 1151000 | #Constraints: 32442
246.36/247.10 c #Conflicts: 1152000 | #Constraints: 33442
246.36/247.10 c #Conflicts: 1153000 | #Constraints: 34442
246.36/247.10 c #Conflicts: 1154000 | #Constraints: 35442
246.36/247.10 c #Conflicts: 1155000 | #Constraints: 36442
246.36/247.10 c #Conflicts: 1156000 | #Constraints: 37442
246.36/247.10 c #Conflicts: 1157000 | #Constraints: 38442
246.36/247.10 c #Conflicts: 1158000 | #Constraints: 39442
246.36/247.10 c #Conflicts: 1159000 | #Constraints: 40442
246.36/247.10 c #Conflicts: 1160000 | #Constraints: 41442
246.36/247.10 c #Conflicts: 1161000 | #Constraints: 42442
246.36/247.10 c #Conflicts: 1162000 | #Constraints: 43442
246.36/247.10 c #Conflicts: 1163000 | #Constraints: 44442
246.36/247.10 c #Conflicts: 1164000 | #Constraints: 45442
246.36/247.10 c #Conflicts: 1165000 | #Constraints: 46442
246.36/247.10 c #Conflicts: 1166000 | #Constraints: 47442
246.36/247.10 c #Conflicts: 1167000 | #Constraints: 48442
246.36/247.10 c #Conflicts: 1168000 | #Constraints: 49442
246.36/247.10 c INPROCESSING
246.36/247.10 c GARBAGE COLLECT
246.36/247.10 c rational objective 908
252.44/253.13 c #Conflicts: 1169000 | #Constraints: 28933
252.44/253.13 c #Conflicts: 1170000 | #Constraints: 29933
252.44/253.13 c #Conflicts: 1171000 | #Constraints: 30933
252.44/253.13 c #Conflicts: 1172000 | #Constraints: 31933
252.44/253.13 c #Conflicts: 1173000 | #Constraints: 32933
252.44/253.13 c #Conflicts: 1174000 | #Constraints: 33933
252.44/253.13 c #Conflicts: 1175000 | #Constraints: 34933
252.44/253.13 c #Conflicts: 1176000 | #Constraints: 35933
252.44/253.13 c #Conflicts: 1177000 | #Constraints: 36933
252.44/253.13 c #Conflicts: 1178000 | #Constraints: 37933
252.44/253.13 c #Conflicts: 1179000 | #Constraints: 38933
252.44/253.13 c #Conflicts: 1180000 | #Constraints: 39933
252.44/253.13 c #Conflicts: 1181000 | #Constraints: 40933
252.44/253.13 c #Conflicts: 1182000 | #Constraints: 41933
252.44/253.13 c #Conflicts: 1183000 | #Constraints: 42933
252.44/253.13 c #Conflicts: 1184000 | #Constraints: 43933
252.44/253.13 c #Conflicts: 1185000 | #Constraints: 44933
252.44/253.13 c #Conflicts: 1186000 | #Constraints: 45933
252.44/253.13 c #Conflicts: 1187000 | #Constraints: 46933
252.44/253.13 c #Conflicts: 1188000 | #Constraints: 47933
252.44/253.13 c #Conflicts: 1189000 | #Constraints: 48933
252.44/253.13 c #Conflicts: 1190000 | #Constraints: 49933
252.44/253.13 c INPROCESSING
252.44/253.13 c GARBAGE COLLECT
252.44/253.13 c rational objective 908
258.02/258.79 c #Conflicts: 1191000 | #Constraints: 29237
258.02/258.79 c #Conflicts: 1192000 | #Constraints: 30237
258.02/258.79 c #Conflicts: 1193000 | #Constraints: 31237
258.02/258.79 c #Conflicts: 1194000 | #Constraints: 32237
258.02/258.79 c #Conflicts: 1195000 | #Constraints: 33237
258.02/258.79 c #Conflicts: 1196000 | #Constraints: 34237
258.02/258.79 c #Conflicts: 1197000 | #Constraints: 35237
258.02/258.79 c #Conflicts: 1198000 | #Constraints: 36237
258.02/258.79 c #Conflicts: 1199000 | #Constraints: 37237
258.02/258.79 c #Conflicts: 1200000 | #Constraints: 38237
258.02/258.79 c #Conflicts: 1201000 | #Constraints: 39237
258.02/258.79 c #Conflicts: 1202000 | #Constraints: 40237
258.02/258.79 c #Conflicts: 1203000 | #Constraints: 41237
258.02/258.79 c #Conflicts: 1204000 | #Constraints: 42237
258.02/258.79 c #Conflicts: 1205000 | #Constraints: 43237
258.02/258.79 c #Conflicts: 1206000 | #Constraints: 44237
258.02/258.79 c #Conflicts: 1207000 | #Constraints: 45237
258.02/258.79 c #Conflicts: 1208000 | #Constraints: 46237
258.02/258.79 c #Conflicts: 1209000 | #Constraints: 47237
258.02/258.79 c #Conflicts: 1210000 | #Constraints: 48237
258.02/258.79 c #Conflicts: 1211000 | #Constraints: 49237
258.02/258.79 c #Conflicts: 1212000 | #Constraints: 50237
258.02/258.79 c INPROCESSING
258.02/258.79 c GARBAGE COLLECT
258.02/258.79 c rational objective 908
263.42/264.12 c #Conflicts: 1213000 | #Constraints: 29348
263.42/264.12 c #Conflicts: 1214000 | #Constraints: 30348
263.42/264.12 c #Conflicts: 1215000 | #Constraints: 31348
263.42/264.12 c #Conflicts: 1216000 | #Constraints: 32348
263.42/264.12 c #Conflicts: 1217000 | #Constraints: 33348
263.42/264.12 c #Conflicts: 1218000 | #Constraints: 34348
263.42/264.12 c #Conflicts: 1219000 | #Constraints: 35348
263.42/264.12 c #Conflicts: 1220000 | #Constraints: 36348
263.42/264.12 c #Conflicts: 1221000 | #Constraints: 37348
263.42/264.12 c #Conflicts: 1222000 | #Constraints: 38348
263.42/264.12 c #Conflicts: 1223000 | #Constraints: 39348
263.42/264.12 c #Conflicts: 1224000 | #Constraints: 40348
263.42/264.12 c #Conflicts: 1225000 | #Constraints: 41348
263.42/264.12 c #Conflicts: 1226000 | #Constraints: 42348
263.42/264.12 c #Conflicts: 1227000 | #Constraints: 43348
263.42/264.12 c #Conflicts: 1228000 | #Constraints: 44348
263.42/264.12 c #Conflicts: 1229000 | #Constraints: 45348
263.42/264.12 c #Conflicts: 1230000 | #Constraints: 46348
263.42/264.12 c #Conflicts: 1231000 | #Constraints: 47348
263.42/264.12 c #Conflicts: 1232000 | #Constraints: 48348
263.42/264.12 c #Conflicts: 1233000 | #Constraints: 49348
263.42/264.12 c #Conflicts: 1234000 | #Constraints: 50348
263.42/264.12 c INPROCESSING
263.42/264.12 c GARBAGE COLLECT
263.42/264.12 c rational objective 908
269.09/269.85 c #Conflicts: 1235000 | #Constraints: 29244
269.09/269.85 c #Conflicts: 1236000 | #Constraints: 30244
269.09/269.85 c #Conflicts: 1237000 | #Constraints: 31244
269.09/269.85 c #Conflicts: 1238000 | #Constraints: 32244
269.09/269.85 c #Conflicts: 1239000 | #Constraints: 33244
269.09/269.85 c #Conflicts: 1240000 | #Constraints: 34244
269.09/269.85 c #Conflicts: 1241000 | #Constraints: 35244
269.09/269.85 c #Conflicts: 1242000 | #Constraints: 36244
269.09/269.85 c #Conflicts: 1243000 | #Constraints: 37244
269.09/269.85 c #Conflicts: 1244000 | #Constraints: 38244
269.09/269.85 c #Conflicts: 1245000 | #Constraints: 39244
269.09/269.85 c #Conflicts: 1246000 | #Constraints: 40244
269.09/269.85 c #Conflicts: 1247000 | #Constraints: 41244
269.09/269.85 c #Conflicts: 1248000 | #Constraints: 42244
269.09/269.85 c #Conflicts: 1249000 | #Constraints: 43244
269.09/269.85 c #Conflicts: 1250000 | #Constraints: 44244
269.09/269.85 c #Conflicts: 1251000 | #Constraints: 45244
269.09/269.85 c #Conflicts: 1252000 | #Constraints: 46244
269.09/269.85 c #Conflicts: 1253000 | #Constraints: 47244
269.09/269.85 c #Conflicts: 1254000 | #Constraints: 48244
269.09/269.85 c #Conflicts: 1255000 | #Constraints: 49244
269.09/269.85 c #Conflicts: 1256000 | #Constraints: 50244
269.09/269.85 c #Conflicts: 1257000 | #Constraints: 51244
269.09/269.85 c INPROCESSING
269.09/269.85 c GARBAGE COLLECT
269.09/269.85 c rational objective 908
275.08/275.83 c #Conflicts: 1258000 | #Constraints: 29940
275.08/275.83 c #Conflicts: 1259000 | #Constraints: 30940
275.08/275.83 c #Conflicts: 1260000 | #Constraints: 31940
275.08/275.83 c #Conflicts: 1261000 | #Constraints: 32940
275.08/275.83 c #Conflicts: 1262000 | #Constraints: 33940
275.08/275.83 c #Conflicts: 1263000 | #Constraints: 34940
275.08/275.83 c #Conflicts: 1264000 | #Constraints: 35940
275.08/275.83 c #Conflicts: 1265000 | #Constraints: 36940
275.08/275.83 c #Conflicts: 1266000 | #Constraints: 37940
275.08/275.83 c #Conflicts: 1267000 | #Constraints: 38940
275.08/275.83 c #Conflicts: 1268000 | #Constraints: 39940
275.08/275.83 c #Conflicts: 1269000 | #Constraints: 40940
275.08/275.83 c #Conflicts: 1270000 | #Constraints: 41940
275.08/275.83 c #Conflicts: 1271000 | #Constraints: 42940
275.08/275.83 c #Conflicts: 1272000 | #Constraints: 43940
275.08/275.83 c #Conflicts: 1273000 | #Constraints: 44940
275.08/275.83 c #Conflicts: 1274000 | #Constraints: 45940
275.08/275.83 c #Conflicts: 1275000 | #Constraints: 46940
275.08/275.83 c #Conflicts: 1276000 | #Constraints: 47940
275.08/275.83 c #Conflicts: 1277000 | #Constraints: 48940
275.08/275.83 c #Conflicts: 1278000 | #Constraints: 49940
275.08/275.83 c #Conflicts: 1279000 | #Constraints: 50940
275.08/275.83 c #Conflicts: 1280000 | #Constraints: 51940
275.08/275.83 c INPROCESSING
275.08/275.83 c GARBAGE COLLECT
275.08/275.83 c rational objective 908
280.87/281.68 c #Conflicts: 1281000 | #Constraints: 30448
280.87/281.68 c #Conflicts: 1282000 | #Constraints: 31448
280.87/281.68 c #Conflicts: 1283000 | #Constraints: 32448
280.87/281.68 c #Conflicts: 1284000 | #Constraints: 33448
280.87/281.68 c #Conflicts: 1285000 | #Constraints: 34448
280.87/281.68 c #Conflicts: 1286000 | #Constraints: 35448
280.87/281.68 c #Conflicts: 1287000 | #Constraints: 36448
280.87/281.68 c #Conflicts: 1288000 | #Constraints: 37448
280.87/281.68 c #Conflicts: 1289000 | #Constraints: 38448
280.87/281.68 c #Conflicts: 1290000 | #Constraints: 39448
280.87/281.68 c #Conflicts: 1291000 | #Constraints: 40448
280.87/281.68 c #Conflicts: 1292000 | #Constraints: 41448
280.87/281.68 c #Conflicts: 1293000 | #Constraints: 42448
280.87/281.68 c #Conflicts: 1294000 | #Constraints: 43448
280.87/281.68 c #Conflicts: 1295000 | #Constraints: 44448
280.87/281.68 c #Conflicts: 1296000 | #Constraints: 45448
280.87/281.68 c #Conflicts: 1297000 | #Constraints: 46448
280.87/281.68 c #Conflicts: 1298000 | #Constraints: 47448
280.87/281.68 c #Conflicts: 1299000 | #Constraints: 48448
280.87/281.68 c #Conflicts: 1300000 | #Constraints: 49448
280.87/281.68 c #Conflicts: 1301000 | #Constraints: 50448
280.87/281.68 c #Conflicts: 1302000 | #Constraints: 51448
280.87/281.68 c INPROCESSING
280.87/281.68 c GARBAGE COLLECT
280.87/281.68 c rational objective 908
286.86/287.67 c #Conflicts: 1303000 | #Constraints: 29748
286.86/287.67 c #Conflicts: 1304000 | #Constraints: 30748
286.86/287.67 c #Conflicts: 1305000 | #Constraints: 31748
286.86/287.67 c #Conflicts: 1306000 | #Constraints: 32748
286.86/287.67 c #Conflicts: 1307000 | #Constraints: 33748
286.86/287.67 c #Conflicts: 1308000 | #Constraints: 34748
286.86/287.67 c #Conflicts: 1309000 | #Constraints: 35748
286.86/287.67 c #Conflicts: 1310000 | #Constraints: 36748
286.86/287.67 c #Conflicts: 1311000 | #Constraints: 37748
286.86/287.67 c #Conflicts: 1312000 | #Constraints: 38748
286.86/287.67 c #Conflicts: 1313000 | #Constraints: 39748
286.86/287.67 c #Conflicts: 1314000 | #Constraints: 40748
286.86/287.67 c #Conflicts: 1315000 | #Constraints: 41748
286.86/287.67 c #Conflicts: 1316000 | #Constraints: 42748
286.86/287.67 c #Conflicts: 1317000 | #Constraints: 43748
286.86/287.67 c #Conflicts: 1318000 | #Constraints: 44748
286.86/287.67 c #Conflicts: 1319000 | #Constraints: 45748
286.86/287.67 c #Conflicts: 1320000 | #Constraints: 46748
286.86/287.67 c #Conflicts: 1321000 | #Constraints: 47748
286.86/287.67 c #Conflicts: 1322000 | #Constraints: 48748
286.86/287.67 c #Conflicts: 1323000 | #Constraints: 49748
286.86/287.67 c #Conflicts: 1324000 | #Constraints: 50748
286.86/287.67 c #Conflicts: 1325000 | #Constraints: 51748
286.86/287.67 c #Conflicts: 1326000 | #Constraints: 52748
286.86/287.67 c INPROCESSING
286.86/287.67 c GARBAGE COLLECT
286.86/287.67 c rational objective 908
292.74/293.50 c #Conflicts: 1327000 | #Constraints: 30848
292.74/293.50 c #Conflicts: 1328000 | #Constraints: 31848
292.74/293.50 c #Conflicts: 1329000 | #Constraints: 32848
292.74/293.50 c #Conflicts: 1330000 | #Constraints: 33848
292.74/293.50 c #Conflicts: 1331000 | #Constraints: 34848
292.74/293.50 c #Conflicts: 1332000 | #Constraints: 35848
292.74/293.50 c #Conflicts: 1333000 | #Constraints: 36848
292.74/293.50 c #Conflicts: 1334000 | #Constraints: 37848
292.74/293.50 c #Conflicts: 1335000 | #Constraints: 38848
292.74/293.50 c #Conflicts: 1336000 | #Constraints: 39848
292.74/293.50 c #Conflicts: 1337000 | #Constraints: 40848
292.74/293.50 c #Conflicts: 1338000 | #Constraints: 41848
292.74/293.50 c #Conflicts: 1339000 | #Constraints: 42848
292.74/293.50 c #Conflicts: 1340000 | #Constraints: 43848
292.74/293.50 c #Conflicts: 1341000 | #Constraints: 44848
292.74/293.50 c #Conflicts: 1342000 | #Constraints: 45848
292.74/293.50 c #Conflicts: 1343000 | #Constraints: 46848
292.74/293.50 c #Conflicts: 1344000 | #Constraints: 47848
292.74/293.50 c #Conflicts: 1345000 | #Constraints: 48848
292.74/293.50 c #Conflicts: 1346000 | #Constraints: 49848
292.74/293.50 c #Conflicts: 1347000 | #Constraints: 50848
292.74/293.50 c #Conflicts: 1348000 | #Constraints: 51848
292.74/293.50 c #Conflicts: 1349000 | #Constraints: 52848
292.74/293.50 c INPROCESSING
292.74/293.50 c GARBAGE COLLECT
292.74/293.50 c rational objective 908
299.22/300.06 c #Conflicts: 1350000 | #Constraints: 30739
299.22/300.06 c #Conflicts: 1351000 | #Constraints: 31739
299.22/300.06 c #Conflicts: 1352000 | #Constraints: 32739
299.22/300.06 c #Conflicts: 1353000 | #Constraints: 33739
299.22/300.06 c #Conflicts: 1354000 | #Constraints: 34739
299.22/300.06 c #Conflicts: 1355000 | #Constraints: 35739
299.22/300.06 c #Conflicts: 1356000 | #Constraints: 36739
299.22/300.06 c #Conflicts: 1357000 | #Constraints: 37739
299.22/300.06 c #Conflicts: 1358000 | #Constraints: 38739
299.22/300.06 c #Conflicts: 1359000 | #Constraints: 39739
299.22/300.06 c #Conflicts: 1360000 | #Constraints: 40739
299.22/300.06 c #Conflicts: 1361000 | #Constraints: 41739
299.22/300.06 c #Conflicts: 1362000 | #Constraints: 42739
299.22/300.06 c #Conflicts: 1363000 | #Constraints: 43739
299.22/300.06 c #Conflicts: 1364000 | #Constraints: 44739
299.22/300.06 c #Conflicts: 1365000 | #Constraints: 45739
299.22/300.06 c #Conflicts: 1366000 | #Constraints: 46739
299.22/300.06 c #Conflicts: 1367000 | #Constraints: 47739
299.22/300.06 c #Conflicts: 1368000 | #Constraints: 48739
299.22/300.06 c #Conflicts: 1369000 | #Constraints: 49739
299.22/300.06 c #Conflicts: 1370000 | #Constraints: 50739
299.22/300.06 c #Conflicts: 1371000 | #Constraints: 51739
299.22/300.06 c #Conflicts: 1372000 | #Constraints: 52739
299.22/300.06 c INPROCESSING
299.22/300.06 c GARBAGE COLLECT
299.22/300.06 c rational objective 908
305.80/306.68 c #Conflicts: 1373000 | #Constraints: 30443
305.80/306.68 c #Conflicts: 1374000 | #Constraints: 31443
305.80/306.68 c #Conflicts: 1375000 | #Constraints: 32443
305.80/306.68 c #Conflicts: 1376000 | #Constraints: 33443
305.80/306.68 c #Conflicts: 1377000 | #Constraints: 34443
305.80/306.68 c #Conflicts: 1378000 | #Constraints: 35443
305.80/306.68 c #Conflicts: 1379000 | #Constraints: 36443
305.80/306.68 c #Conflicts: 1380000 | #Constraints: 37443
305.80/306.68 c #Conflicts: 1381000 | #Constraints: 38443
305.80/306.68 c #Conflicts: 1382000 | #Constraints: 39443
305.80/306.68 c #Conflicts: 1383000 | #Constraints: 40443
305.80/306.68 c #Conflicts: 1384000 | #Constraints: 41443
305.80/306.68 c #Conflicts: 1385000 | #Constraints: 42443
305.80/306.68 c #Conflicts: 1386000 | #Constraints: 43443
305.80/306.68 c #Conflicts: 1387000 | #Constraints: 44443
305.80/306.68 c #Conflicts: 1388000 | #Constraints: 45443
305.80/306.68 c #Conflicts: 1389000 | #Constraints: 46443
305.80/306.68 c #Conflicts: 1390000 | #Constraints: 47443
305.80/306.68 c #Conflicts: 1391000 | #Constraints: 48443
305.80/306.68 c #Conflicts: 1392000 | #Constraints: 49443
305.80/306.68 c #Conflicts: 1393000 | #Constraints: 50443
305.80/306.68 c #Conflicts: 1394000 | #Constraints: 51443
305.80/306.68 c #Conflicts: 1395000 | #Constraints: 52443
305.80/306.68 c #Conflicts: 1396000 | #Constraints: 53443
305.80/306.68 c INPROCESSING
305.80/306.68 c GARBAGE COLLECT
305.80/306.68 c rational objective 908
335.33/336.23 c #Conflicts: 1397000 | #Constraints: 30955
335.33/336.23 c #Conflicts: 1398000 | #Constraints: 31955
335.33/336.23 c #Conflicts: 1399000 | #Constraints: 32955
335.33/336.23 c #Conflicts: 1400000 | #Constraints: 33955
335.33/336.23 c #Conflicts: 1401000 | #Constraints: 34955
335.33/336.23 c #Conflicts: 1402000 | #Constraints: 35955
335.33/336.23 c #Conflicts: 1403000 | #Constraints: 36955
335.33/336.23 c #Conflicts: 1404000 | #Constraints: 37955
335.33/336.23 c #Conflicts: 1405000 | #Constraints: 38955
335.33/336.23 c #Conflicts: 1406000 | #Constraints: 39955
335.33/336.23 c #Conflicts: 1407000 | #Constraints: 40955
335.33/336.23 c #Conflicts: 1408000 | #Constraints: 41955
335.33/336.23 c #Conflicts: 1409000 | #Constraints: 42955
335.33/336.23 c #Conflicts: 1410000 | #Constraints: 43955
335.33/336.23 c #Conflicts: 1411000 | #Constraints: 44955
335.33/336.23 c #Conflicts: 1412000 | #Constraints: 45955
335.33/336.23 c #Conflicts: 1413000 | #Constraints: 46955
335.33/336.23 c #Conflicts: 1414000 | #Constraints: 47955
335.33/336.23 c #Conflicts: 1415000 | #Constraints: 48955
335.33/336.23 c #Conflicts: 1416000 | #Constraints: 49955
335.33/336.23 c #Conflicts: 1417000 | #Constraints: 50955
335.33/336.23 c #Conflicts: 1418000 | #Constraints: 51955
335.33/336.23 c #Conflicts: 1419000 | #Constraints: 52955
335.33/336.23 c #Conflicts: 1420000 | #Constraints: 53955
335.33/336.23 c #Conflicts: 1421000 | #Constraints: 54955
335.33/336.23 c #Conflicts: 1422000 | #Constraints: 55955
335.33/336.23 c #Conflicts: 1423000 | #Constraints: 56955
335.33/336.23 c #Conflicts: 1424000 | #Constraints: 57955
335.33/336.23 c #Conflicts: 1425000 | #Constraints: 58955
335.33/336.23 c #Conflicts: 1426000 | #Constraints: 59955
335.33/336.23 c #Conflicts: 1427000 | #Constraints: 60955
335.33/336.23 c #Conflicts: 1428000 | #Constraints: 61955
335.33/336.23 c #Conflicts: 1429000 | #Constraints: 62955
335.33/336.23 c #Conflicts: 1430000 | #Constraints: 63955
335.33/336.23 c #Conflicts: 1431000 | #Constraints: 64955
335.33/336.23 c #Conflicts: 1432000 | #Constraints: 65955
335.33/336.23 c #Conflicts: 1433000 | #Constraints: 66955
335.33/336.23 c #Conflicts: 1434000 | #Constraints: 67955
335.33/336.23 c #Conflicts: 1435000 | #Constraints: 68955
335.33/336.23 c #Conflicts: 1436000 | #Constraints: 69955
335.33/336.23 c #Conflicts: 1437000 | #Constraints: 70955
335.33/336.23 c #Conflicts: 1438000 | #Constraints: 71955
335.33/336.23 c #Conflicts: 1439000 | #Constraints: 72955
335.33/336.23 c #Conflicts: 1440000 | #Constraints: 73955
335.33/336.23 c #Conflicts: 1441000 | #Constraints: 74955
335.33/336.23 c #Conflicts: 1442000 | #Constraints: 75955
335.33/336.23 c #Conflicts: 1443000 | #Constraints: 76955
335.33/336.23 c #Conflicts: 1444000 | #Constraints: 77955
335.33/336.23 c #Conflicts: 1445000 | #Constraints: 78955
335.33/336.23 c #Conflicts: 1446000 | #Constraints: 79955
335.33/336.23 c #Conflicts: 1447000 | #Constraints: 80955
335.33/336.23 c #Conflicts: 1448000 | #Constraints: 81955
335.33/336.23 c #Conflicts: 1449000 | #Constraints: 82955
335.33/336.23 c #Conflicts: 1450000 | #Constraints: 83955
335.33/336.23 c #Conflicts: 1451000 | #Constraints: 84955
335.33/336.23 c #Conflicts: 1452000 | #Constraints: 85955
335.33/336.23 c #Conflicts: 1453000 | #Constraints: 86955
335.33/336.23 c #Conflicts: 1454000 | #Constraints: 87955
335.33/336.23 c #Conflicts: 1455000 | #Constraints: 88955
335.33/336.23 c #Conflicts: 1456000 | #Constraints: 89955
335.33/336.23 c #Conflicts: 1457000 | #Constraints: 90955
335.33/336.23 c #Conflicts: 1458000 | #Constraints: 91955
335.33/336.23 c #Conflicts: 1459000 | #Constraints: 92955
335.33/336.23 c #Conflicts: 1460000 | #Constraints: 93955
335.33/336.23 c #Conflicts: 1461000 | #Constraints: 94955
335.33/336.23 c #Conflicts: 1462000 | #Constraints: 95955
335.33/336.23 c #Conflicts: 1463000 | #Constraints: 96955
335.33/336.23 c #Conflicts: 1464000 | #Constraints: 97955
335.33/336.23 c #Conflicts: 1465000 | #Constraints: 98955
335.33/336.23 c #Conflicts: 1466000 | #Constraints: 99955
335.33/336.23 c #Conflicts: 1467000 | #Constraints: 100955
335.33/336.23 c #Conflicts: 1468000 | #Constraints: 101955
335.33/336.23 c #Conflicts: 1469000 | #Constraints: 102955
335.33/336.23 c #Conflicts: 1470000 | #Constraints: 103955
335.33/336.23 c #Conflicts: 1471000 | #Constraints: 104955
335.33/336.23 c #Conflicts: 1472000 | #Constraints: 105955
335.33/336.23 c #Conflicts: 1473000 | #Constraints: 106955
335.33/336.23 c #Conflicts: 1474000 | #Constraints: 107955
335.33/336.23 c #Conflicts: 1475000 | #Constraints: 108955
364.56/365.52 c #Conflicts: 1476000 | #Constraints: 109955
364.56/365.52 c #Conflicts: 1477000 | #Constraints: 110955
364.56/365.52 c #Conflicts: 1478000 | #Constraints: 111955
364.56/365.52 c #Conflicts: 1479000 | #Constraints: 112955
364.56/365.52 c #Conflicts: 1480000 | #Constraints: 113955
364.56/365.52 c #Conflicts: 1481000 | #Constraints: 114955
364.56/365.52 c #Conflicts: 1482000 | #Constraints: 115955
364.56/365.52 c #Conflicts: 1483000 | #Constraints: 116955
364.56/365.52 c #Conflicts: 1484000 | #Constraints: 117955
364.56/365.52 c #Conflicts: 1485000 | #Constraints: 118955
364.56/365.52 c #Conflicts: 1486000 | #Constraints: 119955
364.56/365.52 c #Conflicts: 1487000 | #Constraints: 120955
364.56/365.52 c #Conflicts: 1488000 | #Constraints: 121955
364.56/365.52 c #Conflicts: 1489000 | #Constraints: 122955
364.56/365.52 c #Conflicts: 1490000 | #Constraints: 123955
364.56/365.52 c #Conflicts: 1491000 | #Constraints: 124955
364.56/365.52 c #Conflicts: 1492000 | #Constraints: 125955
364.56/365.52 c #Conflicts: 1493000 | #Constraints: 126955
364.56/365.52 c #Conflicts: 1494000 | #Constraints: 127955
364.56/365.52 c #Conflicts: 1495000 | #Constraints: 128955
364.56/365.52 c #Conflicts: 1496000 | #Constraints: 129955
364.56/365.52 c #Conflicts: 1497000 | #Constraints: 130955
364.56/365.52 c #Conflicts: 1498000 | #Constraints: 131955
364.56/365.52 c #Conflicts: 1499000 | #Constraints: 132955
364.56/365.52 c #Conflicts: 1500000 | #Constraints: 133955
364.56/365.52 c #Conflicts: 1501000 | #Constraints: 134955
364.56/365.52 c #Conflicts: 1502000 | #Constraints: 135955
364.56/365.52 c #Conflicts: 1503000 | #Constraints: 136955
364.56/365.52 c #Conflicts: 1504000 | #Constraints: 137955
364.56/365.52 c #Conflicts: 1505000 | #Constraints: 138955
364.56/365.52 c #Conflicts: 1506000 | #Constraints: 139955
364.56/365.52 c #Conflicts: 1507000 | #Constraints: 140955
364.56/365.52 c #Conflicts: 1508000 | #Constraints: 141955
364.56/365.52 c #Conflicts: 1509000 | #Constraints: 142955
364.56/365.52 c #Conflicts: 1510000 | #Constraints: 143955
364.56/365.52 c #Conflicts: 1511000 | #Constraints: 144955
364.56/365.52 c #Conflicts: 1512000 | #Constraints: 145955
364.56/365.52 c #Conflicts: 1513000 | #Constraints: 146955
364.56/365.52 c #Conflicts: 1514000 | #Constraints: 147955
364.56/365.52 c #Conflicts: 1515000 | #Constraints: 148955
364.56/365.52 c INPROCESSING
364.56/365.52 c GARBAGE COLLECT
364.56/365.52 c rational objective 908
378.52/379.53 c #Conflicts: 1516000 | #Constraints: 78552
378.52/379.53 c #Conflicts: 1517000 | #Constraints: 79552
378.52/379.53 c #Conflicts: 1518000 | #Constraints: 80552
378.52/379.53 c #Conflicts: 1519000 | #Constraints: 81552
378.52/379.53 c #Conflicts: 1520000 | #Constraints: 82552
378.52/379.53 c #Conflicts: 1521000 | #Constraints: 83552
378.52/379.53 c #Conflicts: 1522000 | #Constraints: 84552
378.52/379.53 c #Conflicts: 1523000 | #Constraints: 85552
378.52/379.53 c #Conflicts: 1524000 | #Constraints: 86552
378.52/379.53 c #Conflicts: 1525000 | #Constraints: 87552
378.52/379.53 c #Conflicts: 1526000 | #Constraints: 88552
378.52/379.53 c #Conflicts: 1527000 | #Constraints: 89552
378.52/379.53 c #Conflicts: 1528000 | #Constraints: 90552
378.52/379.53 c #Conflicts: 1529000 | #Constraints: 91552
378.52/379.53 c #Conflicts: 1530000 | #Constraints: 92552
378.52/379.53 c #Conflicts: 1531000 | #Constraints: 93552
378.52/379.53 c #Conflicts: 1532000 | #Constraints: 94552
378.52/379.53 c #Conflicts: 1533000 | #Constraints: 95552
378.52/379.53 c #Conflicts: 1534000 | #Constraints: 96552
378.52/379.53 c #Conflicts: 1535000 | #Constraints: 97552
378.52/379.53 c #Conflicts: 1536000 | #Constraints: 98552
378.52/379.53 c #Conflicts: 1537000 | #Constraints: 99552
378.52/379.53 c #Conflicts: 1538000 | #Constraints: 100552
378.52/379.53 c #Conflicts: 1539000 | #Constraints: 101552
378.52/379.53 c #Conflicts: 1540000 | #Constraints: 102552
378.52/379.53 c INPROCESSING
378.52/379.53 c GARBAGE COLLECT
378.52/379.53 c rational objective 908
389.68/390.77 c #Conflicts: 1541000 | #Constraints: 55348
389.68/390.77 c #Conflicts: 1542000 | #Constraints: 56348
389.68/390.77 c #Conflicts: 1543000 | #Constraints: 57348
389.68/390.77 c #Conflicts: 1544000 | #Constraints: 58348
389.68/390.77 c #Conflicts: 1545000 | #Constraints: 59348
389.68/390.77 c #Conflicts: 1546000 | #Constraints: 60348
389.68/390.77 c #Conflicts: 1547000 | #Constraints: 61348
389.68/390.77 c #Conflicts: 1548000 | #Constraints: 62348
389.68/390.77 c #Conflicts: 1549000 | #Constraints: 63348
389.68/390.77 c #Conflicts: 1550000 | #Constraints: 64348
389.68/390.77 c #Conflicts: 1551000 | #Constraints: 65348
389.68/390.77 c #Conflicts: 1552000 | #Constraints: 66348
389.68/390.77 c #Conflicts: 1553000 | #Constraints: 67348
389.68/390.77 c #Conflicts: 1554000 | #Constraints: 68348
389.68/390.77 c #Conflicts: 1555000 | #Constraints: 69348
389.68/390.77 c #Conflicts: 1556000 | #Constraints: 70348
389.68/390.77 c #Conflicts: 1557000 | #Constraints: 71348
389.68/390.77 c #Conflicts: 1558000 | #Constraints: 72348
389.68/390.77 c #Conflicts: 1559000 | #Constraints: 73348
389.68/390.77 c #Conflicts: 1560000 | #Constraints: 74348
389.68/390.77 c #Conflicts: 1561000 | #Constraints: 75348
389.68/390.77 c #Conflicts: 1562000 | #Constraints: 76348
389.68/390.77 c #Conflicts: 1563000 | #Constraints: 77348
389.68/390.77 c #Conflicts: 1564000 | #Constraints: 78348
389.68/390.77 c #Conflicts: 1565000 | #Constraints: 79348
389.68/390.77 c #Conflicts: 1566000 | #Constraints: 80348
389.68/390.77 c INPROCESSING
389.68/390.77 c GARBAGE COLLECT
389.68/390.77 c rational objective 908
399.46/400.53 c #Conflicts: 1567000 | #Constraints: 44650
399.46/400.53 c #Conflicts: 1568000 | #Constraints: 45650
399.46/400.53 c #Conflicts: 1569000 | #Constraints: 46650
399.46/400.53 c #Conflicts: 1570000 | #Constraints: 47650
399.46/400.53 c #Conflicts: 1571000 | #Constraints: 48650
399.46/400.53 c #Conflicts: 1572000 | #Constraints: 49650
399.46/400.53 c #Conflicts: 1573000 | #Constraints: 50650
399.46/400.53 c #Conflicts: 1574000 | #Constraints: 51650
399.46/400.53 c #Conflicts: 1575000 | #Constraints: 52650
399.46/400.53 c #Conflicts: 1576000 | #Constraints: 53650
399.46/400.53 c #Conflicts: 1577000 | #Constraints: 54650
399.46/400.53 c #Conflicts: 1578000 | #Constraints: 55650
399.46/400.53 c #Conflicts: 1579000 | #Constraints: 56650
399.46/400.53 c #Conflicts: 1580000 | #Constraints: 57650
399.46/400.53 c #Conflicts: 1581000 | #Constraints: 58650
399.46/400.53 c #Conflicts: 1582000 | #Constraints: 59650
399.46/400.53 c #Conflicts: 1583000 | #Constraints: 60650
399.46/400.53 c #Conflicts: 1584000 | #Constraints: 61650
399.46/400.53 c #Conflicts: 1585000 | #Constraints: 62650
399.46/400.53 c #Conflicts: 1586000 | #Constraints: 63650
399.46/400.53 c #Conflicts: 1587000 | #Constraints: 64650
399.46/400.53 c #Conflicts: 1588000 | #Constraints: 65650
399.46/400.53 c #Conflicts: 1589000 | #Constraints: 66650
399.46/400.53 c #Conflicts: 1590000 | #Constraints: 67650
399.46/400.53 c #Conflicts: 1591000 | #Constraints: 68650
399.46/400.53 c INPROCESSING
399.46/400.53 c GARBAGE COLLECT
399.46/400.53 c rational objective 908
404.34/405.41 c #Conflicts: 1592000 | #Constraints: 35216
404.34/405.41 c #Conflicts: 1593000 | #Constraints: 36216
404.34/405.41 c #Conflicts: 1594000 | #Constraints: 37216
404.34/405.41 c #Conflicts: 1595000 | #Constraints: 38216
404.34/405.41 c #Conflicts: 1596000 | #Constraints: 39216
404.34/405.41 c #Conflicts: 1597000 | #Constraints: 40216
404.34/405.41 c #Conflicts: 1598000 | #Constraints: 41216
404.34/405.41 c #Conflicts: 1599000 | #Constraints: 42216
404.34/405.41 c #Conflicts: 1600000 | #Constraints: 43216
404.34/405.41 c #Conflicts: 1601000 | #Constraints: 44216
404.34/405.41 c #Conflicts: 1602000 | #Constraints: 45216
404.34/405.41 c #Conflicts: 1603000 | #Constraints: 46216
404.34/405.41 c #Conflicts: 1604000 | #Constraints: 47216
404.34/405.41 c #Conflicts: 1605000 | #Constraints: 48216
404.34/405.41 c #Conflicts: 1606000 | #Constraints: 49216
404.34/405.41 c #Conflicts: 1607000 | #Constraints: 50216
404.34/405.41 c #Conflicts: 1608000 | #Constraints: 51216
404.34/405.41 c #Conflicts: 1609000 | #Constraints: 52216
404.34/405.41 c #Conflicts: 1610000 | #Constraints: 53216
404.34/405.41 c cpu time 397.933 s
404.34/405.41 c deterministic time 12758305145 1.28e+10
404.34/405.41 c optimization time 9.8e-05 s
404.34/405.41 c total solve time 397.909 s
404.34/405.41 c core-guided solve time 0 s
404.34/405.41 c propagation time 218.004 s
404.34/405.41 c conflict analysis time 150.348 s
404.34/405.41 c propagations 457123575
404.34/405.41 c resolve steps 53750790
404.34/405.41 c decisions 2086067
404.34/405.41 c conflicts 1610218
404.34/405.41 c restarts 3069
404.34/405.41 c inprocessing phases 109
404.34/405.41 c garbage collections 109 ,( 100.00 )
404.34/405.41 c input clauses 3005 ,( 47.06 )
404.34/405.41 c input cardinalities 3380 ,( 52.94 )
404.34/405.41 c input general constraints 0 ,( 0.00 )
404.34/405.41 c input average constraint length 2.67
404.34/405.41 c input average constraint degree 1.53
404.34/405.41 c learned clauses 1609047 ,( 99.92 )
404.34/405.41 c learned cardinalities 1064 ,( 0.07 )
404.34/405.41 c learned general constraints 230 ,( 0.01 )
404.34/405.41 c learned average constraint length 189.91
404.34/405.41 c learned average constraint degree 19500.72
404.34/405.41 c watched CF 32, 64, 128, Arb: 216 , 0 , 0 , 0
404.34/405.41 c counting CF 32, 64, 128, Arb: 14 , 0 , 0 , 0
404.34/405.41 c watched constraints 216 ,( 93.91 )
404.34/405.41 c counting constraints 14 ,( 6.09 )
404.34/405.41 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2493718750 , 510833293 , 257986 ,( 159266 , 98720 )
404.34/405.41 c gcd simplifications 184
404.34/405.41 c detected cardinalities 10
404.34/405.41 c weakened non-implied lits 4190068
404.34/405.41 c weakened non-implying lits 219
404.34/405.41 c original variables 2724
404.34/405.41 c clausal propagations 268501903
404.34/405.41 c cardinality propagations 186979580
404.34/405.41 c watched propagations 11807
404.34/405.41 c counting propagations 19074
404.34/405.41 c watch lookups 3014008515
404.34/405.41 c watch backjump lookups 0
404.34/405.41 c watch checks 6303167507
404.34/405.41 c propagation checks 1639716716
404.34/405.41 c constraint additions 881205089
404.34/405.41 c trail pops 460818872
404.34/405.41 c formula constraints 6385
404.34/405.41 c learned constraints 1610217
404.34/405.41 c bound constraints 0
404.34/405.41 c core-guided constraints 0
404.34/405.41 c encountered formula constraints 31414043
404.34/405.41 c encountered learned constraints 23905531
404.34/405.41 c encountered bound constraints 0
404.34/405.41 c encountered core-guided constraints 0
404.34/405.41 c LP total time 19.0532 s
404.34/405.41 c LP solve time 4.94 s
404.34/405.41 c LP constraints added 6824
404.34/405.41 c LP constraints removed 434
404.34/405.41 c LP pivots internal 161227
404.34/405.41 c LP pivots root 17576
404.34/405.41 c LP calls 393
404.34/405.41 c LP optimalities 391
404.34/405.41 c LP no pivot count 75
404.34/405.41 c LP infeasibilities 0
404.34/405.41 c LP valid Farkas constraints 0
404.34/405.41 c LP learned Farkas constraints 0
404.34/405.41 c LP basis resets 0
404.34/405.41 c LP cycling count 0
404.34/405.41 c LP singular count 0
404.34/405.41 c LP no primal count 0
404.34/405.41 c LP no farkas count 0
404.34/405.41 c LP other issue count 0
404.34/405.41 c LP Gomory cuts 124
404.34/405.41 c LP learned cuts 315
404.34/405.41 c LP deleted cuts 434
404.34/405.41 c LP encountered Gomory constraints 41434
404.34/405.41 c LP encountered Farkas constraints 0
404.34/405.41 c LP encountered learned Farkas constraints 0
404.34/405.41 c CG auxiliary variables introduced 0
404.34/405.41 c CG solutions found 0
404.34/405.41 c CG cores constructed 0
404.34/405.41 c CG core cardinality constraints returned 0
404.34/405.41 c CG unit cores 0
404.34/405.41 c CG single cores 0
404.34/405.41 c CG blocks removed during cardinality reduction 0
404.34/405.41 c CG first core best 0
404.34/405.41 c CG decision core best 0
404.34/405.41 c CG core reduction tie 0
404.34/405.41 c CG core degree average 0.00
404.34/405.41 c CG core slack average 0.00
404.34/405.41 c CG core upper bound improvements 0
404.34/405.41 c STR number of successful calls 0
404.34/405.41 c STR number of unsuccessful calls 0
404.34/405.41 c STR number of inconclusive calls 0
404.34/405.41 c STR number of successful attempts 0
404.34/405.41 c STR number of unsuccessful attempts 0
404.34/405.41 c STR number of inconclusive attempts 0
404.34/405.41 c STR average degree increase per successful call inf
404.34/405.41 c STR average degree increase per successful attempt inf
404.34/405.47 c STR total number of conflicts for successful attempts 0
404.34/405.47 c STR total number of conflicts for unsuccessful attempts 0
404.34/405.47 c STR total number of conflicts for inconclusive attempts 0
404.34/405.47 c STR average number of conflicts per successful attempt inf
404.34/405.47 c STR average number of conflicts per unsuccessful attempt inf
404.34/405.47 c STR average number of conflicts per inconclusive attempt inf
404.34/405.47 c AVG.sumWPerc 10.16
404.34/405.47 c bigint constraints 0
404.34/405.47 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: 63708 MiB (61248 MiB free)
memory of node 1: 64465 MiB (62453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510941-1751198465/watcher-4510941-1751198465 -o /tmp/evaluation-result-4510941-1751198465/solver-4510941-1751198465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27550 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510941-1751198465.opb PROOFDIR/proof-4510941-1751198465
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 FSIZE limit: 102400000 KiB
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=29099, runsolver pid=29096
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.18 4.18 4.13 5/275 29101
/proc/meminfo: memFree=126662296/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=66136 memory=21996 CPUtime=0.08 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 3411 0 0 0 7 1 0 0 20 0 1 0 35525947 67723264 5499 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 16534 5499 2304 1147 0 3961 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70328 KiB
Current children cumulated memory: 24940 KiB
[startup+0.206176 s]*
/proc/loadavg: 4.18 4.18 4.13 5/275 29101
/proc/meminfo: memFree=126662296/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=66136 memory=22124 CPUtime=0.18 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 3415 0 0 0 14 4 0 0 20 0 1 0 35525947 67723264 5531 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 16534 5531 2336 1147 0 3961 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70328 KiB
Current children cumulated memory: 25068 KiB
[startup+0.305318 s]*
/proc/loadavg: 4.18 4.18 4.13 5/275 29101
/proc/meminfo: memFree=126661540/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=66136 memory=22124 CPUtime=0.27 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 3419 0 0 0 22 5 0 0 20 0 1 0 35525947 67723264 5531 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 16534 5531 2336 1147 0 3961 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 70328 KiB
Current children cumulated memory: 25068 KiB
[startup+0.70017 s]
/proc/loadavg: 4.18 4.18 4.13 5/275 29101
/proc/meminfo: memFree=126663992/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=66320 memory=22124 CPUtime=0.66 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 3449 0 0 0 59 7 0 0 20 0 1 0 35525947 67911680 5531 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 16580 5531 2336 1147 0 4007 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70512 KiB
Current children cumulated memory: 25068 KiB
[startup+1.50015 s]
/proc/loadavg: 4.18 4.18 4.13 5/275 29101
/proc/meminfo: memFree=126660720/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=66964 memory=24976 CPUtime=1.46 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 3621 0 0 0 137 9 0 0 20 0 1 0 35525947 68571136 6244 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 16741 6244 2336 1147 0 4168 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 27920 KiB
[startup+3.10598 s]
/proc/loadavg: 4.16 4.17 4.13 5/275 29101
/proc/meminfo: memFree=126659260/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=69688 memory=27280 CPUtime=3.06 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 4216 0 0 0 293 13 0 0 20 0 1 0 35525947 71360512 6820 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 17422 6820 2336 1147 0 4849 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 73880 KiB
Current children cumulated memory: 30224 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.17 4.13 5/275 29102
/proc/meminfo: memFree=126669636/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=70304 memory=28048 CPUtime=6.25 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 4400 0 0 0 605 20 0 0 20 0 1 0 35525947 71991296 7012 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 17576 7012 2336 1147 0 5003 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 74496 KiB
Current children cumulated memory: 30992 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.17 4.13 5/275 29102
/proc/meminfo: memFree=126639176/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=71268 memory=28944 CPUtime=12.63 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 4645 0 0 0 1232 31 0 0 20 0 1 0 35525947 72978432 7236 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 17817 7236 2336 1147 0 5244 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 75460 KiB
Current children cumulated memory: 31888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.16 4.13 5/275 29102
/proc/meminfo: memFree=126554728/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=76000 memory=33088 CPUtime=25.4 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 5171 0 0 0 2485 55 0 0 20 0 1 0 35525947 77824000 8272 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 19000 8272 2336 1147 0 6427 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 80192 KiB
Current children cumulated memory: 36032 KiB
[startup+51.106 s]
/proc/loadavg: 4.15 4.16 4.13 5/275 29102
/proc/meminfo: memFree=126385696/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=81900 memory=38124 CPUtime=50.95 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 5838 0 0 0 4984 111 0 0 20 0 1 0 35525947 83865600 9531 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 20475 9531 2336 1147 0 7902 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 86092 KiB
Current children cumulated memory: 41068 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/275 29104
/proc/meminfo: memFree=126096280/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=92260 memory=47824 CPUtime=102.01 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 7244 0 0 0 9996 205 0 0 20 0 1 0 35525947 94474240 11956 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 23065 11956 2336 1147 0 10492 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 96452 KiB
Current children cumulated memory: 50768 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.12 4.11 5/274 29107
/proc/meminfo: memFree=125754352/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=94768 memory=52364 CPUtime=161.87 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 7861 0 0 0 15873 314 0 0 20 0 1 0 35525947 97042432 13091 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 23692 13091 2336 1147 0 11119 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 98960 KiB
Current children cumulated memory: 55308 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/274 29112
/proc/meminfo: memFree=125420700/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=107704 memory=59724 CPUtime=221.72 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 8704 0 0 0 21768 404 0 0 20 0 1 0 35525947 110288896 14931 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 26926 14931 2336 1147 0 14353 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 111896 KiB
Current children cumulated memory: 62668 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/273 29114
/proc/meminfo: memFree=125094232/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=109488 memory=63672 CPUtime=281.56 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 9167 0 0 0 27659 497 0 0 20 0 1 0 35525947 112115712 15918 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 27372 15918 2336 1147 0 14799 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 113680 KiB
Current children cumulated memory: 66616 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/272 29116
/proc/meminfo: memFree=124728332/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=218540 memory=138040 CPUtime=341.41 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 12458 0 0 0 33564 577 0 0 20 0 1 0 35525947 223784960 34510 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 54635 34510 2336 1147 0 42062 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 222732 KiB
Current children cumulated memory: 140984 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/272 29118
/proc/meminfo: memFree=124427540/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=229496 memory=183360 CPUtime=401.25 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 14777 0 0 0 39493 632 0 0 20 0 1 0 35525947 235003904 45840 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 57374 45840 2336 1147 0 44801 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 233688 KiB
Current children cumulated memory: 186304 KiB
[startup+405.477 s]
# the end of solver process 29099 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=397.936 s, system=6.45112 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.10 4.11 4.10 5/272 29118
/proc/meminfo: memFree=124427540/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=229496 memory=183360 CPUtime=402.15 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 14781 0 0 0 39580 635 0 0 20 0 1 0 35525947 235003904 45840 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 57374 45840 2336 1147 0 44801 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 233688 KiB
Current children cumulated memory: 186304 KiB
[startup+404.8 s]
/proc/loadavg: 4.10 4.11 4.10 5/272 29118
/proc/meminfo: memFree=124411324/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=229496 memory=183360 CPUtime=403.74 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 14781 0 0 0 39733 641 0 0 20 0 1 0 35525947 235003904 45840 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 57374 45840 2336 1147 0 44801 0
Current children cumulated CPU time: 403.74 s
Current children cumulated vsize: 233688 KiB
Current children cumulated memory: 186304 KiB
[startup+405.2 s]
/proc/loadavg: 4.10 4.11 4.10 5/272 29118
/proc/meminfo: memFree=124379108/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=229496 memory=183360 CPUtime=404.15 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 14781 0 0 0 39772 643 0 0 20 0 1 0 35525947 235003904 45840 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 57374 45840 2336 1147 0 44801 0
Current children cumulated CPU time: 404.15 s
Current children cumulated vsize: 233688 KiB
Current children cumulated memory: 186304 KiB
[startup+405.4 s]
/proc/loadavg: 4.10 4.11 4.10 5/272 29118
/proc/meminfo: memFree=124379108/131250000 swapFree=33010684/33010684
[pid=29099] ppid=29096 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/29099/stat : 29099 (run-dec-log.sh) S 29096 29099 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35525946 4292608 736 18446744073709551615 94349035958272 94349036852805 140729151518256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94349037091856 94349037139600 94349053005824 140729151523105 140729151523300 140729151523300 140729151528902 0
/proc/29099/statm: 1048 736 672 219 0 110 0
[pid=29101] ppid=29099 vsize=229496 memory=183360 CPUtime=404.34 cores=5,7
/proc/29101/stat : 29101 (roundingsat) R 29099 29099 27537 0 -1 4194304 14781 0 0 0 39791 643 0 0 20 0 1 0 35525947 235003904 45840 18446744073709551615 4227072 8923433 140731939547344 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12353536 140731939555687 140731939555880 140731939555880 140731939561450 0
/proc/29101/statm: 57374 45840 2336 1147 0 44801 0
Current children cumulated CPU time: 404.34 s
Current children cumulated vsize: 233688 KiB
Current children cumulated memory: 186304 KiB
Child status: 0
Real time (s): 405.477
CPU time (s): 404.387
CPU user time (s): 397.936
CPU system time (s): 6.45112
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 233688
Max. memory (cumulated for all children) (KiB): 186304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 397.936
system time used= 6.45112
maximum resident set size= 183360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1401256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1478
involuntary context switches= 585
# summary of solver processes directly reported to runsolver:
# pid: 29099
# total CPU time (s): 404.387
# total CPU user time (s): 397.936
# total CPU system time (s): 6.45112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.757825 second user time and 2.1122 second system time
The end
Begin job on nodeC033 at 2025-06-29 14:01:05
IDJOB=4510941
IDBENCH=160406
IDSOLVER=3352
FILE ID=nodeC033/4510941-1751198465
RUNJOBID= nodeC033-1751193766-27550
SLURM_JOB_ID= 9587591
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510941-1751198465/watcher-4510941-1751198465 -o /tmp/evaluation-result-4510941-1751198465/solver-4510941-1751198465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27550 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4510941-1751198465.opb PROOFDIR/proof-4510941-1751198465
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=1776438137
nodeC033 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 : 0xb00002a
cpu MHz : 3600.065
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.054
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3609.772
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3601.631
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.299
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3606.723
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3660.489
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
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 : 0xb00002a
cpu MHz : 3600.090
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126670520 kB
MemAvailable: 129409604 kB
Buffers: 3280 kB
Cached: 3545088 kB
SwapCached: 0 kB
Active: 624080 kB
Inactive: 3286932 kB
Active(anon): 380860 kB
Inactive(anon): 0 kB
Active(file): 243220 kB
Inactive(file): 3286932 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 91052 kB
Writeback: 144 kB
AnonPages: 363100 kB
Mapped: 112284 kB
Shmem: 18120 kB
KReclaimable: 96344 kB
Slab: 185296 kB
SReclaimable: 96344 kB
SUnreclaim: 88952 kB
KernelStack: 4480 kB
PageTables: 3924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 729812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC033 at 2025-06-29 14:07:51