0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.01 c #variables 501 #constraints 502
0.00/0.02 c rational objective 250.5
0.40/0.50 c #Conflicts: 1000 | #Constraints: 1512
0.40/0.50 c #Conflicts: 2000 | #Constraints: 2520
0.40/0.50 c INPROCESSING
0.40/0.50 c GARBAGE COLLECT
0.40/0.50 c rational objective 250.5
0.88/0.93 c #Conflicts: 3000 | #Constraints: 2545
0.88/0.93 c #Conflicts: 4000 | #Constraints: 3553
0.88/0.93 c INPROCESSING
0.88/0.93 c GARBAGE COLLECT
0.88/0.93 c rational objective 250.5
1.28/1.33 c #Conflicts: 5000 | #Constraints: 2962
1.28/1.33 c #Conflicts: 6000 | #Constraints: 3964
1.28/1.33 c INPROCESSING
1.28/1.33 c GARBAGE COLLECT
1.28/1.33 c rational objective 250.5
1.57/1.67 c #Conflicts: 7000 | #Constraints: 2966
1.57/1.67 c #Conflicts: 8000 | #Constraints: 3968
1.57/1.67 c #Conflicts: 9000 | #Constraints: 4976
1.57/1.67 c INPROCESSING
1.57/1.67 c GARBAGE COLLECT
1.57/1.67 c rational objective 250.5
1.88/1.99 c #Conflicts: 10000 | #Constraints: 3669
1.88/1.99 c #Conflicts: 11000 | #Constraints: 4673
1.88/1.99 c #Conflicts: 12000 | #Constraints: 5678
1.88/1.99 c INPROCESSING
1.88/1.99 c GARBAGE COLLECT
1.88/1.99 c rational objective 250.5
2.17/2.29 c #Conflicts: 13000 | #Constraints: 4124
2.17/2.29 c #Conflicts: 14000 | #Constraints: 5125
2.17/2.29 c #Conflicts: 15000 | #Constraints: 6126
2.17/2.29 c INPROCESSING
2.17/2.29 c GARBAGE COLLECT
2.17/2.29 c rational objective 250.5
2.58/2.65 c #Conflicts: 16000 | #Constraints: 4345
2.58/2.65 c #Conflicts: 17000 | #Constraints: 5346
2.58/2.65 c #Conflicts: 18000 | #Constraints: 6347
2.58/2.65 c INPROCESSING
2.58/2.65 c GARBAGE COLLECT
2.58/2.65 c rational objective 250.5
2.87/3.00 c #Conflicts: 19000 | #Constraints: 4368
2.87/3.00 c #Conflicts: 20000 | #Constraints: 5368
2.87/3.00 c #Conflicts: 21000 | #Constraints: 6372
2.87/3.00 c INPROCESSING
2.87/3.00 c GARBAGE COLLECT
2.87/3.00 c rational objective 250.5
3.27/3.33 c #Conflicts: 22000 | #Constraints: 4171
3.27/3.33 c #Conflicts: 23000 | #Constraints: 5173
3.27/3.33 c #Conflicts: 24000 | #Constraints: 6175
3.27/3.33 c #Conflicts: 25000 | #Constraints: 7175
3.27/3.33 c INPROCESSING
3.27/3.33 c GARBAGE COLLECT
3.27/3.33 c rational objective 250.5
3.67/3.71 c #Conflicts: 26000 | #Constraints: 4773
3.67/3.71 c #Conflicts: 27000 | #Constraints: 5773
3.67/3.71 c #Conflicts: 28000 | #Constraints: 6775
3.67/3.71 c #Conflicts: 29000 | #Constraints: 7778
3.67/3.71 c INPROCESSING
3.67/3.71 c GARBAGE COLLECT
3.67/3.71 c rational objective 250.5
3.98/4.08 c #Conflicts: 30000 | #Constraints: 5170
3.98/4.08 c #Conflicts: 31000 | #Constraints: 6172
3.98/4.08 c #Conflicts: 32000 | #Constraints: 7173
3.98/4.08 c #Conflicts: 33000 | #Constraints: 8175
3.98/4.08 c INPROCESSING
3.98/4.08 c GARBAGE COLLECT
3.98/4.08 c rational objective 250.5
4.47/4.50 c #Conflicts: 34000 | #Constraints: 5376
4.47/4.50 c #Conflicts: 35000 | #Constraints: 6376
4.47/4.50 c #Conflicts: 36000 | #Constraints: 7376
4.47/4.50 c #Conflicts: 37000 | #Constraints: 8378
4.47/4.50 c INPROCESSING
4.47/4.50 c GARBAGE COLLECT
4.47/4.50 c rational objective 250.5
4.87/4.97 c #Conflicts: 38000 | #Constraints: 5381
4.87/4.97 c #Conflicts: 39000 | #Constraints: 6381
4.87/4.97 c #Conflicts: 40000 | #Constraints: 7381
4.87/4.97 c #Conflicts: 41000 | #Constraints: 8382
4.87/4.97 c INPROCESSING
4.87/4.97 c GARBAGE COLLECT
4.87/4.97 c rational objective 250.5
5.37/5.44 c #Conflicts: 42000 | #Constraints: 5187
5.37/5.44 c #Conflicts: 43000 | #Constraints: 6188
5.37/5.44 c #Conflicts: 44000 | #Constraints: 7189
5.37/5.44 c #Conflicts: 45000 | #Constraints: 8189
5.37/5.44 c #Conflicts: 46000 | #Constraints: 9190
5.37/5.44 c INPROCESSING
5.37/5.44 c GARBAGE COLLECT
5.37/5.44 c rational objective 250.5
5.86/5.91 c #Conflicts: 47000 | #Constraints: 5779
5.86/5.91 c #Conflicts: 48000 | #Constraints: 6779
5.86/5.91 c #Conflicts: 49000 | #Constraints: 7779
5.86/5.91 c #Conflicts: 50000 | #Constraints: 8781
5.86/5.91 c #Conflicts: 51000 | #Constraints: 9781
5.86/5.91 c INPROCESSING
5.86/5.91 c GARBAGE COLLECT
5.86/5.91 c rational objective 250.5
6.36/6.40 c #Conflicts: 52000 | #Constraints: 6177
6.36/6.40 c #Conflicts: 53000 | #Constraints: 7178
6.36/6.40 c #Conflicts: 54000 | #Constraints: 8179
6.36/6.40 c #Conflicts: 55000 | #Constraints: 9179
6.36/6.40 c #Conflicts: 56000 | #Constraints: 10181
6.36/6.40 c INPROCESSING
6.36/6.40 c GARBAGE COLLECT
6.36/6.40 c rational objective 250.5
6.86/6.90 c #Conflicts: 57000 | #Constraints: 6378
6.86/6.90 c #Conflicts: 58000 | #Constraints: 7378
6.86/6.90 c #Conflicts: 59000 | #Constraints: 8378
6.86/6.90 c #Conflicts: 60000 | #Constraints: 9379
6.86/6.90 c #Conflicts: 61000 | #Constraints: 10380
6.86/6.90 c INPROCESSING
6.86/6.90 c GARBAGE COLLECT
6.86/6.90 c rational objective 250.5
7.36/7.43 c #Conflicts: 62000 | #Constraints: 6379
7.36/7.43 c #Conflicts: 63000 | #Constraints: 7380
7.36/7.43 c #Conflicts: 64000 | #Constraints: 8381
7.36/7.43 c #Conflicts: 65000 | #Constraints: 9383
7.36/7.43 c #Conflicts: 66000 | #Constraints: 10383
7.36/7.43 c INPROCESSING
7.36/7.43 c GARBAGE COLLECT
7.36/7.43 c rational objective 250.5
7.86/7.98 c #Conflicts: 67000 | #Constraints: 6179
7.86/7.98 c #Conflicts: 68000 | #Constraints: 7180
7.86/7.98 c #Conflicts: 69000 | #Constraints: 8180
7.86/7.98 c #Conflicts: 70000 | #Constraints: 9180
7.86/7.98 c #Conflicts: 71000 | #Constraints: 10180
7.86/7.98 c #Conflicts: 72000 | #Constraints: 11180
7.86/7.98 c INPROCESSING
7.86/7.98 c GARBAGE COLLECT
7.86/7.98 c rational objective 250.5
8.46/8.55 c #Conflicts: 73000 | #Constraints: 6778
8.46/8.55 c #Conflicts: 74000 | #Constraints: 7780
8.46/8.55 c #Conflicts: 75000 | #Constraints: 8781
8.46/8.55 c #Conflicts: 76000 | #Constraints: 9782
8.46/8.55 c #Conflicts: 77000 | #Constraints: 10782
8.46/8.55 c #Conflicts: 78000 | #Constraints: 11782
8.46/8.55 c INPROCESSING
8.46/8.55 c GARBAGE COLLECT
8.46/8.55 c rational objective 250.5
9.07/9.12 c #Conflicts: 79000 | #Constraints: 7182
9.07/9.12 c #Conflicts: 80000 | #Constraints: 8182
9.07/9.12 c #Conflicts: 81000 | #Constraints: 9182
9.07/9.12 c #Conflicts: 82000 | #Constraints: 10182
9.07/9.12 c #Conflicts: 83000 | #Constraints: 11182
9.07/9.12 c #Conflicts: 84000 | #Constraints: 12183
9.07/9.12 c INPROCESSING
9.07/9.12 c GARBAGE COLLECT
9.07/9.12 c rational objective 250.5
9.66/9.79 c #Conflicts: 85000 | #Constraints: 7381
9.66/9.79 c #Conflicts: 86000 | #Constraints: 8381
9.66/9.79 c #Conflicts: 87000 | #Constraints: 9381
9.66/9.79 c #Conflicts: 88000 | #Constraints: 10382
9.66/9.79 c #Conflicts: 89000 | #Constraints: 11384
9.66/9.79 c #Conflicts: 90000 | #Constraints: 12384
9.66/9.79 c INPROCESSING
9.66/9.79 c GARBAGE COLLECT
9.66/9.79 c rational objective 250.5
10.55/10.60 c #Conflicts: 91000 | #Constraints: 7377
10.55/10.60 c #Conflicts: 92000 | #Constraints: 8377
10.55/10.60 c #Conflicts: 93000 | #Constraints: 9378
10.55/10.60 c #Conflicts: 94000 | #Constraints: 10378
10.55/10.60 c #Conflicts: 95000 | #Constraints: 11379
10.55/10.60 c #Conflicts: 96000 | #Constraints: 12379
10.55/10.60 c INPROCESSING
10.55/10.60 c GARBAGE COLLECT
10.55/10.60 c rational objective 250.5
11.26/11.30 c #Conflicts: 97000 | #Constraints: 7189
11.26/11.30 c #Conflicts: 98000 | #Constraints: 8189
11.26/11.30 c #Conflicts: 99000 | #Constraints: 9189
11.26/11.30 c #Conflicts: 100000 | #Constraints: 10189
11.26/11.30 c #Conflicts: 101000 | #Constraints: 11189
11.26/11.30 c #Conflicts: 102000 | #Constraints: 12189
11.26/11.30 c #Conflicts: 103000 | #Constraints: 13189
11.26/11.30 c INPROCESSING
11.26/11.30 c GARBAGE COLLECT
11.26/11.30 c rational objective 250.5
11.85/11.98 c #Conflicts: 104000 | #Constraints: 7780
11.85/11.98 c #Conflicts: 105000 | #Constraints: 8781
11.85/11.98 c #Conflicts: 106000 | #Constraints: 9781
11.85/11.98 c #Conflicts: 107000 | #Constraints: 10782
11.85/11.98 c #Conflicts: 108000 | #Constraints: 11783
11.85/11.98 c #Conflicts: 109000 | #Constraints: 12783
11.85/11.98 c #Conflicts: 110000 | #Constraints: 13784
11.85/11.98 c INPROCESSING
11.85/11.98 c GARBAGE COLLECT
11.85/11.98 c rational objective 250.5
12.55/12.60 c #Conflicts: 111000 | #Constraints: 8182
12.55/12.60 c #Conflicts: 112000 | #Constraints: 9182
12.55/12.60 c #Conflicts: 113000 | #Constraints: 10183
12.55/12.60 c #Conflicts: 114000 | #Constraints: 11183
12.55/12.60 c #Conflicts: 115000 | #Constraints: 12183
12.55/12.60 c #Conflicts: 116000 | #Constraints: 13183
12.55/12.60 c #Conflicts: 117000 | #Constraints: 14184
12.55/12.60 c INPROCESSING
12.55/12.60 c GARBAGE COLLECT
12.55/12.60 c rational objective 250.5
13.15/13.25 c #Conflicts: 118000 | #Constraints: 8389
13.15/13.25 c #Conflicts: 119000 | #Constraints: 9389
13.15/13.25 c #Conflicts: 120000 | #Constraints: 10389
13.15/13.25 c #Conflicts: 121000 | #Constraints: 11389
13.15/13.25 c #Conflicts: 122000 | #Constraints: 12389
13.15/13.25 c #Conflicts: 123000 | #Constraints: 13389
13.15/13.25 c #Conflicts: 124000 | #Constraints: 14389
13.15/13.25 c INPROCESSING
13.15/13.25 c GARBAGE COLLECT
13.15/13.25 c rational objective 250.5
13.85/13.93 c #Conflicts: 125000 | #Constraints: 8386
13.85/13.93 c #Conflicts: 126000 | #Constraints: 9386
13.85/13.93 c #Conflicts: 127000 | #Constraints: 10386
13.85/13.93 c #Conflicts: 128000 | #Constraints: 11386
13.85/13.93 c #Conflicts: 129000 | #Constraints: 12386
13.85/13.93 c #Conflicts: 130000 | #Constraints: 13386
13.85/13.93 c #Conflicts: 131000 | #Constraints: 14386
13.85/13.93 c INPROCESSING
13.85/13.93 c GARBAGE COLLECT
13.85/13.93 c rational objective 250.5
14.54/14.67 c #Conflicts: 132000 | #Constraints: 8179
14.54/14.67 c #Conflicts: 133000 | #Constraints: 9179
14.54/14.67 c #Conflicts: 134000 | #Constraints: 10179
14.54/14.67 c #Conflicts: 135000 | #Constraints: 11179
14.54/14.67 c #Conflicts: 136000 | #Constraints: 12179
14.54/14.67 c #Conflicts: 137000 | #Constraints: 13179
14.54/14.67 c #Conflicts: 138000 | #Constraints: 14179
14.54/14.67 c #Conflicts: 139000 | #Constraints: 15179
14.54/14.67 c INPROCESSING
14.54/14.67 c GARBAGE COLLECT
14.54/14.67 c rational objective 250.5
15.34/15.45 c #Conflicts: 140000 | #Constraints: 8782
15.34/15.45 c #Conflicts: 141000 | #Constraints: 9782
15.34/15.45 c #Conflicts: 142000 | #Constraints: 10782
15.34/15.45 c #Conflicts: 143000 | #Constraints: 11782
15.34/15.45 c #Conflicts: 144000 | #Constraints: 12782
15.34/15.45 c #Conflicts: 145000 | #Constraints: 13782
15.34/15.45 c #Conflicts: 146000 | #Constraints: 14782
15.34/15.45 c #Conflicts: 147000 | #Constraints: 15782
15.34/15.45 c INPROCESSING
15.34/15.45 c GARBAGE COLLECT
15.34/15.45 c rational objective 250.5
16.14/16.21 c #Conflicts: 148000 | #Constraints: 9186
16.14/16.21 c #Conflicts: 149000 | #Constraints: 10186
16.14/16.21 c #Conflicts: 150000 | #Constraints: 11187
16.14/16.21 c #Conflicts: 151000 | #Constraints: 12187
16.14/16.21 c #Conflicts: 152000 | #Constraints: 13187
16.14/16.21 c #Conflicts: 153000 | #Constraints: 14188
16.14/16.21 c #Conflicts: 154000 | #Constraints: 15188
16.14/16.21 c #Conflicts: 155000 | #Constraints: 16188
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c rational objective 250.5
16.95/17.05 c #Conflicts: 156000 | #Constraints: 9386
16.95/17.05 c #Conflicts: 157000 | #Constraints: 10386
16.95/17.05 c #Conflicts: 158000 | #Constraints: 11386
16.95/17.05 c #Conflicts: 159000 | #Constraints: 12387
16.95/17.05 c #Conflicts: 160000 | #Constraints: 13387
16.95/17.05 c #Conflicts: 161000 | #Constraints: 14387
16.95/17.05 c #Conflicts: 162000 | #Constraints: 15387
16.95/17.05 c #Conflicts: 163000 | #Constraints: 16387
16.95/17.05 c INPROCESSING
16.95/17.05 c GARBAGE COLLECT
16.95/17.05 c rational objective 250.5
17.74/17.88 c #Conflicts: 164000 | #Constraints: 9386
17.74/17.88 c #Conflicts: 165000 | #Constraints: 10386
17.74/17.88 c #Conflicts: 166000 | #Constraints: 11386
17.74/17.88 c #Conflicts: 167000 | #Constraints: 12387
17.74/17.88 c #Conflicts: 168000 | #Constraints: 13387
17.74/17.88 c #Conflicts: 169000 | #Constraints: 14388
17.74/17.88 c #Conflicts: 170000 | #Constraints: 15389
17.74/17.88 c #Conflicts: 171000 | #Constraints: 16389
17.74/17.88 c INPROCESSING
17.74/17.88 c GARBAGE COLLECT
17.74/17.88 c rational objective 250.5
18.63/18.70 c #Conflicts: 172000 | #Constraints: 9187
18.63/18.70 c #Conflicts: 173000 | #Constraints: 10187
18.63/18.70 c #Conflicts: 174000 | #Constraints: 11187
18.63/18.70 c #Conflicts: 175000 | #Constraints: 12187
18.63/18.70 c #Conflicts: 176000 | #Constraints: 13187
18.63/18.70 c #Conflicts: 177000 | #Constraints: 14187
18.63/18.70 c #Conflicts: 178000 | #Constraints: 15187
18.63/18.70 c #Conflicts: 179000 | #Constraints: 16187
18.63/18.70 c #Conflicts: 180000 | #Constraints: 17187
18.63/18.70 c INPROCESSING
18.63/18.70 c GARBAGE COLLECT
18.63/18.70 c rational objective 250.5
19.43/19.56 c #Conflicts: 181000 | #Constraints: 9786
19.43/19.56 c #Conflicts: 182000 | #Constraints: 10786
19.43/19.56 c #Conflicts: 183000 | #Constraints: 11786
19.43/19.56 c #Conflicts: 184000 | #Constraints: 12786
19.43/19.56 c #Conflicts: 185000 | #Constraints: 13786
19.43/19.56 c #Conflicts: 186000 | #Constraints: 14786
19.43/19.56 c #Conflicts: 187000 | #Constraints: 15786
19.43/19.56 c #Conflicts: 188000 | #Constraints: 16786
19.43/19.56 c #Conflicts: 189000 | #Constraints: 17786
19.43/19.56 c INPROCESSING
19.43/19.56 c GARBAGE COLLECT
19.43/19.56 c rational objective 250.5
20.33/20.48 c #Conflicts: 190000 | #Constraints: 10192
20.33/20.48 c #Conflicts: 191000 | #Constraints: 11193
20.33/20.48 c #Conflicts: 192000 | #Constraints: 12193
20.33/20.48 c #Conflicts: 193000 | #Constraints: 13193
20.33/20.48 c #Conflicts: 194000 | #Constraints: 14193
20.33/20.48 c #Conflicts: 195000 | #Constraints: 15193
20.33/20.48 c #Conflicts: 196000 | #Constraints: 16193
20.33/20.48 c #Conflicts: 197000 | #Constraints: 17193
20.33/20.48 c #Conflicts: 198000 | #Constraints: 18193
20.33/20.48 c INPROCESSING
20.33/20.48 c GARBAGE COLLECT
20.33/20.48 c rational objective 250.5
21.23/21.36 c #Conflicts: 199000 | #Constraints: 10385
21.23/21.36 c #Conflicts: 200000 | #Constraints: 11386
21.23/21.36 c #Conflicts: 201000 | #Constraints: 12386
21.23/21.36 c #Conflicts: 202000 | #Constraints: 13386
21.23/21.36 c #Conflicts: 203000 | #Constraints: 14386
21.23/21.36 c #Conflicts: 204000 | #Constraints: 15386
21.23/21.36 c #Conflicts: 205000 | #Constraints: 16386
21.23/21.36 c #Conflicts: 206000 | #Constraints: 17386
21.23/21.36 c #Conflicts: 207000 | #Constraints: 18386
21.23/21.36 c INPROCESSING
21.23/21.36 c GARBAGE COLLECT
21.23/21.36 c rational objective 250.5
22.13/22.27 c #Conflicts: 208000 | #Constraints: 10389
22.13/22.27 c #Conflicts: 209000 | #Constraints: 11389
22.13/22.27 c #Conflicts: 210000 | #Constraints: 12389
22.13/22.27 c #Conflicts: 211000 | #Constraints: 13389
22.13/22.27 c #Conflicts: 212000 | #Constraints: 14389
22.13/22.27 c #Conflicts: 213000 | #Constraints: 15389
22.13/22.27 c #Conflicts: 214000 | #Constraints: 16389
22.13/22.27 c #Conflicts: 215000 | #Constraints: 17389
22.13/22.27 c #Conflicts: 216000 | #Constraints: 18389
22.13/22.27 c INPROCESSING
22.13/22.27 c GARBAGE COLLECT
22.13/22.27 c rational objective 250.5
23.22/23.31 c #Conflicts: 217000 | #Constraints: 10196
23.22/23.31 c #Conflicts: 218000 | #Constraints: 11196
23.22/23.31 c #Conflicts: 219000 | #Constraints: 12196
23.22/23.31 c #Conflicts: 220000 | #Constraints: 13196
23.22/23.31 c #Conflicts: 221000 | #Constraints: 14196
23.22/23.31 c #Conflicts: 222000 | #Constraints: 15196
23.22/23.31 c #Conflicts: 223000 | #Constraints: 16196
23.22/23.31 c #Conflicts: 224000 | #Constraints: 17196
23.22/23.31 c #Conflicts: 225000 | #Constraints: 18196
23.22/23.31 c #Conflicts: 226000 | #Constraints: 19196
23.22/23.31 c INPROCESSING
23.22/23.31 c GARBAGE COLLECT
23.22/23.31 c rational objective 250.5
24.12/24.27 c #Conflicts: 227000 | #Constraints: 10799
24.12/24.27 c #Conflicts: 228000 | #Constraints: 11799
24.12/24.27 c #Conflicts: 229000 | #Constraints: 12799
24.12/24.27 c #Conflicts: 230000 | #Constraints: 13800
24.12/24.27 c #Conflicts: 231000 | #Constraints: 14800
24.12/24.27 c #Conflicts: 232000 | #Constraints: 15800
24.12/24.27 c #Conflicts: 233000 | #Constraints: 16800
24.12/24.27 c #Conflicts: 234000 | #Constraints: 17800
24.12/24.27 c #Conflicts: 235000 | #Constraints: 18801
24.12/24.27 c #Conflicts: 236000 | #Constraints: 19802
24.12/24.27 c INPROCESSING
24.12/24.27 c GARBAGE COLLECT
24.12/24.27 c rational objective 250.5
25.12/25.23 c #Conflicts: 237000 | #Constraints: 11193
25.12/25.23 c #Conflicts: 238000 | #Constraints: 12193
25.12/25.23 c #Conflicts: 239000 | #Constraints: 13193
25.12/25.23 c #Conflicts: 240000 | #Constraints: 14193
25.12/25.23 c #Conflicts: 241000 | #Constraints: 15193
25.12/25.23 c #Conflicts: 242000 | #Constraints: 16193
25.12/25.23 c #Conflicts: 243000 | #Constraints: 17194
25.12/25.23 c #Conflicts: 244000 | #Constraints: 18194
25.12/25.23 c #Conflicts: 245000 | #Constraints: 19194
25.12/25.23 c #Conflicts: 246000 | #Constraints: 20194
25.12/25.23 c INPROCESSING
25.12/25.23 c GARBAGE COLLECT
25.12/25.23 c rational objective 250.5
26.12/26.21 c #Conflicts: 247000 | #Constraints: 11387
26.12/26.21 c #Conflicts: 248000 | #Constraints: 12388
26.12/26.21 c #Conflicts: 249000 | #Constraints: 13388
26.12/26.21 c #Conflicts: 250000 | #Constraints: 14388
26.12/26.21 c #Conflicts: 251000 | #Constraints: 15388
26.12/26.21 c #Conflicts: 252000 | #Constraints: 16388
26.12/26.21 c #Conflicts: 253000 | #Constraints: 17388
26.12/26.21 c #Conflicts: 254000 | #Constraints: 18388
26.12/26.21 c #Conflicts: 255000 | #Constraints: 19388
26.12/26.21 c #Conflicts: 256000 | #Constraints: 20388
26.12/26.21 c INPROCESSING
26.12/26.21 c GARBAGE COLLECT
26.12/26.21 c rational objective 250.5
27.12/27.23 c #Conflicts: 257000 | #Constraints: 11386
27.12/27.23 c #Conflicts: 258000 | #Constraints: 12386
27.12/27.23 c #Conflicts: 259000 | #Constraints: 13387
27.12/27.23 c #Conflicts: 260000 | #Constraints: 14387
27.12/27.23 c #Conflicts: 261000 | #Constraints: 15387
27.12/27.23 c #Conflicts: 262000 | #Constraints: 16387
27.12/27.23 c #Conflicts: 263000 | #Constraints: 17387
27.12/27.23 c #Conflicts: 264000 | #Constraints: 18387
27.12/27.23 c #Conflicts: 265000 | #Constraints: 19387
27.12/27.23 c #Conflicts: 266000 | #Constraints: 20387
27.12/27.23 c INPROCESSING
27.12/27.23 c GARBAGE COLLECT
27.12/27.23 c rational objective 250.5
28.21/28.35 c #Conflicts: 267000 | #Constraints: 11195
28.21/28.35 c #Conflicts: 268000 | #Constraints: 12195
28.21/28.35 c #Conflicts: 269000 | #Constraints: 13195
28.21/28.35 c #Conflicts: 270000 | #Constraints: 14195
28.21/28.35 c #Conflicts: 271000 | #Constraints: 15195
28.21/28.35 c #Conflicts: 272000 | #Constraints: 16195
28.21/28.35 c #Conflicts: 273000 | #Constraints: 17195
28.21/28.35 c #Conflicts: 274000 | #Constraints: 18195
28.21/28.35 c #Conflicts: 275000 | #Constraints: 19195
28.21/28.35 c #Conflicts: 276000 | #Constraints: 20195
28.21/28.35 c #Conflicts: 277000 | #Constraints: 21196
28.21/28.35 c INPROCESSING
28.21/28.35 c GARBAGE COLLECT
28.21/28.35 c rational objective 250.5
29.21/29.39 c #Conflicts: 278000 | #Constraints: 11788
29.21/29.39 c #Conflicts: 279000 | #Constraints: 12789
29.21/29.39 c #Conflicts: 280000 | #Constraints: 13789
29.21/29.39 c #Conflicts: 281000 | #Constraints: 14789
29.21/29.39 c #Conflicts: 282000 | #Constraints: 15789
29.21/29.39 c #Conflicts: 283000 | #Constraints: 16789
29.21/29.39 c #Conflicts: 284000 | #Constraints: 17789
29.21/29.39 c #Conflicts: 285000 | #Constraints: 18790
29.21/29.39 c #Conflicts: 286000 | #Constraints: 19790
29.21/29.39 c #Conflicts: 287000 | #Constraints: 20790
29.21/29.39 c #Conflicts: 288000 | #Constraints: 21790
29.21/29.39 c INPROCESSING
29.21/29.39 c GARBAGE COLLECT
29.21/29.39 c rational objective 250.5
30.41/30.59 c #Conflicts: 289000 | #Constraints: 12185
30.41/30.59 c #Conflicts: 290000 | #Constraints: 13185
30.41/30.59 c #Conflicts: 291000 | #Constraints: 14185
30.41/30.59 c #Conflicts: 292000 | #Constraints: 15185
30.41/30.59 c #Conflicts: 293000 | #Constraints: 16185
30.41/30.59 c #Conflicts: 294000 | #Constraints: 17185
30.41/30.59 c #Conflicts: 295000 | #Constraints: 18185
30.41/30.59 c #Conflicts: 296000 | #Constraints: 19185
30.41/30.59 c #Conflicts: 297000 | #Constraints: 20185
30.41/30.59 c #Conflicts: 298000 | #Constraints: 21185
30.41/30.59 c #Conflicts: 299000 | #Constraints: 22185
30.41/30.59 c INPROCESSING
30.41/30.59 c GARBAGE COLLECT
30.41/30.59 c rational objective 250.5
31.51/31.69 c #Conflicts: 300000 | #Constraints: 12382
31.51/31.69 c #Conflicts: 301000 | #Constraints: 13382
31.51/31.69 c #Conflicts: 302000 | #Constraints: 14382
31.51/31.69 c #Conflicts: 303000 | #Constraints: 15382
31.51/31.69 c #Conflicts: 304000 | #Constraints: 16382
31.51/31.69 c #Conflicts: 305000 | #Constraints: 17382
31.51/31.69 c #Conflicts: 306000 | #Constraints: 18382
31.51/31.69 c #Conflicts: 307000 | #Constraints: 19382
31.51/31.69 c #Conflicts: 308000 | #Constraints: 20382
31.51/31.69 c #Conflicts: 309000 | #Constraints: 21382
31.51/31.69 c #Conflicts: 310000 | #Constraints: 22382
31.51/31.69 c INPROCESSING
31.51/31.69 c GARBAGE COLLECT
31.51/31.69 c rational objective 250.5
32.69/32.81 c #Conflicts: 311000 | #Constraints: 12383
32.69/32.81 c #Conflicts: 312000 | #Constraints: 13383
32.69/32.81 c #Conflicts: 313000 | #Constraints: 14383
32.69/32.81 c #Conflicts: 314000 | #Constraints: 15383
32.69/32.81 c #Conflicts: 315000 | #Constraints: 16383
32.69/32.81 c #Conflicts: 316000 | #Constraints: 17383
32.69/32.81 c #Conflicts: 317000 | #Constraints: 18383
32.69/32.81 c #Conflicts: 318000 | #Constraints: 19383
32.69/32.81 c #Conflicts: 319000 | #Constraints: 20383
32.69/32.81 c #Conflicts: 320000 | #Constraints: 21383
32.69/32.81 c #Conflicts: 321000 | #Constraints: 22383
32.69/32.81 c INPROCESSING
32.69/32.81 c GARBAGE COLLECT
32.69/32.81 c rational objective 250.5
34.10/34.29 c #Conflicts: 322000 | #Constraints: 12192
34.10/34.29 c #Conflicts: 323000 | #Constraints: 13192
34.10/34.29 c #Conflicts: 324000 | #Constraints: 14192
34.10/34.29 c #Conflicts: 325000 | #Constraints: 15192
34.10/34.29 c #Conflicts: 326000 | #Constraints: 16192
34.10/34.29 c #Conflicts: 327000 | #Constraints: 17192
34.10/34.29 c #Conflicts: 328000 | #Constraints: 18192
34.10/34.29 c #Conflicts: 329000 | #Constraints: 19192
34.10/34.29 c #Conflicts: 330000 | #Constraints: 20192
34.10/34.29 c #Conflicts: 331000 | #Constraints: 21192
34.10/34.29 c #Conflicts: 332000 | #Constraints: 22192
34.10/34.29 c #Conflicts: 333000 | #Constraints: 23192
34.10/34.29 c INPROCESSING
34.10/34.29 c GARBAGE COLLECT
34.10/34.29 c rational objective 250.5
35.29/35.47 c #Conflicts: 334000 | #Constraints: 12793
35.29/35.47 c #Conflicts: 335000 | #Constraints: 13793
35.29/35.47 c #Conflicts: 336000 | #Constraints: 14793
35.29/35.47 c #Conflicts: 337000 | #Constraints: 15794
35.29/35.47 c #Conflicts: 338000 | #Constraints: 16794
35.29/35.47 c #Conflicts: 339000 | #Constraints: 17794
35.29/35.47 c #Conflicts: 340000 | #Constraints: 18794
35.29/35.47 c #Conflicts: 341000 | #Constraints: 19794
35.29/35.47 c #Conflicts: 342000 | #Constraints: 20794
35.29/35.47 c #Conflicts: 343000 | #Constraints: 21794
35.29/35.47 c #Conflicts: 344000 | #Constraints: 22794
35.29/35.47 c #Conflicts: 345000 | #Constraints: 23794
35.29/35.47 c INPROCESSING
35.29/35.47 c GARBAGE COLLECT
35.29/35.47 c rational objective 250.5
36.49/36.66 c #Conflicts: 346000 | #Constraints: 13186
36.49/36.66 c #Conflicts: 347000 | #Constraints: 14186
36.49/36.66 c #Conflicts: 348000 | #Constraints: 15186
36.49/36.66 c #Conflicts: 349000 | #Constraints: 16186
36.49/36.66 c #Conflicts: 350000 | #Constraints: 17186
36.49/36.66 c #Conflicts: 351000 | #Constraints: 18186
36.49/36.66 c #Conflicts: 352000 | #Constraints: 19186
36.49/36.66 c #Conflicts: 353000 | #Constraints: 20186
36.49/36.66 c #Conflicts: 354000 | #Constraints: 21186
36.49/36.66 c #Conflicts: 355000 | #Constraints: 22186
36.49/36.66 c #Conflicts: 356000 | #Constraints: 23186
36.49/36.66 c #Conflicts: 357000 | #Constraints: 24186
36.49/36.66 c INPROCESSING
36.49/36.66 c GARBAGE COLLECT
36.49/36.66 c rational objective 250.5
37.68/37.88 c #Conflicts: 358000 | #Constraints: 13393
37.68/37.88 c #Conflicts: 359000 | #Constraints: 14393
37.68/37.88 c #Conflicts: 360000 | #Constraints: 15393
37.68/37.88 c #Conflicts: 361000 | #Constraints: 16393
37.68/37.88 c #Conflicts: 362000 | #Constraints: 17393
37.68/37.88 c #Conflicts: 363000 | #Constraints: 18393
37.68/37.88 c #Conflicts: 364000 | #Constraints: 19393
37.68/37.88 c #Conflicts: 365000 | #Constraints: 20393
37.68/37.88 c #Conflicts: 366000 | #Constraints: 21393
37.68/37.88 c #Conflicts: 367000 | #Constraints: 22393
37.68/37.88 c #Conflicts: 368000 | #Constraints: 23393
37.68/37.88 c #Conflicts: 369000 | #Constraints: 24393
37.68/37.88 c INPROCESSING
37.68/37.88 c GARBAGE COLLECT
37.68/37.88 c rational objective 250.5
39.18/39.35 c #Conflicts: 370000 | #Constraints: 13402
39.18/39.35 c #Conflicts: 371000 | #Constraints: 14402
39.18/39.35 c #Conflicts: 372000 | #Constraints: 15402
39.18/39.35 c #Conflicts: 373000 | #Constraints: 16402
39.18/39.35 c #Conflicts: 374000 | #Constraints: 17402
39.18/39.35 c #Conflicts: 375000 | #Constraints: 18402
39.18/39.35 c #Conflicts: 376000 | #Constraints: 19402
39.18/39.35 c #Conflicts: 377000 | #Constraints: 20402
39.18/39.35 c #Conflicts: 378000 | #Constraints: 21402
39.18/39.35 c #Conflicts: 379000 | #Constraints: 22402
39.18/39.35 c #Conflicts: 380000 | #Constraints: 23402
39.18/39.35 c #Conflicts: 381000 | #Constraints: 24402
39.18/39.35 c INPROCESSING
39.18/39.35 c GARBAGE COLLECT
39.18/39.35 c rational objective 250.5
40.58/40.70 c #Conflicts: 382000 | #Constraints: 13194
40.58/40.70 c #Conflicts: 383000 | #Constraints: 14194
40.58/40.70 c #Conflicts: 384000 | #Constraints: 15194
40.58/40.70 c #Conflicts: 385000 | #Constraints: 16194
40.58/40.70 c #Conflicts: 386000 | #Constraints: 17194
40.58/40.70 c #Conflicts: 387000 | #Constraints: 18194
40.58/40.70 c #Conflicts: 388000 | #Constraints: 19194
40.58/40.70 c #Conflicts: 389000 | #Constraints: 20194
40.58/40.70 c #Conflicts: 390000 | #Constraints: 21194
40.58/40.70 c #Conflicts: 391000 | #Constraints: 22194
40.58/40.70 c #Conflicts: 392000 | #Constraints: 23194
40.58/40.70 c #Conflicts: 393000 | #Constraints: 24194
40.58/40.70 c #Conflicts: 394000 | #Constraints: 25194
40.58/40.70 c INPROCESSING
40.58/40.70 c GARBAGE COLLECT
40.58/40.70 c rational objective 250.5
41.78/41.93 c #Conflicts: 395000 | #Constraints: 13796
41.78/41.93 c #Conflicts: 396000 | #Constraints: 14796
41.78/41.93 c #Conflicts: 397000 | #Constraints: 15796
41.78/41.93 c #Conflicts: 398000 | #Constraints: 16796
41.78/41.93 c #Conflicts: 399000 | #Constraints: 17796
41.78/41.93 c #Conflicts: 400000 | #Constraints: 18796
41.78/41.93 c #Conflicts: 401000 | #Constraints: 19796
41.78/41.93 c #Conflicts: 402000 | #Constraints: 20796
41.78/41.93 c #Conflicts: 403000 | #Constraints: 21796
41.78/41.93 c #Conflicts: 404000 | #Constraints: 22796
41.78/41.93 c #Conflicts: 405000 | #Constraints: 23797
41.78/41.93 c #Conflicts: 406000 | #Constraints: 24797
41.78/41.93 c #Conflicts: 407000 | #Constraints: 25797
41.78/41.93 c INPROCESSING
41.78/41.93 c GARBAGE COLLECT
41.78/41.93 c rational objective 250.5
43.08/43.27 c #Conflicts: 408000 | #Constraints: 14194
43.08/43.27 c #Conflicts: 409000 | #Constraints: 15194
43.08/43.27 c #Conflicts: 410000 | #Constraints: 16194
43.08/43.27 c #Conflicts: 411000 | #Constraints: 17194
43.08/43.27 c #Conflicts: 412000 | #Constraints: 18194
43.08/43.27 c #Conflicts: 413000 | #Constraints: 19194
43.08/43.27 c #Conflicts: 414000 | #Constraints: 20194
43.08/43.27 c #Conflicts: 415000 | #Constraints: 21194
43.08/43.27 c #Conflicts: 416000 | #Constraints: 22194
43.08/43.27 c #Conflicts: 417000 | #Constraints: 23194
43.08/43.27 c #Conflicts: 418000 | #Constraints: 24194
43.08/43.27 c #Conflicts: 419000 | #Constraints: 25194
43.08/43.27 c #Conflicts: 420000 | #Constraints: 26194
43.08/43.27 c INPROCESSING
43.08/43.27 c GARBAGE COLLECT
43.08/43.27 c rational objective 250.5
44.57/44.76 c #Conflicts: 421000 | #Constraints: 14392
44.57/44.76 c #Conflicts: 422000 | #Constraints: 15392
44.57/44.76 c #Conflicts: 423000 | #Constraints: 16392
44.57/44.76 c #Conflicts: 424000 | #Constraints: 17392
44.57/44.76 c #Conflicts: 425000 | #Constraints: 18392
44.57/44.76 c #Conflicts: 426000 | #Constraints: 19393
44.57/44.76 c #Conflicts: 427000 | #Constraints: 20393
44.57/44.76 c #Conflicts: 428000 | #Constraints: 21393
44.57/44.76 c #Conflicts: 429000 | #Constraints: 22393
44.57/44.76 c #Conflicts: 430000 | #Constraints: 23393
44.57/44.76 c #Conflicts: 431000 | #Constraints: 24393
44.57/44.76 c #Conflicts: 432000 | #Constraints: 25393
44.57/44.76 c #Conflicts: 433000 | #Constraints: 26393
44.57/44.76 c INPROCESSING
44.57/44.76 c GARBAGE COLLECT
44.57/44.76 c rational objective 250.5
46.06/46.28 c #Conflicts: 434000 | #Constraints: 14400
46.06/46.28 c #Conflicts: 435000 | #Constraints: 15400
46.06/46.28 c #Conflicts: 436000 | #Constraints: 16400
46.06/46.28 c #Conflicts: 437000 | #Constraints: 17400
46.06/46.28 c #Conflicts: 438000 | #Constraints: 18400
46.06/46.28 c #Conflicts: 439000 | #Constraints: 19400
46.06/46.28 c #Conflicts: 440000 | #Constraints: 20400
46.06/46.28 c #Conflicts: 441000 | #Constraints: 21400
46.06/46.28 c #Conflicts: 442000 | #Constraints: 22400
46.06/46.28 c #Conflicts: 443000 | #Constraints: 23400
46.06/46.28 c #Conflicts: 444000 | #Constraints: 24400
46.06/46.28 c #Conflicts: 445000 | #Constraints: 25400
46.06/46.28 c #Conflicts: 446000 | #Constraints: 26400
46.06/46.28 c INPROCESSING
46.06/46.28 c GARBAGE COLLECT
46.06/46.28 c rational objective 250.5
47.66/47.80 c #Conflicts: 447000 | #Constraints: 14206
47.66/47.80 c #Conflicts: 448000 | #Constraints: 15206
47.66/47.80 c #Conflicts: 449000 | #Constraints: 16206
47.66/47.80 c #Conflicts: 450000 | #Constraints: 17206
47.66/47.80 c #Conflicts: 451000 | #Constraints: 18207
47.66/47.80 c #Conflicts: 452000 | #Constraints: 19207
47.66/47.80 c #Conflicts: 453000 | #Constraints: 20207
47.66/47.80 c #Conflicts: 454000 | #Constraints: 21207
47.66/47.80 c #Conflicts: 455000 | #Constraints: 22207
47.66/47.80 c #Conflicts: 456000 | #Constraints: 23207
47.66/47.80 c #Conflicts: 457000 | #Constraints: 24207
47.66/47.80 c #Conflicts: 458000 | #Constraints: 25207
47.66/47.80 c #Conflicts: 459000 | #Constraints: 26207
47.66/47.80 c #Conflicts: 460000 | #Constraints: 27207
47.66/47.80 c INPROCESSING
47.66/47.80 c GARBAGE COLLECT
47.66/47.80 c rational objective 250.5
49.16/49.32 c #Conflicts: 461000 | #Constraints: 14804
49.16/49.32 c #Conflicts: 462000 | #Constraints: 15804
49.16/49.32 c #Conflicts: 463000 | #Constraints: 16804
49.16/49.32 c #Conflicts: 464000 | #Constraints: 17804
49.16/49.32 c #Conflicts: 465000 | #Constraints: 18804
49.16/49.32 c #Conflicts: 466000 | #Constraints: 19804
49.16/49.32 c #Conflicts: 467000 | #Constraints: 20804
49.16/49.32 c #Conflicts: 468000 | #Constraints: 21804
49.16/49.32 c #Conflicts: 469000 | #Constraints: 22804
49.16/49.32 c #Conflicts: 470000 | #Constraints: 23804
49.16/49.32 c #Conflicts: 471000 | #Constraints: 24804
49.16/49.32 c #Conflicts: 472000 | #Constraints: 25804
49.16/49.32 c #Conflicts: 473000 | #Constraints: 26804
49.16/49.32 c #Conflicts: 474000 | #Constraints: 27804
49.16/49.32 c INPROCESSING
49.16/49.32 c GARBAGE COLLECT
49.16/49.32 c rational objective 250.5
51.15/51.32 c #Conflicts: 475000 | #Constraints: 15207
51.15/51.32 c #Conflicts: 476000 | #Constraints: 16207
51.15/51.32 c #Conflicts: 477000 | #Constraints: 17207
51.15/51.32 c #Conflicts: 478000 | #Constraints: 18207
51.15/51.32 c #Conflicts: 479000 | #Constraints: 19207
51.15/51.32 c #Conflicts: 480000 | #Constraints: 20207
51.15/51.32 c #Conflicts: 481000 | #Constraints: 21207
51.15/51.32 c #Conflicts: 482000 | #Constraints: 22207
51.15/51.32 c #Conflicts: 483000 | #Constraints: 23207
51.15/51.32 c #Conflicts: 484000 | #Constraints: 24207
51.15/51.32 c #Conflicts: 485000 | #Constraints: 25207
51.15/51.32 c #Conflicts: 486000 | #Constraints: 26207
51.15/51.32 c #Conflicts: 487000 | #Constraints: 27207
51.15/51.32 c #Conflicts: 488000 | #Constraints: 28207
51.15/51.32 c INPROCESSING
51.15/51.32 c GARBAGE COLLECT
51.15/51.32 c rational objective 250.5
52.55/52.75 c #Conflicts: 489000 | #Constraints: 15418
52.55/52.75 c #Conflicts: 490000 | #Constraints: 16418
52.55/52.75 c #Conflicts: 491000 | #Constraints: 17418
52.55/52.75 c #Conflicts: 492000 | #Constraints: 18418
52.55/52.75 c #Conflicts: 493000 | #Constraints: 19418
52.55/52.75 c #Conflicts: 494000 | #Constraints: 20418
52.55/52.75 c #Conflicts: 495000 | #Constraints: 21418
52.55/52.75 c #Conflicts: 496000 | #Constraints: 22418
52.55/52.75 c #Conflicts: 497000 | #Constraints: 23418
52.55/52.75 c #Conflicts: 498000 | #Constraints: 24418
52.55/52.75 c #Conflicts: 499000 | #Constraints: 25418
52.55/52.75 c #Conflicts: 500000 | #Constraints: 26418
52.55/52.75 c #Conflicts: 501000 | #Constraints: 27418
52.55/52.75 c #Conflicts: 502000 | #Constraints: 28418
52.55/52.75 c INPROCESSING
52.55/52.75 c GARBAGE COLLECT
52.55/52.75 c rational objective 250.5
54.04/54.28 c #Conflicts: 503000 | #Constraints: 15417
54.04/54.28 c #Conflicts: 504000 | #Constraints: 16417
54.04/54.28 c #Conflicts: 505000 | #Constraints: 17417
54.04/54.28 c #Conflicts: 506000 | #Constraints: 18417
54.04/54.28 c #Conflicts: 507000 | #Constraints: 19417
54.04/54.28 c #Conflicts: 508000 | #Constraints: 20417
54.04/54.28 c #Conflicts: 509000 | #Constraints: 21417
54.04/54.28 c #Conflicts: 510000 | #Constraints: 22417
54.04/54.28 c #Conflicts: 511000 | #Constraints: 23417
54.04/54.28 c #Conflicts: 512000 | #Constraints: 24417
54.04/54.28 c #Conflicts: 513000 | #Constraints: 25417
54.04/54.28 c #Conflicts: 514000 | #Constraints: 26417
54.04/54.28 c #Conflicts: 515000 | #Constraints: 27417
54.04/54.28 c #Conflicts: 516000 | #Constraints: 28417
54.04/54.28 c INPROCESSING
54.04/54.28 c GARBAGE COLLECT
54.04/54.28 c rational objective 250.5
55.64/55.85 c #Conflicts: 517000 | #Constraints: 15213
55.64/55.85 c #Conflicts: 518000 | #Constraints: 16213
55.64/55.85 c #Conflicts: 519000 | #Constraints: 17213
55.64/55.85 c #Conflicts: 520000 | #Constraints: 18213
55.64/55.85 c #Conflicts: 521000 | #Constraints: 19213
55.64/55.85 c #Conflicts: 522000 | #Constraints: 20213
55.64/55.85 c #Conflicts: 523000 | #Constraints: 21213
55.64/55.85 c #Conflicts: 524000 | #Constraints: 22213
55.64/55.85 c #Conflicts: 525000 | #Constraints: 23213
55.64/55.85 c #Conflicts: 526000 | #Constraints: 24214
55.64/55.85 c #Conflicts: 527000 | #Constraints: 25214
55.64/55.85 c #Conflicts: 528000 | #Constraints: 26214
55.64/55.85 c #Conflicts: 529000 | #Constraints: 27215
55.64/55.85 c #Conflicts: 530000 | #Constraints: 28215
55.64/55.85 c #Conflicts: 531000 | #Constraints: 29215
55.64/55.85 c INPROCESSING
55.64/55.85 c GARBAGE COLLECT
55.64/55.85 c rational objective 250.5
57.24/57.41 c #Conflicts: 532000 | #Constraints: 15813
57.24/57.41 c #Conflicts: 533000 | #Constraints: 16813
57.24/57.41 c #Conflicts: 534000 | #Constraints: 17813
57.24/57.41 c #Conflicts: 535000 | #Constraints: 18813
57.24/57.41 c #Conflicts: 536000 | #Constraints: 19813
57.24/57.41 c #Conflicts: 537000 | #Constraints: 20813
57.24/57.41 c #Conflicts: 538000 | #Constraints: 21813
57.24/57.41 c #Conflicts: 539000 | #Constraints: 22813
57.24/57.41 c #Conflicts: 540000 | #Constraints: 23813
57.24/57.41 c #Conflicts: 541000 | #Constraints: 24813
57.24/57.41 c #Conflicts: 542000 | #Constraints: 25813
57.24/57.41 c #Conflicts: 543000 | #Constraints: 26813
57.24/57.41 c #Conflicts: 544000 | #Constraints: 27813
57.24/57.41 c #Conflicts: 545000 | #Constraints: 28813
57.24/57.41 c #Conflicts: 546000 | #Constraints: 29813
57.24/57.41 c INPROCESSING
57.24/57.41 c GARBAGE COLLECT
57.24/57.41 c rational objective 250.5
59.03/59.25 c #Conflicts: 547000 | #Constraints: 16208
59.03/59.25 c #Conflicts: 548000 | #Constraints: 17208
59.03/59.25 c #Conflicts: 549000 | #Constraints: 18208
59.03/59.25 c #Conflicts: 550000 | #Constraints: 19208
59.03/59.25 c #Conflicts: 551000 | #Constraints: 20208
59.03/59.25 c #Conflicts: 552000 | #Constraints: 21208
59.03/59.25 c #Conflicts: 553000 | #Constraints: 22208
59.03/59.25 c #Conflicts: 554000 | #Constraints: 23208
59.03/59.25 c #Conflicts: 555000 | #Constraints: 24208
59.03/59.25 c #Conflicts: 556000 | #Constraints: 25208
59.03/59.25 c #Conflicts: 557000 | #Constraints: 26208
59.03/59.25 c #Conflicts: 558000 | #Constraints: 27208
59.03/59.25 c #Conflicts: 559000 | #Constraints: 28209
59.03/59.25 c #Conflicts: 560000 | #Constraints: 29209
59.03/59.25 c #Conflicts: 561000 | #Constraints: 30209
59.03/59.25 c INPROCESSING
59.03/59.25 c GARBAGE COLLECT
59.03/59.25 c rational objective 250.5
60.73/60.91 c #Conflicts: 562000 | #Constraints: 16411
60.73/60.91 c #Conflicts: 563000 | #Constraints: 17411
60.73/60.91 c #Conflicts: 564000 | #Constraints: 18411
60.73/60.91 c #Conflicts: 565000 | #Constraints: 19411
60.73/60.91 c #Conflicts: 566000 | #Constraints: 20411
60.73/60.91 c #Conflicts: 567000 | #Constraints: 21411
60.73/60.91 c #Conflicts: 568000 | #Constraints: 22411
60.73/60.91 c #Conflicts: 569000 | #Constraints: 23411
60.73/60.91 c #Conflicts: 570000 | #Constraints: 24411
60.73/60.91 c #Conflicts: 571000 | #Constraints: 25411
60.73/60.91 c #Conflicts: 572000 | #Constraints: 26411
60.73/60.91 c #Conflicts: 573000 | #Constraints: 27411
60.73/60.91 c #Conflicts: 574000 | #Constraints: 28411
60.73/60.91 c #Conflicts: 575000 | #Constraints: 29411
60.73/60.91 c #Conflicts: 576000 | #Constraints: 30411
60.73/60.91 c INPROCESSING
60.73/60.91 c GARBAGE COLLECT
60.73/60.91 c rational objective 250.5
62.43/62.65 c #Conflicts: 577000 | #Constraints: 16420
62.43/62.65 c #Conflicts: 578000 | #Constraints: 17420
62.43/62.65 c #Conflicts: 579000 | #Constraints: 18420
62.43/62.65 c #Conflicts: 580000 | #Constraints: 19420
62.43/62.65 c #Conflicts: 581000 | #Constraints: 20420
62.43/62.65 c #Conflicts: 582000 | #Constraints: 21420
62.43/62.65 c #Conflicts: 583000 | #Constraints: 22420
62.43/62.65 c #Conflicts: 584000 | #Constraints: 23420
62.43/62.65 c #Conflicts: 585000 | #Constraints: 24420
62.43/62.65 c #Conflicts: 586000 | #Constraints: 25420
62.43/62.65 c #Conflicts: 587000 | #Constraints: 26421
62.43/62.65 c #Conflicts: 588000 | #Constraints: 27421
62.43/62.65 c #Conflicts: 589000 | #Constraints: 28421
62.43/62.65 c #Conflicts: 590000 | #Constraints: 29421
62.43/62.65 c #Conflicts: 591000 | #Constraints: 30421
62.43/62.65 c INPROCESSING
62.43/62.65 c GARBAGE COLLECT
62.43/62.65 c rational objective 250.5
64.12/64.39 c #Conflicts: 592000 | #Constraints: 16217
64.12/64.39 c #Conflicts: 593000 | #Constraints: 17217
64.12/64.39 c #Conflicts: 594000 | #Constraints: 18217
64.12/64.39 c #Conflicts: 595000 | #Constraints: 19217
64.12/64.39 c #Conflicts: 596000 | #Constraints: 20217
64.12/64.39 c #Conflicts: 597000 | #Constraints: 21217
64.12/64.39 c #Conflicts: 598000 | #Constraints: 22217
64.12/64.39 c #Conflicts: 599000 | #Constraints: 23217
64.12/64.39 c #Conflicts: 600000 | #Constraints: 24217
64.12/64.39 c #Conflicts: 601000 | #Constraints: 25217
64.12/64.39 c #Conflicts: 602000 | #Constraints: 26217
64.12/64.39 c #Conflicts: 603000 | #Constraints: 27217
64.12/64.39 c #Conflicts: 604000 | #Constraints: 28217
64.12/64.39 c #Conflicts: 605000 | #Constraints: 29217
64.12/64.39 c #Conflicts: 606000 | #Constraints: 30217
64.12/64.39 c #Conflicts: 607000 | #Constraints: 31217
64.12/64.39 c INPROCESSING
64.12/64.39 c GARBAGE COLLECT
64.12/64.39 c rational objective 250.5
66.11/66.30 c #Conflicts: 608000 | #Constraints: 16816
66.11/66.30 c #Conflicts: 609000 | #Constraints: 17816
66.11/66.30 c #Conflicts: 610000 | #Constraints: 18816
66.11/66.30 c #Conflicts: 611000 | #Constraints: 19816
66.11/66.30 c #Conflicts: 612000 | #Constraints: 20816
66.11/66.30 c #Conflicts: 613000 | #Constraints: 21816
66.11/66.30 c #Conflicts: 614000 | #Constraints: 22816
66.11/66.30 c #Conflicts: 615000 | #Constraints: 23816
66.11/66.30 c #Conflicts: 616000 | #Constraints: 24816
66.11/66.30 c #Conflicts: 617000 | #Constraints: 25816
66.11/66.30 c #Conflicts: 618000 | #Constraints: 26816
66.11/66.30 c #Conflicts: 619000 | #Constraints: 27816
66.11/66.30 c #Conflicts: 620000 | #Constraints: 28816
66.11/66.30 c #Conflicts: 621000 | #Constraints: 29816
66.11/66.30 c #Conflicts: 622000 | #Constraints: 30816
66.11/66.30 c #Conflicts: 623000 | #Constraints: 31816
66.11/66.30 c INPROCESSING
66.11/66.30 c GARBAGE COLLECT
66.11/66.30 c rational objective 250.5
67.92/68.11 c #Conflicts: 624000 | #Constraints: 17210
67.92/68.11 c #Conflicts: 625000 | #Constraints: 18210
67.92/68.11 c #Conflicts: 626000 | #Constraints: 19210
67.92/68.11 c #Conflicts: 627000 | #Constraints: 20210
67.92/68.11 c #Conflicts: 628000 | #Constraints: 21210
67.92/68.11 c #Conflicts: 629000 | #Constraints: 22210
67.92/68.11 c #Conflicts: 630000 | #Constraints: 23210
67.92/68.11 c #Conflicts: 631000 | #Constraints: 24210
67.92/68.11 c #Conflicts: 632000 | #Constraints: 25210
67.92/68.11 c #Conflicts: 633000 | #Constraints: 26210
67.92/68.11 c #Conflicts: 634000 | #Constraints: 27210
67.92/68.11 c #Conflicts: 635000 | #Constraints: 28210
67.92/68.11 c #Conflicts: 636000 | #Constraints: 29211
67.92/68.11 c #Conflicts: 637000 | #Constraints: 30211
67.92/68.11 c #Conflicts: 638000 | #Constraints: 31211
67.92/68.11 c #Conflicts: 639000 | #Constraints: 32211
67.92/68.11 c INPROCESSING
67.92/68.11 c GARBAGE COLLECT
67.92/68.11 c rational objective 250.5
69.71/69.93 c #Conflicts: 640000 | #Constraints: 17411
69.71/69.93 c #Conflicts: 641000 | #Constraints: 18411
69.71/69.93 c #Conflicts: 642000 | #Constraints: 19411
69.71/69.93 c #Conflicts: 643000 | #Constraints: 20411
69.71/69.93 c #Conflicts: 644000 | #Constraints: 21411
69.71/69.93 c #Conflicts: 645000 | #Constraints: 22411
69.71/69.93 c #Conflicts: 646000 | #Constraints: 23411
69.71/69.93 c #Conflicts: 647000 | #Constraints: 24411
69.71/69.93 c #Conflicts: 648000 | #Constraints: 25411
69.71/69.93 c #Conflicts: 649000 | #Constraints: 26412
69.71/69.93 c #Conflicts: 650000 | #Constraints: 27412
69.71/69.93 c #Conflicts: 651000 | #Constraints: 28412
69.71/69.93 c #Conflicts: 652000 | #Constraints: 29412
69.71/69.93 c #Conflicts: 653000 | #Constraints: 30413
69.71/69.93 c #Conflicts: 654000 | #Constraints: 31413
69.71/69.93 c #Conflicts: 655000 | #Constraints: 32413
69.71/69.93 c INPROCESSING
69.71/69.93 c GARBAGE COLLECT
69.71/69.93 c rational objective 250.5
71.50/71.80 c #Conflicts: 656000 | #Constraints: 17416
71.50/71.80 c #Conflicts: 657000 | #Constraints: 18416
71.50/71.80 c #Conflicts: 658000 | #Constraints: 19416
71.50/71.80 c #Conflicts: 659000 | #Constraints: 20416
71.50/71.80 c #Conflicts: 660000 | #Constraints: 21416
71.50/71.80 c #Conflicts: 661000 | #Constraints: 22416
71.50/71.80 c #Conflicts: 662000 | #Constraints: 23416
71.50/71.80 c #Conflicts: 663000 | #Constraints: 24416
71.50/71.80 c #Conflicts: 664000 | #Constraints: 25417
71.50/71.80 c #Conflicts: 665000 | #Constraints: 26417
71.50/71.80 c #Conflicts: 666000 | #Constraints: 27417
71.50/71.80 c #Conflicts: 667000 | #Constraints: 28417
71.50/71.80 c #Conflicts: 668000 | #Constraints: 29417
71.50/71.80 c #Conflicts: 669000 | #Constraints: 30417
71.50/71.80 c #Conflicts: 670000 | #Constraints: 31417
71.50/71.80 c #Conflicts: 671000 | #Constraints: 32417
71.50/71.80 c INPROCESSING
71.50/71.80 c GARBAGE COLLECT
71.50/71.80 c rational objective 250.5
73.39/73.66 c #Conflicts: 672000 | #Constraints: 17219
73.39/73.66 c #Conflicts: 673000 | #Constraints: 18219
73.39/73.66 c #Conflicts: 674000 | #Constraints: 19219
73.39/73.66 c #Conflicts: 675000 | #Constraints: 20219
73.39/73.66 c #Conflicts: 676000 | #Constraints: 21219
73.39/73.66 c #Conflicts: 677000 | #Constraints: 22219
73.39/73.66 c #Conflicts: 678000 | #Constraints: 23219
73.39/73.66 c #Conflicts: 679000 | #Constraints: 24219
73.39/73.66 c #Conflicts: 680000 | #Constraints: 25219
73.39/73.66 c #Conflicts: 681000 | #Constraints: 26219
73.39/73.66 c #Conflicts: 682000 | #Constraints: 27219
73.39/73.66 c #Conflicts: 683000 | #Constraints: 28219
73.39/73.66 c #Conflicts: 684000 | #Constraints: 29219
73.39/73.66 c #Conflicts: 685000 | #Constraints: 30219
73.39/73.66 c #Conflicts: 686000 | #Constraints: 31219
73.39/73.66 c #Conflicts: 687000 | #Constraints: 32219
73.39/73.66 c #Conflicts: 688000 | #Constraints: 33219
73.39/73.66 c INPROCESSING
73.39/73.66 c GARBAGE COLLECT
73.39/73.66 c rational objective 250.5
75.39/75.64 c #Conflicts: 689000 | #Constraints: 17819
75.39/75.64 c #Conflicts: 690000 | #Constraints: 18819
75.39/75.64 c #Conflicts: 691000 | #Constraints: 19819
75.39/75.64 c #Conflicts: 692000 | #Constraints: 20819
75.39/75.64 c #Conflicts: 693000 | #Constraints: 21819
75.39/75.64 c #Conflicts: 694000 | #Constraints: 22819
75.39/75.64 c #Conflicts: 695000 | #Constraints: 23819
75.39/75.64 c #Conflicts: 696000 | #Constraints: 24819
75.39/75.64 c #Conflicts: 697000 | #Constraints: 25819
75.39/75.64 c #Conflicts: 698000 | #Constraints: 26819
75.39/75.64 c #Conflicts: 699000 | #Constraints: 27819
75.39/75.64 c #Conflicts: 700000 | #Constraints: 28819
75.39/75.64 c #Conflicts: 701000 | #Constraints: 29819
75.39/75.64 c #Conflicts: 702000 | #Constraints: 30819
75.39/75.64 c #Conflicts: 703000 | #Constraints: 31819
75.39/75.64 c #Conflicts: 704000 | #Constraints: 32819
75.39/75.64 c #Conflicts: 705000 | #Constraints: 33819
75.39/75.64 c INPROCESSING
75.39/75.64 c GARBAGE COLLECT
75.39/75.64 c rational objective 250.5
77.98/78.27 c #Conflicts: 706000 | #Constraints: 18219
77.98/78.27 c #Conflicts: 707000 | #Constraints: 19219
77.98/78.27 c #Conflicts: 708000 | #Constraints: 20219
77.98/78.27 c #Conflicts: 709000 | #Constraints: 21219
77.98/78.27 c #Conflicts: 710000 | #Constraints: 22219
77.98/78.27 c #Conflicts: 711000 | #Constraints: 23219
77.98/78.27 c #Conflicts: 712000 | #Constraints: 24219
77.98/78.27 c #Conflicts: 713000 | #Constraints: 25219
77.98/78.27 c #Conflicts: 714000 | #Constraints: 26219
77.98/78.27 c #Conflicts: 715000 | #Constraints: 27219
77.98/78.27 c #Conflicts: 716000 | #Constraints: 28219
77.98/78.27 c #Conflicts: 717000 | #Constraints: 29219
77.98/78.27 c #Conflicts: 718000 | #Constraints: 30219
77.98/78.27 c #Conflicts: 719000 | #Constraints: 31219
77.98/78.27 c #Conflicts: 720000 | #Constraints: 32220
77.98/78.27 c #Conflicts: 721000 | #Constraints: 33220
77.98/78.27 c #Conflicts: 722000 | #Constraints: 34220
77.98/78.27 c INPROCESSING
77.98/78.27 c GARBAGE COLLECT
77.98/78.27 c rational objective 250.5
79.98/80.27 c #Conflicts: 723000 | #Constraints: 18420
79.98/80.27 c #Conflicts: 724000 | #Constraints: 19420
79.98/80.27 c #Conflicts: 725000 | #Constraints: 20420
79.98/80.27 c #Conflicts: 726000 | #Constraints: 21420
79.98/80.27 c #Conflicts: 727000 | #Constraints: 22420
79.98/80.27 c #Conflicts: 728000 | #Constraints: 23420
79.98/80.27 c #Conflicts: 729000 | #Constraints: 24420
79.98/80.27 c #Conflicts: 730000 | #Constraints: 25421
79.98/80.27 c #Conflicts: 731000 | #Constraints: 26421
79.98/80.27 c #Conflicts: 732000 | #Constraints: 27421
79.98/80.27 c #Conflicts: 733000 | #Constraints: 28421
79.98/80.27 c #Conflicts: 734000 | #Constraints: 29421
79.98/80.27 c #Conflicts: 735000 | #Constraints: 30421
79.98/80.27 c #Conflicts: 736000 | #Constraints: 31421
79.98/80.27 c #Conflicts: 737000 | #Constraints: 32421
79.98/80.27 c #Conflicts: 738000 | #Constraints: 33421
79.98/80.27 c #Conflicts: 739000 | #Constraints: 34421
79.98/80.27 c INPROCESSING
79.98/80.27 c GARBAGE COLLECT
79.98/80.27 c rational objective 250.5
81.98/82.27 c #Conflicts: 740000 | #Constraints: 18424
81.98/82.27 c #Conflicts: 741000 | #Constraints: 19424
81.98/82.27 c #Conflicts: 742000 | #Constraints: 20424
81.98/82.27 c #Conflicts: 743000 | #Constraints: 21424
81.98/82.27 c #Conflicts: 744000 | #Constraints: 22424
81.98/82.27 c #Conflicts: 745000 | #Constraints: 23424
81.98/82.27 c #Conflicts: 746000 | #Constraints: 24424
81.98/82.27 c #Conflicts: 747000 | #Constraints: 25424
81.98/82.27 c #Conflicts: 748000 | #Constraints: 26424
81.98/82.27 c #Conflicts: 749000 | #Constraints: 27424
81.98/82.27 c #Conflicts: 750000 | #Constraints: 28424
81.98/82.27 c #Conflicts: 751000 | #Constraints: 29424
81.98/82.27 c #Conflicts: 752000 | #Constraints: 30424
81.98/82.27 c #Conflicts: 753000 | #Constraints: 31424
81.98/82.27 c #Conflicts: 754000 | #Constraints: 32424
81.98/82.27 c #Conflicts: 755000 | #Constraints: 33424
81.98/82.27 c #Conflicts: 756000 | #Constraints: 34425
81.98/82.27 c INPROCESSING
81.98/82.27 c GARBAGE COLLECT
81.98/82.27 c rational objective 250.5
84.07/84.38 c #Conflicts: 757000 | #Constraints: 18217
84.07/84.38 c #Conflicts: 758000 | #Constraints: 19218
84.07/84.38 c #Conflicts: 759000 | #Constraints: 20218
84.07/84.38 c #Conflicts: 760000 | #Constraints: 21218
84.07/84.38 c #Conflicts: 761000 | #Constraints: 22218
84.07/84.38 c #Conflicts: 762000 | #Constraints: 23218
84.07/84.38 c #Conflicts: 763000 | #Constraints: 24218
84.07/84.38 c #Conflicts: 764000 | #Constraints: 25218
84.07/84.38 c #Conflicts: 765000 | #Constraints: 26218
84.07/84.38 c #Conflicts: 766000 | #Constraints: 27218
84.07/84.38 c #Conflicts: 767000 | #Constraints: 28218
84.07/84.38 c #Conflicts: 768000 | #Constraints: 29218
84.07/84.38 c #Conflicts: 769000 | #Constraints: 30218
84.07/84.38 c #Conflicts: 770000 | #Constraints: 31218
84.07/84.38 c #Conflicts: 771000 | #Constraints: 32218
84.07/84.38 c #Conflicts: 772000 | #Constraints: 33218
84.07/84.38 c #Conflicts: 773000 | #Constraints: 34218
84.07/84.38 c #Conflicts: 774000 | #Constraints: 35218
84.07/84.38 c INPROCESSING
84.07/84.38 c GARBAGE COLLECT
84.07/84.38 c rational objective 250.5
86.26/86.56 c #Conflicts: 775000 | #Constraints: 18817
86.26/86.56 c #Conflicts: 776000 | #Constraints: 19817
86.26/86.56 c #Conflicts: 777000 | #Constraints: 20818
86.26/86.56 c #Conflicts: 778000 | #Constraints: 21818
86.26/86.56 c #Conflicts: 779000 | #Constraints: 22818
86.26/86.56 c #Conflicts: 780000 | #Constraints: 23818
86.26/86.56 c #Conflicts: 781000 | #Constraints: 24818
86.26/86.56 c #Conflicts: 782000 | #Constraints: 25818
86.26/86.56 c #Conflicts: 783000 | #Constraints: 26818
86.26/86.56 c #Conflicts: 784000 | #Constraints: 27818
86.26/86.56 c #Conflicts: 785000 | #Constraints: 28818
86.26/86.56 c #Conflicts: 786000 | #Constraints: 29818
86.26/86.56 c #Conflicts: 787000 | #Constraints: 30818
86.26/86.56 c #Conflicts: 788000 | #Constraints: 31818
86.26/86.56 c #Conflicts: 789000 | #Constraints: 32818
86.26/86.56 c #Conflicts: 790000 | #Constraints: 33818
86.26/86.56 c #Conflicts: 791000 | #Constraints: 34818
86.26/86.56 c #Conflicts: 792000 | #Constraints: 35818
86.26/86.56 c INPROCESSING
86.26/86.56 c GARBAGE COLLECT
86.26/86.56 c rational objective 250.5
88.45/88.76 c #Conflicts: 793000 | #Constraints: 19218
88.45/88.76 c #Conflicts: 794000 | #Constraints: 20218
88.45/88.76 c #Conflicts: 795000 | #Constraints: 21218
88.45/88.76 c #Conflicts: 796000 | #Constraints: 22218
88.45/88.76 c #Conflicts: 797000 | #Constraints: 23218
88.45/88.76 c #Conflicts: 798000 | #Constraints: 24218
88.45/88.76 c #Conflicts: 799000 | #Constraints: 25218
88.45/88.76 c #Conflicts: 800000 | #Constraints: 26219
88.45/88.76 c #Conflicts: 801000 | #Constraints: 27219
88.45/88.76 c #Conflicts: 802000 | #Constraints: 28219
88.45/88.76 c #Conflicts: 803000 | #Constraints: 29219
88.45/88.76 c #Conflicts: 804000 | #Constraints: 30219
88.45/88.76 c #Conflicts: 805000 | #Constraints: 31219
88.45/88.76 c #Conflicts: 806000 | #Constraints: 32219
88.45/88.76 c #Conflicts: 807000 | #Constraints: 33219
88.45/88.76 c #Conflicts: 808000 | #Constraints: 34219
88.45/88.76 c #Conflicts: 809000 | #Constraints: 35219
88.45/88.76 c #Conflicts: 810000 | #Constraints: 36219
88.45/88.76 c INPROCESSING
88.45/88.76 c GARBAGE COLLECT
88.45/88.76 c rational objective 250.5
90.75/91.07 c #Conflicts: 811000 | #Constraints: 19417
90.75/91.07 c #Conflicts: 812000 | #Constraints: 20417
90.75/91.07 c #Conflicts: 813000 | #Constraints: 21417
90.75/91.07 c #Conflicts: 814000 | #Constraints: 22417
90.75/91.07 c #Conflicts: 815000 | #Constraints: 23417
90.75/91.07 c #Conflicts: 816000 | #Constraints: 24417
90.75/91.07 c #Conflicts: 817000 | #Constraints: 25417
90.75/91.07 c #Conflicts: 818000 | #Constraints: 26417
90.75/91.07 c #Conflicts: 819000 | #Constraints: 27418
90.75/91.07 c #Conflicts: 820000 | #Constraints: 28418
90.75/91.07 c #Conflicts: 821000 | #Constraints: 29418
90.75/91.07 c #Conflicts: 822000 | #Constraints: 30418
90.75/91.07 c #Conflicts: 823000 | #Constraints: 31418
90.75/91.07 c #Conflicts: 824000 | #Constraints: 32418
90.75/91.07 c #Conflicts: 825000 | #Constraints: 33419
90.75/91.07 c #Conflicts: 826000 | #Constraints: 34419
90.75/91.07 c #Conflicts: 827000 | #Constraints: 35419
90.75/91.07 c #Conflicts: 828000 | #Constraints: 36419
90.75/91.07 c INPROCESSING
90.75/91.07 c GARBAGE COLLECT
90.75/91.07 c rational objective 250.5
92.85/93.19 c #Conflicts: 829000 | #Constraints: 19424
92.85/93.19 c #Conflicts: 830000 | #Constraints: 20424
92.85/93.19 c #Conflicts: 831000 | #Constraints: 21424
92.85/93.19 c #Conflicts: 832000 | #Constraints: 22424
92.85/93.19 c #Conflicts: 833000 | #Constraints: 23424
92.85/93.19 c #Conflicts: 834000 | #Constraints: 24424
92.85/93.19 c #Conflicts: 835000 | #Constraints: 25424
92.85/93.19 c #Conflicts: 836000 | #Constraints: 26425
92.85/93.19 c #Conflicts: 837000 | #Constraints: 27425
92.85/93.19 c #Conflicts: 838000 | #Constraints: 28425
92.85/93.19 c #Conflicts: 839000 | #Constraints: 29425
92.85/93.19 c #Conflicts: 840000 | #Constraints: 30425
92.85/93.19 c #Conflicts: 841000 | #Constraints: 31425
92.85/93.19 c #Conflicts: 842000 | #Constraints: 32425
92.85/93.19 c #Conflicts: 843000 | #Constraints: 33425
92.85/93.19 c #Conflicts: 844000 | #Constraints: 34425
92.85/93.19 c #Conflicts: 845000 | #Constraints: 35425
92.85/93.19 c #Conflicts: 846000 | #Constraints: 36425
92.85/93.19 c INPROCESSING
92.85/93.19 c GARBAGE COLLECT
92.85/93.19 c rational objective 250.5
95.33/95.66 c #Conflicts: 847000 | #Constraints: 19227
95.33/95.66 c #Conflicts: 848000 | #Constraints: 20227
95.33/95.66 c #Conflicts: 849000 | #Constraints: 21227
95.33/95.66 c #Conflicts: 850000 | #Constraints: 22227
95.33/95.66 c #Conflicts: 851000 | #Constraints: 23227
95.33/95.66 c #Conflicts: 852000 | #Constraints: 24227
95.33/95.66 c #Conflicts: 853000 | #Constraints: 25227
95.33/95.66 c #Conflicts: 854000 | #Constraints: 26227
95.33/95.66 c #Conflicts: 855000 | #Constraints: 27227
95.33/95.66 c #Conflicts: 856000 | #Constraints: 28227
95.33/95.66 c #Conflicts: 857000 | #Constraints: 29227
95.33/95.66 c #Conflicts: 858000 | #Constraints: 30227
95.33/95.66 c #Conflicts: 859000 | #Constraints: 31227
95.33/95.66 c #Conflicts: 860000 | #Constraints: 32227
95.33/95.66 c #Conflicts: 861000 | #Constraints: 33227
95.33/95.66 c #Conflicts: 862000 | #Constraints: 34227
95.33/95.66 c #Conflicts: 863000 | #Constraints: 35227
95.33/95.66 c #Conflicts: 864000 | #Constraints: 36227
95.33/95.66 c #Conflicts: 865000 | #Constraints: 37227
95.33/95.66 c INPROCESSING
95.33/95.66 c GARBAGE COLLECT
95.33/95.66 c rational objective 250.5
97.74/98.06 c #Conflicts: 866000 | #Constraints: 19822
97.74/98.06 c #Conflicts: 867000 | #Constraints: 20822
97.74/98.06 c #Conflicts: 868000 | #Constraints: 21822
97.74/98.06 c #Conflicts: 869000 | #Constraints: 22822
97.74/98.06 c #Conflicts: 870000 | #Constraints: 23822
97.74/98.06 c #Conflicts: 871000 | #Constraints: 24822
97.74/98.06 c #Conflicts: 872000 | #Constraints: 25822
97.74/98.06 c #Conflicts: 873000 | #Constraints: 26822
97.74/98.06 c #Conflicts: 874000 | #Constraints: 27822
97.74/98.06 c #Conflicts: 875000 | #Constraints: 28822
97.74/98.06 c #Conflicts: 876000 | #Constraints: 29822
97.74/98.06 c #Conflicts: 877000 | #Constraints: 30822
97.74/98.06 c #Conflicts: 878000 | #Constraints: 31822
97.74/98.06 c #Conflicts: 879000 | #Constraints: 32822
97.74/98.06 c #Conflicts: 880000 | #Constraints: 33822
97.74/98.06 c #Conflicts: 881000 | #Constraints: 34822
97.74/98.06 c #Conflicts: 882000 | #Constraints: 35822
97.74/98.06 c #Conflicts: 883000 | #Constraints: 36822
97.74/98.06 c #Conflicts: 884000 | #Constraints: 37822
97.74/98.06 c INPROCESSING
97.74/98.06 c GARBAGE COLLECT
97.74/98.06 c rational objective 250.5
100.11/100.46 c #Conflicts: 885000 | #Constraints: 20228
100.11/100.46 c #Conflicts: 886000 | #Constraints: 21228
100.11/100.46 c #Conflicts: 887000 | #Constraints: 22228
100.11/100.46 c #Conflicts: 888000 | #Constraints: 23228
100.11/100.46 c #Conflicts: 889000 | #Constraints: 24228
100.11/100.46 c #Conflicts: 890000 | #Constraints: 25228
100.11/100.46 c #Conflicts: 891000 | #Constraints: 26228
100.11/100.46 c #Conflicts: 892000 | #Constraints: 27228
100.11/100.46 c #Conflicts: 893000 | #Constraints: 28228
100.11/100.46 c #Conflicts: 894000 | #Constraints: 29228
100.11/100.46 c #Conflicts: 895000 | #Constraints: 30228
100.11/100.46 c #Conflicts: 896000 | #Constraints: 31228
100.11/100.46 c #Conflicts: 897000 | #Constraints: 32228
100.11/100.46 c #Conflicts: 898000 | #Constraints: 33228
100.11/100.46 c #Conflicts: 899000 | #Constraints: 34229
100.11/100.46 c #Conflicts: 900000 | #Constraints: 35229
100.11/100.46 c #Conflicts: 901000 | #Constraints: 36229
100.11/100.46 c #Conflicts: 902000 | #Constraints: 37229
100.11/100.46 c #Conflicts: 903000 | #Constraints: 38229
100.11/100.46 c INPROCESSING
100.11/100.46 c GARBAGE COLLECT
100.11/100.46 c rational objective 250.5
100.31/100.66 c #Conflicts: 904000 | #Constraints: 20429
100.31/100.66 c #Conflicts: 905000 | #Constraints: 21429
100.31/100.66 c cpu time 92.3139 s
100.31/100.66 c deterministic time 2917391972 2.92e+09
100.31/100.66 c optimization time 0.000132 s
100.31/100.66 c total solve time 92.3101 s
100.31/100.66 c core-guided solve time 0 s
100.31/100.66 c propagation time 77.4942 s
100.31/100.66 c conflict analysis time 9.34032 s
100.31/100.66 c propagations 8458514
100.31/100.66 c resolve steps 2717623
100.31/100.66 c decisions 2142224
100.31/100.66 c conflicts 905006
100.31/100.66 c restarts 1977
100.31/100.66 c inprocessing phases 86
100.31/100.66 c input clauses 2
100.31/100.66 c input cardinalities 500
100.31/100.66 c input general constraints 0
100.31/100.66 c input average constraint length 3.99
100.31/100.66 c input average constraint degree 2.00
100.31/100.66 c learned clauses 793476
100.31/100.66 c learned cardinalities 2276
100.31/100.66 c learned general constraints 109434
100.31/100.66 c learned average constraint length 17.96
100.31/100.66 c learned average constraint degree 58755889.76
100.31/100.66 c watched constraints 84447
100.31/100.66 c counting constraints 24987
100.31/100.66 c gcd simplifications 257710
100.31/100.66 c detected cardinalities 625
100.31/100.66 c weakened non-implied lits 1854288
100.31/100.66 c weakened non-implying lits 344845
100.31/100.66 c original variables 501
100.31/100.66 c clausal propagations 1618432
100.31/100.66 c cardinality propagations 2062081
100.31/100.66 c watched propagations 239394
100.31/100.66 c counting propagations 3633657
100.31/100.66 c watch lookups 996491767
100.31/100.66 c watch backjump lookups 639308437
100.31/100.66 c watch checks 1058366254
100.31/100.66 c propagation checks 140215535
100.31/100.66 c constraint additions 59998060
100.31/100.66 c trail pops 11505544
100.31/100.66 c formula constraints 502
100.31/100.66 c learned constraints 904824
100.31/100.66 c bound constraints 0
100.31/100.66 c core-guided constraints 0
100.31/100.66 c encountered formula constraints 122639
100.31/100.66 c encountered learned constraints 2949414
100.31/100.66 c encountered bound constraints 0
100.31/100.66 c encountered core-guided constraints 0
100.31/100.66 c LP total time 51.7575 s
100.31/100.66 c LP solve time 47.37 s
100.31/100.66 c LP constraints added 610
100.31/100.66 c LP constraints removed 106
100.31/100.66 c LP pivots internal 905015
100.31/100.66 c LP pivots root 621
100.31/100.66 c LP calls 207107
100.31/100.66 c LP optimalities 206926
100.31/100.66 c LP no pivot count 56036
100.31/100.66 c LP infeasibilities 181
100.31/100.66 c LP valid Farkas constraints 181
100.31/100.66 c LP learned Farkas constraints 181
100.31/100.66 c LP basis resets 0
100.31/100.66 c LP cycling count 0
100.31/100.66 c LP singular count 0
100.31/100.66 c LP no primal count 0
100.31/100.66 c LP no farkas count 0
100.31/100.66 c LP other issue count 0
100.31/100.66 c LP Gomory cuts 0
100.31/100.66 c LP learned cuts 108
100.31/100.66 c LP deleted cuts 106
100.31/100.66 c LP encountered Gomory constraints 0
100.31/100.66 c LP encountered Farkas constraints 542213
100.31/100.66 c LP encountered learned Farkas constraints 8182
100.31/100.66 c CG auxiliary variables introduced 0
100.31/100.66 c CG solutions found 0
100.31/100.66 c CG cores constructed 0
100.31/100.66 c CG core cardinality constraints returned 0
100.31/100.66 c CG unit cores 0
100.31/100.66 c CG single cores 0
100.31/100.66 c CG blocks removed during cardinality reduction 0
100.31/100.66 c CG first core best 0
100.31/100.66 c CG decision core best 0
100.31/100.66 c CG core reduction tie 0
100.31/100.66 c CG core degree average 0.00
100.31/100.66 c CG core slack average 0.00
100.31/100.66 s SATISFIABLE
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: 64096 MiB (60611 MiB free)
memory of node 1: 64473 MiB (59577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457284-1721835838/watcher-4457284-1721835838 -o /tmp/evaluation-result-4457284-1721835838/solver-4457284-1721835838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457284-1721835838 --lp-cut-gomory=0 HOME/instance-4457284-1721835838.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=189401, runsolver pid=189398
[startup+0.100847 s]*
/proc/loadavg: 4.13 4.14 4.15 5/246 189402
/proc/meminfo: memFree=123071480/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=38472 memory=8124 CPUtime=0.1 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 557 0 0 0 9 1 0 0 20 0 1 0 19572717 39395328 2031 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9618 2031 1700 992 0 1476 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 8124 KiB
[startup+0.213752 s]*
/proc/loadavg: 4.13 4.14 4.15 5/246 189402
/proc/meminfo: memFree=123070108/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=38536 memory=8832 CPUtime=0.21 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 591 0 0 0 19 2 0 0 20 0 1 0 19572717 39460864 2208 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9634 2208 1834 992 0 1492 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 8832 KiB
[startup+0.312788 s]*
/proc/loadavg: 4.13 4.14 4.15 6/246 189402
/proc/meminfo: memFree=123069632/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=38600 memory=8968 CPUtime=0.31 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 612 0 0 0 27 4 0 0 20 0 1 0 19572717 39526400 2242 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9650 2242 1834 992 0 1508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38600 KiB
Current children cumulated memory: 8968 KiB
[startup+0.700251 s]
/proc/loadavg: 4.13 4.14 4.15 5/246 189402
/proc/meminfo: memFree=123067812/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=38800 memory=9112 CPUtime=0.68 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 678 0 0 0 61 7 0 0 20 0 1 0 19572717 39731200 2278 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9700 2278 1834 992 0 1558 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38800 KiB
Current children cumulated memory: 9112 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.14 4.15 5/246 189402
/proc/meminfo: memFree=123064368/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=39140 memory=9928 CPUtime=1.48 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 834 0 0 0 134 14 0 0 20 0 1 0 19572717 40079360 2482 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9785 2482 1834 992 0 1643 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 9928 KiB
[startup+3.1126 s]
/proc/loadavg: 4.20 4.15 4.15 5/246 189402
/proc/meminfo: memFree=123049392/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=39512 memory=10604 CPUtime=3.08 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 1013 0 0 0 279 29 0 0 20 0 1 0 19572717 40460288 2651 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 9878 2651 1834 992 0 1736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39512 KiB
Current children cumulated memory: 10604 KiB
[startup+6.30024 s]
/proc/loadavg: 4.20 4.15 4.15 5/246 189402
/proc/meminfo: memFree=123028336/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=40076 memory=11468 CPUtime=6.27 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 1298 0 0 0 569 58 0 0 20 0 1 0 19572717 41037824 2867 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10019 2867 1834 992 0 1877 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40076 KiB
Current children cumulated memory: 11468 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.14 4.15 5/246 189403
/proc/meminfo: memFree=122983860/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=40956 memory=14640 CPUtime=12.65 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 2012 0 0 0 1154 111 0 0 20 0 1 0 19572717 41938944 3660 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10239 3660 1834 992 0 2097 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 14640 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.15 5/246 189405
/proc/meminfo: memFree=122884448/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=41628 memory=15320 CPUtime=25.41 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 2750 0 0 0 2317 224 0 0 20 0 1 0 19572717 42627072 3830 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10407 3830 1834 992 0 2265 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 15320 KiB
[startup+51.1134 s]
/proc/loadavg: 4.09 4.13 4.15 5/247 189410
/proc/meminfo: memFree=122713440/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=42548 memory=16220 CPUtime=50.97 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 4923 0 0 0 4662 435 0 0 20 0 1 0 19572717 43569152 4055 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10637 4055 1834 992 0 2495 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 16220 KiB
[startup+100.665 s]
# the end of solver process 189401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=92.3173 s, system=8.05789 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.09 4.13 4.15 5/247 189410
/proc/meminfo: memFree=122713440/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=42548 memory=16220 CPUtime=51.05 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 4923 0 0 0 4670 435 0 0 20 0 1 0 19572717 43569152 4055 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10637 4055 1834 992 0 2495 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 16220 KiB
[startup+76.8002 s]
/proc/loadavg: 4.14 4.13 4.15 5/247 189414
/proc/meminfo: memFree=122558824/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43324 memory=16896 CPUtime=76.58 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 6467 0 0 0 7025 633 0 0 20 0 1 0 19572717 44363776 4224 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10831 4224 1834 992 0 2689 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 43324 KiB
Current children cumulated memory: 16896 KiB
[startup+89.6002 s]
/proc/loadavg: 4.68 4.26 4.19 4/244 189522
/proc/meminfo: memFree=122778240/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43532 memory=17460 CPUtime=89.35 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7075 0 0 0 8209 726 0 0 20 0 1 0 19572717 44576768 4365 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10883 4365 1834 992 0 2741 0
Current children cumulated CPU time: 89.35 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 17460 KiB
[startup+96.0002 s]*
/proc/loadavg: 4.70 4.27 4.19 5/248 189603
/proc/meminfo: memFree=122748184/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43656 memory=17588 CPUtime=95.74 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7338 0 0 0 8803 771 0 0 20 0 1 0 19572717 44703744 4397 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10914 4397 1834 992 0 2772 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 43656 KiB
Current children cumulated memory: 17588 KiB
[startup+99.2002 s]
/proc/loadavg: 4.73 4.28 4.20 5/248 189649
/proc/meminfo: memFree=122732240/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43796 memory=17720 CPUtime=98.92 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7450 0 0 0 9098 794 0 0 20 0 1 0 19572717 44847104 4430 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10949 4430 1834 992 0 2807 0
Current children cumulated CPU time: 98.92 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17720 KiB
[startup+100 s]*
/proc/loadavg: 4.73 4.28 4.20 5/248 189651
/proc/meminfo: memFree=122723972/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43796 memory=17720 CPUtime=99.73 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7450 0 0 0 9173 800 0 0 20 0 1 0 19572717 44847104 4430 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10949 4430 1834 992 0 2807 0
Current children cumulated CPU time: 99.73 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17720 KiB
[startup+100.4 s]
/proc/loadavg: 4.73 4.28 4.20 5/248 189651
/proc/meminfo: memFree=122723972/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43796 memory=17720 CPUtime=100.11 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7450 0 0 0 9209 802 0 0 20 0 1 0 19572717 44847104 4430 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10949 4430 1834 992 0 2807 0
Current children cumulated CPU time: 100.11 s
Current children cumulated vsize: 43796 KiB
Current children cumulated memory: 17720 KiB
[startup+100.6 s]
/proc/loadavg: 4.73 4.28 4.20 5/248 189651
/proc/meminfo: memFree=122723972/131655788 swapFree=131071472/131071996
[pid=189401] ppid=189398 vsize=43928 memory=17864 CPUtime=100.31 cores=5,7
/proc/189401/stat : 189401 (roundingsat) R 189398 189401 186530 0 -1 4194304 7563 0 0 0 9227 804 0 0 20 0 1 0 19572717 44982272 4466 134679101440 4194304 8254037 140729229344208 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21434368 140729229345628 140729229345890 140729229345890 140729229352905 0
/proc/189401/statm: 10982 4466 1834 992 0 2840 0
Current children cumulated CPU time: 100.31 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 17864 KiB
Child status: 0
Real time (s): 100.666
CPU time (s): 100.375
CPU user time (s): 92.3173
CPU system time (s): 8.05789
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 43928
Max. memory (cumulated for all children) (KiB): 17864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.3173
system time used= 8.05789
maximum resident set size= 17980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7571
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= 634
involuntary context switches= 142
# summary of solver processes directly reported to runsolver:
# pid: 189401
# total CPU time (s): 100.375
# total CPU user time (s): 92.3173
# total CPU system time (s): 8.05789
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.516263 second user time and 0.969374 second system time
The end
Begin job on nodeC004 at 2024-07-24 17:43:58
IDJOB=4457284
IDBENCH=160432
IDSOLVER=3085
FILE ID=nodeC004/4457284-1721835838
RUNJOBID= nodeC004-1721832165-186543
SLURM_JOB_ID= 7891533
Free space on /tmp= 723764 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-4457284-1721835838/watcher-4457284-1721835838 -o /tmp/evaluation-result-4457284-1721835838/solver-4457284-1721835838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457284-1721835838 --lp-cut-gomory=0 HOME/instance-4457284-1721835838.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6aa2e19502a8f75e99296617bfe7afcb
RANDOM SEED=1834866352
nodeC004.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 : 0xb00001f
cpu MHz : 3673.616
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3654.471
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.463
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.377
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.085
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.436
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123073864 kB
MemAvailable: 129822968 kB
Buffers: 265052 kB
Cached: 7278272 kB
SwapCached: 60 kB
Active: 2570728 kB
Inactive: 5375212 kB
Active(anon): 1436 kB
Inactive(anon): 454768 kB
Active(file): 2569292 kB
Inactive(file): 4920444 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 115508 kB
Writeback: 0 kB
AnonPages: 398548 kB
Mapped: 122612 kB
Shmem: 53860 kB
KReclaimable: 199136 kB
Slab: 315504 kB
SReclaimable: 199136 kB
SUnreclaim: 116368 kB
KernelStack: 3968 kB
PageTables: 10328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 825000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 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: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC004 at 2024-07-24 17:45:38