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 401 #constraints 558
0.00/0.02 c rational objective 200.5
0.40/0.42 c #Conflicts: 1000 | #Constraints: 1572
0.40/0.42 c #Conflicts: 2000 | #Constraints: 2584
0.40/0.42 c INPROCESSING
0.40/0.42 c GARBAGE COLLECT
0.40/0.42 c rational objective 200.5
0.78/0.83 c #Conflicts: 3000 | #Constraints: 2603
0.78/0.83 c #Conflicts: 4000 | #Constraints: 3611
0.78/0.83 c INPROCESSING
0.78/0.83 c GARBAGE COLLECT
0.78/0.83 c rational objective 200.5
1.18/1.24 c #Conflicts: 5000 | #Constraints: 3013
1.18/1.24 c #Conflicts: 6000 | #Constraints: 4016
1.18/1.24 c INPROCESSING
1.18/1.24 c GARBAGE COLLECT
1.18/1.24 c rational objective 200.5
1.48/1.56 c #Conflicts: 7000 | #Constraints: 3012
1.48/1.56 c #Conflicts: 8000 | #Constraints: 4016
1.48/1.56 c #Conflicts: 9000 | #Constraints: 5021
1.48/1.56 c INPROCESSING
1.48/1.56 c GARBAGE COLLECT
1.48/1.56 c rational objective 200.5
1.78/1.87 c #Conflicts: 10000 | #Constraints: 3718
1.78/1.87 c #Conflicts: 11000 | #Constraints: 4721
1.78/1.87 c #Conflicts: 12000 | #Constraints: 5724
1.78/1.87 c INPROCESSING
1.78/1.87 c GARBAGE COLLECT
1.78/1.87 c rational objective 200.5
2.17/2.21 c #Conflicts: 13000 | #Constraints: 4169
2.17/2.21 c #Conflicts: 14000 | #Constraints: 5171
2.17/2.21 c #Conflicts: 15000 | #Constraints: 6172
2.17/2.21 c INPROCESSING
2.17/2.21 c GARBAGE COLLECT
2.17/2.21 c rational objective 200.5
2.47/2.60 c #Conflicts: 16000 | #Constraints: 4397
2.47/2.60 c #Conflicts: 17000 | #Constraints: 5397
2.47/2.60 c #Conflicts: 18000 | #Constraints: 6398
2.47/2.60 c INPROCESSING
2.47/2.60 c GARBAGE COLLECT
2.47/2.60 c rational objective 200.5
2.87/2.96 c #Conflicts: 19000 | #Constraints: 4412
2.87/2.96 c #Conflicts: 20000 | #Constraints: 5414
2.87/2.96 c #Conflicts: 21000 | #Constraints: 6415
2.87/2.96 c INPROCESSING
2.87/2.96 c GARBAGE COLLECT
2.87/2.96 c rational objective 200.5
3.27/3.32 c #Conflicts: 22000 | #Constraints: 4214
3.27/3.32 c #Conflicts: 23000 | #Constraints: 5214
3.27/3.32 c #Conflicts: 24000 | #Constraints: 6215
3.27/3.32 c #Conflicts: 25000 | #Constraints: 7218
3.27/3.32 c INPROCESSING
3.27/3.32 c GARBAGE COLLECT
3.27/3.32 c rational objective 200.5
3.68/3.72 c #Conflicts: 26000 | #Constraints: 4822
3.68/3.72 c #Conflicts: 27000 | #Constraints: 5822
3.68/3.72 c #Conflicts: 28000 | #Constraints: 6823
3.68/3.72 c #Conflicts: 29000 | #Constraints: 7823
3.68/3.72 c INPROCESSING
3.68/3.72 c GARBAGE COLLECT
3.68/3.72 c rational objective 200.5
4.08/4.17 c #Conflicts: 30000 | #Constraints: 5224
4.08/4.17 c #Conflicts: 31000 | #Constraints: 6224
4.08/4.17 c #Conflicts: 32000 | #Constraints: 7225
4.08/4.17 c #Conflicts: 33000 | #Constraints: 8225
4.08/4.17 c INPROCESSING
4.08/4.17 c GARBAGE COLLECT
4.08/4.17 c rational objective 200.5
4.57/4.63 c #Conflicts: 34000 | #Constraints: 5421
4.57/4.63 c #Conflicts: 35000 | #Constraints: 6421
4.57/4.63 c #Conflicts: 36000 | #Constraints: 7421
4.57/4.63 c #Conflicts: 37000 | #Constraints: 8422
4.57/4.63 c INPROCESSING
4.57/4.63 c GARBAGE COLLECT
4.57/4.63 c rational objective 200.5
4.98/5.09 c #Conflicts: 38000 | #Constraints: 5431
4.98/5.09 c #Conflicts: 39000 | #Constraints: 6431
4.98/5.09 c #Conflicts: 40000 | #Constraints: 7431
4.98/5.09 c #Conflicts: 41000 | #Constraints: 8432
4.98/5.09 c INPROCESSING
4.98/5.09 c GARBAGE COLLECT
4.98/5.09 c rational objective 200.5
5.56/5.60 c #Conflicts: 42000 | #Constraints: 5229
5.56/5.60 c #Conflicts: 43000 | #Constraints: 6229
5.56/5.60 c #Conflicts: 44000 | #Constraints: 7229
5.56/5.60 c #Conflicts: 45000 | #Constraints: 8230
5.56/5.60 c #Conflicts: 46000 | #Constraints: 9230
5.56/5.60 c INPROCESSING
5.56/5.60 c GARBAGE COLLECT
5.56/5.60 c rational objective 200.5
6.08/6.12 c #Conflicts: 47000 | #Constraints: 5827
6.08/6.12 c #Conflicts: 48000 | #Constraints: 6827
6.08/6.12 c #Conflicts: 49000 | #Constraints: 7829
6.08/6.12 c #Conflicts: 50000 | #Constraints: 8829
6.08/6.12 c #Conflicts: 51000 | #Constraints: 9829
6.08/6.12 c INPROCESSING
6.08/6.12 c GARBAGE COLLECT
6.08/6.12 c rational objective 200.5
6.57/6.65 c #Conflicts: 52000 | #Constraints: 6232
6.57/6.65 c #Conflicts: 53000 | #Constraints: 7232
6.57/6.65 c #Conflicts: 54000 | #Constraints: 8232
6.57/6.65 c #Conflicts: 55000 | #Constraints: 9232
6.57/6.65 c #Conflicts: 56000 | #Constraints: 10232
6.57/6.65 c INPROCESSING
6.57/6.65 c GARBAGE COLLECT
6.57/6.65 c rational objective 200.5
7.16/7.20 c #Conflicts: 57000 | #Constraints: 6425
7.16/7.20 c #Conflicts: 58000 | #Constraints: 7425
7.16/7.20 c #Conflicts: 59000 | #Constraints: 8425
7.16/7.20 c #Conflicts: 60000 | #Constraints: 9428
7.16/7.20 c #Conflicts: 61000 | #Constraints: 10430
7.16/7.20 c INPROCESSING
7.16/7.20 c GARBAGE COLLECT
7.16/7.20 c rational objective 200.5
7.66/7.80 c #Conflicts: 62000 | #Constraints: 6424
7.66/7.80 c #Conflicts: 63000 | #Constraints: 7424
7.66/7.80 c #Conflicts: 64000 | #Constraints: 8424
7.66/7.80 c #Conflicts: 65000 | #Constraints: 9424
7.66/7.80 c #Conflicts: 66000 | #Constraints: 10424
7.66/7.80 c INPROCESSING
7.66/7.80 c GARBAGE COLLECT
7.66/7.80 c rational objective 200.5
8.26/8.39 c #Conflicts: 67000 | #Constraints: 6227
8.26/8.39 c #Conflicts: 68000 | #Constraints: 7228
8.26/8.39 c #Conflicts: 69000 | #Constraints: 8229
8.26/8.39 c #Conflicts: 70000 | #Constraints: 9230
8.26/8.39 c #Conflicts: 71000 | #Constraints: 10230
8.26/8.39 c #Conflicts: 72000 | #Constraints: 11230
8.26/8.39 c INPROCESSING
8.26/8.39 c GARBAGE COLLECT
8.26/8.39 c rational objective 200.5
8.97/9.05 c #Conflicts: 73000 | #Constraints: 6826
8.97/9.05 c #Conflicts: 74000 | #Constraints: 7826
8.97/9.05 c #Conflicts: 75000 | #Constraints: 8827
8.97/9.05 c #Conflicts: 76000 | #Constraints: 9827
8.97/9.05 c #Conflicts: 77000 | #Constraints: 10827
8.97/9.05 c #Conflicts: 78000 | #Constraints: 11827
8.97/9.05 c INPROCESSING
8.97/9.05 c GARBAGE COLLECT
8.97/9.05 c rational objective 200.5
9.56/9.68 c #Conflicts: 79000 | #Constraints: 7226
9.56/9.68 c #Conflicts: 80000 | #Constraints: 8226
9.56/9.68 c #Conflicts: 81000 | #Constraints: 9226
9.56/9.68 c #Conflicts: 82000 | #Constraints: 10226
9.56/9.68 c #Conflicts: 83000 | #Constraints: 11226
9.56/9.68 c #Conflicts: 84000 | #Constraints: 12226
9.56/9.68 c INPROCESSING
9.56/9.68 c GARBAGE COLLECT
9.56/9.68 c rational objective 200.5
10.25/10.35 c #Conflicts: 85000 | #Constraints: 7425
10.25/10.35 c #Conflicts: 86000 | #Constraints: 8425
10.25/10.35 c #Conflicts: 87000 | #Constraints: 9425
10.25/10.35 c #Conflicts: 88000 | #Constraints: 10425
10.25/10.35 c #Conflicts: 89000 | #Constraints: 11425
10.25/10.35 c #Conflicts: 90000 | #Constraints: 12425
10.25/10.35 c INPROCESSING
10.25/10.35 c GARBAGE COLLECT
10.25/10.35 c rational objective 200.5
11.07/11.16 c #Conflicts: 91000 | #Constraints: 7427
11.07/11.16 c #Conflicts: 92000 | #Constraints: 8427
11.07/11.16 c #Conflicts: 93000 | #Constraints: 9427
11.07/11.16 c #Conflicts: 94000 | #Constraints: 10429
11.07/11.16 c #Conflicts: 95000 | #Constraints: 11429
11.07/11.16 c #Conflicts: 96000 | #Constraints: 12429
11.07/11.16 c INPROCESSING
11.07/11.16 c GARBAGE COLLECT
11.07/11.16 c rational objective 200.5
11.75/11.87 c #Conflicts: 97000 | #Constraints: 7230
11.75/11.87 c #Conflicts: 98000 | #Constraints: 8230
11.75/11.87 c #Conflicts: 99000 | #Constraints: 9230
11.75/11.87 c #Conflicts: 100000 | #Constraints: 10230
11.75/11.87 c #Conflicts: 101000 | #Constraints: 11230
11.75/11.87 c #Conflicts: 102000 | #Constraints: 12230
11.75/11.87 c #Conflicts: 103000 | #Constraints: 13230
11.75/11.87 c INPROCESSING
11.75/11.87 c GARBAGE COLLECT
11.75/11.87 c rational objective 200.5
12.55/12.62 c #Conflicts: 104000 | #Constraints: 7832
12.55/12.62 c #Conflicts: 105000 | #Constraints: 8832
12.55/12.62 c #Conflicts: 106000 | #Constraints: 9832
12.55/12.62 c #Conflicts: 107000 | #Constraints: 10832
12.55/12.62 c #Conflicts: 108000 | #Constraints: 11833
12.55/12.62 c #Conflicts: 109000 | #Constraints: 12833
12.55/12.62 c #Conflicts: 110000 | #Constraints: 13833
12.55/12.62 c INPROCESSING
12.55/12.62 c GARBAGE COLLECT
12.55/12.62 c rational objective 200.5
13.24/13.38 c #Conflicts: 111000 | #Constraints: 8228
13.24/13.38 c #Conflicts: 112000 | #Constraints: 9230
13.24/13.38 c #Conflicts: 113000 | #Constraints: 10230
13.24/13.38 c #Conflicts: 114000 | #Constraints: 11230
13.24/13.38 c #Conflicts: 115000 | #Constraints: 12230
13.24/13.38 c #Conflicts: 116000 | #Constraints: 13230
13.24/13.38 c #Conflicts: 117000 | #Constraints: 14230
13.24/13.38 c INPROCESSING
13.24/13.38 c GARBAGE COLLECT
13.24/13.38 c rational objective 200.5
14.14/14.23 c #Conflicts: 118000 | #Constraints: 8431
14.14/14.23 c #Conflicts: 119000 | #Constraints: 9432
14.14/14.23 c #Conflicts: 120000 | #Constraints: 10433
14.14/14.23 c #Conflicts: 121000 | #Constraints: 11433
14.14/14.23 c #Conflicts: 122000 | #Constraints: 12433
14.14/14.23 c #Conflicts: 123000 | #Constraints: 13433
14.14/14.23 c #Conflicts: 124000 | #Constraints: 14434
14.14/14.23 c INPROCESSING
14.14/14.23 c GARBAGE COLLECT
14.14/14.23 c rational objective 200.5
14.96/15.03 c #Conflicts: 125000 | #Constraints: 8431
14.96/15.03 c #Conflicts: 126000 | #Constraints: 9431
14.96/15.03 c #Conflicts: 127000 | #Constraints: 10431
14.96/15.03 c #Conflicts: 128000 | #Constraints: 11431
14.96/15.03 c #Conflicts: 129000 | #Constraints: 12431
14.96/15.03 c #Conflicts: 130000 | #Constraints: 13431
14.96/15.03 c #Conflicts: 131000 | #Constraints: 14431
14.96/15.03 c INPROCESSING
14.96/15.03 c GARBAGE COLLECT
14.96/15.03 c rational objective 200.5
15.74/15.83 c #Conflicts: 132000 | #Constraints: 8232
15.74/15.83 c #Conflicts: 133000 | #Constraints: 9232
15.74/15.83 c #Conflicts: 134000 | #Constraints: 10232
15.74/15.83 c #Conflicts: 135000 | #Constraints: 11232
15.74/15.83 c #Conflicts: 136000 | #Constraints: 12232
15.74/15.83 c #Conflicts: 137000 | #Constraints: 13232
15.74/15.83 c #Conflicts: 138000 | #Constraints: 14232
15.74/15.83 c #Conflicts: 139000 | #Constraints: 15232
15.74/15.83 c INPROCESSING
15.74/15.83 c GARBAGE COLLECT
15.74/15.83 c rational objective 200.5
16.73/16.80 c #Conflicts: 140000 | #Constraints: 8831
16.73/16.80 c #Conflicts: 141000 | #Constraints: 9831
16.73/16.80 c #Conflicts: 142000 | #Constraints: 10831
16.73/16.80 c #Conflicts: 143000 | #Constraints: 11831
16.73/16.80 c #Conflicts: 144000 | #Constraints: 12831
16.73/16.80 c #Conflicts: 145000 | #Constraints: 13831
16.73/16.80 c #Conflicts: 146000 | #Constraints: 14831
16.73/16.80 c #Conflicts: 147000 | #Constraints: 15831
16.73/16.80 c INPROCESSING
16.73/16.80 c GARBAGE COLLECT
16.73/16.80 c rational objective 200.5
17.54/17.69 c #Conflicts: 148000 | #Constraints: 9230
17.54/17.69 c #Conflicts: 149000 | #Constraints: 10230
17.54/17.69 c #Conflicts: 150000 | #Constraints: 11230
17.54/17.69 c #Conflicts: 151000 | #Constraints: 12230
17.54/17.69 c #Conflicts: 152000 | #Constraints: 13230
17.54/17.69 c #Conflicts: 153000 | #Constraints: 14231
17.54/17.69 c #Conflicts: 154000 | #Constraints: 15231
17.54/17.69 c #Conflicts: 155000 | #Constraints: 16231
17.54/17.69 c INPROCESSING
17.54/17.69 c GARBAGE COLLECT
17.54/17.69 c rational objective 200.5
18.43/18.58 c #Conflicts: 156000 | #Constraints: 9432
18.43/18.58 c #Conflicts: 157000 | #Constraints: 10432
18.43/18.58 c #Conflicts: 158000 | #Constraints: 11432
18.43/18.58 c #Conflicts: 159000 | #Constraints: 12432
18.43/18.58 c #Conflicts: 160000 | #Constraints: 13433
18.43/18.58 c #Conflicts: 161000 | #Constraints: 14433
18.43/18.58 c #Conflicts: 162000 | #Constraints: 15434
18.43/18.58 c #Conflicts: 163000 | #Constraints: 16434
18.43/18.58 c INPROCESSING
18.43/18.58 c GARBAGE COLLECT
18.43/18.58 c rational objective 200.5
19.33/19.48 c #Conflicts: 164000 | #Constraints: 9432
19.33/19.48 c #Conflicts: 165000 | #Constraints: 10432
19.33/19.48 c #Conflicts: 166000 | #Constraints: 11432
19.33/19.48 c #Conflicts: 167000 | #Constraints: 12434
19.33/19.48 c #Conflicts: 168000 | #Constraints: 13434
19.33/19.48 c #Conflicts: 169000 | #Constraints: 14434
19.33/19.48 c #Conflicts: 170000 | #Constraints: 15434
19.33/19.48 c #Conflicts: 171000 | #Constraints: 16434
19.33/19.48 c INPROCESSING
19.33/19.48 c GARBAGE COLLECT
19.33/19.48 c rational objective 200.5
20.33/20.42 c #Conflicts: 172000 | #Constraints: 9226
20.33/20.42 c #Conflicts: 173000 | #Constraints: 10226
20.33/20.42 c #Conflicts: 174000 | #Constraints: 11226
20.33/20.42 c #Conflicts: 175000 | #Constraints: 12226
20.33/20.42 c #Conflicts: 176000 | #Constraints: 13226
20.33/20.42 c #Conflicts: 177000 | #Constraints: 14226
20.33/20.42 c #Conflicts: 178000 | #Constraints: 15226
20.33/20.42 c #Conflicts: 179000 | #Constraints: 16226
20.33/20.42 c #Conflicts: 180000 | #Constraints: 17226
20.33/20.42 c INPROCESSING
20.33/20.42 c GARBAGE COLLECT
20.33/20.42 c rational objective 200.5
21.32/21.45 c #Conflicts: 181000 | #Constraints: 9826
21.32/21.45 c #Conflicts: 182000 | #Constraints: 10826
21.32/21.45 c #Conflicts: 183000 | #Constraints: 11826
21.32/21.45 c #Conflicts: 184000 | #Constraints: 12826
21.32/21.45 c #Conflicts: 185000 | #Constraints: 13826
21.32/21.45 c #Conflicts: 186000 | #Constraints: 14826
21.32/21.45 c #Conflicts: 187000 | #Constraints: 15826
21.32/21.45 c #Conflicts: 188000 | #Constraints: 16826
21.32/21.45 c #Conflicts: 189000 | #Constraints: 17826
21.32/21.45 c INPROCESSING
21.32/21.45 c GARBAGE COLLECT
21.32/21.45 c rational objective 200.5
22.42/22.59 c #Conflicts: 190000 | #Constraints: 10228
22.42/22.59 c #Conflicts: 191000 | #Constraints: 11228
22.42/22.59 c #Conflicts: 192000 | #Constraints: 12228
22.42/22.59 c #Conflicts: 193000 | #Constraints: 13228
22.42/22.59 c #Conflicts: 194000 | #Constraints: 14228
22.42/22.59 c #Conflicts: 195000 | #Constraints: 15228
22.42/22.59 c #Conflicts: 196000 | #Constraints: 16228
22.42/22.59 c #Conflicts: 197000 | #Constraints: 17228
22.42/22.59 c #Conflicts: 198000 | #Constraints: 18228
22.42/22.59 c INPROCESSING
22.42/22.59 c GARBAGE COLLECT
22.42/22.59 c rational objective 200.5
23.52/23.67 c #Conflicts: 199000 | #Constraints: 10435
23.52/23.67 c #Conflicts: 200000 | #Constraints: 11435
23.52/23.67 c #Conflicts: 201000 | #Constraints: 12435
23.52/23.67 c #Conflicts: 202000 | #Constraints: 13435
23.52/23.67 c #Conflicts: 203000 | #Constraints: 14435
23.52/23.67 c #Conflicts: 204000 | #Constraints: 15435
23.52/23.67 c #Conflicts: 205000 | #Constraints: 16435
23.52/23.67 c #Conflicts: 206000 | #Constraints: 17435
23.52/23.67 c #Conflicts: 207000 | #Constraints: 18435
23.52/23.67 c INPROCESSING
23.52/23.67 c GARBAGE COLLECT
23.52/23.67 c rational objective 200.5
24.81/24.90 c #Conflicts: 208000 | #Constraints: 10434
24.81/24.90 c #Conflicts: 209000 | #Constraints: 11434
24.81/24.90 c #Conflicts: 210000 | #Constraints: 12434
24.81/24.90 c #Conflicts: 211000 | #Constraints: 13434
24.81/24.90 c #Conflicts: 212000 | #Constraints: 14434
24.81/24.90 c #Conflicts: 213000 | #Constraints: 15434
24.81/24.90 c #Conflicts: 214000 | #Constraints: 16434
24.81/24.90 c #Conflicts: 215000 | #Constraints: 17434
24.81/24.90 c #Conflicts: 216000 | #Constraints: 18434
24.81/24.90 c INPROCESSING
24.81/24.90 c GARBAGE COLLECT
24.81/24.90 c rational objective 200.5
25.92/26.06 c #Conflicts: 217000 | #Constraints: 10236
25.92/26.06 c #Conflicts: 218000 | #Constraints: 11236
25.92/26.06 c #Conflicts: 219000 | #Constraints: 12236
25.92/26.06 c #Conflicts: 220000 | #Constraints: 13236
25.92/26.06 c #Conflicts: 221000 | #Constraints: 14236
25.92/26.06 c #Conflicts: 222000 | #Constraints: 15236
25.92/26.06 c #Conflicts: 223000 | #Constraints: 16236
25.92/26.06 c #Conflicts: 224000 | #Constraints: 17236
25.92/26.06 c #Conflicts: 225000 | #Constraints: 18236
25.92/26.06 c #Conflicts: 226000 | #Constraints: 19236
25.92/26.06 c INPROCESSING
25.92/26.06 c GARBAGE COLLECT
25.92/26.06 c rational objective 200.5
27.02/27.16 c #Conflicts: 227000 | #Constraints: 10836
27.02/27.16 c #Conflicts: 228000 | #Constraints: 11836
27.02/27.16 c #Conflicts: 229000 | #Constraints: 12836
27.02/27.16 c #Conflicts: 230000 | #Constraints: 13836
27.02/27.16 c #Conflicts: 231000 | #Constraints: 14836
27.02/27.16 c #Conflicts: 232000 | #Constraints: 15836
27.02/27.16 c #Conflicts: 233000 | #Constraints: 16836
27.02/27.16 c #Conflicts: 234000 | #Constraints: 17836
27.02/27.16 c #Conflicts: 235000 | #Constraints: 18836
27.02/27.16 c #Conflicts: 236000 | #Constraints: 19836
27.02/27.16 c INPROCESSING
27.02/27.16 c GARBAGE COLLECT
27.02/27.16 c rational objective 200.5
28.10/28.26 c #Conflicts: 237000 | #Constraints: 11231
28.10/28.26 c #Conflicts: 238000 | #Constraints: 12231
28.10/28.26 c #Conflicts: 239000 | #Constraints: 13231
28.10/28.26 c #Conflicts: 240000 | #Constraints: 14231
28.10/28.26 c #Conflicts: 241000 | #Constraints: 15231
28.10/28.26 c #Conflicts: 242000 | #Constraints: 16231
28.10/28.26 c #Conflicts: 243000 | #Constraints: 17231
28.10/28.26 c #Conflicts: 244000 | #Constraints: 18232
28.10/28.26 c #Conflicts: 245000 | #Constraints: 19232
28.10/28.26 c #Conflicts: 246000 | #Constraints: 20232
28.10/28.26 c INPROCESSING
28.10/28.26 c GARBAGE COLLECT
28.10/28.26 c rational objective 200.5
29.20/29.39 c #Conflicts: 247000 | #Constraints: 11432
29.20/29.39 c #Conflicts: 248000 | #Constraints: 12432
29.20/29.39 c #Conflicts: 249000 | #Constraints: 13432
29.20/29.39 c #Conflicts: 250000 | #Constraints: 14432
29.20/29.39 c #Conflicts: 251000 | #Constraints: 15432
29.20/29.39 c #Conflicts: 252000 | #Constraints: 16432
29.20/29.39 c #Conflicts: 253000 | #Constraints: 17432
29.20/29.39 c #Conflicts: 254000 | #Constraints: 18432
29.20/29.39 c #Conflicts: 255000 | #Constraints: 19432
29.20/29.39 c #Conflicts: 256000 | #Constraints: 20432
29.20/29.39 c INPROCESSING
29.20/29.39 c GARBAGE COLLECT
29.20/29.39 c rational objective 200.5
30.39/30.51 c #Conflicts: 257000 | #Constraints: 11434
30.39/30.51 c #Conflicts: 258000 | #Constraints: 12434
30.39/30.51 c #Conflicts: 259000 | #Constraints: 13434
30.39/30.51 c #Conflicts: 260000 | #Constraints: 14434
30.39/30.51 c #Conflicts: 261000 | #Constraints: 15434
30.39/30.51 c #Conflicts: 262000 | #Constraints: 16434
30.39/30.51 c #Conflicts: 263000 | #Constraints: 17434
30.39/30.51 c #Conflicts: 264000 | #Constraints: 18434
30.39/30.51 c #Conflicts: 265000 | #Constraints: 19434
30.39/30.51 c #Conflicts: 266000 | #Constraints: 20434
30.39/30.51 c INPROCESSING
30.39/30.51 c GARBAGE COLLECT
30.39/30.51 c rational objective 200.5
31.59/31.79 c #Conflicts: 267000 | #Constraints: 11238
31.59/31.79 c #Conflicts: 268000 | #Constraints: 12238
31.59/31.79 c #Conflicts: 269000 | #Constraints: 13238
31.59/31.79 c #Conflicts: 270000 | #Constraints: 14238
31.59/31.79 c #Conflicts: 271000 | #Constraints: 15238
31.59/31.79 c #Conflicts: 272000 | #Constraints: 16238
31.59/31.79 c #Conflicts: 273000 | #Constraints: 17238
31.59/31.79 c #Conflicts: 274000 | #Constraints: 18238
31.59/31.79 c #Conflicts: 275000 | #Constraints: 19238
31.59/31.79 c #Conflicts: 276000 | #Constraints: 20238
31.59/31.79 c #Conflicts: 277000 | #Constraints: 21238
31.59/31.79 c INPROCESSING
31.59/31.79 c GARBAGE COLLECT
31.59/31.79 c rational objective 200.5
32.90/33.05 c #Conflicts: 278000 | #Constraints: 11837
32.90/33.05 c #Conflicts: 279000 | #Constraints: 12837
32.90/33.05 c #Conflicts: 280000 | #Constraints: 13837
32.90/33.05 c #Conflicts: 281000 | #Constraints: 14837
32.90/33.05 c #Conflicts: 282000 | #Constraints: 15837
32.90/33.05 c #Conflicts: 283000 | #Constraints: 16837
32.90/33.05 c #Conflicts: 284000 | #Constraints: 17837
32.90/33.05 c #Conflicts: 285000 | #Constraints: 18837
32.90/33.05 c #Conflicts: 286000 | #Constraints: 19837
32.90/33.05 c #Conflicts: 287000 | #Constraints: 20837
32.90/33.05 c #Conflicts: 288000 | #Constraints: 21837
32.90/33.05 c INPROCESSING
32.90/33.05 c GARBAGE COLLECT
32.90/33.05 c rational objective 200.5
34.18/34.37 c #Conflicts: 289000 | #Constraints: 12235
34.18/34.37 c #Conflicts: 290000 | #Constraints: 13235
34.18/34.37 c #Conflicts: 291000 | #Constraints: 14235
34.18/34.37 c #Conflicts: 292000 | #Constraints: 15235
34.18/34.37 c #Conflicts: 293000 | #Constraints: 16235
34.18/34.37 c #Conflicts: 294000 | #Constraints: 17235
34.18/34.37 c #Conflicts: 295000 | #Constraints: 18235
34.18/34.37 c #Conflicts: 296000 | #Constraints: 19235
34.18/34.37 c #Conflicts: 297000 | #Constraints: 20236
34.18/34.37 c #Conflicts: 298000 | #Constraints: 21236
34.18/34.37 c #Conflicts: 299000 | #Constraints: 22236
34.18/34.37 c INPROCESSING
34.18/34.37 c GARBAGE COLLECT
34.18/34.37 c rational objective 200.5
35.49/35.64 c #Conflicts: 300000 | #Constraints: 12443
35.49/35.64 c #Conflicts: 301000 | #Constraints: 13443
35.49/35.64 c #Conflicts: 302000 | #Constraints: 14443
35.49/35.64 c #Conflicts: 303000 | #Constraints: 15443
35.49/35.64 c #Conflicts: 304000 | #Constraints: 16443
35.49/35.64 c #Conflicts: 305000 | #Constraints: 17443
35.49/35.64 c #Conflicts: 306000 | #Constraints: 18443
35.49/35.64 c #Conflicts: 307000 | #Constraints: 19443
35.49/35.64 c #Conflicts: 308000 | #Constraints: 20443
35.49/35.64 c #Conflicts: 309000 | #Constraints: 21443
35.49/35.64 c #Conflicts: 310000 | #Constraints: 22443
35.49/35.64 c INPROCESSING
35.49/35.64 c GARBAGE COLLECT
35.49/35.64 c rational objective 200.5
36.99/37.13 c #Conflicts: 311000 | #Constraints: 12443
36.99/37.13 c #Conflicts: 312000 | #Constraints: 13443
36.99/37.13 c #Conflicts: 313000 | #Constraints: 14443
36.99/37.13 c #Conflicts: 314000 | #Constraints: 15443
36.99/37.13 c #Conflicts: 315000 | #Constraints: 16444
36.99/37.13 c #Conflicts: 316000 | #Constraints: 17444
36.99/37.13 c #Conflicts: 317000 | #Constraints: 18444
36.99/37.13 c #Conflicts: 318000 | #Constraints: 19444
36.99/37.13 c #Conflicts: 319000 | #Constraints: 20444
36.99/37.13 c #Conflicts: 320000 | #Constraints: 21444
36.99/37.13 c #Conflicts: 321000 | #Constraints: 22444
36.99/37.13 c INPROCESSING
36.99/37.13 c GARBAGE COLLECT
36.99/37.13 c rational objective 200.5
38.18/38.34 c #Conflicts: 322000 | #Constraints: 12242
38.18/38.34 c #Conflicts: 323000 | #Constraints: 13242
38.18/38.34 c #Conflicts: 324000 | #Constraints: 14242
38.18/38.34 c #Conflicts: 325000 | #Constraints: 15242
38.18/38.34 c #Conflicts: 326000 | #Constraints: 16242
38.18/38.34 c #Conflicts: 327000 | #Constraints: 17242
38.18/38.34 c #Conflicts: 328000 | #Constraints: 18242
38.18/38.34 c #Conflicts: 329000 | #Constraints: 19242
38.18/38.34 c #Conflicts: 330000 | #Constraints: 20242
38.18/38.34 c #Conflicts: 331000 | #Constraints: 21242
38.18/38.34 c #Conflicts: 332000 | #Constraints: 22243
38.18/38.34 c #Conflicts: 333000 | #Constraints: 23243
38.18/38.34 c INPROCESSING
38.18/38.34 c GARBAGE COLLECT
38.18/38.34 c rational objective 200.5
39.27/39.45 c #Conflicts: 334000 | #Constraints: 12840
39.27/39.45 c #Conflicts: 335000 | #Constraints: 13840
39.27/39.45 c #Conflicts: 336000 | #Constraints: 14840
39.27/39.45 c #Conflicts: 337000 | #Constraints: 15840
39.27/39.45 c #Conflicts: 338000 | #Constraints: 16840
39.27/39.45 c #Conflicts: 339000 | #Constraints: 17840
39.27/39.45 c #Conflicts: 340000 | #Constraints: 18840
39.27/39.45 c #Conflicts: 341000 | #Constraints: 19840
39.27/39.45 c #Conflicts: 342000 | #Constraints: 20840
39.27/39.45 c #Conflicts: 343000 | #Constraints: 21840
39.27/39.45 c #Conflicts: 344000 | #Constraints: 22840
39.27/39.45 c #Conflicts: 345000 | #Constraints: 23840
39.27/39.45 c INPROCESSING
39.27/39.45 c GARBAGE COLLECT
39.27/39.45 c rational objective 200.5
40.47/40.63 c #Conflicts: 346000 | #Constraints: 13236
40.47/40.63 c #Conflicts: 347000 | #Constraints: 14236
40.47/40.63 c #Conflicts: 348000 | #Constraints: 15236
40.47/40.63 c #Conflicts: 349000 | #Constraints: 16236
40.47/40.63 c #Conflicts: 350000 | #Constraints: 17236
40.47/40.63 c #Conflicts: 351000 | #Constraints: 18236
40.47/40.63 c #Conflicts: 352000 | #Constraints: 19236
40.47/40.63 c #Conflicts: 353000 | #Constraints: 20236
40.47/40.63 c #Conflicts: 354000 | #Constraints: 21236
40.47/40.63 c #Conflicts: 355000 | #Constraints: 22236
40.47/40.63 c #Conflicts: 356000 | #Constraints: 23236
40.47/40.63 c #Conflicts: 357000 | #Constraints: 24236
40.47/40.63 c INPROCESSING
40.47/40.63 c GARBAGE COLLECT
40.47/40.63 c rational objective 200.5
41.56/41.78 c #Conflicts: 358000 | #Constraints: 13440
41.56/41.78 c #Conflicts: 359000 | #Constraints: 14440
41.56/41.78 c #Conflicts: 360000 | #Constraints: 15440
41.56/41.78 c #Conflicts: 361000 | #Constraints: 16440
41.56/41.78 c #Conflicts: 362000 | #Constraints: 17440
41.56/41.78 c #Conflicts: 363000 | #Constraints: 18440
41.56/41.78 c #Conflicts: 364000 | #Constraints: 19440
41.56/41.78 c #Conflicts: 365000 | #Constraints: 20440
41.56/41.78 c #Conflicts: 366000 | #Constraints: 21440
41.56/41.78 c #Conflicts: 367000 | #Constraints: 22440
41.56/41.78 c #Conflicts: 368000 | #Constraints: 23440
41.56/41.78 c #Conflicts: 369000 | #Constraints: 24440
41.56/41.78 c INPROCESSING
41.56/41.78 c GARBAGE COLLECT
41.56/41.78 c rational objective 200.5
42.88/43.08 c #Conflicts: 370000 | #Constraints: 13445
42.88/43.08 c #Conflicts: 371000 | #Constraints: 14445
42.88/43.08 c #Conflicts: 372000 | #Constraints: 15445
42.88/43.08 c #Conflicts: 373000 | #Constraints: 16445
42.88/43.08 c #Conflicts: 374000 | #Constraints: 17445
42.88/43.08 c #Conflicts: 375000 | #Constraints: 18445
42.88/43.08 c #Conflicts: 376000 | #Constraints: 19445
42.88/43.08 c #Conflicts: 377000 | #Constraints: 20445
42.88/43.08 c #Conflicts: 378000 | #Constraints: 21445
42.88/43.08 c #Conflicts: 379000 | #Constraints: 22445
42.88/43.08 c #Conflicts: 380000 | #Constraints: 23445
42.88/43.08 c #Conflicts: 381000 | #Constraints: 24445
42.88/43.08 c INPROCESSING
42.88/43.08 c GARBAGE COLLECT
42.88/43.08 c rational objective 200.5
44.06/44.28 c #Conflicts: 382000 | #Constraints: 13243
44.06/44.28 c #Conflicts: 383000 | #Constraints: 14243
44.06/44.28 c #Conflicts: 384000 | #Constraints: 15243
44.06/44.28 c #Conflicts: 385000 | #Constraints: 16243
44.06/44.28 c #Conflicts: 386000 | #Constraints: 17243
44.06/44.28 c #Conflicts: 387000 | #Constraints: 18243
44.06/44.28 c #Conflicts: 388000 | #Constraints: 19243
44.06/44.28 c #Conflicts: 389000 | #Constraints: 20243
44.06/44.28 c #Conflicts: 390000 | #Constraints: 21243
44.06/44.28 c #Conflicts: 391000 | #Constraints: 22243
44.06/44.28 c #Conflicts: 392000 | #Constraints: 23243
44.06/44.28 c #Conflicts: 393000 | #Constraints: 24243
44.06/44.28 c #Conflicts: 394000 | #Constraints: 25243
44.06/44.28 c INPROCESSING
44.06/44.28 c GARBAGE COLLECT
44.06/44.28 c rational objective 200.5
45.36/45.54 c #Conflicts: 395000 | #Constraints: 13843
45.36/45.54 c #Conflicts: 396000 | #Constraints: 14843
45.36/45.54 c #Conflicts: 397000 | #Constraints: 15843
45.36/45.54 c #Conflicts: 398000 | #Constraints: 16843
45.36/45.54 c #Conflicts: 399000 | #Constraints: 17843
45.36/45.54 c #Conflicts: 400000 | #Constraints: 18843
45.36/45.54 c #Conflicts: 401000 | #Constraints: 19843
45.36/45.54 c #Conflicts: 402000 | #Constraints: 20843
45.36/45.54 c #Conflicts: 403000 | #Constraints: 21843
45.36/45.54 c #Conflicts: 404000 | #Constraints: 22843
45.36/45.54 c #Conflicts: 405000 | #Constraints: 23843
45.36/45.54 c #Conflicts: 406000 | #Constraints: 24843
45.36/45.54 c #Conflicts: 407000 | #Constraints: 25843
45.36/45.54 c INPROCESSING
45.36/45.54 c GARBAGE COLLECT
45.36/45.54 c rational objective 200.5
46.56/46.76 c #Conflicts: 408000 | #Constraints: 14249
46.56/46.76 c #Conflicts: 409000 | #Constraints: 15249
46.56/46.76 c #Conflicts: 410000 | #Constraints: 16249
46.56/46.76 c #Conflicts: 411000 | #Constraints: 17249
46.56/46.76 c #Conflicts: 412000 | #Constraints: 18249
46.56/46.76 c #Conflicts: 413000 | #Constraints: 19249
46.56/46.76 c #Conflicts: 414000 | #Constraints: 20249
46.56/46.76 c #Conflicts: 415000 | #Constraints: 21249
46.56/46.76 c #Conflicts: 416000 | #Constraints: 22249
46.56/46.76 c #Conflicts: 417000 | #Constraints: 23249
46.56/46.76 c #Conflicts: 418000 | #Constraints: 24249
46.56/46.76 c #Conflicts: 419000 | #Constraints: 25249
46.56/46.76 c #Conflicts: 420000 | #Constraints: 26249
46.56/46.76 c INPROCESSING
46.56/46.76 c GARBAGE COLLECT
46.56/46.76 c rational objective 200.5
47.97/48.17 c #Conflicts: 421000 | #Constraints: 14449
47.97/48.17 c #Conflicts: 422000 | #Constraints: 15449
47.97/48.17 c #Conflicts: 423000 | #Constraints: 16449
47.97/48.17 c #Conflicts: 424000 | #Constraints: 17449
47.97/48.17 c #Conflicts: 425000 | #Constraints: 18449
47.97/48.17 c #Conflicts: 426000 | #Constraints: 19449
47.97/48.17 c #Conflicts: 427000 | #Constraints: 20449
47.97/48.17 c #Conflicts: 428000 | #Constraints: 21449
47.97/48.17 c #Conflicts: 429000 | #Constraints: 22449
47.97/48.17 c #Conflicts: 430000 | #Constraints: 23449
47.97/48.17 c #Conflicts: 431000 | #Constraints: 24449
47.97/48.17 c #Conflicts: 432000 | #Constraints: 25449
47.97/48.17 c #Conflicts: 433000 | #Constraints: 26449
47.97/48.17 c INPROCESSING
47.97/48.17 c GARBAGE COLLECT
47.97/48.17 c rational objective 200.5
49.45/49.60 c #Conflicts: 434000 | #Constraints: 14454
49.45/49.60 c #Conflicts: 435000 | #Constraints: 15454
49.45/49.60 c #Conflicts: 436000 | #Constraints: 16454
49.45/49.60 c #Conflicts: 437000 | #Constraints: 17454
49.45/49.60 c #Conflicts: 438000 | #Constraints: 18454
49.45/49.60 c #Conflicts: 439000 | #Constraints: 19454
49.45/49.60 c #Conflicts: 440000 | #Constraints: 20454
49.45/49.60 c #Conflicts: 441000 | #Constraints: 21454
49.45/49.60 c #Conflicts: 442000 | #Constraints: 22454
49.45/49.60 c #Conflicts: 443000 | #Constraints: 23454
49.45/49.60 c #Conflicts: 444000 | #Constraints: 24454
49.45/49.60 c #Conflicts: 445000 | #Constraints: 25454
49.45/49.60 c #Conflicts: 446000 | #Constraints: 26454
49.45/49.60 c INPROCESSING
49.45/49.60 c GARBAGE COLLECT
49.45/49.60 c rational objective 200.5
50.96/51.19 c #Conflicts: 447000 | #Constraints: 14259
50.96/51.19 c #Conflicts: 448000 | #Constraints: 15259
50.96/51.19 c #Conflicts: 449000 | #Constraints: 16259
50.96/51.19 c #Conflicts: 450000 | #Constraints: 17259
50.96/51.19 c #Conflicts: 451000 | #Constraints: 18259
50.96/51.19 c #Conflicts: 452000 | #Constraints: 19259
50.96/51.19 c #Conflicts: 453000 | #Constraints: 20259
50.96/51.19 c #Conflicts: 454000 | #Constraints: 21259
50.96/51.19 c #Conflicts: 455000 | #Constraints: 22259
50.96/51.19 c #Conflicts: 456000 | #Constraints: 23259
50.96/51.19 c #Conflicts: 457000 | #Constraints: 24259
50.96/51.19 c #Conflicts: 458000 | #Constraints: 25259
50.96/51.19 c #Conflicts: 459000 | #Constraints: 26259
50.96/51.19 c #Conflicts: 460000 | #Constraints: 27259
50.96/51.19 c INPROCESSING
50.96/51.19 c GARBAGE COLLECT
50.96/51.19 c rational objective 200.5
52.44/52.69 c #Conflicts: 461000 | #Constraints: 14857
52.44/52.69 c #Conflicts: 462000 | #Constraints: 15857
52.44/52.69 c #Conflicts: 463000 | #Constraints: 16857
52.44/52.69 c #Conflicts: 464000 | #Constraints: 17857
52.44/52.69 c #Conflicts: 465000 | #Constraints: 18857
52.44/52.69 c #Conflicts: 466000 | #Constraints: 19857
52.44/52.69 c #Conflicts: 467000 | #Constraints: 20857
52.44/52.69 c #Conflicts: 468000 | #Constraints: 21857
52.44/52.69 c #Conflicts: 469000 | #Constraints: 22857
52.44/52.69 c #Conflicts: 470000 | #Constraints: 23857
52.44/52.69 c #Conflicts: 471000 | #Constraints: 24857
52.44/52.69 c #Conflicts: 472000 | #Constraints: 25857
52.44/52.69 c #Conflicts: 473000 | #Constraints: 26857
52.44/52.69 c #Conflicts: 474000 | #Constraints: 27857
52.44/52.69 c INPROCESSING
52.44/52.69 c GARBAGE COLLECT
52.44/52.69 c rational objective 200.5
54.03/54.24 c #Conflicts: 475000 | #Constraints: 15261
54.03/54.24 c #Conflicts: 476000 | #Constraints: 16261
54.03/54.24 c #Conflicts: 477000 | #Constraints: 17261
54.03/54.24 c #Conflicts: 478000 | #Constraints: 18261
54.03/54.24 c #Conflicts: 479000 | #Constraints: 19261
54.03/54.24 c #Conflicts: 480000 | #Constraints: 20261
54.03/54.24 c #Conflicts: 481000 | #Constraints: 21261
54.03/54.24 c #Conflicts: 482000 | #Constraints: 22261
54.03/54.24 c #Conflicts: 483000 | #Constraints: 23261
54.03/54.24 c #Conflicts: 484000 | #Constraints: 24261
54.03/54.24 c #Conflicts: 485000 | #Constraints: 25261
54.03/54.24 c #Conflicts: 486000 | #Constraints: 26261
54.03/54.24 c #Conflicts: 487000 | #Constraints: 27261
54.03/54.24 c #Conflicts: 488000 | #Constraints: 28261
54.03/54.24 c INPROCESSING
54.03/54.24 c GARBAGE COLLECT
54.03/54.24 c rational objective 200.5
55.63/55.86 c #Conflicts: 489000 | #Constraints: 15458
55.63/55.86 c #Conflicts: 490000 | #Constraints: 16458
55.63/55.86 c #Conflicts: 491000 | #Constraints: 17458
55.63/55.86 c #Conflicts: 492000 | #Constraints: 18458
55.63/55.86 c #Conflicts: 493000 | #Constraints: 19458
55.63/55.86 c #Conflicts: 494000 | #Constraints: 20458
55.63/55.86 c #Conflicts: 495000 | #Constraints: 21458
55.63/55.86 c #Conflicts: 496000 | #Constraints: 22458
55.63/55.86 c #Conflicts: 497000 | #Constraints: 23458
55.63/55.86 c #Conflicts: 498000 | #Constraints: 24458
55.63/55.86 c #Conflicts: 499000 | #Constraints: 25458
55.63/55.86 c #Conflicts: 500000 | #Constraints: 26458
55.63/55.86 c #Conflicts: 501000 | #Constraints: 27458
55.63/55.86 c #Conflicts: 502000 | #Constraints: 28458
55.63/55.86 c INPROCESSING
55.63/55.86 c GARBAGE COLLECT
55.63/55.86 c rational objective 200.5
57.23/57.47 c #Conflicts: 503000 | #Constraints: 15457
57.23/57.47 c #Conflicts: 504000 | #Constraints: 16457
57.23/57.47 c #Conflicts: 505000 | #Constraints: 17457
57.23/57.47 c #Conflicts: 506000 | #Constraints: 18457
57.23/57.47 c #Conflicts: 507000 | #Constraints: 19457
57.23/57.47 c #Conflicts: 508000 | #Constraints: 20457
57.23/57.47 c #Conflicts: 509000 | #Constraints: 21457
57.23/57.47 c #Conflicts: 510000 | #Constraints: 22457
57.23/57.47 c #Conflicts: 511000 | #Constraints: 23457
57.23/57.47 c #Conflicts: 512000 | #Constraints: 24457
57.23/57.47 c #Conflicts: 513000 | #Constraints: 25457
57.23/57.47 c #Conflicts: 514000 | #Constraints: 26457
57.23/57.47 c #Conflicts: 515000 | #Constraints: 27457
57.23/57.47 c #Conflicts: 516000 | #Constraints: 28457
57.23/57.47 c INPROCESSING
57.23/57.47 c GARBAGE COLLECT
57.23/57.47 c rational objective 200.5
58.72/58.92 c #Conflicts: 517000 | #Constraints: 15256
58.72/58.92 c #Conflicts: 518000 | #Constraints: 16256
58.72/58.92 c #Conflicts: 519000 | #Constraints: 17256
58.72/58.92 c #Conflicts: 520000 | #Constraints: 18256
58.72/58.92 c #Conflicts: 521000 | #Constraints: 19256
58.72/58.92 c #Conflicts: 522000 | #Constraints: 20256
58.72/58.92 c #Conflicts: 523000 | #Constraints: 21256
58.72/58.92 c #Conflicts: 524000 | #Constraints: 22256
58.72/58.92 c #Conflicts: 525000 | #Constraints: 23256
58.72/58.92 c #Conflicts: 526000 | #Constraints: 24256
58.72/58.92 c #Conflicts: 527000 | #Constraints: 25256
58.72/58.92 c #Conflicts: 528000 | #Constraints: 26256
58.72/58.92 c #Conflicts: 529000 | #Constraints: 27256
58.72/58.92 c #Conflicts: 530000 | #Constraints: 28256
58.72/58.92 c #Conflicts: 531000 | #Constraints: 29256
58.72/58.92 c INPROCESSING
58.72/58.92 c GARBAGE COLLECT
58.72/58.92 c rational objective 200.5
60.22/60.42 c #Conflicts: 532000 | #Constraints: 15858
60.22/60.42 c #Conflicts: 533000 | #Constraints: 16858
60.22/60.42 c #Conflicts: 534000 | #Constraints: 17858
60.22/60.42 c #Conflicts: 535000 | #Constraints: 18858
60.22/60.42 c #Conflicts: 536000 | #Constraints: 19858
60.22/60.42 c #Conflicts: 537000 | #Constraints: 20858
60.22/60.42 c #Conflicts: 538000 | #Constraints: 21858
60.22/60.42 c #Conflicts: 539000 | #Constraints: 22858
60.22/60.42 c #Conflicts: 540000 | #Constraints: 23858
60.22/60.42 c #Conflicts: 541000 | #Constraints: 24858
60.22/60.42 c #Conflicts: 542000 | #Constraints: 25858
60.22/60.42 c #Conflicts: 543000 | #Constraints: 26858
60.22/60.42 c #Conflicts: 544000 | #Constraints: 27858
60.22/60.42 c #Conflicts: 545000 | #Constraints: 28858
60.22/60.42 c #Conflicts: 546000 | #Constraints: 29858
60.22/60.42 c INPROCESSING
60.22/60.42 c GARBAGE COLLECT
60.22/60.42 c rational objective 200.5
61.83/62.09 c #Conflicts: 547000 | #Constraints: 16254
61.83/62.09 c #Conflicts: 548000 | #Constraints: 17254
61.83/62.09 c #Conflicts: 549000 | #Constraints: 18254
61.83/62.09 c #Conflicts: 550000 | #Constraints: 19254
61.83/62.09 c #Conflicts: 551000 | #Constraints: 20254
61.83/62.09 c #Conflicts: 552000 | #Constraints: 21254
61.83/62.09 c #Conflicts: 553000 | #Constraints: 22254
61.83/62.09 c #Conflicts: 554000 | #Constraints: 23254
61.83/62.09 c #Conflicts: 555000 | #Constraints: 24254
61.83/62.09 c #Conflicts: 556000 | #Constraints: 25254
61.83/62.09 c #Conflicts: 557000 | #Constraints: 26254
61.83/62.09 c #Conflicts: 558000 | #Constraints: 27254
61.83/62.09 c #Conflicts: 559000 | #Constraints: 28254
61.83/62.09 c #Conflicts: 560000 | #Constraints: 29254
61.83/62.09 c #Conflicts: 561000 | #Constraints: 30254
61.83/62.09 c INPROCESSING
61.83/62.09 c GARBAGE COLLECT
61.83/62.09 c rational objective 200.5
63.51/63.71 c #Conflicts: 562000 | #Constraints: 16455
63.51/63.71 c #Conflicts: 563000 | #Constraints: 17455
63.51/63.71 c #Conflicts: 564000 | #Constraints: 18455
63.51/63.71 c #Conflicts: 565000 | #Constraints: 19455
63.51/63.71 c #Conflicts: 566000 | #Constraints: 20455
63.51/63.71 c #Conflicts: 567000 | #Constraints: 21455
63.51/63.71 c #Conflicts: 568000 | #Constraints: 22455
63.51/63.71 c #Conflicts: 569000 | #Constraints: 23455
63.51/63.71 c #Conflicts: 570000 | #Constraints: 24455
63.51/63.71 c #Conflicts: 571000 | #Constraints: 25455
63.51/63.71 c #Conflicts: 572000 | #Constraints: 26455
63.51/63.71 c #Conflicts: 573000 | #Constraints: 27455
63.51/63.71 c #Conflicts: 574000 | #Constraints: 28455
63.51/63.71 c #Conflicts: 575000 | #Constraints: 29455
63.51/63.71 c #Conflicts: 576000 | #Constraints: 30455
63.51/63.71 c INPROCESSING
63.51/63.71 c GARBAGE COLLECT
63.51/63.71 c rational objective 200.5
65.11/65.37 c #Conflicts: 577000 | #Constraints: 16458
65.11/65.37 c #Conflicts: 578000 | #Constraints: 17458
65.11/65.37 c #Conflicts: 579000 | #Constraints: 18458
65.11/65.37 c #Conflicts: 580000 | #Constraints: 19458
65.11/65.37 c #Conflicts: 581000 | #Constraints: 20458
65.11/65.37 c #Conflicts: 582000 | #Constraints: 21458
65.11/65.37 c #Conflicts: 583000 | #Constraints: 22458
65.11/65.37 c #Conflicts: 584000 | #Constraints: 23458
65.11/65.37 c #Conflicts: 585000 | #Constraints: 24458
65.11/65.37 c #Conflicts: 586000 | #Constraints: 25458
65.11/65.37 c #Conflicts: 587000 | #Constraints: 26458
65.11/65.37 c #Conflicts: 588000 | #Constraints: 27458
65.11/65.37 c #Conflicts: 589000 | #Constraints: 28458
65.11/65.37 c #Conflicts: 590000 | #Constraints: 29458
65.11/65.37 c #Conflicts: 591000 | #Constraints: 30458
65.11/65.37 c INPROCESSING
65.11/65.37 c GARBAGE COLLECT
65.11/65.37 c rational objective 200.5
66.92/67.12 c #Conflicts: 592000 | #Constraints: 16255
66.92/67.12 c #Conflicts: 593000 | #Constraints: 17255
66.92/67.12 c #Conflicts: 594000 | #Constraints: 18255
66.92/67.12 c #Conflicts: 595000 | #Constraints: 19255
66.92/67.12 c #Conflicts: 596000 | #Constraints: 20255
66.92/67.12 c #Conflicts: 597000 | #Constraints: 21255
66.92/67.12 c #Conflicts: 598000 | #Constraints: 22255
66.92/67.12 c #Conflicts: 599000 | #Constraints: 23255
66.92/67.12 c #Conflicts: 600000 | #Constraints: 24255
66.92/67.12 c #Conflicts: 601000 | #Constraints: 25255
66.92/67.12 c #Conflicts: 602000 | #Constraints: 26255
66.92/67.12 c #Conflicts: 603000 | #Constraints: 27255
66.92/67.12 c #Conflicts: 604000 | #Constraints: 28255
66.92/67.12 c #Conflicts: 605000 | #Constraints: 29255
66.92/67.12 c #Conflicts: 606000 | #Constraints: 30255
66.92/67.12 c #Conflicts: 607000 | #Constraints: 31255
66.92/67.12 c INPROCESSING
66.92/67.12 c GARBAGE COLLECT
66.92/67.12 c rational objective 200.5
68.70/68.95 c #Conflicts: 608000 | #Constraints: 16856
68.70/68.95 c #Conflicts: 609000 | #Constraints: 17856
68.70/68.95 c #Conflicts: 610000 | #Constraints: 18856
68.70/68.95 c #Conflicts: 611000 | #Constraints: 19856
68.70/68.95 c #Conflicts: 612000 | #Constraints: 20856
68.70/68.95 c #Conflicts: 613000 | #Constraints: 21856
68.70/68.95 c #Conflicts: 614000 | #Constraints: 22856
68.70/68.95 c #Conflicts: 615000 | #Constraints: 23856
68.70/68.95 c #Conflicts: 616000 | #Constraints: 24856
68.70/68.95 c #Conflicts: 617000 | #Constraints: 25856
68.70/68.95 c #Conflicts: 618000 | #Constraints: 26856
68.70/68.95 c #Conflicts: 619000 | #Constraints: 27856
68.70/68.95 c #Conflicts: 620000 | #Constraints: 28856
68.70/68.95 c #Conflicts: 621000 | #Constraints: 29856
68.70/68.95 c #Conflicts: 622000 | #Constraints: 30856
68.70/68.95 c #Conflicts: 623000 | #Constraints: 31856
68.70/68.95 c INPROCESSING
68.70/68.95 c GARBAGE COLLECT
68.70/68.95 c rational objective 200.5
70.40/70.69 c #Conflicts: 624000 | #Constraints: 17259
70.40/70.69 c #Conflicts: 625000 | #Constraints: 18259
70.40/70.69 c #Conflicts: 626000 | #Constraints: 19259
70.40/70.69 c #Conflicts: 627000 | #Constraints: 20259
70.40/70.69 c #Conflicts: 628000 | #Constraints: 21259
70.40/70.69 c #Conflicts: 629000 | #Constraints: 22259
70.40/70.69 c #Conflicts: 630000 | #Constraints: 23259
70.40/70.69 c #Conflicts: 631000 | #Constraints: 24259
70.40/70.69 c #Conflicts: 632000 | #Constraints: 25259
70.40/70.69 c #Conflicts: 633000 | #Constraints: 26259
70.40/70.69 c #Conflicts: 634000 | #Constraints: 27259
70.40/70.69 c #Conflicts: 635000 | #Constraints: 28259
70.40/70.69 c #Conflicts: 636000 | #Constraints: 29259
70.40/70.69 c #Conflicts: 637000 | #Constraints: 30259
70.40/70.69 c #Conflicts: 638000 | #Constraints: 31259
70.40/70.69 c #Conflicts: 639000 | #Constraints: 32259
70.40/70.69 c INPROCESSING
70.40/70.69 c GARBAGE COLLECT
70.40/70.69 c rational objective 200.5
72.29/72.54 c #Conflicts: 640000 | #Constraints: 17462
72.29/72.54 c #Conflicts: 641000 | #Constraints: 18462
72.29/72.54 c #Conflicts: 642000 | #Constraints: 19462
72.29/72.54 c #Conflicts: 643000 | #Constraints: 20462
72.29/72.54 c #Conflicts: 644000 | #Constraints: 21462
72.29/72.54 c #Conflicts: 645000 | #Constraints: 22462
72.29/72.54 c #Conflicts: 646000 | #Constraints: 23462
72.29/72.54 c #Conflicts: 647000 | #Constraints: 24462
72.29/72.54 c #Conflicts: 648000 | #Constraints: 25462
72.29/72.54 c #Conflicts: 649000 | #Constraints: 26462
72.29/72.54 c #Conflicts: 650000 | #Constraints: 27462
72.29/72.54 c #Conflicts: 651000 | #Constraints: 28462
72.29/72.54 c #Conflicts: 652000 | #Constraints: 29462
72.29/72.54 c #Conflicts: 653000 | #Constraints: 30462
72.29/72.54 c #Conflicts: 654000 | #Constraints: 31462
72.29/72.54 c #Conflicts: 655000 | #Constraints: 32462
72.29/72.54 c INPROCESSING
72.29/72.54 c GARBAGE COLLECT
72.29/72.54 c rational objective 200.5
74.28/74.51 c #Conflicts: 656000 | #Constraints: 17465
74.28/74.51 c #Conflicts: 657000 | #Constraints: 18465
74.28/74.51 c #Conflicts: 658000 | #Constraints: 19465
74.28/74.51 c #Conflicts: 659000 | #Constraints: 20465
74.28/74.51 c #Conflicts: 660000 | #Constraints: 21465
74.28/74.51 c #Conflicts: 661000 | #Constraints: 22465
74.28/74.51 c #Conflicts: 662000 | #Constraints: 23465
74.28/74.51 c #Conflicts: 663000 | #Constraints: 24465
74.28/74.51 c #Conflicts: 664000 | #Constraints: 25465
74.28/74.51 c #Conflicts: 665000 | #Constraints: 26465
74.28/74.51 c #Conflicts: 666000 | #Constraints: 27465
74.28/74.51 c #Conflicts: 667000 | #Constraints: 28465
74.28/74.51 c #Conflicts: 668000 | #Constraints: 29465
74.28/74.51 c #Conflicts: 669000 | #Constraints: 30465
74.28/74.51 c #Conflicts: 670000 | #Constraints: 31465
74.28/74.51 c #Conflicts: 671000 | #Constraints: 32465
74.28/74.51 c INPROCESSING
74.28/74.51 c GARBAGE COLLECT
74.28/74.51 c rational objective 200.5
75.35/75.61 c #Conflicts: 672000 | #Constraints: 17266
75.35/75.61 c #Conflicts: 673000 | #Constraints: 18266
75.35/75.61 c #Conflicts: 674000 | #Constraints: 19266
75.35/75.61 c #Conflicts: 675000 | #Constraints: 20266
75.35/75.61 c #Conflicts: 676000 | #Constraints: 21266
75.35/75.61 c #Conflicts: 677000 | #Constraints: 22266
75.35/75.61 c #Conflicts: 678000 | #Constraints: 23266
75.35/75.61 c #Conflicts: 679000 | #Constraints: 24266
75.35/75.61 c #Conflicts: 680000 | #Constraints: 25266
75.35/75.61 c cpu time 69.5386 s
75.35/75.61 c deterministic time 1501064999 1.50e+09
75.35/75.61 c optimization time 0.000143 s
75.35/75.61 c total solve time 69.5315 s
75.35/75.61 c core-guided solve time 0 s
75.35/75.61 c propagation time 60.587 s
75.35/75.61 c conflict analysis time 5.30951 s
75.35/75.61 c propagations 4772000
75.35/75.61 c resolve steps 2101635
75.35/75.61 c decisions 1151862
75.35/75.61 c conflicts 680443
75.35/75.61 c restarts 1476
75.35/75.61 c inprocessing phases 73
75.35/75.61 c input clauses 2
75.35/75.61 c input cardinalities 556
75.35/75.61 c input general constraints 0
75.35/75.61 c input average constraint length 3.99
75.35/75.61 c input average constraint degree 2.00
75.35/75.61 c learned clauses 630568
75.35/75.61 c learned cardinalities 1762
75.35/75.61 c learned general constraints 48243
75.35/75.61 c learned average constraint length 16.36
75.35/75.61 c learned average constraint degree 26718486.68
75.35/75.61 c watched constraints 38684
75.35/75.61 c counting constraints 9559
75.35/75.61 c gcd simplifications 53522
75.35/75.61 c detected cardinalities 491
75.35/75.61 c weakened non-implied lits 490840
75.35/75.61 c weakened non-implying lits 31883
75.35/75.61 c original variables 401
75.35/75.61 c clausal propagations 1440360
75.35/75.61 c cardinality propagations 1184440
75.35/75.61 c watched propagations 172309
75.35/75.61 c counting propagations 1289521
75.35/75.61 c watch lookups 531155472
75.35/75.61 c watch backjump lookups 288747448
75.35/75.61 c watch checks 573517829
75.35/75.61 c propagation checks 57087187
75.35/75.61 c constraint additions 37348587
75.35/75.61 c trail pops 6604154
75.35/75.61 c formula constraints 558
75.35/75.61 c learned constraints 680311
75.35/75.61 c bound constraints 0
75.35/75.61 c core-guided constraints 0
75.35/75.61 c encountered formula constraints 84399
75.35/75.61 c encountered learned constraints 2634207
75.35/75.61 c encountered bound constraints 0
75.35/75.61 c encountered core-guided constraints 0
75.35/75.61 c LP total time 44.2139 s
75.35/75.61 c LP solve time 40.36 s
75.35/75.61 c LP constraints added 642
75.35/75.61 c LP constraints removed 83
75.35/75.61 c LP pivots internal 679947
75.35/75.61 c LP pivots root 512
75.35/75.61 c LP calls 235268
75.35/75.61 c LP optimalities 235137
75.35/75.61 c LP no pivot count 76482
75.35/75.61 c LP infeasibilities 131
75.35/75.61 c LP valid Farkas constraints 131
75.35/75.61 c LP learned Farkas constraints 131
75.35/75.61 c LP basis resets 0
75.35/75.61 c LP cycling count 0
75.35/75.61 c LP singular count 0
75.35/75.61 c LP no primal count 0
75.35/75.61 c LP no farkas count 0
75.35/75.61 c LP other issue count 0
75.35/75.61 c LP Gomory cuts 0
75.35/75.61 c LP learned cuts 84
75.35/75.61 c LP deleted cuts 83
75.35/75.61 c LP encountered Gomory constraints 0
75.35/75.61 c LP encountered Farkas constraints 62643
75.35/75.61 c LP encountered learned Farkas constraints 698
75.35/75.61 c CG auxiliary variables introduced 0
75.35/75.61 c CG solutions found 0
75.35/75.61 c CG cores constructed 0
75.35/75.61 c CG core cardinality constraints returned 0
75.35/75.61 c CG unit cores 0
75.35/75.61 c CG single cores 0
75.35/75.61 c CG blocks removed during cardinality reduction 0
75.35/75.61 c CG first core best 0
75.35/75.61 c CG decision core best 0
75.35/75.61 c CG core reduction tie 0
75.35/75.61 c CG core degree average 0.00
75.35/75.61 c CG core slack average 0.00
75.35/75.61 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 (61687 MiB free)
memory of node 1: 64473 MiB (56211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457256-1721835211/watcher-4457256-1721835211 -o /tmp/evaluation-result-4457256-1721835211/solver-4457256-1721835211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179667 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457256-1721835211 --lp-cut-gomory=0 HOME/instance-4457256-1721835211.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=181903, runsolver pid=181900
[startup+0.10045 s]*
/proc/loadavg: 4.05 4.17 4.18 5/252 181904
/proc/meminfo: memFree=120726144/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=38316 memory=8612 CPUtime=0.09 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 525 0 0 0 8 1 0 0 20 0 1 0 19510417 39235584 2153 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9579 2153 1844 992 0 1437 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38316 KiB
Current children cumulated memory: 8612 KiB
[startup+0.21248 s]*
/proc/loadavg: 4.05 4.17 4.18 5/252 181904
/proc/meminfo: memFree=120724844/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=38396 memory=8768 CPUtime=0.2 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 551 0 0 0 18 2 0 0 20 0 1 0 19510417 39317504 2192 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9599 2192 1844 992 0 1457 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38396 KiB
Current children cumulated memory: 8768 KiB
[startup+0.311717 s]*
/proc/loadavg: 4.05 4.17 4.18 6/252 181904
/proc/meminfo: memFree=120723388/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=38480 memory=8940 CPUtime=0.31 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 577 0 0 0 27 4 0 0 20 0 1 0 19510417 39403520 2235 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9620 2235 1844 992 0 1478 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 8940 KiB
[startup+0.700336 s]
/proc/loadavg: 4.05 4.17 4.18 5/252 181904
/proc/meminfo: memFree=120719632/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=38628 memory=9200 CPUtime=0.68 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 657 0 0 0 59 9 0 0 20 0 1 0 19510417 39555072 2300 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9657 2300 1844 992 0 1515 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 9200 KiB
[startup+1.50034 s]
/proc/loadavg: 4.05 4.17 4.18 5/252 181904
/proc/meminfo: memFree=120715952/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=38968 memory=9756 CPUtime=1.48 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 799 0 0 0 131 17 0 0 20 0 1 0 19510417 39903232 2439 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9742 2439 1844 992 0 1600 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38968 KiB
Current children cumulated memory: 9756 KiB
[startup+3.11311 s]
/proc/loadavg: 4.05 4.17 4.18 5/250 181905
/proc/meminfo: memFree=120701624/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=39296 memory=10448 CPUtime=3.09 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 967 0 0 0 279 30 0 0 20 0 1 0 19510417 40239104 2612 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9824 2612 1844 992 0 1682 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39296 KiB
Current children cumulated memory: 10448 KiB
[startup+6.30032 s]
/proc/loadavg: 4.05 4.17 4.18 5/250 181905
/proc/meminfo: memFree=120682836/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=39756 memory=11196 CPUtime=6.26 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 1231 0 0 0 570 56 0 0 20 0 1 0 19510417 40710144 2799 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 9939 2799 1844 992 0 1797 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39756 KiB
Current children cumulated memory: 11196 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.16 4.18 5/250 181905
/proc/meminfo: memFree=120646580/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=40320 memory=12160 CPUtime=12.65 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 1830 0 0 0 1157 108 0 0 20 0 1 0 19510417 41287680 3040 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10080 3040 1844 992 0 1938 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 12160 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.17 4.18 5/250 181909
/proc/meminfo: memFree=120570844/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=41028 memory=15136 CPUtime=25.41 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 2514 0 0 0 2333 208 0 0 20 0 1 0 19510417 42012672 3784 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10257 3784 1844 992 0 2115 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 41028 KiB
Current children cumulated memory: 15136 KiB
[startup+51.1131 s]
/proc/loadavg: 4.07 4.16 4.18 5/250 181912
/proc/meminfo: memFree=120447876/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=41944 memory=16080 CPUtime=50.96 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 4503 0 0 0 4695 401 0 0 20 0 1 0 19510417 42950656 4020 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10486 4020 1844 992 0 2344 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 41944 KiB
Current children cumulated memory: 16080 KiB
[startup+75.6107 s]
# the end of solver process 181903 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=69.5423 s, system=5.8158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.07 4.16 4.18 5/250 181912
/proc/meminfo: memFree=120447876/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42072 memory=16208 CPUtime=51.05 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 4643 0 0 0 4703 402 0 0 20 0 1 0 19510417 43081728 4052 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10518 4052 1844 992 0 2376 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 16208 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.06 4.15 4.17 5/250 181916
/proc/meminfo: memFree=120390240/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42456 memory=16604 CPUtime=63.82 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 5625 0 0 0 5883 499 0 0 20 0 1 0 19510417 43474944 4151 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10614 4151 1844 992 0 2472 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 16604 KiB
[startup+70.4003 s]
/proc/loadavg: 4.21 4.18 4.18 5/250 181916
/proc/meminfo: memFree=120359448/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42584 memory=16740 CPUtime=70.2 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 6015 0 0 0 6474 546 0 0 20 0 1 0 19510417 43606016 4185 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10646 4185 1844 992 0 2504 0
Current children cumulated CPU time: 70.2 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 16740 KiB
[startup+73.6003 s]
/proc/loadavg: 4.21 4.18 4.18 5/250 181918
/proc/meminfo: memFree=120346952/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42776 memory=16920 CPUtime=73.38 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 6273 0 0 0 6771 567 0 0 20 0 1 0 19510417 43802624 4230 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10694 4230 1844 992 0 2552 0
Current children cumulated CPU time: 73.38 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 16920 KiB
[startup+74.4003 s]
/proc/loadavg: 4.21 4.18 4.18 5/250 181918
/proc/meminfo: memFree=120343036/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42776 memory=16920 CPUtime=74.18 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 6273 0 0 0 6845 573 0 0 20 0 1 0 19510417 43802624 4230 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10694 4230 1844 992 0 2552 0
Current children cumulated CPU time: 74.18 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 16920 KiB
[startup+75.2003 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 181918
/proc/meminfo: memFree=120338388/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42968 memory=17000 CPUtime=74.98 cores=1,3
/proc/181903/stat : 181903 (roundingsat) R 181900 181903 179655 0 -1 4194304 6431 0 0 0 6920 578 0 0 20 0 1 0 19510417 43999232 4250 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10742 4250 1844 992 0 2600 0
Current children cumulated CPU time: 74.98 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17000 KiB
[startup+75.6003 s]
/proc/loadavg: 4.19 4.18 4.18 5/250 181918
/proc/meminfo: memFree=120338388/131655788 swapFree=131056320/131071996
[pid=181903] ppid=181900 vsize=42968 memory=17000 CPUtime=75.35 cores=1,3
/proc/181903/stat : 181903 (roundingsat) D 181900 181903 179655 0 -1 4194304 6431 0 0 0 6954 581 0 0 20 0 1 0 19510417 43999232 4250 134679101440 4194304 8254037 140730004020448 0 0 0 0 0 25182210 0 0 0 17 1 0 0 6 0 0 9037040 9046032 32145408 140730004026204 140730004026466 140730004026466 140730004033481 0
/proc/181903/statm: 10742 4250 1844 992 0 2600 0
Current children cumulated CPU time: 75.35 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17000 KiB
Child status: 0
Real time (s): 75.6107
CPU time (s): 75.3581
CPU user time (s): 69.5423
CPU system time (s): 5.8158
CPU usage (%): 99.6658
Max. virtual memory (cumulated for all children) (KiB): 42968
Max. memory (cumulated for all children) (KiB): 17000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.5423
system time used= 5.8158
maximum resident set size= 17304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 114144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 316
involuntary context switches= 105
# summary of solver processes directly reported to runsolver:
# pid: 181903
# total CPU time (s): 75.3581
# total CPU user time (s): 69.5423
# total CPU system time (s): 5.8158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.425207 second user time and 0.772882 second system time
The end
Begin job on nodeC006 at 2024-07-24 17:33:31
IDJOB=4457256
IDBENCH=160362
IDSOLVER=3085
FILE ID=nodeC006/4457256-1721835211
RUNJOBID= nodeC006-1721831555-179667
SLURM_JOB_ID= 7891518
Free space on /tmp= 723764 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-extracted.pb.metafix.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-4457256-1721835211/watcher-4457256-1721835211 -o /tmp/evaluation-result-4457256-1721835211/solver-4457256-1721835211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721831555-179667 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457256-1721835211 --lp-cut-gomory=0 HOME/instance-4457256-1721835211.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=886108385
nodeC006.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.753
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 : 6983.06
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 : 1795.652
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.40
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.349
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 : 6983.06
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.108
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.40
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 : 3673.844
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 : 6983.06
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 : 3520.685
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.40
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.342
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 : 6983.06
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.177
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120728432 kB
MemAvailable: 128365936 kB
Buffers: 267720 kB
Cached: 7975128 kB
SwapCached: 240 kB
Active: 1936996 kB
Inactive: 8061240 kB
Active(anon): 1736 kB
Inactive(anon): 1799016 kB
Active(file): 1935260 kB
Inactive(file): 6262224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056320 kB
Dirty: 44336 kB
Writeback: 0 kB
AnonPages: 1753732 kB
Mapped: 100124 kB
Shmem: 45244 kB
KReclaimable: 501928 kB
Slab: 613020 kB
SReclaimable: 501928 kB
SUnreclaim: 111092 kB
KernelStack: 4064 kB
PageTables: 12984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2421696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1585152 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: 420680 kB
DirectMap2M: 57155584 kB
DirectMap1G: 78643200 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC006 at 2024-07-24 17:34:47