0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.32 c #variables 501 #constraints 502
0.00/0.32 c rational objective 250.5
0.08/0.49 c #Conflicts: 1000 | #Constraints: 1512
0.08/0.49 c #Conflicts: 2000 | #Constraints: 2520
0.08/0.49 c INPROCESSING
0.08/0.49 c GARBAGE COLLECT
0.08/0.49 c rational objective 250.5
0.35/0.70 c #Conflicts: 3000 | #Constraints: 2545
0.35/0.70 c #Conflicts: 4000 | #Constraints: 3553
0.35/0.70 c INPROCESSING
0.35/0.70 c GARBAGE COLLECT
0.35/0.70 c rational objective 250.5
0.56/0.94 c #Conflicts: 5000 | #Constraints: 2962
0.56/0.94 c #Conflicts: 6000 | #Constraints: 3964
0.56/0.94 c INPROCESSING
0.56/0.94 c GARBAGE COLLECT
0.56/0.94 c rational objective 250.5
0.75/1.18 c #Conflicts: 7000 | #Constraints: 2966
0.75/1.18 c #Conflicts: 8000 | #Constraints: 3968
0.75/1.18 c #Conflicts: 9000 | #Constraints: 4976
0.75/1.18 c INPROCESSING
0.75/1.18 c GARBAGE COLLECT
0.75/1.18 c rational objective 250.5
1.05/1.45 c #Conflicts: 10000 | #Constraints: 3669
1.05/1.45 c #Conflicts: 11000 | #Constraints: 4673
1.05/1.45 c #Conflicts: 12000 | #Constraints: 5678
1.05/1.45 c INPROCESSING
1.05/1.45 c GARBAGE COLLECT
1.05/1.45 c rational objective 250.5
1.35/1.73 c #Conflicts: 13000 | #Constraints: 4124
1.35/1.73 c #Conflicts: 14000 | #Constraints: 5125
1.35/1.73 c #Conflicts: 15000 | #Constraints: 6126
1.35/1.73 c INPROCESSING
1.35/1.73 c GARBAGE COLLECT
1.35/1.73 c rational objective 250.5
1.66/2.08 c #Conflicts: 16000 | #Constraints: 4345
1.66/2.08 c #Conflicts: 17000 | #Constraints: 5346
1.66/2.08 c #Conflicts: 18000 | #Constraints: 6347
1.66/2.08 c INPROCESSING
1.66/2.08 c GARBAGE COLLECT
1.66/2.08 c rational objective 250.5
2.05/2.42 c #Conflicts: 19000 | #Constraints: 4368
2.05/2.42 c #Conflicts: 20000 | #Constraints: 5368
2.05/2.42 c #Conflicts: 21000 | #Constraints: 6372
2.05/2.42 c INPROCESSING
2.05/2.42 c GARBAGE COLLECT
2.05/2.42 c rational objective 250.5
2.35/2.74 c #Conflicts: 22000 | #Constraints: 4171
2.35/2.74 c #Conflicts: 23000 | #Constraints: 5173
2.35/2.74 c #Conflicts: 24000 | #Constraints: 6175
2.35/2.74 c #Conflicts: 25000 | #Constraints: 7175
2.35/2.74 c INPROCESSING
2.35/2.74 c GARBAGE COLLECT
2.35/2.74 c rational objective 250.5
2.76/3.13 c #Conflicts: 26000 | #Constraints: 4773
2.76/3.13 c #Conflicts: 27000 | #Constraints: 5773
2.76/3.13 c #Conflicts: 28000 | #Constraints: 6775
2.76/3.13 c #Conflicts: 29000 | #Constraints: 7778
2.76/3.13 c INPROCESSING
2.76/3.13 c GARBAGE COLLECT
2.76/3.13 c rational objective 250.5
3.14/3.50 c #Conflicts: 30000 | #Constraints: 5170
3.14/3.50 c #Conflicts: 31000 | #Constraints: 6172
3.14/3.50 c #Conflicts: 32000 | #Constraints: 7173
3.14/3.50 c #Conflicts: 33000 | #Constraints: 8175
3.14/3.50 c INPROCESSING
3.14/3.50 c GARBAGE COLLECT
3.14/3.50 c rational objective 250.5
3.54/3.94 c #Conflicts: 34000 | #Constraints: 5376
3.54/3.94 c #Conflicts: 35000 | #Constraints: 6376
3.54/3.94 c #Conflicts: 36000 | #Constraints: 7376
3.54/3.94 c #Conflicts: 37000 | #Constraints: 8378
3.54/3.94 c INPROCESSING
3.54/3.94 c GARBAGE COLLECT
3.54/3.94 c rational objective 250.5
4.04/4.42 c #Conflicts: 38000 | #Constraints: 5381
4.04/4.42 c #Conflicts: 39000 | #Constraints: 6381
4.04/4.42 c #Conflicts: 40000 | #Constraints: 7381
4.04/4.42 c #Conflicts: 41000 | #Constraints: 8382
4.04/4.42 c INPROCESSING
4.04/4.42 c GARBAGE COLLECT
4.04/4.42 c rational objective 250.5
4.44/4.89 c #Conflicts: 42000 | #Constraints: 5187
4.44/4.89 c #Conflicts: 43000 | #Constraints: 6188
4.44/4.89 c #Conflicts: 44000 | #Constraints: 7189
4.44/4.89 c #Conflicts: 45000 | #Constraints: 8189
4.44/4.89 c #Conflicts: 46000 | #Constraints: 9190
4.44/4.89 c INPROCESSING
4.44/4.89 c GARBAGE COLLECT
4.44/4.89 c rational objective 250.5
4.94/5.36 c #Conflicts: 47000 | #Constraints: 5779
4.94/5.36 c #Conflicts: 48000 | #Constraints: 6779
4.94/5.36 c #Conflicts: 49000 | #Constraints: 7779
4.94/5.36 c #Conflicts: 50000 | #Constraints: 8781
4.94/5.36 c #Conflicts: 51000 | #Constraints: 9781
4.94/5.36 c INPROCESSING
4.94/5.36 c GARBAGE COLLECT
4.94/5.36 c rational objective 250.5
5.44/5.86 c #Conflicts: 52000 | #Constraints: 6177
5.44/5.86 c #Conflicts: 53000 | #Constraints: 7178
5.44/5.86 c #Conflicts: 54000 | #Constraints: 8179
5.44/5.86 c #Conflicts: 55000 | #Constraints: 9179
5.44/5.86 c #Conflicts: 56000 | #Constraints: 10181
5.44/5.86 c INPROCESSING
5.44/5.86 c GARBAGE COLLECT
5.44/5.86 c rational objective 250.5
5.94/6.37 c #Conflicts: 57000 | #Constraints: 6378
5.94/6.37 c #Conflicts: 58000 | #Constraints: 7378
5.94/6.37 c #Conflicts: 59000 | #Constraints: 8378
5.94/6.37 c #Conflicts: 60000 | #Constraints: 9379
5.94/6.37 c #Conflicts: 61000 | #Constraints: 10380
5.94/6.37 c INPROCESSING
5.94/6.37 c GARBAGE COLLECT
5.94/6.37 c rational objective 250.5
6.54/6.91 c #Conflicts: 62000 | #Constraints: 6379
6.54/6.91 c #Conflicts: 63000 | #Constraints: 7380
6.54/6.91 c #Conflicts: 64000 | #Constraints: 8381
6.54/6.91 c #Conflicts: 65000 | #Constraints: 9383
6.54/6.91 c #Conflicts: 66000 | #Constraints: 10383
6.54/6.91 c INPROCESSING
6.54/6.91 c GARBAGE COLLECT
6.54/6.91 c rational objective 250.5
7.04/7.47 c #Conflicts: 67000 | #Constraints: 6179
7.04/7.47 c #Conflicts: 68000 | #Constraints: 7180
7.04/7.47 c #Conflicts: 69000 | #Constraints: 8180
7.04/7.47 c #Conflicts: 70000 | #Constraints: 9180
7.04/7.47 c #Conflicts: 71000 | #Constraints: 10180
7.04/7.47 c #Conflicts: 72000 | #Constraints: 11180
7.04/7.47 c INPROCESSING
7.04/7.47 c GARBAGE COLLECT
7.04/7.47 c rational objective 250.5
7.64/8.05 c #Conflicts: 73000 | #Constraints: 6778
7.64/8.05 c #Conflicts: 74000 | #Constraints: 7780
7.64/8.05 c #Conflicts: 75000 | #Constraints: 8781
7.64/8.05 c #Conflicts: 76000 | #Constraints: 9782
7.64/8.05 c #Conflicts: 77000 | #Constraints: 10782
7.64/8.05 c #Conflicts: 78000 | #Constraints: 11782
7.64/8.05 c INPROCESSING
7.64/8.05 c GARBAGE COLLECT
7.64/8.05 c rational objective 250.5
8.24/8.64 c #Conflicts: 79000 | #Constraints: 7182
8.24/8.64 c #Conflicts: 80000 | #Constraints: 8182
8.24/8.64 c #Conflicts: 81000 | #Constraints: 9182
8.24/8.64 c #Conflicts: 82000 | #Constraints: 10182
8.24/8.64 c #Conflicts: 83000 | #Constraints: 11182
8.24/8.64 c #Conflicts: 84000 | #Constraints: 12183
8.24/8.64 c INPROCESSING
8.24/8.64 c GARBAGE COLLECT
8.24/8.64 c rational objective 250.5
8.94/9.32 c #Conflicts: 85000 | #Constraints: 7381
8.94/9.32 c #Conflicts: 86000 | #Constraints: 8381
8.94/9.32 c #Conflicts: 87000 | #Constraints: 9381
8.94/9.32 c #Conflicts: 88000 | #Constraints: 10382
8.94/9.32 c #Conflicts: 89000 | #Constraints: 11384
8.94/9.32 c #Conflicts: 90000 | #Constraints: 12384
8.94/9.32 c INPROCESSING
8.94/9.32 c GARBAGE COLLECT
8.94/9.32 c rational objective 250.5
9.74/10.14 c #Conflicts: 91000 | #Constraints: 7377
9.74/10.14 c #Conflicts: 92000 | #Constraints: 8377
9.74/10.14 c #Conflicts: 93000 | #Constraints: 9378
9.74/10.14 c #Conflicts: 94000 | #Constraints: 10378
9.74/10.14 c #Conflicts: 95000 | #Constraints: 11379
9.74/10.14 c #Conflicts: 96000 | #Constraints: 12379
9.74/10.14 c INPROCESSING
9.74/10.14 c GARBAGE COLLECT
9.74/10.14 c rational objective 250.5
10.43/10.86 c #Conflicts: 97000 | #Constraints: 7189
10.43/10.86 c #Conflicts: 98000 | #Constraints: 8189
10.43/10.86 c #Conflicts: 99000 | #Constraints: 9189
10.43/10.86 c #Conflicts: 100000 | #Constraints: 10189
10.43/10.86 c #Conflicts: 101000 | #Constraints: 11189
10.43/10.86 c #Conflicts: 102000 | #Constraints: 12189
10.43/10.86 c #Conflicts: 103000 | #Constraints: 13189
10.43/10.86 c INPROCESSING
10.43/10.86 c GARBAGE COLLECT
10.43/10.86 c rational objective 250.5
11.13/11.55 c #Conflicts: 104000 | #Constraints: 7780
11.13/11.55 c #Conflicts: 105000 | #Constraints: 8781
11.13/11.55 c #Conflicts: 106000 | #Constraints: 9781
11.13/11.55 c #Conflicts: 107000 | #Constraints: 10782
11.13/11.55 c #Conflicts: 108000 | #Constraints: 11783
11.13/11.55 c #Conflicts: 109000 | #Constraints: 12783
11.13/11.55 c #Conflicts: 110000 | #Constraints: 13784
11.13/11.55 c INPROCESSING
11.13/11.55 c GARBAGE COLLECT
11.13/11.55 c rational objective 250.5
11.73/12.19 c #Conflicts: 111000 | #Constraints: 8182
11.73/12.19 c #Conflicts: 112000 | #Constraints: 9182
11.73/12.19 c #Conflicts: 113000 | #Constraints: 10183
11.73/12.19 c #Conflicts: 114000 | #Constraints: 11183
11.73/12.19 c #Conflicts: 115000 | #Constraints: 12183
11.73/12.19 c #Conflicts: 116000 | #Constraints: 13183
11.73/12.19 c #Conflicts: 117000 | #Constraints: 14184
11.73/12.19 c INPROCESSING
11.73/12.19 c GARBAGE COLLECT
11.73/12.19 c rational objective 250.5
12.42/12.86 c #Conflicts: 118000 | #Constraints: 8389
12.42/12.86 c #Conflicts: 119000 | #Constraints: 9389
12.42/12.86 c #Conflicts: 120000 | #Constraints: 10389
12.42/12.86 c #Conflicts: 121000 | #Constraints: 11389
12.42/12.86 c #Conflicts: 122000 | #Constraints: 12389
12.42/12.86 c #Conflicts: 123000 | #Constraints: 13389
12.42/12.86 c #Conflicts: 124000 | #Constraints: 14389
12.42/12.86 c INPROCESSING
12.42/12.86 c GARBAGE COLLECT
12.42/12.86 c rational objective 250.5
13.13/13.55 c #Conflicts: 125000 | #Constraints: 8386
13.13/13.55 c #Conflicts: 126000 | #Constraints: 9386
13.13/13.55 c #Conflicts: 127000 | #Constraints: 10386
13.13/13.55 c #Conflicts: 128000 | #Constraints: 11386
13.13/13.55 c #Conflicts: 129000 | #Constraints: 12386
13.13/13.55 c #Conflicts: 130000 | #Constraints: 13386
13.13/13.55 c #Conflicts: 131000 | #Constraints: 14386
13.13/13.55 c INPROCESSING
13.13/13.55 c GARBAGE COLLECT
13.13/13.55 c rational objective 250.5
13.92/14.31 c #Conflicts: 132000 | #Constraints: 8179
13.92/14.31 c #Conflicts: 133000 | #Constraints: 9179
13.92/14.31 c #Conflicts: 134000 | #Constraints: 10179
13.92/14.31 c #Conflicts: 135000 | #Constraints: 11179
13.92/14.31 c #Conflicts: 136000 | #Constraints: 12179
13.92/14.31 c #Conflicts: 137000 | #Constraints: 13179
13.92/14.31 c #Conflicts: 138000 | #Constraints: 14179
13.92/14.31 c #Conflicts: 139000 | #Constraints: 15179
13.92/14.31 c INPROCESSING
13.92/14.31 c GARBAGE COLLECT
13.92/14.31 c rational objective 250.5
14.72/15.10 c #Conflicts: 140000 | #Constraints: 8782
14.72/15.10 c #Conflicts: 141000 | #Constraints: 9782
14.72/15.10 c #Conflicts: 142000 | #Constraints: 10782
14.72/15.10 c #Conflicts: 143000 | #Constraints: 11782
14.72/15.10 c #Conflicts: 144000 | #Constraints: 12782
14.72/15.10 c #Conflicts: 145000 | #Constraints: 13782
14.72/15.10 c #Conflicts: 146000 | #Constraints: 14782
14.72/15.10 c #Conflicts: 147000 | #Constraints: 15782
14.72/15.10 c INPROCESSING
14.72/15.10 c GARBAGE COLLECT
14.72/15.10 c rational objective 250.5
15.41/15.87 c #Conflicts: 148000 | #Constraints: 9186
15.41/15.87 c #Conflicts: 149000 | #Constraints: 10186
15.41/15.87 c #Conflicts: 150000 | #Constraints: 11187
15.41/15.87 c #Conflicts: 151000 | #Constraints: 12187
15.41/15.87 c #Conflicts: 152000 | #Constraints: 13187
15.41/15.87 c #Conflicts: 153000 | #Constraints: 14188
15.41/15.87 c #Conflicts: 154000 | #Constraints: 15188
15.41/15.87 c #Conflicts: 155000 | #Constraints: 16188
15.41/15.87 c INPROCESSING
15.41/15.87 c GARBAGE COLLECT
15.41/15.87 c rational objective 250.5
16.32/16.72 c #Conflicts: 156000 | #Constraints: 9386
16.32/16.72 c #Conflicts: 157000 | #Constraints: 10386
16.32/16.72 c #Conflicts: 158000 | #Constraints: 11386
16.32/16.72 c #Conflicts: 159000 | #Constraints: 12387
16.32/16.72 c #Conflicts: 160000 | #Constraints: 13387
16.32/16.72 c #Conflicts: 161000 | #Constraints: 14387
16.32/16.72 c #Conflicts: 162000 | #Constraints: 15387
16.32/16.72 c #Conflicts: 163000 | #Constraints: 16387
16.32/16.72 c INPROCESSING
16.32/16.72 c GARBAGE COLLECT
16.32/16.72 c rational objective 250.5
17.11/17.56 c #Conflicts: 164000 | #Constraints: 9386
17.11/17.56 c #Conflicts: 165000 | #Constraints: 10386
17.11/17.56 c #Conflicts: 166000 | #Constraints: 11386
17.11/17.56 c #Conflicts: 167000 | #Constraints: 12387
17.11/17.56 c #Conflicts: 168000 | #Constraints: 13387
17.11/17.56 c #Conflicts: 169000 | #Constraints: 14388
17.11/17.56 c #Conflicts: 170000 | #Constraints: 15389
17.11/17.56 c #Conflicts: 171000 | #Constraints: 16389
17.11/17.56 c INPROCESSING
17.11/17.56 c GARBAGE COLLECT
17.11/17.56 c rational objective 250.5
17.91/18.38 c #Conflicts: 172000 | #Constraints: 9187
17.91/18.38 c #Conflicts: 173000 | #Constraints: 10187
17.91/18.38 c #Conflicts: 174000 | #Constraints: 11187
17.91/18.38 c #Conflicts: 175000 | #Constraints: 12187
17.91/18.38 c #Conflicts: 176000 | #Constraints: 13187
17.91/18.38 c #Conflicts: 177000 | #Constraints: 14187
17.91/18.38 c #Conflicts: 178000 | #Constraints: 15187
17.91/18.38 c #Conflicts: 179000 | #Constraints: 16187
17.91/18.38 c #Conflicts: 180000 | #Constraints: 17187
17.91/18.38 c INPROCESSING
17.91/18.38 c GARBAGE COLLECT
17.91/18.38 c rational objective 250.5
18.80/19.25 c #Conflicts: 181000 | #Constraints: 9786
18.80/19.25 c #Conflicts: 182000 | #Constraints: 10786
18.80/19.25 c #Conflicts: 183000 | #Constraints: 11786
18.80/19.25 c #Conflicts: 184000 | #Constraints: 12786
18.80/19.25 c #Conflicts: 185000 | #Constraints: 13786
18.80/19.25 c #Conflicts: 186000 | #Constraints: 14786
18.80/19.25 c #Conflicts: 187000 | #Constraints: 15786
18.80/19.25 c #Conflicts: 188000 | #Constraints: 16786
18.80/19.25 c #Conflicts: 189000 | #Constraints: 17786
18.80/19.25 c INPROCESSING
18.80/19.25 c GARBAGE COLLECT
18.80/19.25 c rational objective 250.5
19.81/20.20 c #Conflicts: 190000 | #Constraints: 10192
19.81/20.20 c #Conflicts: 191000 | #Constraints: 11193
19.81/20.20 c #Conflicts: 192000 | #Constraints: 12193
19.81/20.20 c #Conflicts: 193000 | #Constraints: 13193
19.81/20.20 c #Conflicts: 194000 | #Constraints: 14193
19.81/20.20 c #Conflicts: 195000 | #Constraints: 15193
19.81/20.20 c #Conflicts: 196000 | #Constraints: 16193
19.81/20.20 c #Conflicts: 197000 | #Constraints: 17193
19.81/20.20 c #Conflicts: 198000 | #Constraints: 18193
19.81/20.20 c INPROCESSING
19.81/20.20 c GARBAGE COLLECT
19.81/20.20 c rational objective 250.5
20.61/21.10 c #Conflicts: 199000 | #Constraints: 10385
20.61/21.10 c #Conflicts: 200000 | #Constraints: 11386
20.61/21.10 c #Conflicts: 201000 | #Constraints: 12386
20.61/21.10 c #Conflicts: 202000 | #Constraints: 13386
20.61/21.10 c #Conflicts: 203000 | #Constraints: 14386
20.61/21.10 c #Conflicts: 204000 | #Constraints: 15386
20.61/21.10 c #Conflicts: 205000 | #Constraints: 16386
20.61/21.10 c #Conflicts: 206000 | #Constraints: 17386
20.61/21.10 c #Conflicts: 207000 | #Constraints: 18386
20.61/21.10 c INPROCESSING
20.61/21.10 c GARBAGE COLLECT
20.61/21.10 c rational objective 250.5
21.61/22.02 c #Conflicts: 208000 | #Constraints: 10389
21.61/22.02 c #Conflicts: 209000 | #Constraints: 11389
21.61/22.02 c #Conflicts: 210000 | #Constraints: 12389
21.61/22.02 c #Conflicts: 211000 | #Constraints: 13389
21.61/22.02 c #Conflicts: 212000 | #Constraints: 14389
21.61/22.02 c #Conflicts: 213000 | #Constraints: 15389
21.61/22.02 c #Conflicts: 214000 | #Constraints: 16389
21.61/22.02 c #Conflicts: 215000 | #Constraints: 17389
21.61/22.02 c #Conflicts: 216000 | #Constraints: 18389
21.61/22.02 c INPROCESSING
21.61/22.02 c GARBAGE COLLECT
21.61/22.02 c rational objective 250.5
22.60/23.06 c #Conflicts: 217000 | #Constraints: 10196
22.60/23.06 c #Conflicts: 218000 | #Constraints: 11196
22.60/23.06 c #Conflicts: 219000 | #Constraints: 12196
22.60/23.06 c #Conflicts: 220000 | #Constraints: 13196
22.60/23.06 c #Conflicts: 221000 | #Constraints: 14196
22.60/23.06 c #Conflicts: 222000 | #Constraints: 15196
22.60/23.06 c #Conflicts: 223000 | #Constraints: 16196
22.60/23.06 c #Conflicts: 224000 | #Constraints: 17196
22.60/23.06 c #Conflicts: 225000 | #Constraints: 18196
22.60/23.06 c #Conflicts: 226000 | #Constraints: 19196
22.60/23.06 c INPROCESSING
22.60/23.06 c GARBAGE COLLECT
22.60/23.06 c rational objective 250.5
23.60/24.02 c #Conflicts: 227000 | #Constraints: 10799
23.60/24.02 c #Conflicts: 228000 | #Constraints: 11799
23.60/24.02 c #Conflicts: 229000 | #Constraints: 12799
23.60/24.02 c #Conflicts: 230000 | #Constraints: 13800
23.60/24.02 c #Conflicts: 231000 | #Constraints: 14800
23.60/24.02 c #Conflicts: 232000 | #Constraints: 15800
23.60/24.02 c #Conflicts: 233000 | #Constraints: 16800
23.60/24.02 c #Conflicts: 234000 | #Constraints: 17800
23.60/24.02 c #Conflicts: 235000 | #Constraints: 18801
23.60/24.02 c #Conflicts: 236000 | #Constraints: 19802
23.60/24.02 c INPROCESSING
23.60/24.02 c GARBAGE COLLECT
23.60/24.02 c rational objective 250.5
24.49/25.00 c #Conflicts: 237000 | #Constraints: 11193
24.49/25.00 c #Conflicts: 238000 | #Constraints: 12193
24.49/25.00 c #Conflicts: 239000 | #Constraints: 13193
24.49/25.00 c #Conflicts: 240000 | #Constraints: 14193
24.49/25.00 c #Conflicts: 241000 | #Constraints: 15193
24.49/25.00 c #Conflicts: 242000 | #Constraints: 16193
24.49/25.00 c #Conflicts: 243000 | #Constraints: 17194
24.49/25.00 c #Conflicts: 244000 | #Constraints: 18194
24.49/25.00 c #Conflicts: 245000 | #Constraints: 19194
24.49/25.00 c #Conflicts: 246000 | #Constraints: 20194
24.49/25.00 c INPROCESSING
24.49/25.00 c GARBAGE COLLECT
24.49/25.00 c rational objective 250.5
25.50/25.97 c #Conflicts: 247000 | #Constraints: 11387
25.50/25.97 c #Conflicts: 248000 | #Constraints: 12388
25.50/25.97 c #Conflicts: 249000 | #Constraints: 13388
25.50/25.97 c #Conflicts: 250000 | #Constraints: 14388
25.50/25.97 c #Conflicts: 251000 | #Constraints: 15388
25.50/25.97 c #Conflicts: 252000 | #Constraints: 16388
25.50/25.97 c #Conflicts: 253000 | #Constraints: 17388
25.50/25.97 c #Conflicts: 254000 | #Constraints: 18388
25.50/25.97 c #Conflicts: 255000 | #Constraints: 19388
25.50/25.97 c #Conflicts: 256000 | #Constraints: 20388
25.50/25.97 c INPROCESSING
25.50/25.97 c GARBAGE COLLECT
25.50/25.97 c rational objective 250.5
26.60/27.00 c #Conflicts: 257000 | #Constraints: 11386
26.60/27.00 c #Conflicts: 258000 | #Constraints: 12386
26.60/27.00 c #Conflicts: 259000 | #Constraints: 13387
26.60/27.00 c #Conflicts: 260000 | #Constraints: 14387
26.60/27.00 c #Conflicts: 261000 | #Constraints: 15387
26.60/27.00 c #Conflicts: 262000 | #Constraints: 16387
26.60/27.00 c #Conflicts: 263000 | #Constraints: 17387
26.60/27.00 c #Conflicts: 264000 | #Constraints: 18387
26.60/27.00 c #Conflicts: 265000 | #Constraints: 19387
26.60/27.00 c #Conflicts: 266000 | #Constraints: 20387
26.60/27.00 c INPROCESSING
26.60/27.00 c GARBAGE COLLECT
26.60/27.00 c rational objective 250.5
27.70/28.13 c #Conflicts: 267000 | #Constraints: 11195
27.70/28.13 c #Conflicts: 268000 | #Constraints: 12195
27.70/28.13 c #Conflicts: 269000 | #Constraints: 13195
27.70/28.13 c #Conflicts: 270000 | #Constraints: 14195
27.70/28.13 c #Conflicts: 271000 | #Constraints: 15195
27.70/28.13 c #Conflicts: 272000 | #Constraints: 16195
27.70/28.13 c #Conflicts: 273000 | #Constraints: 17195
27.70/28.13 c #Conflicts: 274000 | #Constraints: 18195
27.70/28.13 c #Conflicts: 275000 | #Constraints: 19195
27.70/28.13 c #Conflicts: 276000 | #Constraints: 20195
27.70/28.13 c #Conflicts: 277000 | #Constraints: 21196
27.70/28.13 c INPROCESSING
27.70/28.13 c GARBAGE COLLECT
27.70/28.13 c rational objective 250.5
28.69/29.17 c #Conflicts: 278000 | #Constraints: 11788
28.69/29.17 c #Conflicts: 279000 | #Constraints: 12789
28.69/29.17 c #Conflicts: 280000 | #Constraints: 13789
28.69/29.17 c #Conflicts: 281000 | #Constraints: 14789
28.69/29.17 c #Conflicts: 282000 | #Constraints: 15789
28.69/29.17 c #Conflicts: 283000 | #Constraints: 16789
28.69/29.17 c #Conflicts: 284000 | #Constraints: 17789
28.69/29.17 c #Conflicts: 285000 | #Constraints: 18790
28.69/29.17 c #Conflicts: 286000 | #Constraints: 19790
28.69/29.17 c #Conflicts: 287000 | #Constraints: 20790
28.69/29.17 c #Conflicts: 288000 | #Constraints: 21790
28.69/29.17 c INPROCESSING
28.69/29.17 c GARBAGE COLLECT
28.69/29.17 c rational objective 250.5
29.88/30.38 c #Conflicts: 289000 | #Constraints: 12185
29.88/30.38 c #Conflicts: 290000 | #Constraints: 13185
29.88/30.38 c #Conflicts: 291000 | #Constraints: 14185
29.88/30.38 c #Conflicts: 292000 | #Constraints: 15185
29.88/30.38 c #Conflicts: 293000 | #Constraints: 16185
29.88/30.38 c #Conflicts: 294000 | #Constraints: 17185
29.88/30.38 c #Conflicts: 295000 | #Constraints: 18185
29.88/30.38 c #Conflicts: 296000 | #Constraints: 19185
29.88/30.38 c #Conflicts: 297000 | #Constraints: 20185
29.88/30.38 c #Conflicts: 298000 | #Constraints: 21185
29.88/30.38 c #Conflicts: 299000 | #Constraints: 22185
29.88/30.38 c INPROCESSING
29.88/30.38 c GARBAGE COLLECT
29.88/30.38 c rational objective 250.5
31.08/31.50 c #Conflicts: 300000 | #Constraints: 12382
31.08/31.50 c #Conflicts: 301000 | #Constraints: 13382
31.08/31.50 c #Conflicts: 302000 | #Constraints: 14382
31.08/31.50 c #Conflicts: 303000 | #Constraints: 15382
31.08/31.50 c #Conflicts: 304000 | #Constraints: 16382
31.08/31.50 c #Conflicts: 305000 | #Constraints: 17382
31.08/31.50 c #Conflicts: 306000 | #Constraints: 18382
31.08/31.50 c #Conflicts: 307000 | #Constraints: 19382
31.08/31.50 c #Conflicts: 308000 | #Constraints: 20382
31.08/31.50 c #Conflicts: 309000 | #Constraints: 21382
31.08/31.50 c #Conflicts: 310000 | #Constraints: 22382
31.08/31.50 c INPROCESSING
31.08/31.50 c GARBAGE COLLECT
31.08/31.50 c rational objective 250.5
32.18/32.62 c #Conflicts: 311000 | #Constraints: 12383
32.18/32.62 c #Conflicts: 312000 | #Constraints: 13383
32.18/32.62 c #Conflicts: 313000 | #Constraints: 14383
32.18/32.62 c #Conflicts: 314000 | #Constraints: 15383
32.18/32.62 c #Conflicts: 315000 | #Constraints: 16383
32.18/32.62 c #Conflicts: 316000 | #Constraints: 17383
32.18/32.62 c #Conflicts: 317000 | #Constraints: 18383
32.18/32.62 c #Conflicts: 318000 | #Constraints: 19383
32.18/32.62 c #Conflicts: 319000 | #Constraints: 20383
32.18/32.62 c #Conflicts: 320000 | #Constraints: 21383
32.18/32.62 c #Conflicts: 321000 | #Constraints: 22383
32.18/32.62 c INPROCESSING
32.18/32.62 c GARBAGE COLLECT
32.18/32.62 c rational objective 250.5
33.68/34.11 c #Conflicts: 322000 | #Constraints: 12192
33.68/34.11 c #Conflicts: 323000 | #Constraints: 13192
33.68/34.11 c #Conflicts: 324000 | #Constraints: 14192
33.68/34.11 c #Conflicts: 325000 | #Constraints: 15192
33.68/34.11 c #Conflicts: 326000 | #Constraints: 16192
33.68/34.11 c #Conflicts: 327000 | #Constraints: 17192
33.68/34.11 c #Conflicts: 328000 | #Constraints: 18192
33.68/34.11 c #Conflicts: 329000 | #Constraints: 19192
33.68/34.11 c #Conflicts: 330000 | #Constraints: 20192
33.68/34.11 c #Conflicts: 331000 | #Constraints: 21192
33.68/34.11 c #Conflicts: 332000 | #Constraints: 22192
33.68/34.11 c #Conflicts: 333000 | #Constraints: 23192
33.68/34.11 c INPROCESSING
33.68/34.11 c GARBAGE COLLECT
33.68/34.11 c rational objective 250.5
34.87/35.30 c #Conflicts: 334000 | #Constraints: 12793
34.87/35.30 c #Conflicts: 335000 | #Constraints: 13793
34.87/35.30 c #Conflicts: 336000 | #Constraints: 14793
34.87/35.30 c #Conflicts: 337000 | #Constraints: 15794
34.87/35.30 c #Conflicts: 338000 | #Constraints: 16794
34.87/35.30 c #Conflicts: 339000 | #Constraints: 17794
34.87/35.30 c #Conflicts: 340000 | #Constraints: 18794
34.87/35.30 c #Conflicts: 341000 | #Constraints: 19794
34.87/35.30 c #Conflicts: 342000 | #Constraints: 20794
34.87/35.30 c #Conflicts: 343000 | #Constraints: 21794
34.87/35.30 c #Conflicts: 344000 | #Constraints: 22794
34.87/35.30 c #Conflicts: 345000 | #Constraints: 23794
34.87/35.30 c INPROCESSING
34.87/35.30 c GARBAGE COLLECT
34.87/35.30 c rational objective 250.5
36.07/36.50 c #Conflicts: 346000 | #Constraints: 13186
36.07/36.50 c #Conflicts: 347000 | #Constraints: 14186
36.07/36.50 c #Conflicts: 348000 | #Constraints: 15186
36.07/36.50 c #Conflicts: 349000 | #Constraints: 16186
36.07/36.50 c #Conflicts: 350000 | #Constraints: 17186
36.07/36.50 c #Conflicts: 351000 | #Constraints: 18186
36.07/36.50 c #Conflicts: 352000 | #Constraints: 19186
36.07/36.50 c #Conflicts: 353000 | #Constraints: 20186
36.07/36.50 c #Conflicts: 354000 | #Constraints: 21186
36.07/36.50 c #Conflicts: 355000 | #Constraints: 22186
36.07/36.50 c #Conflicts: 356000 | #Constraints: 23186
36.07/36.50 c #Conflicts: 357000 | #Constraints: 24186
36.07/36.50 c INPROCESSING
36.07/36.50 c GARBAGE COLLECT
36.07/36.50 c rational objective 250.5
37.27/37.74 c #Conflicts: 358000 | #Constraints: 13393
37.27/37.74 c #Conflicts: 359000 | #Constraints: 14393
37.27/37.74 c #Conflicts: 360000 | #Constraints: 15393
37.27/37.74 c #Conflicts: 361000 | #Constraints: 16393
37.27/37.74 c #Conflicts: 362000 | #Constraints: 17393
37.27/37.74 c #Conflicts: 363000 | #Constraints: 18393
37.27/37.74 c #Conflicts: 364000 | #Constraints: 19393
37.27/37.74 c #Conflicts: 365000 | #Constraints: 20393
37.27/37.74 c #Conflicts: 366000 | #Constraints: 21393
37.27/37.74 c #Conflicts: 367000 | #Constraints: 22393
37.27/37.74 c #Conflicts: 368000 | #Constraints: 23393
37.27/37.74 c #Conflicts: 369000 | #Constraints: 24393
37.27/37.74 c INPROCESSING
37.27/37.74 c GARBAGE COLLECT
37.27/37.74 c rational objective 250.5
38.77/39.22 c #Conflicts: 370000 | #Constraints: 13402
38.77/39.22 c #Conflicts: 371000 | #Constraints: 14402
38.77/39.22 c #Conflicts: 372000 | #Constraints: 15402
38.77/39.22 c #Conflicts: 373000 | #Constraints: 16402
38.77/39.22 c #Conflicts: 374000 | #Constraints: 17402
38.77/39.22 c #Conflicts: 375000 | #Constraints: 18402
38.77/39.22 c #Conflicts: 376000 | #Constraints: 19402
38.77/39.22 c #Conflicts: 377000 | #Constraints: 20402
38.77/39.22 c #Conflicts: 378000 | #Constraints: 21402
38.77/39.22 c #Conflicts: 379000 | #Constraints: 22402
38.77/39.22 c #Conflicts: 380000 | #Constraints: 23402
38.77/39.22 c #Conflicts: 381000 | #Constraints: 24402
38.77/39.22 c INPROCESSING
38.77/39.22 c GARBAGE COLLECT
38.77/39.22 c rational objective 250.5
40.06/40.58 c #Conflicts: 382000 | #Constraints: 13194
40.06/40.58 c #Conflicts: 383000 | #Constraints: 14194
40.06/40.58 c #Conflicts: 384000 | #Constraints: 15194
40.06/40.58 c #Conflicts: 385000 | #Constraints: 16194
40.06/40.58 c #Conflicts: 386000 | #Constraints: 17194
40.06/40.58 c #Conflicts: 387000 | #Constraints: 18194
40.06/40.58 c #Conflicts: 388000 | #Constraints: 19194
40.06/40.58 c #Conflicts: 389000 | #Constraints: 20194
40.06/40.58 c #Conflicts: 390000 | #Constraints: 21194
40.06/40.58 c #Conflicts: 391000 | #Constraints: 22194
40.06/40.58 c #Conflicts: 392000 | #Constraints: 23194
40.06/40.58 c #Conflicts: 393000 | #Constraints: 24194
40.06/40.58 c #Conflicts: 394000 | #Constraints: 25194
40.06/40.58 c INPROCESSING
40.06/40.58 c GARBAGE COLLECT
40.06/40.58 c rational objective 250.5
41.36/41.82 c #Conflicts: 395000 | #Constraints: 13796
41.36/41.82 c #Conflicts: 396000 | #Constraints: 14796
41.36/41.82 c #Conflicts: 397000 | #Constraints: 15796
41.36/41.82 c #Conflicts: 398000 | #Constraints: 16796
41.36/41.82 c #Conflicts: 399000 | #Constraints: 17796
41.36/41.82 c #Conflicts: 400000 | #Constraints: 18796
41.36/41.82 c #Conflicts: 401000 | #Constraints: 19796
41.36/41.82 c #Conflicts: 402000 | #Constraints: 20796
41.36/41.82 c #Conflicts: 403000 | #Constraints: 21796
41.36/41.82 c #Conflicts: 404000 | #Constraints: 22796
41.36/41.82 c #Conflicts: 405000 | #Constraints: 23797
41.36/41.82 c #Conflicts: 406000 | #Constraints: 24797
41.36/41.82 c #Conflicts: 407000 | #Constraints: 25797
41.36/41.82 c INPROCESSING
41.36/41.82 c GARBAGE COLLECT
41.36/41.82 c rational objective 250.5
42.65/43.18 c #Conflicts: 408000 | #Constraints: 14194
42.65/43.18 c #Conflicts: 409000 | #Constraints: 15194
42.65/43.18 c #Conflicts: 410000 | #Constraints: 16194
42.65/43.18 c #Conflicts: 411000 | #Constraints: 17194
42.65/43.18 c #Conflicts: 412000 | #Constraints: 18194
42.65/43.18 c #Conflicts: 413000 | #Constraints: 19194
42.65/43.18 c #Conflicts: 414000 | #Constraints: 20194
42.65/43.18 c #Conflicts: 415000 | #Constraints: 21194
42.65/43.18 c #Conflicts: 416000 | #Constraints: 22194
42.65/43.18 c #Conflicts: 417000 | #Constraints: 23194
42.65/43.18 c #Conflicts: 418000 | #Constraints: 24194
42.65/43.18 c #Conflicts: 419000 | #Constraints: 25194
42.65/43.18 c #Conflicts: 420000 | #Constraints: 26194
42.65/43.18 c INPROCESSING
42.65/43.18 c GARBAGE COLLECT
42.65/43.18 c rational objective 250.5
44.15/44.68 c #Conflicts: 421000 | #Constraints: 14392
44.15/44.68 c #Conflicts: 422000 | #Constraints: 15392
44.15/44.68 c #Conflicts: 423000 | #Constraints: 16392
44.15/44.68 c #Conflicts: 424000 | #Constraints: 17392
44.15/44.68 c #Conflicts: 425000 | #Constraints: 18392
44.15/44.68 c #Conflicts: 426000 | #Constraints: 19393
44.15/44.68 c #Conflicts: 427000 | #Constraints: 20393
44.15/44.68 c #Conflicts: 428000 | #Constraints: 21393
44.15/44.68 c #Conflicts: 429000 | #Constraints: 22393
44.15/44.68 c #Conflicts: 430000 | #Constraints: 23393
44.15/44.68 c #Conflicts: 431000 | #Constraints: 24393
44.15/44.68 c #Conflicts: 432000 | #Constraints: 25393
44.15/44.68 c #Conflicts: 433000 | #Constraints: 26393
44.15/44.68 c INPROCESSING
44.15/44.68 c GARBAGE COLLECT
44.15/44.68 c rational objective 250.5
45.75/46.20 c #Conflicts: 434000 | #Constraints: 14400
45.75/46.20 c #Conflicts: 435000 | #Constraints: 15400
45.75/46.20 c #Conflicts: 436000 | #Constraints: 16400
45.75/46.20 c #Conflicts: 437000 | #Constraints: 17400
45.75/46.20 c #Conflicts: 438000 | #Constraints: 18400
45.75/46.20 c #Conflicts: 439000 | #Constraints: 19400
45.75/46.20 c #Conflicts: 440000 | #Constraints: 20400
45.75/46.20 c #Conflicts: 441000 | #Constraints: 21400
45.75/46.20 c #Conflicts: 442000 | #Constraints: 22400
45.75/46.20 c #Conflicts: 443000 | #Constraints: 23400
45.75/46.20 c #Conflicts: 444000 | #Constraints: 24400
45.75/46.20 c #Conflicts: 445000 | #Constraints: 25400
45.75/46.20 c #Conflicts: 446000 | #Constraints: 26400
45.75/46.20 c INPROCESSING
45.75/46.20 c GARBAGE COLLECT
45.75/46.20 c rational objective 250.5
47.25/47.73 c #Conflicts: 447000 | #Constraints: 14206
47.25/47.73 c #Conflicts: 448000 | #Constraints: 15206
47.25/47.73 c #Conflicts: 449000 | #Constraints: 16206
47.25/47.73 c #Conflicts: 450000 | #Constraints: 17206
47.25/47.73 c #Conflicts: 451000 | #Constraints: 18207
47.25/47.73 c #Conflicts: 452000 | #Constraints: 19207
47.25/47.73 c #Conflicts: 453000 | #Constraints: 20207
47.25/47.73 c #Conflicts: 454000 | #Constraints: 21207
47.25/47.73 c #Conflicts: 455000 | #Constraints: 22207
47.25/47.73 c #Conflicts: 456000 | #Constraints: 23207
47.25/47.73 c #Conflicts: 457000 | #Constraints: 24207
47.25/47.73 c #Conflicts: 458000 | #Constraints: 25207
47.25/47.73 c #Conflicts: 459000 | #Constraints: 26207
47.25/47.73 c #Conflicts: 460000 | #Constraints: 27207
47.25/47.73 c INPROCESSING
47.25/47.73 c GARBAGE COLLECT
47.25/47.73 c rational objective 250.5
48.74/49.26 c #Conflicts: 461000 | #Constraints: 14804
48.74/49.26 c #Conflicts: 462000 | #Constraints: 15804
48.74/49.26 c #Conflicts: 463000 | #Constraints: 16804
48.74/49.26 c #Conflicts: 464000 | #Constraints: 17804
48.74/49.26 c #Conflicts: 465000 | #Constraints: 18804
48.74/49.26 c #Conflicts: 466000 | #Constraints: 19804
48.74/49.26 c #Conflicts: 467000 | #Constraints: 20804
48.74/49.26 c #Conflicts: 468000 | #Constraints: 21804
48.74/49.26 c #Conflicts: 469000 | #Constraints: 22804
48.74/49.26 c #Conflicts: 470000 | #Constraints: 23804
48.74/49.26 c #Conflicts: 471000 | #Constraints: 24804
48.74/49.26 c #Conflicts: 472000 | #Constraints: 25804
48.74/49.26 c #Conflicts: 473000 | #Constraints: 26804
48.74/49.26 c #Conflicts: 474000 | #Constraints: 27804
48.74/49.26 c INPROCESSING
48.74/49.26 c GARBAGE COLLECT
48.74/49.26 c rational objective 250.5
50.73/51.27 c #Conflicts: 475000 | #Constraints: 15207
50.73/51.27 c #Conflicts: 476000 | #Constraints: 16207
50.73/51.27 c #Conflicts: 477000 | #Constraints: 17207
50.73/51.27 c #Conflicts: 478000 | #Constraints: 18207
50.73/51.27 c #Conflicts: 479000 | #Constraints: 19207
50.73/51.27 c #Conflicts: 480000 | #Constraints: 20207
50.73/51.27 c #Conflicts: 481000 | #Constraints: 21207
50.73/51.27 c #Conflicts: 482000 | #Constraints: 22207
50.73/51.27 c #Conflicts: 483000 | #Constraints: 23207
50.73/51.27 c #Conflicts: 484000 | #Constraints: 24207
50.73/51.27 c #Conflicts: 485000 | #Constraints: 25207
50.73/51.27 c #Conflicts: 486000 | #Constraints: 26207
50.73/51.27 c #Conflicts: 487000 | #Constraints: 27207
50.73/51.27 c #Conflicts: 488000 | #Constraints: 28207
50.73/51.27 c INPROCESSING
50.73/51.27 c GARBAGE COLLECT
50.73/51.27 c rational objective 250.5
52.23/52.72 c #Conflicts: 489000 | #Constraints: 15418
52.23/52.72 c #Conflicts: 490000 | #Constraints: 16418
52.23/52.72 c #Conflicts: 491000 | #Constraints: 17418
52.23/52.72 c #Conflicts: 492000 | #Constraints: 18418
52.23/52.72 c #Conflicts: 493000 | #Constraints: 19418
52.23/52.72 c #Conflicts: 494000 | #Constraints: 20418
52.23/52.72 c #Conflicts: 495000 | #Constraints: 21418
52.23/52.72 c #Conflicts: 496000 | #Constraints: 22418
52.23/52.72 c #Conflicts: 497000 | #Constraints: 23418
52.23/52.72 c #Conflicts: 498000 | #Constraints: 24418
52.23/52.72 c #Conflicts: 499000 | #Constraints: 25418
52.23/52.72 c #Conflicts: 500000 | #Constraints: 26418
52.23/52.72 c #Conflicts: 501000 | #Constraints: 27418
52.23/52.72 c #Conflicts: 502000 | #Constraints: 28418
52.23/52.72 c INPROCESSING
52.23/52.72 c GARBAGE COLLECT
52.23/52.72 c rational objective 250.5
53.72/54.26 c #Conflicts: 503000 | #Constraints: 15417
53.72/54.26 c #Conflicts: 504000 | #Constraints: 16417
53.72/54.26 c #Conflicts: 505000 | #Constraints: 17417
53.72/54.26 c #Conflicts: 506000 | #Constraints: 18417
53.72/54.26 c #Conflicts: 507000 | #Constraints: 19417
53.72/54.26 c #Conflicts: 508000 | #Constraints: 20417
53.72/54.26 c #Conflicts: 509000 | #Constraints: 21417
53.72/54.26 c #Conflicts: 510000 | #Constraints: 22417
53.72/54.26 c #Conflicts: 511000 | #Constraints: 23417
53.72/54.26 c #Conflicts: 512000 | #Constraints: 24417
53.72/54.26 c #Conflicts: 513000 | #Constraints: 25417
53.72/54.26 c #Conflicts: 514000 | #Constraints: 26417
53.72/54.26 c #Conflicts: 515000 | #Constraints: 27417
53.72/54.26 c #Conflicts: 516000 | #Constraints: 28417
53.72/54.26 c INPROCESSING
53.72/54.26 c GARBAGE COLLECT
53.72/54.26 c rational objective 250.5
55.32/55.84 c #Conflicts: 517000 | #Constraints: 15213
55.32/55.84 c #Conflicts: 518000 | #Constraints: 16213
55.32/55.84 c #Conflicts: 519000 | #Constraints: 17213
55.32/55.84 c #Conflicts: 520000 | #Constraints: 18213
55.32/55.84 c #Conflicts: 521000 | #Constraints: 19213
55.32/55.84 c #Conflicts: 522000 | #Constraints: 20213
55.32/55.84 c #Conflicts: 523000 | #Constraints: 21213
55.32/55.84 c #Conflicts: 524000 | #Constraints: 22213
55.32/55.84 c #Conflicts: 525000 | #Constraints: 23213
55.32/55.84 c #Conflicts: 526000 | #Constraints: 24214
55.32/55.84 c #Conflicts: 527000 | #Constraints: 25214
55.32/55.84 c #Conflicts: 528000 | #Constraints: 26214
55.32/55.84 c #Conflicts: 529000 | #Constraints: 27215
55.32/55.84 c #Conflicts: 530000 | #Constraints: 28215
55.32/55.84 c #Conflicts: 531000 | #Constraints: 29215
55.32/55.84 c INPROCESSING
55.32/55.84 c GARBAGE COLLECT
55.32/55.84 c rational objective 250.5
56.92/57.41 c #Conflicts: 532000 | #Constraints: 15813
56.92/57.41 c #Conflicts: 533000 | #Constraints: 16813
56.92/57.41 c #Conflicts: 534000 | #Constraints: 17813
56.92/57.41 c #Conflicts: 535000 | #Constraints: 18813
56.92/57.41 c #Conflicts: 536000 | #Constraints: 19813
56.92/57.41 c #Conflicts: 537000 | #Constraints: 20813
56.92/57.41 c #Conflicts: 538000 | #Constraints: 21813
56.92/57.41 c #Conflicts: 539000 | #Constraints: 22813
56.92/57.41 c #Conflicts: 540000 | #Constraints: 23813
56.92/57.41 c #Conflicts: 541000 | #Constraints: 24813
56.92/57.41 c #Conflicts: 542000 | #Constraints: 25813
56.92/57.41 c #Conflicts: 543000 | #Constraints: 26813
56.92/57.41 c #Conflicts: 544000 | #Constraints: 27813
56.92/57.41 c #Conflicts: 545000 | #Constraints: 28813
56.92/57.41 c #Conflicts: 546000 | #Constraints: 29813
56.92/57.41 c INPROCESSING
56.92/57.41 c GARBAGE COLLECT
56.92/57.41 c rational objective 250.5
58.71/59.25 c #Conflicts: 547000 | #Constraints: 16208
58.71/59.25 c #Conflicts: 548000 | #Constraints: 17208
58.71/59.25 c #Conflicts: 549000 | #Constraints: 18208
58.71/59.25 c #Conflicts: 550000 | #Constraints: 19208
58.71/59.25 c #Conflicts: 551000 | #Constraints: 20208
58.71/59.25 c #Conflicts: 552000 | #Constraints: 21208
58.71/59.25 c #Conflicts: 553000 | #Constraints: 22208
58.71/59.25 c #Conflicts: 554000 | #Constraints: 23208
58.71/59.25 c #Conflicts: 555000 | #Constraints: 24208
58.71/59.25 c #Conflicts: 556000 | #Constraints: 25208
58.71/59.25 c #Conflicts: 557000 | #Constraints: 26208
58.71/59.25 c #Conflicts: 558000 | #Constraints: 27208
58.71/59.25 c #Conflicts: 559000 | #Constraints: 28209
58.71/59.25 c #Conflicts: 560000 | #Constraints: 29209
58.71/59.25 c #Conflicts: 561000 | #Constraints: 30209
58.71/59.25 c INPROCESSING
58.71/59.25 c GARBAGE COLLECT
58.71/59.25 c rational objective 250.5
60.41/60.92 c #Conflicts: 562000 | #Constraints: 16411
60.41/60.92 c #Conflicts: 563000 | #Constraints: 17411
60.41/60.92 c #Conflicts: 564000 | #Constraints: 18411
60.41/60.92 c #Conflicts: 565000 | #Constraints: 19411
60.41/60.92 c #Conflicts: 566000 | #Constraints: 20411
60.41/60.92 c #Conflicts: 567000 | #Constraints: 21411
60.41/60.92 c #Conflicts: 568000 | #Constraints: 22411
60.41/60.92 c #Conflicts: 569000 | #Constraints: 23411
60.41/60.92 c #Conflicts: 570000 | #Constraints: 24411
60.41/60.92 c #Conflicts: 571000 | #Constraints: 25411
60.41/60.92 c #Conflicts: 572000 | #Constraints: 26411
60.41/60.92 c #Conflicts: 573000 | #Constraints: 27411
60.41/60.92 c #Conflicts: 574000 | #Constraints: 28411
60.41/60.92 c #Conflicts: 575000 | #Constraints: 29411
60.41/60.92 c #Conflicts: 576000 | #Constraints: 30411
60.41/60.92 c INPROCESSING
60.41/60.92 c GARBAGE COLLECT
60.41/60.92 c rational objective 250.5
62.10/62.67 c #Conflicts: 577000 | #Constraints: 16420
62.10/62.67 c #Conflicts: 578000 | #Constraints: 17420
62.10/62.67 c #Conflicts: 579000 | #Constraints: 18420
62.10/62.67 c #Conflicts: 580000 | #Constraints: 19420
62.10/62.67 c #Conflicts: 581000 | #Constraints: 20420
62.10/62.67 c #Conflicts: 582000 | #Constraints: 21420
62.10/62.67 c #Conflicts: 583000 | #Constraints: 22420
62.10/62.67 c #Conflicts: 584000 | #Constraints: 23420
62.10/62.67 c #Conflicts: 585000 | #Constraints: 24420
62.10/62.67 c #Conflicts: 586000 | #Constraints: 25420
62.10/62.67 c #Conflicts: 587000 | #Constraints: 26421
62.10/62.67 c #Conflicts: 588000 | #Constraints: 27421
62.10/62.67 c #Conflicts: 589000 | #Constraints: 28421
62.10/62.67 c #Conflicts: 590000 | #Constraints: 29421
62.10/62.67 c #Conflicts: 591000 | #Constraints: 30421
62.10/62.67 c INPROCESSING
62.10/62.67 c GARBAGE COLLECT
62.10/62.67 c rational objective 250.5
63.90/64.43 c #Conflicts: 592000 | #Constraints: 16217
63.90/64.43 c #Conflicts: 593000 | #Constraints: 17217
63.90/64.43 c #Conflicts: 594000 | #Constraints: 18217
63.90/64.43 c #Conflicts: 595000 | #Constraints: 19217
63.90/64.43 c #Conflicts: 596000 | #Constraints: 20217
63.90/64.43 c #Conflicts: 597000 | #Constraints: 21217
63.90/64.43 c #Conflicts: 598000 | #Constraints: 22217
63.90/64.43 c #Conflicts: 599000 | #Constraints: 23217
63.90/64.43 c #Conflicts: 600000 | #Constraints: 24217
63.90/64.43 c #Conflicts: 601000 | #Constraints: 25217
63.90/64.43 c #Conflicts: 602000 | #Constraints: 26217
63.90/64.43 c #Conflicts: 603000 | #Constraints: 27217
63.90/64.43 c #Conflicts: 604000 | #Constraints: 28217
63.90/64.43 c #Conflicts: 605000 | #Constraints: 29217
63.90/64.43 c #Conflicts: 606000 | #Constraints: 30217
63.90/64.43 c #Conflicts: 607000 | #Constraints: 31217
63.90/64.43 c INPROCESSING
63.90/64.43 c GARBAGE COLLECT
63.90/64.43 c rational objective 250.5
65.80/66.35 c #Conflicts: 608000 | #Constraints: 16816
65.80/66.35 c #Conflicts: 609000 | #Constraints: 17816
65.80/66.35 c #Conflicts: 610000 | #Constraints: 18816
65.80/66.35 c #Conflicts: 611000 | #Constraints: 19816
65.80/66.35 c #Conflicts: 612000 | #Constraints: 20816
65.80/66.35 c #Conflicts: 613000 | #Constraints: 21816
65.80/66.35 c #Conflicts: 614000 | #Constraints: 22816
65.80/66.35 c #Conflicts: 615000 | #Constraints: 23816
65.80/66.35 c #Conflicts: 616000 | #Constraints: 24816
65.80/66.35 c #Conflicts: 617000 | #Constraints: 25816
65.80/66.35 c #Conflicts: 618000 | #Constraints: 26816
65.80/66.35 c #Conflicts: 619000 | #Constraints: 27816
65.80/66.35 c #Conflicts: 620000 | #Constraints: 28816
65.80/66.35 c #Conflicts: 621000 | #Constraints: 29816
65.80/66.35 c #Conflicts: 622000 | #Constraints: 30816
65.80/66.35 c #Conflicts: 623000 | #Constraints: 31816
65.80/66.35 c INPROCESSING
65.80/66.35 c GARBAGE COLLECT
65.80/66.35 c rational objective 250.5
67.60/68.19 c #Conflicts: 624000 | #Constraints: 17210
67.60/68.19 c #Conflicts: 625000 | #Constraints: 18210
67.60/68.19 c #Conflicts: 626000 | #Constraints: 19210
67.60/68.19 c #Conflicts: 627000 | #Constraints: 20210
67.60/68.19 c #Conflicts: 628000 | #Constraints: 21210
67.60/68.19 c #Conflicts: 629000 | #Constraints: 22210
67.60/68.19 c #Conflicts: 630000 | #Constraints: 23210
67.60/68.19 c #Conflicts: 631000 | #Constraints: 24210
67.60/68.19 c #Conflicts: 632000 | #Constraints: 25210
67.60/68.19 c #Conflicts: 633000 | #Constraints: 26210
67.60/68.19 c #Conflicts: 634000 | #Constraints: 27210
67.60/68.19 c #Conflicts: 635000 | #Constraints: 28210
67.60/68.19 c #Conflicts: 636000 | #Constraints: 29211
67.60/68.19 c #Conflicts: 637000 | #Constraints: 30211
67.60/68.19 c #Conflicts: 638000 | #Constraints: 31211
67.60/68.19 c #Conflicts: 639000 | #Constraints: 32211
67.60/68.19 c INPROCESSING
67.60/68.19 c GARBAGE COLLECT
67.60/68.19 c rational objective 250.5
69.49/70.04 c #Conflicts: 640000 | #Constraints: 17411
69.49/70.04 c #Conflicts: 641000 | #Constraints: 18411
69.49/70.04 c #Conflicts: 642000 | #Constraints: 19411
69.49/70.04 c #Conflicts: 643000 | #Constraints: 20411
69.49/70.04 c #Conflicts: 644000 | #Constraints: 21411
69.49/70.04 c #Conflicts: 645000 | #Constraints: 22411
69.49/70.04 c #Conflicts: 646000 | #Constraints: 23411
69.49/70.04 c #Conflicts: 647000 | #Constraints: 24411
69.49/70.04 c #Conflicts: 648000 | #Constraints: 25411
69.49/70.04 c #Conflicts: 649000 | #Constraints: 26412
69.49/70.04 c #Conflicts: 650000 | #Constraints: 27412
69.49/70.04 c #Conflicts: 651000 | #Constraints: 28412
69.49/70.04 c #Conflicts: 652000 | #Constraints: 29412
69.49/70.04 c #Conflicts: 653000 | #Constraints: 30413
69.49/70.04 c #Conflicts: 654000 | #Constraints: 31413
69.49/70.04 c #Conflicts: 655000 | #Constraints: 32413
69.49/70.04 c INPROCESSING
69.49/70.04 c GARBAGE COLLECT
69.49/70.04 c rational objective 250.5
71.38/71.91 c #Conflicts: 656000 | #Constraints: 17416
71.38/71.91 c #Conflicts: 657000 | #Constraints: 18416
71.38/71.91 c #Conflicts: 658000 | #Constraints: 19416
71.38/71.91 c #Conflicts: 659000 | #Constraints: 20416
71.38/71.91 c #Conflicts: 660000 | #Constraints: 21416
71.38/71.91 c #Conflicts: 661000 | #Constraints: 22416
71.38/71.91 c #Conflicts: 662000 | #Constraints: 23416
71.38/71.91 c #Conflicts: 663000 | #Constraints: 24416
71.38/71.91 c #Conflicts: 664000 | #Constraints: 25417
71.38/71.91 c #Conflicts: 665000 | #Constraints: 26417
71.38/71.91 c #Conflicts: 666000 | #Constraints: 27417
71.38/71.91 c #Conflicts: 667000 | #Constraints: 28417
71.38/71.91 c #Conflicts: 668000 | #Constraints: 29417
71.38/71.91 c #Conflicts: 669000 | #Constraints: 30417
71.38/71.91 c #Conflicts: 670000 | #Constraints: 31417
71.38/71.91 c #Conflicts: 671000 | #Constraints: 32417
71.38/71.91 c INPROCESSING
71.38/71.91 c GARBAGE COLLECT
71.38/71.91 c rational objective 250.5
73.18/73.78 c #Conflicts: 672000 | #Constraints: 17219
73.18/73.78 c #Conflicts: 673000 | #Constraints: 18219
73.18/73.78 c #Conflicts: 674000 | #Constraints: 19219
73.18/73.78 c #Conflicts: 675000 | #Constraints: 20219
73.18/73.78 c #Conflicts: 676000 | #Constraints: 21219
73.18/73.78 c #Conflicts: 677000 | #Constraints: 22219
73.18/73.78 c #Conflicts: 678000 | #Constraints: 23219
73.18/73.78 c #Conflicts: 679000 | #Constraints: 24219
73.18/73.78 c #Conflicts: 680000 | #Constraints: 25219
73.18/73.78 c #Conflicts: 681000 | #Constraints: 26219
73.18/73.78 c #Conflicts: 682000 | #Constraints: 27219
73.18/73.78 c #Conflicts: 683000 | #Constraints: 28219
73.18/73.78 c #Conflicts: 684000 | #Constraints: 29219
73.18/73.78 c #Conflicts: 685000 | #Constraints: 30219
73.18/73.78 c #Conflicts: 686000 | #Constraints: 31219
73.18/73.78 c #Conflicts: 687000 | #Constraints: 32219
73.18/73.78 c #Conflicts: 688000 | #Constraints: 33219
73.18/73.78 c INPROCESSING
73.18/73.78 c GARBAGE COLLECT
73.18/73.78 c rational objective 250.5
75.17/75.77 c #Conflicts: 689000 | #Constraints: 17819
75.17/75.77 c #Conflicts: 690000 | #Constraints: 18819
75.17/75.77 c #Conflicts: 691000 | #Constraints: 19819
75.17/75.77 c #Conflicts: 692000 | #Constraints: 20819
75.17/75.77 c #Conflicts: 693000 | #Constraints: 21819
75.17/75.77 c #Conflicts: 694000 | #Constraints: 22819
75.17/75.77 c #Conflicts: 695000 | #Constraints: 23819
75.17/75.77 c #Conflicts: 696000 | #Constraints: 24819
75.17/75.77 c #Conflicts: 697000 | #Constraints: 25819
75.17/75.77 c #Conflicts: 698000 | #Constraints: 26819
75.17/75.77 c #Conflicts: 699000 | #Constraints: 27819
75.17/75.77 c #Conflicts: 700000 | #Constraints: 28819
75.17/75.77 c #Conflicts: 701000 | #Constraints: 29819
75.17/75.77 c #Conflicts: 702000 | #Constraints: 30819
75.17/75.77 c #Conflicts: 703000 | #Constraints: 31819
75.17/75.77 c #Conflicts: 704000 | #Constraints: 32819
75.17/75.77 c #Conflicts: 705000 | #Constraints: 33819
75.17/75.77 c INPROCESSING
75.17/75.77 c GARBAGE COLLECT
75.17/75.77 c rational objective 250.5
77.86/78.42 c #Conflicts: 706000 | #Constraints: 18219
77.86/78.42 c #Conflicts: 707000 | #Constraints: 19219
77.86/78.42 c #Conflicts: 708000 | #Constraints: 20219
77.86/78.42 c #Conflicts: 709000 | #Constraints: 21219
77.86/78.42 c #Conflicts: 710000 | #Constraints: 22219
77.86/78.42 c #Conflicts: 711000 | #Constraints: 23219
77.86/78.42 c #Conflicts: 712000 | #Constraints: 24219
77.86/78.42 c #Conflicts: 713000 | #Constraints: 25219
77.86/78.42 c #Conflicts: 714000 | #Constraints: 26219
77.86/78.42 c #Conflicts: 715000 | #Constraints: 27219
77.86/78.42 c #Conflicts: 716000 | #Constraints: 28219
77.86/78.42 c #Conflicts: 717000 | #Constraints: 29219
77.86/78.42 c #Conflicts: 718000 | #Constraints: 30219
77.86/78.42 c #Conflicts: 719000 | #Constraints: 31219
77.86/78.42 c #Conflicts: 720000 | #Constraints: 32220
77.86/78.42 c #Conflicts: 721000 | #Constraints: 33220
77.86/78.42 c #Conflicts: 722000 | #Constraints: 34220
77.86/78.42 c INPROCESSING
77.86/78.42 c GARBAGE COLLECT
77.86/78.42 c rational objective 250.5
79.87/80.43 c #Conflicts: 723000 | #Constraints: 18420
79.87/80.43 c #Conflicts: 724000 | #Constraints: 19420
79.87/80.43 c #Conflicts: 725000 | #Constraints: 20420
79.87/80.43 c #Conflicts: 726000 | #Constraints: 21420
79.87/80.43 c #Conflicts: 727000 | #Constraints: 22420
79.87/80.43 c #Conflicts: 728000 | #Constraints: 23420
79.87/80.43 c #Conflicts: 729000 | #Constraints: 24420
79.87/80.43 c #Conflicts: 730000 | #Constraints: 25421
79.87/80.43 c #Conflicts: 731000 | #Constraints: 26421
79.87/80.43 c #Conflicts: 732000 | #Constraints: 27421
79.87/80.43 c #Conflicts: 733000 | #Constraints: 28421
79.87/80.43 c #Conflicts: 734000 | #Constraints: 29421
79.87/80.43 c #Conflicts: 735000 | #Constraints: 30421
79.87/80.43 c #Conflicts: 736000 | #Constraints: 31421
79.87/80.43 c #Conflicts: 737000 | #Constraints: 32421
79.87/80.43 c #Conflicts: 738000 | #Constraints: 33421
79.87/80.43 c #Conflicts: 739000 | #Constraints: 34421
79.87/80.43 c INPROCESSING
79.87/80.43 c GARBAGE COLLECT
79.87/80.43 c rational objective 250.5
81.86/82.44 c #Conflicts: 740000 | #Constraints: 18424
81.86/82.44 c #Conflicts: 741000 | #Constraints: 19424
81.86/82.44 c #Conflicts: 742000 | #Constraints: 20424
81.86/82.44 c #Conflicts: 743000 | #Constraints: 21424
81.86/82.44 c #Conflicts: 744000 | #Constraints: 22424
81.86/82.44 c #Conflicts: 745000 | #Constraints: 23424
81.86/82.44 c #Conflicts: 746000 | #Constraints: 24424
81.86/82.44 c #Conflicts: 747000 | #Constraints: 25424
81.86/82.44 c #Conflicts: 748000 | #Constraints: 26424
81.86/82.44 c #Conflicts: 749000 | #Constraints: 27424
81.86/82.44 c #Conflicts: 750000 | #Constraints: 28424
81.86/82.44 c #Conflicts: 751000 | #Constraints: 29424
81.86/82.44 c #Conflicts: 752000 | #Constraints: 30424
81.86/82.44 c #Conflicts: 753000 | #Constraints: 31424
81.86/82.44 c #Conflicts: 754000 | #Constraints: 32424
81.86/82.44 c #Conflicts: 755000 | #Constraints: 33424
81.86/82.44 c #Conflicts: 756000 | #Constraints: 34425
81.86/82.44 c INPROCESSING
81.86/82.44 c GARBAGE COLLECT
81.86/82.44 c rational objective 250.5
83.95/84.55 c #Conflicts: 757000 | #Constraints: 18217
83.95/84.55 c #Conflicts: 758000 | #Constraints: 19218
83.95/84.55 c #Conflicts: 759000 | #Constraints: 20218
83.95/84.55 c #Conflicts: 760000 | #Constraints: 21218
83.95/84.55 c #Conflicts: 761000 | #Constraints: 22218
83.95/84.55 c #Conflicts: 762000 | #Constraints: 23218
83.95/84.55 c #Conflicts: 763000 | #Constraints: 24218
83.95/84.55 c #Conflicts: 764000 | #Constraints: 25218
83.95/84.55 c #Conflicts: 765000 | #Constraints: 26218
83.95/84.55 c #Conflicts: 766000 | #Constraints: 27218
83.95/84.55 c #Conflicts: 767000 | #Constraints: 28218
83.95/84.55 c #Conflicts: 768000 | #Constraints: 29218
83.95/84.55 c #Conflicts: 769000 | #Constraints: 30218
83.95/84.55 c #Conflicts: 770000 | #Constraints: 31218
83.95/84.55 c #Conflicts: 771000 | #Constraints: 32218
83.95/84.55 c #Conflicts: 772000 | #Constraints: 33218
83.95/84.55 c #Conflicts: 773000 | #Constraints: 34218
83.95/84.55 c #Conflicts: 774000 | #Constraints: 35218
83.95/84.55 c INPROCESSING
83.95/84.55 c GARBAGE COLLECT
83.95/84.55 c rational objective 250.5
86.15/86.75 c #Conflicts: 775000 | #Constraints: 18817
86.15/86.75 c #Conflicts: 776000 | #Constraints: 19817
86.15/86.75 c #Conflicts: 777000 | #Constraints: 20818
86.15/86.75 c #Conflicts: 778000 | #Constraints: 21818
86.15/86.75 c #Conflicts: 779000 | #Constraints: 22818
86.15/86.75 c #Conflicts: 780000 | #Constraints: 23818
86.15/86.75 c #Conflicts: 781000 | #Constraints: 24818
86.15/86.75 c #Conflicts: 782000 | #Constraints: 25818
86.15/86.75 c #Conflicts: 783000 | #Constraints: 26818
86.15/86.75 c #Conflicts: 784000 | #Constraints: 27818
86.15/86.75 c #Conflicts: 785000 | #Constraints: 28818
86.15/86.75 c #Conflicts: 786000 | #Constraints: 29818
86.15/86.75 c #Conflicts: 787000 | #Constraints: 30818
86.15/86.75 c #Conflicts: 788000 | #Constraints: 31818
86.15/86.75 c #Conflicts: 789000 | #Constraints: 32818
86.15/86.75 c #Conflicts: 790000 | #Constraints: 33818
86.15/86.75 c #Conflicts: 791000 | #Constraints: 34818
86.15/86.75 c #Conflicts: 792000 | #Constraints: 35818
86.15/86.75 c INPROCESSING
86.15/86.75 c GARBAGE COLLECT
86.15/86.75 c rational objective 250.5
88.34/88.95 c #Conflicts: 793000 | #Constraints: 19218
88.34/88.95 c #Conflicts: 794000 | #Constraints: 20218
88.34/88.95 c #Conflicts: 795000 | #Constraints: 21218
88.34/88.95 c #Conflicts: 796000 | #Constraints: 22218
88.34/88.95 c #Conflicts: 797000 | #Constraints: 23218
88.34/88.95 c #Conflicts: 798000 | #Constraints: 24218
88.34/88.95 c #Conflicts: 799000 | #Constraints: 25218
88.34/88.95 c #Conflicts: 800000 | #Constraints: 26219
88.34/88.95 c #Conflicts: 801000 | #Constraints: 27219
88.34/88.95 c #Conflicts: 802000 | #Constraints: 28219
88.34/88.95 c #Conflicts: 803000 | #Constraints: 29219
88.34/88.95 c #Conflicts: 804000 | #Constraints: 30219
88.34/88.95 c #Conflicts: 805000 | #Constraints: 31219
88.34/88.95 c #Conflicts: 806000 | #Constraints: 32219
88.34/88.95 c #Conflicts: 807000 | #Constraints: 33219
88.34/88.95 c #Conflicts: 808000 | #Constraints: 34219
88.34/88.95 c #Conflicts: 809000 | #Constraints: 35219
88.34/88.95 c #Conflicts: 810000 | #Constraints: 36219
88.34/88.95 c INPROCESSING
88.34/88.95 c GARBAGE COLLECT
88.34/88.95 c rational objective 250.5
90.64/91.26 c #Conflicts: 811000 | #Constraints: 19417
90.64/91.26 c #Conflicts: 812000 | #Constraints: 20417
90.64/91.26 c #Conflicts: 813000 | #Constraints: 21417
90.64/91.26 c #Conflicts: 814000 | #Constraints: 22417
90.64/91.26 c #Conflicts: 815000 | #Constraints: 23417
90.64/91.26 c #Conflicts: 816000 | #Constraints: 24417
90.64/91.26 c #Conflicts: 817000 | #Constraints: 25417
90.64/91.26 c #Conflicts: 818000 | #Constraints: 26417
90.64/91.26 c #Conflicts: 819000 | #Constraints: 27418
90.64/91.26 c #Conflicts: 820000 | #Constraints: 28418
90.64/91.26 c #Conflicts: 821000 | #Constraints: 29418
90.64/91.26 c #Conflicts: 822000 | #Constraints: 30418
90.64/91.26 c #Conflicts: 823000 | #Constraints: 31418
90.64/91.26 c #Conflicts: 824000 | #Constraints: 32418
90.64/91.26 c #Conflicts: 825000 | #Constraints: 33419
90.64/91.26 c #Conflicts: 826000 | #Constraints: 34419
90.64/91.26 c #Conflicts: 827000 | #Constraints: 35419
90.64/91.26 c #Conflicts: 828000 | #Constraints: 36419
90.64/91.26 c INPROCESSING
90.64/91.26 c GARBAGE COLLECT
90.64/91.26 c rational objective 250.5
92.73/93.38 c #Conflicts: 829000 | #Constraints: 19424
92.73/93.38 c #Conflicts: 830000 | #Constraints: 20424
92.73/93.38 c #Conflicts: 831000 | #Constraints: 21424
92.73/93.38 c #Conflicts: 832000 | #Constraints: 22424
92.73/93.38 c #Conflicts: 833000 | #Constraints: 23424
92.73/93.38 c #Conflicts: 834000 | #Constraints: 24424
92.73/93.38 c #Conflicts: 835000 | #Constraints: 25424
92.73/93.38 c #Conflicts: 836000 | #Constraints: 26425
92.73/93.38 c #Conflicts: 837000 | #Constraints: 27425
92.73/93.38 c #Conflicts: 838000 | #Constraints: 28425
92.73/93.38 c #Conflicts: 839000 | #Constraints: 29425
92.73/93.38 c #Conflicts: 840000 | #Constraints: 30425
92.73/93.38 c #Conflicts: 841000 | #Constraints: 31425
92.73/93.38 c #Conflicts: 842000 | #Constraints: 32425
92.73/93.38 c #Conflicts: 843000 | #Constraints: 33425
92.73/93.38 c #Conflicts: 844000 | #Constraints: 34425
92.73/93.38 c #Conflicts: 845000 | #Constraints: 35425
92.73/93.38 c #Conflicts: 846000 | #Constraints: 36425
92.73/93.38 c INPROCESSING
92.73/93.38 c GARBAGE COLLECT
92.73/93.38 c rational objective 250.5
95.22/95.86 c #Conflicts: 847000 | #Constraints: 19227
95.22/95.86 c #Conflicts: 848000 | #Constraints: 20227
95.22/95.86 c #Conflicts: 849000 | #Constraints: 21227
95.22/95.86 c #Conflicts: 850000 | #Constraints: 22227
95.22/95.86 c #Conflicts: 851000 | #Constraints: 23227
95.22/95.86 c #Conflicts: 852000 | #Constraints: 24227
95.22/95.86 c #Conflicts: 853000 | #Constraints: 25227
95.22/95.86 c #Conflicts: 854000 | #Constraints: 26227
95.22/95.86 c #Conflicts: 855000 | #Constraints: 27227
95.22/95.86 c #Conflicts: 856000 | #Constraints: 28227
95.22/95.86 c #Conflicts: 857000 | #Constraints: 29227
95.22/95.86 c #Conflicts: 858000 | #Constraints: 30227
95.22/95.86 c #Conflicts: 859000 | #Constraints: 31227
95.22/95.86 c #Conflicts: 860000 | #Constraints: 32227
95.22/95.86 c #Conflicts: 861000 | #Constraints: 33227
95.22/95.86 c #Conflicts: 862000 | #Constraints: 34227
95.22/95.86 c #Conflicts: 863000 | #Constraints: 35227
95.22/95.86 c #Conflicts: 864000 | #Constraints: 36227
95.22/95.86 c #Conflicts: 865000 | #Constraints: 37227
95.22/95.86 c INPROCESSING
95.22/95.86 c GARBAGE COLLECT
95.22/95.86 c rational objective 250.5
97.62/98.27 c #Conflicts: 866000 | #Constraints: 19822
97.62/98.27 c #Conflicts: 867000 | #Constraints: 20822
97.62/98.27 c #Conflicts: 868000 | #Constraints: 21822
97.62/98.27 c #Conflicts: 869000 | #Constraints: 22822
97.62/98.27 c #Conflicts: 870000 | #Constraints: 23822
97.62/98.27 c #Conflicts: 871000 | #Constraints: 24822
97.62/98.27 c #Conflicts: 872000 | #Constraints: 25822
97.62/98.27 c #Conflicts: 873000 | #Constraints: 26822
97.62/98.27 c #Conflicts: 874000 | #Constraints: 27822
97.62/98.27 c #Conflicts: 875000 | #Constraints: 28822
97.62/98.27 c #Conflicts: 876000 | #Constraints: 29822
97.62/98.27 c #Conflicts: 877000 | #Constraints: 30822
97.62/98.27 c #Conflicts: 878000 | #Constraints: 31822
97.62/98.27 c #Conflicts: 879000 | #Constraints: 32822
97.62/98.27 c #Conflicts: 880000 | #Constraints: 33822
97.62/98.27 c #Conflicts: 881000 | #Constraints: 34822
97.62/98.27 c #Conflicts: 882000 | #Constraints: 35822
97.62/98.27 c #Conflicts: 883000 | #Constraints: 36822
97.62/98.27 c #Conflicts: 884000 | #Constraints: 37822
97.62/98.27 c INPROCESSING
97.62/98.27 c GARBAGE COLLECT
97.62/98.27 c rational objective 250.5
100.01/100.69 c #Conflicts: 885000 | #Constraints: 20228
100.01/100.69 c #Conflicts: 886000 | #Constraints: 21228
100.01/100.69 c #Conflicts: 887000 | #Constraints: 22228
100.01/100.69 c #Conflicts: 888000 | #Constraints: 23228
100.01/100.69 c #Conflicts: 889000 | #Constraints: 24228
100.01/100.69 c #Conflicts: 890000 | #Constraints: 25228
100.01/100.69 c #Conflicts: 891000 | #Constraints: 26228
100.01/100.69 c #Conflicts: 892000 | #Constraints: 27228
100.01/100.69 c #Conflicts: 893000 | #Constraints: 28228
100.01/100.69 c #Conflicts: 894000 | #Constraints: 29228
100.01/100.69 c #Conflicts: 895000 | #Constraints: 30228
100.01/100.69 c #Conflicts: 896000 | #Constraints: 31228
100.01/100.69 c #Conflicts: 897000 | #Constraints: 32228
100.01/100.69 c #Conflicts: 898000 | #Constraints: 33228
100.01/100.69 c #Conflicts: 899000 | #Constraints: 34229
100.01/100.69 c #Conflicts: 900000 | #Constraints: 35229
100.01/100.69 c #Conflicts: 901000 | #Constraints: 36229
100.01/100.69 c #Conflicts: 902000 | #Constraints: 37229
100.01/100.69 c #Conflicts: 903000 | #Constraints: 38229
100.01/100.69 c INPROCESSING
100.01/100.69 c GARBAGE COLLECT
100.01/100.69 c rational objective 250.5
100.21/100.89 c #Conflicts: 904000 | #Constraints: 20429
100.21/100.89 c #Conflicts: 905000 | #Constraints: 21429
100.21/100.89 c cpu time 92.5069 s
100.21/100.89 c deterministic time 2917391972 2.92e+09
100.21/100.89 c optimization time 0.000138 s
100.21/100.89 c total solve time 92.5045 s
100.21/100.89 c core-guided solve time 0 s
100.21/100.89 c propagation time 77.6899 s
100.21/100.89 c conflict analysis time 9.37305 s
100.21/100.89 c propagations 8458514
100.21/100.89 c resolve steps 2717623
100.21/100.89 c decisions 2142224
100.21/100.89 c conflicts 905006
100.21/100.89 c restarts 1977
100.21/100.89 c inprocessing phases 86
100.21/100.89 c input clauses 2
100.21/100.89 c input cardinalities 500
100.21/100.89 c input general constraints 0
100.21/100.89 c input average constraint length 3.99
100.21/100.89 c input average constraint degree 2.00
100.21/100.89 c learned clauses 793476
100.21/100.89 c learned cardinalities 2276
100.21/100.89 c learned general constraints 109434
100.21/100.89 c learned average constraint length 17.96
100.21/100.89 c learned average constraint degree 58755889.76
100.21/100.89 c watched constraints 84447
100.21/100.89 c counting constraints 24987
100.21/100.89 c gcd simplifications 257710
100.21/100.89 c detected cardinalities 625
100.21/100.89 c weakened non-implied lits 1854288
100.21/100.89 c weakened non-implying lits 344845
100.21/100.89 c original variables 501
100.21/100.89 c clausal propagations 1618432
100.21/100.89 c cardinality propagations 2062081
100.21/100.89 c watched propagations 239394
100.21/100.89 c counting propagations 3633657
100.21/100.89 c watch lookups 996491767
100.21/100.89 c watch backjump lookups 639308437
100.21/100.89 c watch checks 1058366254
100.21/100.89 c propagation checks 140215535
100.21/100.89 c constraint additions 59998060
100.21/100.89 c trail pops 11505544
100.21/100.89 c formula constraints 502
100.21/100.89 c learned constraints 904824
100.21/100.89 c bound constraints 0
100.21/100.89 c core-guided constraints 0
100.21/100.89 c encountered formula constraints 122639
100.21/100.89 c encountered learned constraints 2949414
100.21/100.89 c encountered bound constraints 0
100.21/100.89 c encountered core-guided constraints 0
100.21/100.89 c LP total time 51.568 s
100.21/100.89 c LP solve time 46.73 s
100.21/100.89 c LP constraints added 610
100.21/100.89 c LP constraints removed 106
100.21/100.89 c LP pivots internal 905015
100.21/100.89 c LP pivots root 621
100.21/100.89 c LP calls 207107
100.21/100.89 c LP optimalities 206926
100.21/100.89 c LP no pivot count 56036
100.21/100.89 c LP infeasibilities 181
100.21/100.89 c LP valid Farkas constraints 181
100.21/100.89 c LP learned Farkas constraints 181
100.21/100.89 c LP basis resets 0
100.21/100.89 c LP cycling count 0
100.21/100.89 c LP singular count 0
100.21/100.89 c LP no primal count 0
100.21/100.89 c LP no farkas count 0
100.21/100.89 c LP other issue count 0
100.21/100.89 c LP Gomory cuts 0
100.21/100.89 c LP learned cuts 108
100.21/100.89 c LP deleted cuts 106
100.21/100.89 c LP encountered Gomory constraints 0
100.21/100.89 c LP encountered Farkas constraints 542213
100.21/100.89 c LP encountered learned Farkas constraints 8182
100.21/100.89 c CG auxiliary variables introduced 0
100.21/100.89 c CG solutions found 0
100.21/100.89 c CG cores constructed 0
100.21/100.89 c CG core cardinality constraints returned 0
100.21/100.89 c CG unit cores 0
100.21/100.89 c CG single cores 0
100.21/100.89 c CG blocks removed during cardinality reduction 0
100.21/100.89 c CG first core best 0
100.21/100.89 c CG decision core best 0
100.21/100.89 c CG core reduction tie 0
100.21/100.89 c CG core degree average 0.00
100.21/100.89 c CG core slack average 0.00
100.21/100.89 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 (31453 MiB free)
memory of node 1: 64473 MiB (42417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463100-1722348058/watcher-4463100-1722348058 -o /tmp/evaluation-result-4463100-1722348058/solver-4463100-1722348058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463100-1722348058 --lp-cut-gomory=0 HOME/instance-4463100-1722348058.opb
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 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=10322, runsolver pid=10319
[startup+0.100092 s]*
/proc/loadavg: 4.29 4.14 4.15 4/264 10323
/proc/meminfo: memFree=75640796/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/10322/stat : 10322 (roundingsat) D 10319 10322 6021 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1194043 38273024 670 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9344 670 614 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.205696 s]*
/proc/loadavg: 4.29 4.14 4.15 4/264 10323
/proc/meminfo: memFree=75638104/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/10322/stat : 10322 (roundingsat) D 10319 10322 6021 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1194043 38273024 670 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9344 670 614 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.305612 s]*
/proc/loadavg: 4.29 4.14 4.15 4/264 10323
/proc/meminfo: memFree=75634408/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/10322/stat : 10322 (roundingsat) D 10319 10322 6021 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1194043 38273024 670 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9344 670 614 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.700286 s]
/proc/loadavg: 4.29 4.14 4.15 5/264 10323
/proc/meminfo: memFree=75623312/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=38916 memory=9760 CPUtime=0.35 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 765 0 0 0 32 3 0 0 20 0 1 0 1194043 39849984 2440 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9729 2440 1859 992 0 1587 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 38916 KiB
Current children cumulated memory: 9760 KiB
[startup+1.50023 s]
/proc/loadavg: 4.29 4.14 4.15 5/264 10325
/proc/meminfo: memFree=75602808/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=39364 memory=10428 CPUtime=1.15 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 934 0 0 0 105 10 0 0 20 0 1 0 1194043 40308736 2607 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9841 2607 1859 992 0 1699 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 39364 KiB
Current children cumulated memory: 10428 KiB
[startup+3.10594 s]
/proc/loadavg: 4.27 4.14 4.14 5/264 10336
/proc/meminfo: memFree=75546340/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=39680 memory=10756 CPUtime=2.76 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 1036 0 0 0 252 24 0 0 20 0 1 0 1194043 40632320 2689 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 9920 2689 1859 992 0 1778 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 39680 KiB
Current children cumulated memory: 10756 KiB
[startup+6.30022 s]
/proc/loadavg: 4.27 4.14 4.14 5/264 10336
/proc/meminfo: memFree=75448940/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=40116 memory=11736 CPUtime=5.94 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 1373 0 0 0 546 48 0 0 20 0 1 0 1194043 41078784 2934 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10029 2934 1859 992 0 1887 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 40116 KiB
Current children cumulated memory: 11736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.13 4.14 5/264 10337
/proc/meminfo: memFree=75279208/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=40956 memory=12968 CPUtime=12.32 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 2077 0 0 0 1131 101 0 0 20 0 1 0 1194043 41938944 3242 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10239 3242 1859 992 0 2097 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 12968 KiB
[startup+25.5001 s]
/proc/loadavg: 4.27 4.15 4.15 4/259 10412
/proc/meminfo: memFree=96876628/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=41628 memory=15700 CPUtime=25.09 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 2816 0 0 0 2292 217 0 0 20 0 1 0 1194043 42627072 3925 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10407 3925 1859 992 0 2265 0
Current children cumulated CPU time: 25.09 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15700 KiB
[startup+51.1055 s]
/proc/loadavg: 4.25 4.15 4.15 5/264 10438
/proc/meminfo: memFree=96397756/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=42548 memory=16600 CPUtime=50.64 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 4990 0 0 0 4646 418 0 0 20 0 1 0 1194043 43569152 4150 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10637 4150 1859 992 0 2495 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 16600 KiB
[startup+100.898 s]
# the end of solver process 10322 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=92.5085 s, system=7.79692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.25 4.15 4.15 5/264 10438
/proc/meminfo: memFree=96397756/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=42548 memory=16600 CPUtime=50.73 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 4990 0 0 0 4655 418 0 0 20 0 1 0 1194043 43569152 4150 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10637 4150 1859 992 0 2495 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 16600 KiB
[startup+76.8001 s]
/proc/loadavg: 4.24 4.15 4.15 5/264 10487
/proc/meminfo: memFree=129767588/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43324 memory=17264 CPUtime=76.27 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 6531 0 0 0 7015 612 0 0 20 0 1 0 1194043 44363776 4316 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10831 4316 1859 992 0 2689 0
Current children cumulated CPU time: 76.27 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 17264 KiB
[startup+89.6001 s]
/proc/loadavg: 4.18 4.15 4.15 5/264 10488
/proc/meminfo: memFree=129674476/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43532 memory=17564 CPUtime=89.04 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7074 0 0 0 8201 703 0 0 20 0 1 0 1194043 44576768 4391 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10883 4391 1859 992 0 2741 0
Current children cumulated CPU time: 89.04 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 17564 KiB
[startup+96.0001 s]*
/proc/loadavg: 4.17 4.14 4.14 5/264 10490
/proc/meminfo: memFree=129635772/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43656 memory=17692 CPUtime=95.43 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7337 0 0 0 8797 746 0 0 20 0 1 0 1194043 44703744 4423 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10914 4423 1859 992 0 2772 0
Current children cumulated CPU time: 95.43 s
Current children cumulated vsize: 43656 KiB
Current children cumulated memory: 17692 KiB
[startup+99.2001 s]
/proc/loadavg: 4.16 4.14 4.14 5/264 10490
/proc/meminfo: memFree=129622436/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43796 memory=17824 CPUtime=98.62 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7448 0 0 0 9093 769 0 0 20 0 1 0 1194043 44847104 4456 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10949 4456 1859 992 0 2807 0
Current children cumulated CPU time: 98.62 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17824 KiB
[startup+100 s]*
/proc/loadavg: 4.16 4.14 4.14 5/264 10490
/proc/meminfo: memFree=129618824/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43796 memory=17824 CPUtime=99.42 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7448 0 0 0 9169 773 0 0 20 0 1 0 1194043 44847104 4456 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10949 4456 1859 992 0 2807 0
Current children cumulated CPU time: 99.42 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17824 KiB
[startup+100.4 s]
/proc/loadavg: 4.16 4.14 4.14 5/264 10490
/proc/meminfo: memFree=129618824/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43796 memory=17824 CPUtime=99.81 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7448 0 0 0 9206 775 0 0 20 0 1 0 1194043 44847104 4456 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10949 4456 1859 992 0 2807 0
Current children cumulated CPU time: 99.81 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17824 KiB
[startup+100.8 s]
/proc/loadavg: 4.16 4.14 4.14 5/264 10490
/proc/meminfo: memFree=129618824/131524600 swapFree=131071996/131071996
[pid=10322] ppid=10319 vsize=43928 memory=17968 CPUtime=100.21 cores=5,7
/proc/10322/stat : 10322 (roundingsat) R 10319 10322 6021 0 -1 4194304 7561 0 0 0 9243 778 0 0 20 0 1 0 1194043 44982272 4492 134679101440 4194304 8255733 140721526956976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36589568 140721526960990 140721526961252 140721526961252 140721526968265 0
/proc/10322/statm: 10982 4492 1859 992 0 2840 0
Current children cumulated CPU time: 100.21 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 17968 KiB
Child status: 0
Real time (s): 100.898
CPU time (s): 100.305
CPU user time (s): 92.5085
CPU system time (s): 7.79692
CPU usage (%): 99.4128
Max. virtual memory (cumulated for all children) (KiB): 43928
Max. memory (cumulated for all children) (KiB): 17968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.5085
system time used= 7.79692
maximum resident set size= 18084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7569
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= 203
involuntary context switches= 143
# summary of solver processes directly reported to runsolver:
# pid: 10322
# total CPU time (s): 100.305
# total CPU user time (s): 92.5085
# total CPU system time (s): 7.79692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191577 second user time and 0.441659 second system time
The end
Begin job on nodeC015 at 2024-07-30 16:00:58
IDJOB=4463100
IDBENCH=160432
IDSOLVER=3089
FILE ID=nodeC015/4463100-1722348058
RUNJOBID= nodeC015-1722340763-6034
SLURM_JOB_ID= 8248978
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-4463100-1722348058/watcher-4463100-1722348058 -o /tmp/evaluation-result-4463100-1722348058/solver-4463100-1722348058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6034 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463100-1722348058 --lp-cut-gomory=0 HOME/instance-4463100-1722348058.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6aa2e19502a8f75e99296617bfe7afcb
RANDOM SEED=86805721
nodeC015.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 : 3668.465
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.37
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 : 3676.182
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.03
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 : 3599.873
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.37
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 : 3641.862
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.03
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 : 3668.546
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.37
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 : 3663.385
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.03
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 : 3599.864
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.37
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 : 3656.646
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 75644784 kB
MemAvailable: 124078044 kB
Buffers: 56572 kB
Cached: 49161732 kB
SwapCached: 0 kB
Active: 169784 kB
Inactive: 55112216 kB
Active(anon): 1560 kB
Inactive(anon): 6085532 kB
Active(file): 168224 kB
Inactive(file): 49026684 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 317104 kB
Writeback: 16 kB
AnonPages: 6060796 kB
Mapped: 96724 kB
Shmem: 23384 kB
KReclaimable: 156348 kB
Slab: 247952 kB
SReclaimable: 156348 kB
SUnreclaim: 91604 kB
KernelStack: 4268 kB
PageTables: 21516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7493872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3704832 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: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-30 16:02:39