0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/1.69 c #variables 501 #constraints 502
0.00/1.69 c rational objective 250.5
0.10/1.86 c #Conflicts: 1000 | #Constraints: 1512
0.10/1.86 c #Conflicts: 2000 | #Constraints: 2520
0.10/1.86 c INPROCESSING
0.10/1.86 c GARBAGE COLLECT
0.10/1.86 c rational objective 250.5
0.30/2.07 c #Conflicts: 3000 | #Constraints: 2545
0.30/2.07 c #Conflicts: 4000 | #Constraints: 3553
0.30/2.07 c INPROCESSING
0.30/2.07 c GARBAGE COLLECT
0.30/2.07 c rational objective 250.5
0.59/2.31 c #Conflicts: 5000 | #Constraints: 2962
0.59/2.31 c #Conflicts: 6000 | #Constraints: 3964
0.59/2.31 c INPROCESSING
0.59/2.31 c GARBAGE COLLECT
0.59/2.31 c rational objective 250.5
0.80/2.55 c #Conflicts: 7000 | #Constraints: 2966
0.80/2.55 c #Conflicts: 8000 | #Constraints: 3968
0.80/2.55 c #Conflicts: 9000 | #Constraints: 4976
0.80/2.55 c INPROCESSING
0.80/2.55 c GARBAGE COLLECT
0.80/2.55 c rational objective 250.5
1.10/2.81 c #Conflicts: 10000 | #Constraints: 3669
1.10/2.81 c #Conflicts: 11000 | #Constraints: 4673
1.10/2.81 c #Conflicts: 12000 | #Constraints: 5678
1.10/2.81 c INPROCESSING
1.10/2.81 c GARBAGE COLLECT
1.10/2.81 c rational objective 250.5
1.29/3.09 c #Conflicts: 13000 | #Constraints: 4124
1.29/3.09 c #Conflicts: 14000 | #Constraints: 5125
1.29/3.09 c #Conflicts: 15000 | #Constraints: 6126
1.29/3.09 c INPROCESSING
1.29/3.09 c GARBAGE COLLECT
1.29/3.09 c rational objective 250.5
1.68/3.44 c #Conflicts: 16000 | #Constraints: 4345
1.68/3.44 c #Conflicts: 17000 | #Constraints: 5346
1.68/3.44 c #Conflicts: 18000 | #Constraints: 6347
1.68/3.44 c INPROCESSING
1.68/3.44 c GARBAGE COLLECT
1.68/3.44 c rational objective 250.5
1.98/3.78 c #Conflicts: 19000 | #Constraints: 4368
1.98/3.78 c #Conflicts: 20000 | #Constraints: 5368
1.98/3.78 c #Conflicts: 21000 | #Constraints: 6372
1.98/3.78 c INPROCESSING
1.98/3.78 c GARBAGE COLLECT
1.98/3.78 c rational objective 250.5
2.28/4.10 c #Conflicts: 22000 | #Constraints: 4171
2.28/4.10 c #Conflicts: 23000 | #Constraints: 5173
2.28/4.10 c #Conflicts: 24000 | #Constraints: 6175
2.28/4.10 c #Conflicts: 25000 | #Constraints: 7175
2.28/4.10 c INPROCESSING
2.28/4.10 c GARBAGE COLLECT
2.28/4.10 c rational objective 250.5
2.68/4.48 c #Conflicts: 26000 | #Constraints: 4773
2.68/4.48 c #Conflicts: 27000 | #Constraints: 5773
2.68/4.48 c #Conflicts: 28000 | #Constraints: 6775
2.68/4.48 c #Conflicts: 29000 | #Constraints: 7778
2.68/4.48 c INPROCESSING
2.68/4.48 c GARBAGE COLLECT
2.68/4.48 c rational objective 250.5
3.07/4.85 c #Conflicts: 30000 | #Constraints: 5170
3.07/4.85 c #Conflicts: 31000 | #Constraints: 6172
3.07/4.85 c #Conflicts: 32000 | #Constraints: 7173
3.07/4.85 c #Conflicts: 33000 | #Constraints: 8175
3.07/4.85 c INPROCESSING
3.07/4.85 c GARBAGE COLLECT
3.07/4.85 c rational objective 250.5
3.48/5.28 c #Conflicts: 34000 | #Constraints: 5376
3.48/5.28 c #Conflicts: 35000 | #Constraints: 6376
3.48/5.28 c #Conflicts: 36000 | #Constraints: 7376
3.48/5.28 c #Conflicts: 37000 | #Constraints: 8378
3.48/5.28 c INPROCESSING
3.48/5.28 c GARBAGE COLLECT
3.48/5.28 c rational objective 250.5
3.98/5.75 c #Conflicts: 38000 | #Constraints: 5381
3.98/5.75 c #Conflicts: 39000 | #Constraints: 6381
3.98/5.75 c #Conflicts: 40000 | #Constraints: 7381
3.98/5.75 c #Conflicts: 41000 | #Constraints: 8382
3.98/5.75 c INPROCESSING
3.98/5.75 c GARBAGE COLLECT
3.98/5.75 c rational objective 250.5
4.47/6.22 c #Conflicts: 42000 | #Constraints: 5187
4.47/6.22 c #Conflicts: 43000 | #Constraints: 6188
4.47/6.22 c #Conflicts: 44000 | #Constraints: 7189
4.47/6.22 c #Conflicts: 45000 | #Constraints: 8189
4.47/6.22 c #Conflicts: 46000 | #Constraints: 9190
4.47/6.22 c INPROCESSING
4.47/6.22 c GARBAGE COLLECT
4.47/6.22 c rational objective 250.5
4.88/6.68 c #Conflicts: 47000 | #Constraints: 5779
4.88/6.68 c #Conflicts: 48000 | #Constraints: 6779
4.88/6.68 c #Conflicts: 49000 | #Constraints: 7779
4.88/6.68 c #Conflicts: 50000 | #Constraints: 8781
4.88/6.68 c #Conflicts: 51000 | #Constraints: 9781
4.88/6.68 c INPROCESSING
4.88/6.68 c GARBAGE COLLECT
4.88/6.68 c rational objective 250.5
5.38/7.17 c #Conflicts: 52000 | #Constraints: 6177
5.38/7.17 c #Conflicts: 53000 | #Constraints: 7178
5.38/7.17 c #Conflicts: 54000 | #Constraints: 8179
5.38/7.17 c #Conflicts: 55000 | #Constraints: 9179
5.38/7.17 c #Conflicts: 56000 | #Constraints: 10181
5.38/7.17 c INPROCESSING
5.38/7.17 c GARBAGE COLLECT
5.38/7.17 c rational objective 250.5
5.87/7.68 c #Conflicts: 57000 | #Constraints: 6378
5.87/7.68 c #Conflicts: 58000 | #Constraints: 7378
5.87/7.68 c #Conflicts: 59000 | #Constraints: 8378
5.87/7.68 c #Conflicts: 60000 | #Constraints: 9379
5.87/7.68 c #Conflicts: 61000 | #Constraints: 10380
5.87/7.68 c INPROCESSING
5.87/7.68 c GARBAGE COLLECT
5.87/7.68 c rational objective 250.5
6.47/8.20 c #Conflicts: 62000 | #Constraints: 6379
6.47/8.20 c #Conflicts: 63000 | #Constraints: 7380
6.47/8.20 c #Conflicts: 64000 | #Constraints: 8381
6.47/8.20 c #Conflicts: 65000 | #Constraints: 9383
6.47/8.20 c #Conflicts: 66000 | #Constraints: 10383
6.47/8.20 c INPROCESSING
6.47/8.20 c GARBAGE COLLECT
6.47/8.20 c rational objective 250.5
6.97/8.75 c #Conflicts: 67000 | #Constraints: 6179
6.97/8.75 c #Conflicts: 68000 | #Constraints: 7180
6.97/8.75 c #Conflicts: 69000 | #Constraints: 8180
6.97/8.75 c #Conflicts: 70000 | #Constraints: 9180
6.97/8.75 c #Conflicts: 71000 | #Constraints: 10180
6.97/8.75 c #Conflicts: 72000 | #Constraints: 11180
6.97/8.75 c INPROCESSING
6.97/8.75 c GARBAGE COLLECT
6.97/8.75 c rational objective 250.5
7.56/9.32 c #Conflicts: 73000 | #Constraints: 6778
7.56/9.32 c #Conflicts: 74000 | #Constraints: 7780
7.56/9.32 c #Conflicts: 75000 | #Constraints: 8781
7.56/9.32 c #Conflicts: 76000 | #Constraints: 9782
7.56/9.32 c #Conflicts: 77000 | #Constraints: 10782
7.56/9.32 c #Conflicts: 78000 | #Constraints: 11782
7.56/9.32 c INPROCESSING
7.56/9.32 c GARBAGE COLLECT
7.56/9.32 c rational objective 250.5
8.16/9.90 c #Conflicts: 79000 | #Constraints: 7182
8.16/9.90 c #Conflicts: 80000 | #Constraints: 8182
8.16/9.90 c #Conflicts: 81000 | #Constraints: 9182
8.16/9.90 c #Conflicts: 82000 | #Constraints: 10182
8.16/9.90 c #Conflicts: 83000 | #Constraints: 11182
8.16/9.90 c #Conflicts: 84000 | #Constraints: 12183
8.16/9.90 c INPROCESSING
8.16/9.90 c GARBAGE COLLECT
8.16/9.90 c rational objective 250.5
8.76/10.57 c #Conflicts: 85000 | #Constraints: 7381
8.76/10.57 c #Conflicts: 86000 | #Constraints: 8381
8.76/10.57 c #Conflicts: 87000 | #Constraints: 9381
8.76/10.57 c #Conflicts: 88000 | #Constraints: 10382
8.76/10.57 c #Conflicts: 89000 | #Constraints: 11384
8.76/10.57 c #Conflicts: 90000 | #Constraints: 12384
8.76/10.57 c INPROCESSING
8.76/10.57 c GARBAGE COLLECT
8.76/10.57 c rational objective 250.5
9.56/11.37 c #Conflicts: 91000 | #Constraints: 7377
9.56/11.37 c #Conflicts: 92000 | #Constraints: 8377
9.56/11.37 c #Conflicts: 93000 | #Constraints: 9378
9.56/11.37 c #Conflicts: 94000 | #Constraints: 10378
9.56/11.37 c #Conflicts: 95000 | #Constraints: 11379
9.56/11.37 c #Conflicts: 96000 | #Constraints: 12379
9.56/11.37 c INPROCESSING
9.56/11.37 c GARBAGE COLLECT
9.56/11.37 c rational objective 250.5
10.26/12.07 c #Conflicts: 97000 | #Constraints: 7189
10.26/12.07 c #Conflicts: 98000 | #Constraints: 8189
10.26/12.07 c #Conflicts: 99000 | #Constraints: 9189
10.26/12.07 c #Conflicts: 100000 | #Constraints: 10189
10.26/12.07 c #Conflicts: 101000 | #Constraints: 11189
10.26/12.07 c #Conflicts: 102000 | #Constraints: 12189
10.26/12.07 c #Conflicts: 103000 | #Constraints: 13189
10.26/12.07 c INPROCESSING
10.26/12.07 c GARBAGE COLLECT
10.26/12.07 c rational objective 250.5
10.95/12.75 c #Conflicts: 104000 | #Constraints: 7780
10.95/12.75 c #Conflicts: 105000 | #Constraints: 8781
10.95/12.75 c #Conflicts: 106000 | #Constraints: 9781
10.95/12.75 c #Conflicts: 107000 | #Constraints: 10782
10.95/12.75 c #Conflicts: 108000 | #Constraints: 11783
10.95/12.75 c #Conflicts: 109000 | #Constraints: 12783
10.95/12.75 c #Conflicts: 110000 | #Constraints: 13784
10.95/12.75 c INPROCESSING
10.95/12.75 c GARBAGE COLLECT
10.95/12.75 c rational objective 250.5
11.55/13.37 c #Conflicts: 111000 | #Constraints: 8182
11.55/13.37 c #Conflicts: 112000 | #Constraints: 9182
11.55/13.37 c #Conflicts: 113000 | #Constraints: 10183
11.55/13.37 c #Conflicts: 114000 | #Constraints: 11183
11.55/13.37 c #Conflicts: 115000 | #Constraints: 12183
11.55/13.37 c #Conflicts: 116000 | #Constraints: 13183
11.55/13.37 c #Conflicts: 117000 | #Constraints: 14184
11.55/13.37 c INPROCESSING
11.55/13.37 c GARBAGE COLLECT
11.55/13.37 c rational objective 250.5
12.26/14.02 c #Conflicts: 118000 | #Constraints: 8389
12.26/14.02 c #Conflicts: 119000 | #Constraints: 9389
12.26/14.02 c #Conflicts: 120000 | #Constraints: 10389
12.26/14.02 c #Conflicts: 121000 | #Constraints: 11389
12.26/14.02 c #Conflicts: 122000 | #Constraints: 12389
12.26/14.02 c #Conflicts: 123000 | #Constraints: 13389
12.26/14.02 c #Conflicts: 124000 | #Constraints: 14389
12.26/14.02 c INPROCESSING
12.26/14.02 c GARBAGE COLLECT
12.26/14.02 c rational objective 250.5
12.95/14.70 c #Conflicts: 125000 | #Constraints: 8386
12.95/14.70 c #Conflicts: 126000 | #Constraints: 9386
12.95/14.70 c #Conflicts: 127000 | #Constraints: 10386
12.95/14.70 c #Conflicts: 128000 | #Constraints: 11386
12.95/14.70 c #Conflicts: 129000 | #Constraints: 12386
12.95/14.70 c #Conflicts: 130000 | #Constraints: 13386
12.95/14.70 c #Conflicts: 131000 | #Constraints: 14386
12.95/14.70 c INPROCESSING
12.95/14.70 c GARBAGE COLLECT
12.95/14.70 c rational objective 250.5
13.65/15.44 c #Conflicts: 132000 | #Constraints: 8179
13.65/15.44 c #Conflicts: 133000 | #Constraints: 9179
13.65/15.44 c #Conflicts: 134000 | #Constraints: 10179
13.65/15.44 c #Conflicts: 135000 | #Constraints: 11179
13.65/15.44 c #Conflicts: 136000 | #Constraints: 12179
13.65/15.44 c #Conflicts: 137000 | #Constraints: 13179
13.65/15.44 c #Conflicts: 138000 | #Constraints: 14179
13.65/15.44 c #Conflicts: 139000 | #Constraints: 15179
13.65/15.44 c INPROCESSING
13.65/15.44 c GARBAGE COLLECT
13.65/15.44 c rational objective 250.5
14.44/16.23 c #Conflicts: 140000 | #Constraints: 8782
14.44/16.23 c #Conflicts: 141000 | #Constraints: 9782
14.44/16.23 c #Conflicts: 142000 | #Constraints: 10782
14.44/16.23 c #Conflicts: 143000 | #Constraints: 11782
14.44/16.23 c #Conflicts: 144000 | #Constraints: 12782
14.44/16.23 c #Conflicts: 145000 | #Constraints: 13782
14.44/16.23 c #Conflicts: 146000 | #Constraints: 14782
14.44/16.23 c #Conflicts: 147000 | #Constraints: 15782
14.44/16.23 c INPROCESSING
14.44/16.23 c GARBAGE COLLECT
14.44/16.23 c rational objective 250.5
15.14/16.99 c #Conflicts: 148000 | #Constraints: 9186
15.14/16.99 c #Conflicts: 149000 | #Constraints: 10186
15.14/16.99 c #Conflicts: 150000 | #Constraints: 11187
15.14/16.99 c #Conflicts: 151000 | #Constraints: 12187
15.14/16.99 c #Conflicts: 152000 | #Constraints: 13187
15.14/16.99 c #Conflicts: 153000 | #Constraints: 14188
15.14/16.99 c #Conflicts: 154000 | #Constraints: 15188
15.14/16.99 c #Conflicts: 155000 | #Constraints: 16188
15.14/16.99 c INPROCESSING
15.14/16.99 c GARBAGE COLLECT
15.14/16.99 c rational objective 250.5
16.04/17.83 c #Conflicts: 156000 | #Constraints: 9386
16.04/17.83 c #Conflicts: 157000 | #Constraints: 10386
16.04/17.83 c #Conflicts: 158000 | #Constraints: 11386
16.04/17.83 c #Conflicts: 159000 | #Constraints: 12387
16.04/17.83 c #Conflicts: 160000 | #Constraints: 13387
16.04/17.83 c #Conflicts: 161000 | #Constraints: 14387
16.04/17.83 c #Conflicts: 162000 | #Constraints: 15387
16.04/17.83 c #Conflicts: 163000 | #Constraints: 16387
16.04/17.83 c INPROCESSING
16.04/17.83 c GARBAGE COLLECT
16.04/17.83 c rational objective 250.5
16.84/18.66 c #Conflicts: 164000 | #Constraints: 9386
16.84/18.66 c #Conflicts: 165000 | #Constraints: 10386
16.84/18.66 c #Conflicts: 166000 | #Constraints: 11386
16.84/18.66 c #Conflicts: 167000 | #Constraints: 12387
16.84/18.66 c #Conflicts: 168000 | #Constraints: 13387
16.84/18.66 c #Conflicts: 169000 | #Constraints: 14388
16.84/18.66 c #Conflicts: 170000 | #Constraints: 15389
16.84/18.66 c #Conflicts: 171000 | #Constraints: 16389
16.84/18.66 c INPROCESSING
16.84/18.66 c GARBAGE COLLECT
16.84/18.66 c rational objective 250.5
17.63/19.48 c #Conflicts: 172000 | #Constraints: 9187
17.63/19.48 c #Conflicts: 173000 | #Constraints: 10187
17.63/19.48 c #Conflicts: 174000 | #Constraints: 11187
17.63/19.48 c #Conflicts: 175000 | #Constraints: 12187
17.63/19.48 c #Conflicts: 176000 | #Constraints: 13187
17.63/19.48 c #Conflicts: 177000 | #Constraints: 14187
17.63/19.48 c #Conflicts: 178000 | #Constraints: 15187
17.63/19.48 c #Conflicts: 179000 | #Constraints: 16187
17.63/19.48 c #Conflicts: 180000 | #Constraints: 17187
17.63/19.48 c INPROCESSING
17.63/19.48 c GARBAGE COLLECT
17.63/19.48 c rational objective 250.5
18.53/20.34 c #Conflicts: 181000 | #Constraints: 9786
18.53/20.34 c #Conflicts: 182000 | #Constraints: 10786
18.53/20.34 c #Conflicts: 183000 | #Constraints: 11786
18.53/20.34 c #Conflicts: 184000 | #Constraints: 12786
18.53/20.34 c #Conflicts: 185000 | #Constraints: 13786
18.53/20.34 c #Conflicts: 186000 | #Constraints: 14786
18.53/20.34 c #Conflicts: 187000 | #Constraints: 15786
18.53/20.34 c #Conflicts: 188000 | #Constraints: 16786
18.53/20.34 c #Conflicts: 189000 | #Constraints: 17786
18.53/20.34 c INPROCESSING
18.53/20.34 c GARBAGE COLLECT
18.53/20.34 c rational objective 250.5
19.43/21.25 c #Conflicts: 190000 | #Constraints: 10192
19.43/21.25 c #Conflicts: 191000 | #Constraints: 11193
19.43/21.25 c #Conflicts: 192000 | #Constraints: 12193
19.43/21.25 c #Conflicts: 193000 | #Constraints: 13193
19.43/21.25 c #Conflicts: 194000 | #Constraints: 14193
19.43/21.25 c #Conflicts: 195000 | #Constraints: 15193
19.43/21.25 c #Conflicts: 196000 | #Constraints: 16193
19.43/21.25 c #Conflicts: 197000 | #Constraints: 17193
19.43/21.25 c #Conflicts: 198000 | #Constraints: 18193
19.43/21.25 c INPROCESSING
19.43/21.25 c GARBAGE COLLECT
19.43/21.25 c rational objective 250.5
20.33/22.13 c #Conflicts: 199000 | #Constraints: 10385
20.33/22.13 c #Conflicts: 200000 | #Constraints: 11386
20.33/22.13 c #Conflicts: 201000 | #Constraints: 12386
20.33/22.13 c #Conflicts: 202000 | #Constraints: 13386
20.33/22.13 c #Conflicts: 203000 | #Constraints: 14386
20.33/22.13 c #Conflicts: 204000 | #Constraints: 15386
20.33/22.13 c #Conflicts: 205000 | #Constraints: 16386
20.33/22.13 c #Conflicts: 206000 | #Constraints: 17386
20.33/22.13 c #Conflicts: 207000 | #Constraints: 18386
20.33/22.13 c INPROCESSING
20.33/22.13 c GARBAGE COLLECT
20.33/22.13 c rational objective 250.5
21.22/23.04 c #Conflicts: 208000 | #Constraints: 10389
21.22/23.04 c #Conflicts: 209000 | #Constraints: 11389
21.22/23.04 c #Conflicts: 210000 | #Constraints: 12389
21.22/23.04 c #Conflicts: 211000 | #Constraints: 13389
21.22/23.04 c #Conflicts: 212000 | #Constraints: 14389
21.22/23.04 c #Conflicts: 213000 | #Constraints: 15389
21.22/23.04 c #Conflicts: 214000 | #Constraints: 16389
21.22/23.04 c #Conflicts: 215000 | #Constraints: 17389
21.22/23.04 c #Conflicts: 216000 | #Constraints: 18389
21.22/23.04 c INPROCESSING
21.22/23.04 c GARBAGE COLLECT
21.22/23.04 c rational objective 250.5
22.22/24.08 c #Conflicts: 217000 | #Constraints: 10196
22.22/24.08 c #Conflicts: 218000 | #Constraints: 11196
22.22/24.08 c #Conflicts: 219000 | #Constraints: 12196
22.22/24.08 c #Conflicts: 220000 | #Constraints: 13196
22.22/24.08 c #Conflicts: 221000 | #Constraints: 14196
22.22/24.08 c #Conflicts: 222000 | #Constraints: 15196
22.22/24.08 c #Conflicts: 223000 | #Constraints: 16196
22.22/24.08 c #Conflicts: 224000 | #Constraints: 17196
22.22/24.08 c #Conflicts: 225000 | #Constraints: 18196
22.22/24.08 c #Conflicts: 226000 | #Constraints: 19196
22.22/24.08 c INPROCESSING
22.22/24.08 c GARBAGE COLLECT
22.22/24.08 c rational objective 250.5
23.22/25.05 c #Conflicts: 227000 | #Constraints: 10799
23.22/25.05 c #Conflicts: 228000 | #Constraints: 11799
23.22/25.05 c #Conflicts: 229000 | #Constraints: 12799
23.22/25.05 c #Conflicts: 230000 | #Constraints: 13800
23.22/25.05 c #Conflicts: 231000 | #Constraints: 14800
23.22/25.05 c #Conflicts: 232000 | #Constraints: 15800
23.22/25.05 c #Conflicts: 233000 | #Constraints: 16800
23.22/25.05 c #Conflicts: 234000 | #Constraints: 17800
23.22/25.05 c #Conflicts: 235000 | #Constraints: 18801
23.22/25.05 c #Conflicts: 236000 | #Constraints: 19802
23.22/25.05 c INPROCESSING
23.22/25.05 c GARBAGE COLLECT
23.22/25.05 c rational objective 250.5
24.22/26.02 c #Conflicts: 237000 | #Constraints: 11193
24.22/26.02 c #Conflicts: 238000 | #Constraints: 12193
24.22/26.02 c #Conflicts: 239000 | #Constraints: 13193
24.22/26.02 c #Conflicts: 240000 | #Constraints: 14193
24.22/26.02 c #Conflicts: 241000 | #Constraints: 15193
24.22/26.02 c #Conflicts: 242000 | #Constraints: 16193
24.22/26.02 c #Conflicts: 243000 | #Constraints: 17194
24.22/26.02 c #Conflicts: 244000 | #Constraints: 18194
24.22/26.02 c #Conflicts: 245000 | #Constraints: 19194
24.22/26.02 c #Conflicts: 246000 | #Constraints: 20194
24.22/26.02 c INPROCESSING
24.22/26.02 c GARBAGE COLLECT
24.22/26.02 c rational objective 250.5
25.11/27.00 c #Conflicts: 247000 | #Constraints: 11387
25.11/27.00 c #Conflicts: 248000 | #Constraints: 12388
25.11/27.00 c #Conflicts: 249000 | #Constraints: 13388
25.11/27.00 c #Conflicts: 250000 | #Constraints: 14388
25.11/27.00 c #Conflicts: 251000 | #Constraints: 15388
25.11/27.00 c #Conflicts: 252000 | #Constraints: 16388
25.11/27.00 c #Conflicts: 253000 | #Constraints: 17388
25.11/27.00 c #Conflicts: 254000 | #Constraints: 18388
25.11/27.00 c #Conflicts: 255000 | #Constraints: 19388
25.11/27.00 c #Conflicts: 256000 | #Constraints: 20388
25.11/27.00 c INPROCESSING
25.11/27.00 c GARBAGE COLLECT
25.11/27.00 c rational objective 250.5
26.21/28.02 c #Conflicts: 257000 | #Constraints: 11386
26.21/28.02 c #Conflicts: 258000 | #Constraints: 12386
26.21/28.02 c #Conflicts: 259000 | #Constraints: 13387
26.21/28.02 c #Conflicts: 260000 | #Constraints: 14387
26.21/28.02 c #Conflicts: 261000 | #Constraints: 15387
26.21/28.02 c #Conflicts: 262000 | #Constraints: 16387
26.21/28.02 c #Conflicts: 263000 | #Constraints: 17387
26.21/28.02 c #Conflicts: 264000 | #Constraints: 18387
26.21/28.02 c #Conflicts: 265000 | #Constraints: 19387
26.21/28.02 c #Conflicts: 266000 | #Constraints: 20387
26.21/28.02 c INPROCESSING
26.21/28.02 c GARBAGE COLLECT
26.21/28.02 c rational objective 250.5
27.31/29.16 c #Conflicts: 267000 | #Constraints: 11195
27.31/29.16 c #Conflicts: 268000 | #Constraints: 12195
27.31/29.16 c #Conflicts: 269000 | #Constraints: 13195
27.31/29.16 c #Conflicts: 270000 | #Constraints: 14195
27.31/29.16 c #Conflicts: 271000 | #Constraints: 15195
27.31/29.16 c #Conflicts: 272000 | #Constraints: 16195
27.31/29.16 c #Conflicts: 273000 | #Constraints: 17195
27.31/29.16 c #Conflicts: 274000 | #Constraints: 18195
27.31/29.16 c #Conflicts: 275000 | #Constraints: 19195
27.31/29.16 c #Conflicts: 276000 | #Constraints: 20195
27.31/29.16 c #Conflicts: 277000 | #Constraints: 21196
27.31/29.16 c INPROCESSING
27.31/29.16 c GARBAGE COLLECT
27.31/29.16 c rational objective 250.5
28.40/30.24 c #Conflicts: 278000 | #Constraints: 11788
28.40/30.24 c #Conflicts: 279000 | #Constraints: 12789
28.40/30.24 c #Conflicts: 280000 | #Constraints: 13789
28.40/30.24 c #Conflicts: 281000 | #Constraints: 14789
28.40/30.24 c #Conflicts: 282000 | #Constraints: 15789
28.40/30.24 c #Conflicts: 283000 | #Constraints: 16789
28.40/30.24 c #Conflicts: 284000 | #Constraints: 17789
28.40/30.24 c #Conflicts: 285000 | #Constraints: 18790
28.40/30.24 c #Conflicts: 286000 | #Constraints: 19790
28.40/30.24 c #Conflicts: 287000 | #Constraints: 20790
28.40/30.24 c #Conflicts: 288000 | #Constraints: 21790
28.40/30.24 c INPROCESSING
28.40/30.24 c GARBAGE COLLECT
28.40/30.24 c rational objective 250.5
29.59/31.48 c #Conflicts: 289000 | #Constraints: 12185
29.59/31.48 c #Conflicts: 290000 | #Constraints: 13185
29.59/31.48 c #Conflicts: 291000 | #Constraints: 14185
29.59/31.48 c #Conflicts: 292000 | #Constraints: 15185
29.59/31.48 c #Conflicts: 293000 | #Constraints: 16185
29.59/31.48 c #Conflicts: 294000 | #Constraints: 17185
29.59/31.48 c #Conflicts: 295000 | #Constraints: 18185
29.59/31.48 c #Conflicts: 296000 | #Constraints: 19185
29.59/31.48 c #Conflicts: 297000 | #Constraints: 20185
29.59/31.48 c #Conflicts: 298000 | #Constraints: 21185
29.59/31.48 c #Conflicts: 299000 | #Constraints: 22185
29.59/31.48 c INPROCESSING
29.59/31.48 c GARBAGE COLLECT
29.59/31.48 c rational objective 250.5
30.79/32.61 c #Conflicts: 300000 | #Constraints: 12382
30.79/32.61 c #Conflicts: 301000 | #Constraints: 13382
30.79/32.61 c #Conflicts: 302000 | #Constraints: 14382
30.79/32.61 c #Conflicts: 303000 | #Constraints: 15382
30.79/32.61 c #Conflicts: 304000 | #Constraints: 16382
30.79/32.61 c #Conflicts: 305000 | #Constraints: 17382
30.79/32.61 c #Conflicts: 306000 | #Constraints: 18382
30.79/32.61 c #Conflicts: 307000 | #Constraints: 19382
30.79/32.61 c #Conflicts: 308000 | #Constraints: 20382
30.79/32.61 c #Conflicts: 309000 | #Constraints: 21382
30.79/32.61 c #Conflicts: 310000 | #Constraints: 22382
30.79/32.61 c INPROCESSING
30.79/32.61 c GARBAGE COLLECT
30.79/32.61 c rational objective 250.5
31.89/33.73 c #Conflicts: 311000 | #Constraints: 12383
31.89/33.73 c #Conflicts: 312000 | #Constraints: 13383
31.89/33.73 c #Conflicts: 313000 | #Constraints: 14383
31.89/33.73 c #Conflicts: 314000 | #Constraints: 15383
31.89/33.73 c #Conflicts: 315000 | #Constraints: 16383
31.89/33.73 c #Conflicts: 316000 | #Constraints: 17383
31.89/33.73 c #Conflicts: 317000 | #Constraints: 18383
31.89/33.73 c #Conflicts: 318000 | #Constraints: 19383
31.89/33.73 c #Conflicts: 319000 | #Constraints: 20383
31.89/33.73 c #Conflicts: 320000 | #Constraints: 21383
31.89/33.73 c #Conflicts: 321000 | #Constraints: 22383
31.89/33.73 c INPROCESSING
31.89/33.73 c GARBAGE COLLECT
31.89/33.73 c rational objective 250.5
33.38/35.23 c #Conflicts: 322000 | #Constraints: 12192
33.38/35.23 c #Conflicts: 323000 | #Constraints: 13192
33.38/35.23 c #Conflicts: 324000 | #Constraints: 14192
33.38/35.23 c #Conflicts: 325000 | #Constraints: 15192
33.38/35.23 c #Conflicts: 326000 | #Constraints: 16192
33.38/35.23 c #Conflicts: 327000 | #Constraints: 17192
33.38/35.23 c #Conflicts: 328000 | #Constraints: 18192
33.38/35.23 c #Conflicts: 329000 | #Constraints: 19192
33.38/35.23 c #Conflicts: 330000 | #Constraints: 20192
33.38/35.23 c #Conflicts: 331000 | #Constraints: 21192
33.38/35.23 c #Conflicts: 332000 | #Constraints: 22192
33.38/35.23 c #Conflicts: 333000 | #Constraints: 23192
33.38/35.23 c INPROCESSING
33.38/35.23 c GARBAGE COLLECT
33.38/35.23 c rational objective 250.5
34.58/36.42 c #Conflicts: 334000 | #Constraints: 12793
34.58/36.42 c #Conflicts: 335000 | #Constraints: 13793
34.58/36.42 c #Conflicts: 336000 | #Constraints: 14793
34.58/36.42 c #Conflicts: 337000 | #Constraints: 15794
34.58/36.42 c #Conflicts: 338000 | #Constraints: 16794
34.58/36.42 c #Conflicts: 339000 | #Constraints: 17794
34.58/36.42 c #Conflicts: 340000 | #Constraints: 18794
34.58/36.42 c #Conflicts: 341000 | #Constraints: 19794
34.58/36.42 c #Conflicts: 342000 | #Constraints: 20794
34.58/36.42 c #Conflicts: 343000 | #Constraints: 21794
34.58/36.42 c #Conflicts: 344000 | #Constraints: 22794
34.58/36.42 c #Conflicts: 345000 | #Constraints: 23794
34.58/36.42 c INPROCESSING
34.58/36.42 c GARBAGE COLLECT
34.58/36.42 c rational objective 250.5
35.77/37.62 c #Conflicts: 346000 | #Constraints: 13186
35.77/37.62 c #Conflicts: 347000 | #Constraints: 14186
35.77/37.62 c #Conflicts: 348000 | #Constraints: 15186
35.77/37.62 c #Conflicts: 349000 | #Constraints: 16186
35.77/37.62 c #Conflicts: 350000 | #Constraints: 17186
35.77/37.62 c #Conflicts: 351000 | #Constraints: 18186
35.77/37.62 c #Conflicts: 352000 | #Constraints: 19186
35.77/37.62 c #Conflicts: 353000 | #Constraints: 20186
35.77/37.62 c #Conflicts: 354000 | #Constraints: 21186
35.77/37.62 c #Conflicts: 355000 | #Constraints: 22186
35.77/37.62 c #Conflicts: 356000 | #Constraints: 23186
35.77/37.62 c #Conflicts: 357000 | #Constraints: 24186
35.77/37.62 c INPROCESSING
35.77/37.62 c GARBAGE COLLECT
35.77/37.62 c rational objective 250.5
36.96/38.86 c #Conflicts: 358000 | #Constraints: 13393
36.96/38.86 c #Conflicts: 359000 | #Constraints: 14393
36.96/38.86 c #Conflicts: 360000 | #Constraints: 15393
36.96/38.86 c #Conflicts: 361000 | #Constraints: 16393
36.96/38.86 c #Conflicts: 362000 | #Constraints: 17393
36.96/38.86 c #Conflicts: 363000 | #Constraints: 18393
36.96/38.86 c #Conflicts: 364000 | #Constraints: 19393
36.96/38.86 c #Conflicts: 365000 | #Constraints: 20393
36.96/38.86 c #Conflicts: 366000 | #Constraints: 21393
36.96/38.86 c #Conflicts: 367000 | #Constraints: 22393
36.96/38.86 c #Conflicts: 368000 | #Constraints: 23393
36.96/38.86 c #Conflicts: 369000 | #Constraints: 24393
36.96/38.86 c INPROCESSING
36.96/38.86 c GARBAGE COLLECT
36.96/38.86 c rational objective 250.5
38.46/40.35 c #Conflicts: 370000 | #Constraints: 13402
38.46/40.35 c #Conflicts: 371000 | #Constraints: 14402
38.46/40.35 c #Conflicts: 372000 | #Constraints: 15402
38.46/40.35 c #Conflicts: 373000 | #Constraints: 16402
38.46/40.35 c #Conflicts: 374000 | #Constraints: 17402
38.46/40.35 c #Conflicts: 375000 | #Constraints: 18402
38.46/40.35 c #Conflicts: 376000 | #Constraints: 19402
38.46/40.35 c #Conflicts: 377000 | #Constraints: 20402
38.46/40.35 c #Conflicts: 378000 | #Constraints: 21402
38.46/40.35 c #Conflicts: 379000 | #Constraints: 22402
38.46/40.35 c #Conflicts: 380000 | #Constraints: 23402
38.46/40.35 c #Conflicts: 381000 | #Constraints: 24402
38.46/40.35 c INPROCESSING
38.46/40.35 c GARBAGE COLLECT
38.46/40.35 c rational objective 250.5
39.86/41.72 c #Conflicts: 382000 | #Constraints: 13194
39.86/41.72 c #Conflicts: 383000 | #Constraints: 14194
39.86/41.72 c #Conflicts: 384000 | #Constraints: 15194
39.86/41.72 c #Conflicts: 385000 | #Constraints: 16194
39.86/41.72 c #Conflicts: 386000 | #Constraints: 17194
39.86/41.72 c #Conflicts: 387000 | #Constraints: 18194
39.86/41.72 c #Conflicts: 388000 | #Constraints: 19194
39.86/41.72 c #Conflicts: 389000 | #Constraints: 20194
39.86/41.72 c #Conflicts: 390000 | #Constraints: 21194
39.86/41.72 c #Conflicts: 391000 | #Constraints: 22194
39.86/41.72 c #Conflicts: 392000 | #Constraints: 23194
39.86/41.72 c #Conflicts: 393000 | #Constraints: 24194
39.86/41.72 c #Conflicts: 394000 | #Constraints: 25194
39.86/41.72 c INPROCESSING
39.86/41.72 c GARBAGE COLLECT
39.86/41.72 c rational objective 250.5
41.05/42.96 c #Conflicts: 395000 | #Constraints: 13796
41.05/42.96 c #Conflicts: 396000 | #Constraints: 14796
41.05/42.96 c #Conflicts: 397000 | #Constraints: 15796
41.05/42.96 c #Conflicts: 398000 | #Constraints: 16796
41.05/42.96 c #Conflicts: 399000 | #Constraints: 17796
41.05/42.96 c #Conflicts: 400000 | #Constraints: 18796
41.05/42.96 c #Conflicts: 401000 | #Constraints: 19796
41.05/42.96 c #Conflicts: 402000 | #Constraints: 20796
41.05/42.96 c #Conflicts: 403000 | #Constraints: 21796
41.05/42.96 c #Conflicts: 404000 | #Constraints: 22796
41.05/42.96 c #Conflicts: 405000 | #Constraints: 23797
41.05/42.96 c #Conflicts: 406000 | #Constraints: 24797
41.05/42.96 c #Conflicts: 407000 | #Constraints: 25797
41.05/42.96 c INPROCESSING
41.05/42.96 c GARBAGE COLLECT
41.05/42.96 c rational objective 250.5
42.45/44.32 c #Conflicts: 408000 | #Constraints: 14194
42.45/44.32 c #Conflicts: 409000 | #Constraints: 15194
42.45/44.32 c #Conflicts: 410000 | #Constraints: 16194
42.45/44.32 c #Conflicts: 411000 | #Constraints: 17194
42.45/44.32 c #Conflicts: 412000 | #Constraints: 18194
42.45/44.32 c #Conflicts: 413000 | #Constraints: 19194
42.45/44.32 c #Conflicts: 414000 | #Constraints: 20194
42.45/44.32 c #Conflicts: 415000 | #Constraints: 21194
42.45/44.32 c #Conflicts: 416000 | #Constraints: 22194
42.45/44.32 c #Conflicts: 417000 | #Constraints: 23194
42.45/44.32 c #Conflicts: 418000 | #Constraints: 24194
42.45/44.32 c #Conflicts: 419000 | #Constraints: 25194
42.45/44.32 c #Conflicts: 420000 | #Constraints: 26194
42.45/44.32 c INPROCESSING
42.45/44.32 c GARBAGE COLLECT
42.45/44.32 c rational objective 250.5
43.95/45.82 c #Conflicts: 421000 | #Constraints: 14392
43.95/45.82 c #Conflicts: 422000 | #Constraints: 15392
43.95/45.82 c #Conflicts: 423000 | #Constraints: 16392
43.95/45.82 c #Conflicts: 424000 | #Constraints: 17392
43.95/45.82 c #Conflicts: 425000 | #Constraints: 18392
43.95/45.82 c #Conflicts: 426000 | #Constraints: 19393
43.95/45.82 c #Conflicts: 427000 | #Constraints: 20393
43.95/45.82 c #Conflicts: 428000 | #Constraints: 21393
43.95/45.82 c #Conflicts: 429000 | #Constraints: 22393
43.95/45.82 c #Conflicts: 430000 | #Constraints: 23393
43.95/45.82 c #Conflicts: 431000 | #Constraints: 24393
43.95/45.82 c #Conflicts: 432000 | #Constraints: 25393
43.95/45.82 c #Conflicts: 433000 | #Constraints: 26393
43.95/45.82 c INPROCESSING
43.95/45.82 c GARBAGE COLLECT
43.95/45.82 c rational objective 250.5
45.44/47.35 c #Conflicts: 434000 | #Constraints: 14400
45.44/47.35 c #Conflicts: 435000 | #Constraints: 15400
45.44/47.35 c #Conflicts: 436000 | #Constraints: 16400
45.44/47.35 c #Conflicts: 437000 | #Constraints: 17400
45.44/47.35 c #Conflicts: 438000 | #Constraints: 18400
45.44/47.35 c #Conflicts: 439000 | #Constraints: 19400
45.44/47.35 c #Conflicts: 440000 | #Constraints: 20400
45.44/47.35 c #Conflicts: 441000 | #Constraints: 21400
45.44/47.35 c #Conflicts: 442000 | #Constraints: 22400
45.44/47.35 c #Conflicts: 443000 | #Constraints: 23400
45.44/47.35 c #Conflicts: 444000 | #Constraints: 24400
45.44/47.35 c #Conflicts: 445000 | #Constraints: 25400
45.44/47.35 c #Conflicts: 446000 | #Constraints: 26400
45.44/47.35 c INPROCESSING
45.44/47.35 c GARBAGE COLLECT
45.44/47.35 c rational objective 250.5
46.94/48.88 c #Conflicts: 447000 | #Constraints: 14206
46.94/48.88 c #Conflicts: 448000 | #Constraints: 15206
46.94/48.88 c #Conflicts: 449000 | #Constraints: 16206
46.94/48.88 c #Conflicts: 450000 | #Constraints: 17206
46.94/48.88 c #Conflicts: 451000 | #Constraints: 18207
46.94/48.88 c #Conflicts: 452000 | #Constraints: 19207
46.94/48.88 c #Conflicts: 453000 | #Constraints: 20207
46.94/48.88 c #Conflicts: 454000 | #Constraints: 21207
46.94/48.88 c #Conflicts: 455000 | #Constraints: 22207
46.94/48.88 c #Conflicts: 456000 | #Constraints: 23207
46.94/48.88 c #Conflicts: 457000 | #Constraints: 24207
46.94/48.88 c #Conflicts: 458000 | #Constraints: 25207
46.94/48.88 c #Conflicts: 459000 | #Constraints: 26207
46.94/48.88 c #Conflicts: 460000 | #Constraints: 27207
46.94/48.88 c INPROCESSING
46.94/48.88 c GARBAGE COLLECT
46.94/48.88 c rational objective 250.5
48.53/50.41 c #Conflicts: 461000 | #Constraints: 14804
48.53/50.41 c #Conflicts: 462000 | #Constraints: 15804
48.53/50.41 c #Conflicts: 463000 | #Constraints: 16804
48.53/50.41 c #Conflicts: 464000 | #Constraints: 17804
48.53/50.41 c #Conflicts: 465000 | #Constraints: 18804
48.53/50.41 c #Conflicts: 466000 | #Constraints: 19804
48.53/50.41 c #Conflicts: 467000 | #Constraints: 20804
48.53/50.41 c #Conflicts: 468000 | #Constraints: 21804
48.53/50.41 c #Conflicts: 469000 | #Constraints: 22804
48.53/50.41 c #Conflicts: 470000 | #Constraints: 23804
48.53/50.41 c #Conflicts: 471000 | #Constraints: 24804
48.53/50.41 c #Conflicts: 472000 | #Constraints: 25804
48.53/50.41 c #Conflicts: 473000 | #Constraints: 26804
48.53/50.41 c #Conflicts: 474000 | #Constraints: 27804
48.53/50.41 c INPROCESSING
48.53/50.41 c GARBAGE COLLECT
48.53/50.41 c rational objective 250.5
50.52/52.43 c #Conflicts: 475000 | #Constraints: 15207
50.52/52.43 c #Conflicts: 476000 | #Constraints: 16207
50.52/52.43 c #Conflicts: 477000 | #Constraints: 17207
50.52/52.43 c #Conflicts: 478000 | #Constraints: 18207
50.52/52.43 c #Conflicts: 479000 | #Constraints: 19207
50.52/52.43 c #Conflicts: 480000 | #Constraints: 20207
50.52/52.43 c #Conflicts: 481000 | #Constraints: 21207
50.52/52.43 c #Conflicts: 482000 | #Constraints: 22207
50.52/52.43 c #Conflicts: 483000 | #Constraints: 23207
50.52/52.43 c #Conflicts: 484000 | #Constraints: 24207
50.52/52.43 c #Conflicts: 485000 | #Constraints: 25207
50.52/52.43 c #Conflicts: 486000 | #Constraints: 26207
50.52/52.43 c #Conflicts: 487000 | #Constraints: 27207
50.52/52.43 c #Conflicts: 488000 | #Constraints: 28207
50.52/52.43 c INPROCESSING
50.52/52.43 c GARBAGE COLLECT
50.52/52.43 c rational objective 250.5
51.92/53.89 c #Conflicts: 489000 | #Constraints: 15418
51.92/53.89 c #Conflicts: 490000 | #Constraints: 16418
51.92/53.89 c #Conflicts: 491000 | #Constraints: 17418
51.92/53.89 c #Conflicts: 492000 | #Constraints: 18418
51.92/53.89 c #Conflicts: 493000 | #Constraints: 19418
51.92/53.89 c #Conflicts: 494000 | #Constraints: 20418
51.92/53.89 c #Conflicts: 495000 | #Constraints: 21418
51.92/53.89 c #Conflicts: 496000 | #Constraints: 22418
51.92/53.89 c #Conflicts: 497000 | #Constraints: 23418
51.92/53.89 c #Conflicts: 498000 | #Constraints: 24418
51.92/53.89 c #Conflicts: 499000 | #Constraints: 25418
51.92/53.89 c #Conflicts: 500000 | #Constraints: 26418
51.92/53.89 c #Conflicts: 501000 | #Constraints: 27418
51.92/53.89 c #Conflicts: 502000 | #Constraints: 28418
51.92/53.89 c INPROCESSING
51.92/53.89 c GARBAGE COLLECT
51.92/53.89 c rational objective 250.5
53.51/55.42 c #Conflicts: 503000 | #Constraints: 15417
53.51/55.42 c #Conflicts: 504000 | #Constraints: 16417
53.51/55.42 c #Conflicts: 505000 | #Constraints: 17417
53.51/55.42 c #Conflicts: 506000 | #Constraints: 18417
53.51/55.42 c #Conflicts: 507000 | #Constraints: 19417
53.51/55.42 c #Conflicts: 508000 | #Constraints: 20417
53.51/55.42 c #Conflicts: 509000 | #Constraints: 21417
53.51/55.42 c #Conflicts: 510000 | #Constraints: 22417
53.51/55.42 c #Conflicts: 511000 | #Constraints: 23417
53.51/55.42 c #Conflicts: 512000 | #Constraints: 24417
53.51/55.42 c #Conflicts: 513000 | #Constraints: 25417
53.51/55.42 c #Conflicts: 514000 | #Constraints: 26417
53.51/55.42 c #Conflicts: 515000 | #Constraints: 27417
53.51/55.42 c #Conflicts: 516000 | #Constraints: 28417
53.51/55.42 c INPROCESSING
53.51/55.42 c GARBAGE COLLECT
53.51/55.42 c rational objective 250.5
55.01/57.00 c #Conflicts: 517000 | #Constraints: 15213
55.01/57.00 c #Conflicts: 518000 | #Constraints: 16213
55.01/57.00 c #Conflicts: 519000 | #Constraints: 17213
55.01/57.00 c #Conflicts: 520000 | #Constraints: 18213
55.01/57.00 c #Conflicts: 521000 | #Constraints: 19213
55.01/57.00 c #Conflicts: 522000 | #Constraints: 20213
55.01/57.00 c #Conflicts: 523000 | #Constraints: 21213
55.01/57.00 c #Conflicts: 524000 | #Constraints: 22213
55.01/57.00 c #Conflicts: 525000 | #Constraints: 23213
55.01/57.00 c #Conflicts: 526000 | #Constraints: 24214
55.01/57.00 c #Conflicts: 527000 | #Constraints: 25214
55.01/57.00 c #Conflicts: 528000 | #Constraints: 26214
55.01/57.00 c #Conflicts: 529000 | #Constraints: 27215
55.01/57.00 c #Conflicts: 530000 | #Constraints: 28215
55.01/57.00 c #Conflicts: 531000 | #Constraints: 29215
55.01/57.00 c INPROCESSING
55.01/57.00 c GARBAGE COLLECT
55.01/57.00 c rational objective 250.5
56.60/58.58 c #Conflicts: 532000 | #Constraints: 15813
56.60/58.58 c #Conflicts: 533000 | #Constraints: 16813
56.60/58.58 c #Conflicts: 534000 | #Constraints: 17813
56.60/58.58 c #Conflicts: 535000 | #Constraints: 18813
56.60/58.58 c #Conflicts: 536000 | #Constraints: 19813
56.60/58.58 c #Conflicts: 537000 | #Constraints: 20813
56.60/58.58 c #Conflicts: 538000 | #Constraints: 21813
56.60/58.58 c #Conflicts: 539000 | #Constraints: 22813
56.60/58.58 c #Conflicts: 540000 | #Constraints: 23813
56.60/58.58 c #Conflicts: 541000 | #Constraints: 24813
56.60/58.58 c #Conflicts: 542000 | #Constraints: 25813
56.60/58.58 c #Conflicts: 543000 | #Constraints: 26813
56.60/58.58 c #Conflicts: 544000 | #Constraints: 27813
56.60/58.58 c #Conflicts: 545000 | #Constraints: 28813
56.60/58.58 c #Conflicts: 546000 | #Constraints: 29813
56.60/58.58 c INPROCESSING
56.60/58.58 c GARBAGE COLLECT
56.60/58.58 c rational objective 250.5
58.49/60.44 c #Conflicts: 547000 | #Constraints: 16208
58.49/60.44 c #Conflicts: 548000 | #Constraints: 17208
58.49/60.44 c #Conflicts: 549000 | #Constraints: 18208
58.49/60.44 c #Conflicts: 550000 | #Constraints: 19208
58.49/60.44 c #Conflicts: 551000 | #Constraints: 20208
58.49/60.44 c #Conflicts: 552000 | #Constraints: 21208
58.49/60.44 c #Conflicts: 553000 | #Constraints: 22208
58.49/60.44 c #Conflicts: 554000 | #Constraints: 23208
58.49/60.44 c #Conflicts: 555000 | #Constraints: 24208
58.49/60.44 c #Conflicts: 556000 | #Constraints: 25208
58.49/60.44 c #Conflicts: 557000 | #Constraints: 26208
58.49/60.44 c #Conflicts: 558000 | #Constraints: 27208
58.49/60.44 c #Conflicts: 559000 | #Constraints: 28209
58.49/60.44 c #Conflicts: 560000 | #Constraints: 29209
58.49/60.44 c #Conflicts: 561000 | #Constraints: 30209
58.49/60.44 c INPROCESSING
58.49/60.44 c GARBAGE COLLECT
58.49/60.44 c rational objective 250.5
60.20/62.11 c #Conflicts: 562000 | #Constraints: 16411
60.20/62.11 c #Conflicts: 563000 | #Constraints: 17411
60.20/62.11 c #Conflicts: 564000 | #Constraints: 18411
60.20/62.11 c #Conflicts: 565000 | #Constraints: 19411
60.20/62.11 c #Conflicts: 566000 | #Constraints: 20411
60.20/62.11 c #Conflicts: 567000 | #Constraints: 21411
60.20/62.11 c #Conflicts: 568000 | #Constraints: 22411
60.20/62.11 c #Conflicts: 569000 | #Constraints: 23411
60.20/62.11 c #Conflicts: 570000 | #Constraints: 24411
60.20/62.11 c #Conflicts: 571000 | #Constraints: 25411
60.20/62.11 c #Conflicts: 572000 | #Constraints: 26411
60.20/62.11 c #Conflicts: 573000 | #Constraints: 27411
60.20/62.11 c #Conflicts: 574000 | #Constraints: 28411
60.20/62.11 c #Conflicts: 575000 | #Constraints: 29411
60.20/62.11 c #Conflicts: 576000 | #Constraints: 30411
60.20/62.11 c INPROCESSING
60.20/62.11 c GARBAGE COLLECT
60.20/62.11 c rational objective 250.5
61.89/63.85 c #Conflicts: 577000 | #Constraints: 16420
61.89/63.85 c #Conflicts: 578000 | #Constraints: 17420
61.89/63.85 c #Conflicts: 579000 | #Constraints: 18420
61.89/63.85 c #Conflicts: 580000 | #Constraints: 19420
61.89/63.85 c #Conflicts: 581000 | #Constraints: 20420
61.89/63.85 c #Conflicts: 582000 | #Constraints: 21420
61.89/63.85 c #Conflicts: 583000 | #Constraints: 22420
61.89/63.85 c #Conflicts: 584000 | #Constraints: 23420
61.89/63.85 c #Conflicts: 585000 | #Constraints: 24420
61.89/63.85 c #Conflicts: 586000 | #Constraints: 25420
61.89/63.85 c #Conflicts: 587000 | #Constraints: 26421
61.89/63.85 c #Conflicts: 588000 | #Constraints: 27421
61.89/63.85 c #Conflicts: 589000 | #Constraints: 28421
61.89/63.85 c #Conflicts: 590000 | #Constraints: 29421
61.89/63.85 c #Conflicts: 591000 | #Constraints: 30421
61.89/63.85 c INPROCESSING
61.89/63.85 c GARBAGE COLLECT
61.89/63.85 c rational objective 250.5
63.68/65.60 c #Conflicts: 592000 | #Constraints: 16217
63.68/65.60 c #Conflicts: 593000 | #Constraints: 17217
63.68/65.60 c #Conflicts: 594000 | #Constraints: 18217
63.68/65.60 c #Conflicts: 595000 | #Constraints: 19217
63.68/65.60 c #Conflicts: 596000 | #Constraints: 20217
63.68/65.60 c #Conflicts: 597000 | #Constraints: 21217
63.68/65.60 c #Conflicts: 598000 | #Constraints: 22217
63.68/65.60 c #Conflicts: 599000 | #Constraints: 23217
63.68/65.60 c #Conflicts: 600000 | #Constraints: 24217
63.68/65.60 c #Conflicts: 601000 | #Constraints: 25217
63.68/65.60 c #Conflicts: 602000 | #Constraints: 26217
63.68/65.60 c #Conflicts: 603000 | #Constraints: 27217
63.68/65.60 c #Conflicts: 604000 | #Constraints: 28217
63.68/65.60 c #Conflicts: 605000 | #Constraints: 29217
63.68/65.60 c #Conflicts: 606000 | #Constraints: 30217
63.68/65.60 c #Conflicts: 607000 | #Constraints: 31217
63.68/65.60 c INPROCESSING
63.68/65.60 c GARBAGE COLLECT
63.68/65.60 c rational objective 250.5
65.57/67.53 c #Conflicts: 608000 | #Constraints: 16816
65.57/67.53 c #Conflicts: 609000 | #Constraints: 17816
65.57/67.53 c #Conflicts: 610000 | #Constraints: 18816
65.57/67.53 c #Conflicts: 611000 | #Constraints: 19816
65.57/67.53 c #Conflicts: 612000 | #Constraints: 20816
65.57/67.53 c #Conflicts: 613000 | #Constraints: 21816
65.57/67.53 c #Conflicts: 614000 | #Constraints: 22816
65.57/67.53 c #Conflicts: 615000 | #Constraints: 23816
65.57/67.53 c #Conflicts: 616000 | #Constraints: 24816
65.57/67.53 c #Conflicts: 617000 | #Constraints: 25816
65.57/67.53 c #Conflicts: 618000 | #Constraints: 26816
65.57/67.53 c #Conflicts: 619000 | #Constraints: 27816
65.57/67.53 c #Conflicts: 620000 | #Constraints: 28816
65.57/67.53 c #Conflicts: 621000 | #Constraints: 29816
65.57/67.53 c #Conflicts: 622000 | #Constraints: 30816
65.57/67.53 c #Conflicts: 623000 | #Constraints: 31816
65.57/67.53 c INPROCESSING
65.57/67.53 c GARBAGE COLLECT
65.57/67.53 c rational objective 250.5
67.36/69.35 c #Conflicts: 624000 | #Constraints: 17210
67.36/69.35 c #Conflicts: 625000 | #Constraints: 18210
67.36/69.35 c #Conflicts: 626000 | #Constraints: 19210
67.36/69.35 c #Conflicts: 627000 | #Constraints: 20210
67.36/69.35 c #Conflicts: 628000 | #Constraints: 21210
67.36/69.35 c #Conflicts: 629000 | #Constraints: 22210
67.36/69.35 c #Conflicts: 630000 | #Constraints: 23210
67.36/69.35 c #Conflicts: 631000 | #Constraints: 24210
67.36/69.35 c #Conflicts: 632000 | #Constraints: 25210
67.36/69.35 c #Conflicts: 633000 | #Constraints: 26210
67.36/69.35 c #Conflicts: 634000 | #Constraints: 27210
67.36/69.35 c #Conflicts: 635000 | #Constraints: 28210
67.36/69.35 c #Conflicts: 636000 | #Constraints: 29211
67.36/69.35 c #Conflicts: 637000 | #Constraints: 30211
67.36/69.35 c #Conflicts: 638000 | #Constraints: 31211
67.36/69.35 c #Conflicts: 639000 | #Constraints: 32211
67.36/69.35 c INPROCESSING
67.36/69.35 c GARBAGE COLLECT
67.36/69.35 c rational objective 250.5
69.17/71.18 c #Conflicts: 640000 | #Constraints: 17411
69.17/71.18 c #Conflicts: 641000 | #Constraints: 18411
69.17/71.18 c #Conflicts: 642000 | #Constraints: 19411
69.17/71.18 c #Conflicts: 643000 | #Constraints: 20411
69.17/71.18 c #Conflicts: 644000 | #Constraints: 21411
69.17/71.18 c #Conflicts: 645000 | #Constraints: 22411
69.17/71.18 c #Conflicts: 646000 | #Constraints: 23411
69.17/71.18 c #Conflicts: 647000 | #Constraints: 24411
69.17/71.18 c #Conflicts: 648000 | #Constraints: 25411
69.17/71.18 c #Conflicts: 649000 | #Constraints: 26412
69.17/71.18 c #Conflicts: 650000 | #Constraints: 27412
69.17/71.18 c #Conflicts: 651000 | #Constraints: 28412
69.17/71.18 c #Conflicts: 652000 | #Constraints: 29412
69.17/71.18 c #Conflicts: 653000 | #Constraints: 30413
69.17/71.18 c #Conflicts: 654000 | #Constraints: 31413
69.17/71.18 c #Conflicts: 655000 | #Constraints: 32413
69.17/71.18 c INPROCESSING
69.17/71.18 c GARBAGE COLLECT
69.17/71.18 c rational objective 250.5
71.05/73.06 c #Conflicts: 656000 | #Constraints: 17416
71.05/73.06 c #Conflicts: 657000 | #Constraints: 18416
71.05/73.06 c #Conflicts: 658000 | #Constraints: 19416
71.05/73.06 c #Conflicts: 659000 | #Constraints: 20416
71.05/73.06 c #Conflicts: 660000 | #Constraints: 21416
71.05/73.06 c #Conflicts: 661000 | #Constraints: 22416
71.05/73.06 c #Conflicts: 662000 | #Constraints: 23416
71.05/73.06 c #Conflicts: 663000 | #Constraints: 24416
71.05/73.06 c #Conflicts: 664000 | #Constraints: 25417
71.05/73.06 c #Conflicts: 665000 | #Constraints: 26417
71.05/73.06 c #Conflicts: 666000 | #Constraints: 27417
71.05/73.06 c #Conflicts: 667000 | #Constraints: 28417
71.05/73.06 c #Conflicts: 668000 | #Constraints: 29417
71.05/73.06 c #Conflicts: 669000 | #Constraints: 30417
71.05/73.06 c #Conflicts: 670000 | #Constraints: 31417
71.05/73.06 c #Conflicts: 671000 | #Constraints: 32417
71.05/73.06 c INPROCESSING
71.05/73.06 c GARBAGE COLLECT
71.05/73.06 c rational objective 250.5
72.95/74.92 c #Conflicts: 672000 | #Constraints: 17219
72.95/74.92 c #Conflicts: 673000 | #Constraints: 18219
72.95/74.92 c #Conflicts: 674000 | #Constraints: 19219
72.95/74.92 c #Conflicts: 675000 | #Constraints: 20219
72.95/74.92 c #Conflicts: 676000 | #Constraints: 21219
72.95/74.92 c #Conflicts: 677000 | #Constraints: 22219
72.95/74.92 c #Conflicts: 678000 | #Constraints: 23219
72.95/74.92 c #Conflicts: 679000 | #Constraints: 24219
72.95/74.92 c #Conflicts: 680000 | #Constraints: 25219
72.95/74.92 c #Conflicts: 681000 | #Constraints: 26219
72.95/74.92 c #Conflicts: 682000 | #Constraints: 27219
72.95/74.92 c #Conflicts: 683000 | #Constraints: 28219
72.95/74.92 c #Conflicts: 684000 | #Constraints: 29219
72.95/74.92 c #Conflicts: 685000 | #Constraints: 30219
72.95/74.92 c #Conflicts: 686000 | #Constraints: 31219
72.95/74.92 c #Conflicts: 687000 | #Constraints: 32219
72.95/74.92 c #Conflicts: 688000 | #Constraints: 33219
72.95/74.92 c INPROCESSING
72.95/74.92 c GARBAGE COLLECT
72.95/74.92 c rational objective 250.5
74.94/76.95 c #Conflicts: 689000 | #Constraints: 17819
74.94/76.95 c #Conflicts: 690000 | #Constraints: 18819
74.94/76.95 c #Conflicts: 691000 | #Constraints: 19819
74.94/76.95 c #Conflicts: 692000 | #Constraints: 20819
74.94/76.95 c #Conflicts: 693000 | #Constraints: 21819
74.94/76.95 c #Conflicts: 694000 | #Constraints: 22819
74.94/76.95 c #Conflicts: 695000 | #Constraints: 23819
74.94/76.95 c #Conflicts: 696000 | #Constraints: 24819
74.94/76.95 c #Conflicts: 697000 | #Constraints: 25819
74.94/76.95 c #Conflicts: 698000 | #Constraints: 26819
74.94/76.95 c #Conflicts: 699000 | #Constraints: 27819
74.94/76.95 c #Conflicts: 700000 | #Constraints: 28819
74.94/76.95 c #Conflicts: 701000 | #Constraints: 29819
74.94/76.95 c #Conflicts: 702000 | #Constraints: 30819
74.94/76.95 c #Conflicts: 703000 | #Constraints: 31819
74.94/76.95 c #Conflicts: 704000 | #Constraints: 32819
74.94/76.95 c #Conflicts: 705000 | #Constraints: 33819
74.94/76.95 c INPROCESSING
74.94/76.95 c GARBAGE COLLECT
74.94/76.95 c rational objective 250.5
77.63/79.63 c #Conflicts: 706000 | #Constraints: 18219
77.63/79.63 c #Conflicts: 707000 | #Constraints: 19219
77.63/79.63 c #Conflicts: 708000 | #Constraints: 20219
77.63/79.63 c #Conflicts: 709000 | #Constraints: 21219
77.63/79.63 c #Conflicts: 710000 | #Constraints: 22219
77.63/79.63 c #Conflicts: 711000 | #Constraints: 23219
77.63/79.63 c #Conflicts: 712000 | #Constraints: 24219
77.63/79.63 c #Conflicts: 713000 | #Constraints: 25219
77.63/79.63 c #Conflicts: 714000 | #Constraints: 26219
77.63/79.63 c #Conflicts: 715000 | #Constraints: 27219
77.63/79.63 c #Conflicts: 716000 | #Constraints: 28219
77.63/79.63 c #Conflicts: 717000 | #Constraints: 29219
77.63/79.63 c #Conflicts: 718000 | #Constraints: 30219
77.63/79.63 c #Conflicts: 719000 | #Constraints: 31219
77.63/79.63 c #Conflicts: 720000 | #Constraints: 32220
77.63/79.63 c #Conflicts: 721000 | #Constraints: 33220
77.63/79.63 c #Conflicts: 722000 | #Constraints: 34220
77.63/79.63 c INPROCESSING
77.63/79.63 c GARBAGE COLLECT
77.63/79.63 c rational objective 250.5
79.62/81.65 c #Conflicts: 723000 | #Constraints: 18420
79.62/81.65 c #Conflicts: 724000 | #Constraints: 19420
79.62/81.65 c #Conflicts: 725000 | #Constraints: 20420
79.62/81.65 c #Conflicts: 726000 | #Constraints: 21420
79.62/81.65 c #Conflicts: 727000 | #Constraints: 22420
79.62/81.65 c #Conflicts: 728000 | #Constraints: 23420
79.62/81.65 c #Conflicts: 729000 | #Constraints: 24420
79.62/81.65 c #Conflicts: 730000 | #Constraints: 25421
79.62/81.65 c #Conflicts: 731000 | #Constraints: 26421
79.62/81.65 c #Conflicts: 732000 | #Constraints: 27421
79.62/81.65 c #Conflicts: 733000 | #Constraints: 28421
79.62/81.65 c #Conflicts: 734000 | #Constraints: 29421
79.62/81.65 c #Conflicts: 735000 | #Constraints: 30421
79.62/81.65 c #Conflicts: 736000 | #Constraints: 31421
79.62/81.65 c #Conflicts: 737000 | #Constraints: 32421
79.62/81.65 c #Conflicts: 738000 | #Constraints: 33421
79.62/81.65 c #Conflicts: 739000 | #Constraints: 34421
79.62/81.65 c INPROCESSING
79.62/81.65 c GARBAGE COLLECT
79.62/81.65 c rational objective 250.5
81.62/83.65 c #Conflicts: 740000 | #Constraints: 18424
81.62/83.65 c #Conflicts: 741000 | #Constraints: 19424
81.62/83.65 c #Conflicts: 742000 | #Constraints: 20424
81.62/83.65 c #Conflicts: 743000 | #Constraints: 21424
81.62/83.65 c #Conflicts: 744000 | #Constraints: 22424
81.62/83.65 c #Conflicts: 745000 | #Constraints: 23424
81.62/83.65 c #Conflicts: 746000 | #Constraints: 24424
81.62/83.65 c #Conflicts: 747000 | #Constraints: 25424
81.62/83.65 c #Conflicts: 748000 | #Constraints: 26424
81.62/83.65 c #Conflicts: 749000 | #Constraints: 27424
81.62/83.65 c #Conflicts: 750000 | #Constraints: 28424
81.62/83.65 c #Conflicts: 751000 | #Constraints: 29424
81.62/83.65 c #Conflicts: 752000 | #Constraints: 30424
81.62/83.65 c #Conflicts: 753000 | #Constraints: 31424
81.62/83.65 c #Conflicts: 754000 | #Constraints: 32424
81.62/83.65 c #Conflicts: 755000 | #Constraints: 33424
81.62/83.65 c #Conflicts: 756000 | #Constraints: 34425
81.62/83.65 c INPROCESSING
81.62/83.65 c GARBAGE COLLECT
81.62/83.65 c rational objective 250.5
83.81/85.80 c #Conflicts: 757000 | #Constraints: 18217
83.81/85.80 c #Conflicts: 758000 | #Constraints: 19218
83.81/85.80 c #Conflicts: 759000 | #Constraints: 20218
83.81/85.80 c #Conflicts: 760000 | #Constraints: 21218
83.81/85.80 c #Conflicts: 761000 | #Constraints: 22218
83.81/85.80 c #Conflicts: 762000 | #Constraints: 23218
83.81/85.80 c #Conflicts: 763000 | #Constraints: 24218
83.81/85.80 c #Conflicts: 764000 | #Constraints: 25218
83.81/85.80 c #Conflicts: 765000 | #Constraints: 26218
83.81/85.80 c #Conflicts: 766000 | #Constraints: 27218
83.81/85.80 c #Conflicts: 767000 | #Constraints: 28218
83.81/85.80 c #Conflicts: 768000 | #Constraints: 29218
83.81/85.80 c #Conflicts: 769000 | #Constraints: 30218
83.81/85.80 c #Conflicts: 770000 | #Constraints: 31218
83.81/85.80 c #Conflicts: 771000 | #Constraints: 32218
83.81/85.80 c #Conflicts: 772000 | #Constraints: 33218
83.81/85.80 c #Conflicts: 773000 | #Constraints: 34218
83.81/85.80 c #Conflicts: 774000 | #Constraints: 35218
83.81/85.80 c INPROCESSING
83.81/85.80 c GARBAGE COLLECT
83.81/85.80 c rational objective 250.5
86.01/88.01 c #Conflicts: 775000 | #Constraints: 18817
86.01/88.01 c #Conflicts: 776000 | #Constraints: 19817
86.01/88.01 c #Conflicts: 777000 | #Constraints: 20818
86.01/88.01 c #Conflicts: 778000 | #Constraints: 21818
86.01/88.01 c #Conflicts: 779000 | #Constraints: 22818
86.01/88.01 c #Conflicts: 780000 | #Constraints: 23818
86.01/88.01 c #Conflicts: 781000 | #Constraints: 24818
86.01/88.01 c #Conflicts: 782000 | #Constraints: 25818
86.01/88.01 c #Conflicts: 783000 | #Constraints: 26818
86.01/88.01 c #Conflicts: 784000 | #Constraints: 27818
86.01/88.01 c #Conflicts: 785000 | #Constraints: 28818
86.01/88.01 c #Conflicts: 786000 | #Constraints: 29818
86.01/88.01 c #Conflicts: 787000 | #Constraints: 30818
86.01/88.01 c #Conflicts: 788000 | #Constraints: 31818
86.01/88.01 c #Conflicts: 789000 | #Constraints: 32818
86.01/88.01 c #Conflicts: 790000 | #Constraints: 33818
86.01/88.01 c #Conflicts: 791000 | #Constraints: 34818
86.01/88.01 c #Conflicts: 792000 | #Constraints: 35818
86.01/88.01 c INPROCESSING
86.01/88.01 c GARBAGE COLLECT
86.01/88.01 c rational objective 250.5
88.19/90.23 c #Conflicts: 793000 | #Constraints: 19218
88.19/90.23 c #Conflicts: 794000 | #Constraints: 20218
88.19/90.23 c #Conflicts: 795000 | #Constraints: 21218
88.19/90.23 c #Conflicts: 796000 | #Constraints: 22218
88.19/90.23 c #Conflicts: 797000 | #Constraints: 23218
88.19/90.23 c #Conflicts: 798000 | #Constraints: 24218
88.19/90.23 c #Conflicts: 799000 | #Constraints: 25218
88.19/90.23 c #Conflicts: 800000 | #Constraints: 26219
88.19/90.23 c #Conflicts: 801000 | #Constraints: 27219
88.19/90.23 c #Conflicts: 802000 | #Constraints: 28219
88.19/90.23 c #Conflicts: 803000 | #Constraints: 29219
88.19/90.23 c #Conflicts: 804000 | #Constraints: 30219
88.19/90.23 c #Conflicts: 805000 | #Constraints: 31219
88.19/90.23 c #Conflicts: 806000 | #Constraints: 32219
88.19/90.23 c #Conflicts: 807000 | #Constraints: 33219
88.19/90.23 c #Conflicts: 808000 | #Constraints: 34219
88.19/90.23 c #Conflicts: 809000 | #Constraints: 35219
88.19/90.23 c #Conflicts: 810000 | #Constraints: 36219
88.19/90.23 c INPROCESSING
88.19/90.23 c GARBAGE COLLECT
88.19/90.23 c rational objective 250.5
90.49/92.53 c #Conflicts: 811000 | #Constraints: 19417
90.49/92.53 c #Conflicts: 812000 | #Constraints: 20417
90.49/92.53 c #Conflicts: 813000 | #Constraints: 21417
90.49/92.53 c #Conflicts: 814000 | #Constraints: 22417
90.49/92.53 c #Conflicts: 815000 | #Constraints: 23417
90.49/92.53 c #Conflicts: 816000 | #Constraints: 24417
90.49/92.53 c #Conflicts: 817000 | #Constraints: 25417
90.49/92.53 c #Conflicts: 818000 | #Constraints: 26417
90.49/92.53 c #Conflicts: 819000 | #Constraints: 27418
90.49/92.53 c #Conflicts: 820000 | #Constraints: 28418
90.49/92.53 c #Conflicts: 821000 | #Constraints: 29418
90.49/92.53 c #Conflicts: 822000 | #Constraints: 30418
90.49/92.53 c #Conflicts: 823000 | #Constraints: 31418
90.49/92.53 c #Conflicts: 824000 | #Constraints: 32418
90.49/92.53 c #Conflicts: 825000 | #Constraints: 33419
90.49/92.53 c #Conflicts: 826000 | #Constraints: 34419
90.49/92.53 c #Conflicts: 827000 | #Constraints: 35419
90.49/92.53 c #Conflicts: 828000 | #Constraints: 36419
90.49/92.53 c INPROCESSING
90.49/92.53 c GARBAGE COLLECT
90.49/92.53 c rational objective 250.5
92.58/94.64 c #Conflicts: 829000 | #Constraints: 19424
92.58/94.64 c #Conflicts: 830000 | #Constraints: 20424
92.58/94.64 c #Conflicts: 831000 | #Constraints: 21424
92.58/94.64 c #Conflicts: 832000 | #Constraints: 22424
92.58/94.64 c #Conflicts: 833000 | #Constraints: 23424
92.58/94.64 c #Conflicts: 834000 | #Constraints: 24424
92.58/94.64 c #Conflicts: 835000 | #Constraints: 25424
92.58/94.64 c #Conflicts: 836000 | #Constraints: 26425
92.58/94.64 c #Conflicts: 837000 | #Constraints: 27425
92.58/94.64 c #Conflicts: 838000 | #Constraints: 28425
92.58/94.64 c #Conflicts: 839000 | #Constraints: 29425
92.58/94.64 c #Conflicts: 840000 | #Constraints: 30425
92.58/94.64 c #Conflicts: 841000 | #Constraints: 31425
92.58/94.64 c #Conflicts: 842000 | #Constraints: 32425
92.58/94.64 c #Conflicts: 843000 | #Constraints: 33425
92.58/94.64 c #Conflicts: 844000 | #Constraints: 34425
92.58/94.64 c #Conflicts: 845000 | #Constraints: 35425
92.58/94.64 c #Conflicts: 846000 | #Constraints: 36425
92.58/94.64 c INPROCESSING
92.58/94.64 c GARBAGE COLLECT
92.58/94.64 c rational objective 250.5
95.08/97.14 c #Conflicts: 847000 | #Constraints: 19227
95.08/97.14 c #Conflicts: 848000 | #Constraints: 20227
95.08/97.14 c #Conflicts: 849000 | #Constraints: 21227
95.08/97.14 c #Conflicts: 850000 | #Constraints: 22227
95.08/97.14 c #Conflicts: 851000 | #Constraints: 23227
95.08/97.14 c #Conflicts: 852000 | #Constraints: 24227
95.08/97.14 c #Conflicts: 853000 | #Constraints: 25227
95.08/97.14 c #Conflicts: 854000 | #Constraints: 26227
95.08/97.14 c #Conflicts: 855000 | #Constraints: 27227
95.08/97.14 c #Conflicts: 856000 | #Constraints: 28227
95.08/97.14 c #Conflicts: 857000 | #Constraints: 29227
95.08/97.14 c #Conflicts: 858000 | #Constraints: 30227
95.08/97.14 c #Conflicts: 859000 | #Constraints: 31227
95.08/97.14 c #Conflicts: 860000 | #Constraints: 32227
95.08/97.14 c #Conflicts: 861000 | #Constraints: 33227
95.08/97.14 c #Conflicts: 862000 | #Constraints: 34227
95.08/97.14 c #Conflicts: 863000 | #Constraints: 35227
95.08/97.14 c #Conflicts: 864000 | #Constraints: 36227
95.08/97.14 c #Conflicts: 865000 | #Constraints: 37227
95.08/97.14 c INPROCESSING
95.08/97.14 c GARBAGE COLLECT
95.08/97.14 c rational objective 250.5
97.47/99.57 c #Conflicts: 866000 | #Constraints: 19822
97.47/99.57 c #Conflicts: 867000 | #Constraints: 20822
97.47/99.57 c #Conflicts: 868000 | #Constraints: 21822
97.47/99.57 c #Conflicts: 869000 | #Constraints: 22822
97.47/99.57 c #Conflicts: 870000 | #Constraints: 23822
97.47/99.57 c #Conflicts: 871000 | #Constraints: 24822
97.47/99.57 c #Conflicts: 872000 | #Constraints: 25822
97.47/99.57 c #Conflicts: 873000 | #Constraints: 26822
97.47/99.57 c #Conflicts: 874000 | #Constraints: 27822
97.47/99.57 c #Conflicts: 875000 | #Constraints: 28822
97.47/99.57 c #Conflicts: 876000 | #Constraints: 29822
97.47/99.57 c #Conflicts: 877000 | #Constraints: 30822
97.47/99.57 c #Conflicts: 878000 | #Constraints: 31822
97.47/99.57 c #Conflicts: 879000 | #Constraints: 32822
97.47/99.57 c #Conflicts: 880000 | #Constraints: 33822
97.47/99.57 c #Conflicts: 881000 | #Constraints: 34822
97.47/99.57 c #Conflicts: 882000 | #Constraints: 35822
97.47/99.57 c #Conflicts: 883000 | #Constraints: 36822
97.47/99.57 c #Conflicts: 884000 | #Constraints: 37822
97.47/99.57 c INPROCESSING
97.47/99.57 c GARBAGE COLLECT
97.47/99.57 c rational objective 250.5
99.86/102.00 c #Conflicts: 885000 | #Constraints: 20228
99.86/102.00 c #Conflicts: 886000 | #Constraints: 21228
99.86/102.00 c #Conflicts: 887000 | #Constraints: 22228
99.86/102.00 c #Conflicts: 888000 | #Constraints: 23228
99.86/102.00 c #Conflicts: 889000 | #Constraints: 24228
99.86/102.00 c #Conflicts: 890000 | #Constraints: 25228
99.86/102.00 c #Conflicts: 891000 | #Constraints: 26228
99.86/102.00 c #Conflicts: 892000 | #Constraints: 27228
99.86/102.00 c #Conflicts: 893000 | #Constraints: 28228
99.86/102.00 c #Conflicts: 894000 | #Constraints: 29228
99.86/102.00 c #Conflicts: 895000 | #Constraints: 30228
99.86/102.00 c #Conflicts: 896000 | #Constraints: 31228
99.86/102.00 c #Conflicts: 897000 | #Constraints: 32228
99.86/102.00 c #Conflicts: 898000 | #Constraints: 33228
99.86/102.00 c #Conflicts: 899000 | #Constraints: 34229
99.86/102.00 c #Conflicts: 900000 | #Constraints: 35229
99.86/102.00 c #Conflicts: 901000 | #Constraints: 36229
99.86/102.00 c #Conflicts: 902000 | #Constraints: 37229
99.86/102.00 c #Conflicts: 903000 | #Constraints: 38229
99.86/102.00 c INPROCESSING
99.86/102.00 c GARBAGE COLLECT
99.86/102.00 c rational objective 250.5
100.15/102.20 c #Conflicts: 904000 | #Constraints: 20429
100.15/102.20 c #Conflicts: 905000 | #Constraints: 21429
100.15/102.20 c cpu time 92.3458 s
100.15/102.20 c deterministic time 2917391972 2.92e+09
100.15/102.20 c optimization time 0.000115 s
100.15/102.20 c total solve time 92.3441 s
100.15/102.20 c core-guided solve time 0 s
100.15/102.20 c propagation time 77.4179 s
100.15/102.20 c conflict analysis time 9.37518 s
100.15/102.20 c propagations 8458514
100.15/102.20 c resolve steps 2717623
100.15/102.20 c decisions 2142224
100.15/102.20 c conflicts 905006
100.15/102.20 c restarts 1977
100.15/102.20 c inprocessing phases 86
100.15/102.20 c input clauses 2
100.15/102.20 c input cardinalities 500
100.15/102.20 c input general constraints 0
100.15/102.20 c input average constraint length 3.99
100.15/102.20 c input average constraint degree 2.00
100.15/102.20 c learned clauses 793476
100.15/102.20 c learned cardinalities 2276
100.15/102.20 c learned general constraints 109434
100.15/102.20 c learned average constraint length 17.96
100.15/102.20 c learned average constraint degree 58755889.76
100.15/102.20 c watched constraints 84447
100.15/102.20 c counting constraints 24987
100.15/102.20 c gcd simplifications 257710
100.15/102.20 c detected cardinalities 625
100.15/102.20 c weakened non-implied lits 1854288
100.15/102.20 c weakened non-implying lits 344845
100.15/102.20 c original variables 501
100.15/102.20 c clausal propagations 1618432
100.15/102.20 c cardinality propagations 2062081
100.15/102.20 c watched propagations 239394
100.15/102.20 c counting propagations 3633657
100.15/102.20 c watch lookups 996491767
100.15/102.20 c watch backjump lookups 639308437
100.15/102.20 c watch checks 1058366254
100.15/102.20 c propagation checks 140215535
100.15/102.20 c constraint additions 59998060
100.15/102.20 c trail pops 11505544
100.15/102.20 c formula constraints 502
100.15/102.20 c learned constraints 904824
100.15/102.20 c bound constraints 0
100.15/102.20 c core-guided constraints 0
100.15/102.20 c encountered formula constraints 122639
100.15/102.20 c encountered learned constraints 2949414
100.15/102.20 c encountered bound constraints 0
100.15/102.20 c encountered core-guided constraints 0
100.15/102.20 c LP total time 51.3721 s
100.15/102.20 c LP solve time 46.58 s
100.15/102.20 c LP constraints added 610
100.15/102.20 c LP constraints removed 106
100.15/102.20 c LP pivots internal 905015
100.15/102.20 c LP pivots root 621
100.15/102.20 c LP calls 207107
100.15/102.20 c LP optimalities 206926
100.15/102.20 c LP no pivot count 56036
100.15/102.20 c LP infeasibilities 181
100.15/102.20 c LP valid Farkas constraints 181
100.15/102.20 c LP learned Farkas constraints 181
100.15/102.20 c LP basis resets 0
100.15/102.20 c LP cycling count 0
100.15/102.20 c LP singular count 0
100.15/102.20 c LP no primal count 0
100.15/102.20 c LP no farkas count 0
100.15/102.20 c LP other issue count 0
100.15/102.20 c LP Gomory cuts 0
100.15/102.20 c LP learned cuts 108
100.15/102.20 c LP deleted cuts 106
100.15/102.20 c LP encountered Gomory constraints 0
100.15/102.20 c LP encountered Farkas constraints 542213
100.15/102.20 c LP encountered learned Farkas constraints 8182
100.15/102.20 c CG auxiliary variables introduced 0
100.15/102.20 c CG solutions found 0
100.15/102.20 c CG cores constructed 0
100.15/102.20 c CG core cardinality constraints returned 0
100.15/102.20 c CG unit cores 0
100.15/102.20 c CG single cores 0
100.15/102.20 c CG blocks removed during cardinality reduction 0
100.15/102.20 c CG first core best 0
100.15/102.20 c CG decision core best 0
100.15/102.20 c CG core reduction tie 0
100.15/102.20 c CG core degree average 0.00
100.15/102.20 c CG core slack average 0.00
100.15/102.20 s UNSATISFIABLE
VeriPB
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
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: 63968 MiB (41821 MiB free)
memory of node 1: 64473 MiB (61258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460727-1722072109/watcher-4460727-1722072109 -o /tmp/evaluation-result-4460727-1722072109/solver-4460727-1722072109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316999 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460727-1722072109 --lp-cut-gomory=0 HOME/instance-4460727-1722072109.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=321576, runsolver pid=321573
[startup+0.100078 s]*
/proc/loadavg: 4.11 4.14 4.11 3/255 321577
/proc/meminfo: memFree=105551380/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 43740551 38273024 670 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.205292 s]*
/proc/loadavg: 4.11 4.14 4.11 3/255 321577
/proc/meminfo: memFree=105550860/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 43740551 38273024 670 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.30433 s]*
/proc/loadavg: 4.11 4.14 4.11 3/255 321577
/proc/meminfo: memFree=105549924/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 43740551 38273024 670 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.700132 s]
/proc/loadavg: 4.11 4.14 4.11 3/255 321577
/proc/meminfo: memFree=105548696/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 43740551 38273024 670 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+1.50014 s]
/proc/loadavg: 4.11 4.14 4.11 3/255 321577
/proc/meminfo: memFree=105544980/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=37376 memory=2680 CPUtime=0 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 220 0 0 0 0 0 0 0 20 0 1 0 43740551 38273024 670 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+3.10574 s]
/proc/loadavg: 4.10 4.13 4.10 4/261 321597
/proc/meminfo: memFree=126278072/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=39364 memory=12344 CPUtime=1.39 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 906 0 0 0 126 13 0 0 20 0 1 0 43740551 40308736 3086 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 9841 3086 1862 992 0 1699 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 39364 KiB
Current children cumulated memory: 12344 KiB
heavy processes:
[startup+6.30017 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 321597
/proc/meminfo: memFree=126250884/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=40040 memory=13028 CPUtime=4.58 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 1117 0 0 0 418 40 0 0 20 0 1 0 43740551 41000960 3257 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10010 3257 1862 992 0 1868 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 40040 KiB
Current children cumulated memory: 13028 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.10 4/255 321625
/proc/meminfo: memFree=126214724/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=40864 memory=13848 CPUtime=10.95 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 1703 0 0 0 1003 92 0 0 20 0 1 0 43740551 41844736 3462 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10216 3462 1862 992 0 2074 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 40864 KiB
Current children cumulated memory: 13848 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 321741
/proc/meminfo: memFree=125627620/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=41744 memory=14736 CPUtime=23.71 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 2483 0 0 0 2166 205 0 0 20 0 1 0 43740551 42745856 3684 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10436 3684 1862 992 0 2294 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 41744 KiB
Current children cumulated memory: 14736 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.11 4.10 5/262 321840
/proc/meminfo: memFree=123834360/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=42548 memory=15924 CPUtime=49.23 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 4820 0 0 0 4515 408 0 0 20 0 1 0 43740551 43569152 3981 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10637 3981 1862 992 0 2495 0
Current children cumulated CPU time: 49.23 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 15924 KiB
[startup+102.204 s]
# the end of solver process 321576 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=92.3465 s, system=7.81114 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.06 4.11 4.10 5/262 321840
/proc/meminfo: memFree=123834360/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=42548 memory=15924 CPUtime=49.32 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 4820 0 0 0 4524 408 0 0 20 0 1 0 43740551 43569152 3981 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10637 3981 1862 992 0 2495 0
Current children cumulated CPU time: 49.32 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 15924 KiB
[startup+76.8002 s]
/proc/loadavg: 4.04 4.10 4.09 5/262 321843
/proc/meminfo: memFree=123372332/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43484 memory=17016 CPUtime=74.84 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 6397 0 0 0 6881 603 0 0 20 0 1 0 43740551 44527616 4254 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10871 4254 1862 992 0 2729 0
Current children cumulated CPU time: 74.84 s
Current children cumulated vsize: 43484 KiB
Current children cumulated memory: 17016 KiB
[startup+89.6001 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 321845
/proc/meminfo: memFree=123297500/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43528 memory=17568 CPUtime=87.6 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7001 0 0 0 8066 694 0 0 20 0 1 0 43740551 44572672 4392 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10882 4392 1862 992 0 2740 0
Current children cumulated CPU time: 87.6 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 17568 KiB
[startup+96.0001 s]*
/proc/loadavg: 4.09 4.11 4.09 5/262 321846
/proc/meminfo: memFree=123266812/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43728 memory=17776 CPUtime=93.99 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7281 0 0 0 8662 737 0 0 20 0 1 0 43740551 44777472 4444 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10932 4444 1862 992 0 2790 0
Current children cumulated CPU time: 93.99 s
Current children cumulated vsize: 43728 KiB
Current children cumulated memory: 17776 KiB
[startup+99.2002 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 321847
/proc/meminfo: memFree=123249672/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43656 memory=17704 CPUtime=97.17 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7341 0 0 0 8959 758 0 0 20 0 1 0 43740551 44703744 4426 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10914 4426 1862 992 0 2772 0
Current children cumulated CPU time: 97.17 s
Current children cumulated vsize: 43656 KiB
Current children cumulated memory: 17704 KiB
[startup+100.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 321849
/proc/meminfo: memFree=123244548/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43796 memory=17836 CPUtime=98.76 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7452 0 0 0 9106 770 0 0 20 0 1 0 43740551 44847104 4459 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10949 4459 1862 992 0 2807 0
Current children cumulated CPU time: 98.76 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17836 KiB
[startup+101.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 321849
/proc/meminfo: memFree=123236468/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43796 memory=17836 CPUtime=99.56 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7452 0 0 0 9180 776 0 0 20 0 1 0 43740551 44847104 4459 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10949 4459 1862 992 0 2807 0
Current children cumulated CPU time: 99.56 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17836 KiB
[startup+102 s]*
/proc/loadavg: 4.08 4.11 4.09 5/262 321851
/proc/meminfo: memFree=123230332/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43928 memory=17980 CPUtime=99.96 cores=1,3
/proc/321576/stat : 321576 (roundingsat) R 321573 321576 316987 0 -1 4194304 7565 0 0 0 9218 778 0 0 20 0 1 0 43740551 44982272 4495 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10982 4495 1862 992 0 2840 0
Current children cumulated CPU time: 99.96 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 17980 KiB
[startup+102.2 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 321851
/proc/meminfo: memFree=123230332/131524600 swapFree=131055836/131071996
[pid=321576] ppid=321573 vsize=43928 memory=17980 CPUtime=100.15 cores=1,3
/proc/321576/stat : 321576 (roundingsat) D 321573 321576 316987 0 -1 4194304 7565 0 0 0 9234 781 0 0 20 0 1 0 43740551 44982272 4495 134679101440 4194304 8254357 140723800027632 0 0 0 0 0 25182210 0 0 0 17 1 0 0 2 0 0 9037040 9046032 18317312 140723800032091 140723800032353 140723800032353 140723800039369 0
/proc/321576/statm: 10982 4495 1862 992 0 2840 0
Current children cumulated CPU time: 100.15 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 17980 KiB
Child status: 0
Real time (s): 102.204
CPU time (s): 100.158
CPU user time (s): 92.3465
CPU system time (s): 7.81114
CPU usage (%): 97.998
Max. virtual memory (cumulated for all children) (KiB): 43928
Max. memory (cumulated for all children) (KiB): 17980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.3465
system time used= 7.81114
maximum resident set size= 18096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 293864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 161
# summary of solver processes directly reported to runsolver:
# pid: 321576
# total CPU time (s): 100.158
# total CPU user time (s): 92.3465
# total CPU system time (s): 7.81114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.20995 second user time and 0.470176 second system time
The end
Begin job on nodeC033 at 2024-07-27 11:21:49
IDJOB=4460727
IDBENCH=160432
IDSOLVER=3086
FILE ID=nodeC033/4460727-1722072109
RUNJOBID= nodeC033-1722064836-316999
SLURM_JOB_ID= 8248101
Free space on /tmp= 890064 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460727-1722072109/watcher-4460727-1722072109 -o /tmp/evaluation-result-4460727-1722072109/solver-4460727-1722072109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316999 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460727-1722072109 --lp-cut-gomory=0 HOME/instance-4460727-1722072109.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6aa2e19502a8f75e99296617bfe7afcb
RANDOM SEED=72731767
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3619.987
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3659.781
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3683.111
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3652.794
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3656.619
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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 : 3661.809
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3600.522
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
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.301
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 105553724 kB
MemAvailable: 129678472 kB
Buffers: 377584 kB
Cached: 24532048 kB
SwapCached: 300 kB
Active: 2608164 kB
Inactive: 22673872 kB
Active(anon): 2200 kB
Inactive(anon): 422992 kB
Active(file): 2605964 kB
Inactive(file): 22250880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 33964 kB
Writeback: 0 kB
AnonPages: 371944 kB
Mapped: 115308 kB
Shmem: 53064 kB
KReclaimable: 215452 kB
Slab: 334304 kB
SReclaimable: 215452 kB
SUnreclaim: 118852 kB
KernelStack: 4028 kB
PageTables: 10044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 776792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-27 11:23:31