0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.50 c #variables 401 #constraints 558
0.00/0.50 c rational objective 200.5
0.10/0.64 c #Conflicts: 1000 | #Constraints: 1572
0.10/0.64 c #Conflicts: 2000 | #Constraints: 2584
0.10/0.64 c INPROCESSING
0.10/0.64 c GARBAGE COLLECT
0.10/0.64 c rational objective 200.5
0.29/0.81 c #Conflicts: 3000 | #Constraints: 2603
0.29/0.81 c #Conflicts: 4000 | #Constraints: 3611
0.29/0.81 c INPROCESSING
0.29/0.81 c GARBAGE COLLECT
0.29/0.81 c rational objective 200.5
0.49/1.04 c #Conflicts: 5000 | #Constraints: 3013
0.49/1.04 c #Conflicts: 6000 | #Constraints: 4016
0.49/1.04 c INPROCESSING
0.49/1.04 c GARBAGE COLLECT
0.49/1.04 c rational objective 200.5
0.69/1.25 c #Conflicts: 7000 | #Constraints: 3012
0.69/1.25 c #Conflicts: 8000 | #Constraints: 4016
0.69/1.25 c #Conflicts: 9000 | #Constraints: 5021
0.69/1.25 c INPROCESSING
0.69/1.25 c GARBAGE COLLECT
0.69/1.25 c rational objective 200.5
0.99/1.51 c #Conflicts: 10000 | #Constraints: 3718
0.99/1.51 c #Conflicts: 11000 | #Constraints: 4721
0.99/1.51 c #Conflicts: 12000 | #Constraints: 5724
0.99/1.51 c INPROCESSING
0.99/1.51 c GARBAGE COLLECT
0.99/1.51 c rational objective 200.5
1.19/1.79 c #Conflicts: 13000 | #Constraints: 4169
1.19/1.79 c #Conflicts: 14000 | #Constraints: 5171
1.19/1.79 c #Conflicts: 15000 | #Constraints: 6172
1.19/1.79 c INPROCESSING
1.19/1.79 c GARBAGE COLLECT
1.19/1.79 c rational objective 200.5
1.60/2.16 c #Conflicts: 16000 | #Constraints: 4397
1.60/2.16 c #Conflicts: 17000 | #Constraints: 5397
1.60/2.16 c #Conflicts: 18000 | #Constraints: 6398
1.60/2.16 c INPROCESSING
1.60/2.16 c GARBAGE COLLECT
1.60/2.16 c rational objective 200.5
1.98/2.50 c #Conflicts: 19000 | #Constraints: 4412
1.98/2.50 c #Conflicts: 20000 | #Constraints: 5414
1.98/2.50 c #Conflicts: 21000 | #Constraints: 6415
1.98/2.50 c INPROCESSING
1.98/2.50 c GARBAGE COLLECT
1.98/2.50 c rational objective 200.5
2.29/2.85 c #Conflicts: 22000 | #Constraints: 4214
2.29/2.85 c #Conflicts: 23000 | #Constraints: 5214
2.29/2.85 c #Conflicts: 24000 | #Constraints: 6215
2.29/2.85 c #Conflicts: 25000 | #Constraints: 7218
2.29/2.85 c INPROCESSING
2.29/2.85 c GARBAGE COLLECT
2.29/2.85 c rational objective 200.5
2.68/3.26 c #Conflicts: 26000 | #Constraints: 4822
2.68/3.26 c #Conflicts: 27000 | #Constraints: 5822
2.68/3.26 c #Conflicts: 28000 | #Constraints: 6823
2.68/3.26 c #Conflicts: 29000 | #Constraints: 7823
2.68/3.26 c INPROCESSING
2.68/3.26 c GARBAGE COLLECT
2.68/3.26 c rational objective 200.5
3.18/3.71 c #Conflicts: 30000 | #Constraints: 5224
3.18/3.71 c #Conflicts: 31000 | #Constraints: 6224
3.18/3.71 c #Conflicts: 32000 | #Constraints: 7225
3.18/3.71 c #Conflicts: 33000 | #Constraints: 8225
3.18/3.71 c INPROCESSING
3.18/3.71 c GARBAGE COLLECT
3.18/3.71 c rational objective 200.5
3.59/4.16 c #Conflicts: 34000 | #Constraints: 5421
3.59/4.16 c #Conflicts: 35000 | #Constraints: 6421
3.59/4.16 c #Conflicts: 36000 | #Constraints: 7421
3.59/4.16 c #Conflicts: 37000 | #Constraints: 8422
3.59/4.16 c INPROCESSING
3.59/4.16 c GARBAGE COLLECT
3.59/4.16 c rational objective 200.5
4.08/4.61 c #Conflicts: 38000 | #Constraints: 5431
4.08/4.61 c #Conflicts: 39000 | #Constraints: 6431
4.08/4.61 c #Conflicts: 40000 | #Constraints: 7431
4.08/4.61 c #Conflicts: 41000 | #Constraints: 8432
4.08/4.61 c INPROCESSING
4.08/4.61 c GARBAGE COLLECT
4.08/4.61 c rational objective 200.5
4.58/5.12 c #Conflicts: 42000 | #Constraints: 5229
4.58/5.12 c #Conflicts: 43000 | #Constraints: 6229
4.58/5.12 c #Conflicts: 44000 | #Constraints: 7229
4.58/5.12 c #Conflicts: 45000 | #Constraints: 8230
4.58/5.12 c #Conflicts: 46000 | #Constraints: 9230
4.58/5.12 c INPROCESSING
4.58/5.12 c GARBAGE COLLECT
4.58/5.12 c rational objective 200.5
5.07/5.64 c #Conflicts: 47000 | #Constraints: 5827
5.07/5.64 c #Conflicts: 48000 | #Constraints: 6827
5.07/5.64 c #Conflicts: 49000 | #Constraints: 7829
5.07/5.64 c #Conflicts: 50000 | #Constraints: 8829
5.07/5.64 c #Conflicts: 51000 | #Constraints: 9829
5.07/5.64 c INPROCESSING
5.07/5.64 c GARBAGE COLLECT
5.07/5.64 c rational objective 200.5
5.58/6.17 c #Conflicts: 52000 | #Constraints: 6232
5.58/6.17 c #Conflicts: 53000 | #Constraints: 7232
5.58/6.17 c #Conflicts: 54000 | #Constraints: 8232
5.58/6.17 c #Conflicts: 55000 | #Constraints: 9232
5.58/6.17 c #Conflicts: 56000 | #Constraints: 10232
5.58/6.17 c INPROCESSING
5.58/6.17 c GARBAGE COLLECT
5.58/6.17 c rational objective 200.5
6.17/6.71 c #Conflicts: 57000 | #Constraints: 6425
6.17/6.71 c #Conflicts: 58000 | #Constraints: 7425
6.17/6.71 c #Conflicts: 59000 | #Constraints: 8425
6.17/6.71 c #Conflicts: 60000 | #Constraints: 9428
6.17/6.71 c #Conflicts: 61000 | #Constraints: 10430
6.17/6.71 c INPROCESSING
6.17/6.71 c GARBAGE COLLECT
6.17/6.71 c rational objective 200.5
6.77/7.30 c #Conflicts: 62000 | #Constraints: 6424
6.77/7.30 c #Conflicts: 63000 | #Constraints: 7424
6.77/7.30 c #Conflicts: 64000 | #Constraints: 8424
6.77/7.30 c #Conflicts: 65000 | #Constraints: 9424
6.77/7.30 c #Conflicts: 66000 | #Constraints: 10424
6.77/7.30 c INPROCESSING
6.77/7.30 c GARBAGE COLLECT
6.77/7.30 c rational objective 200.5
7.27/7.88 c #Conflicts: 67000 | #Constraints: 6227
7.27/7.88 c #Conflicts: 68000 | #Constraints: 7228
7.27/7.88 c #Conflicts: 69000 | #Constraints: 8229
7.27/7.88 c #Conflicts: 70000 | #Constraints: 9230
7.27/7.88 c #Conflicts: 71000 | #Constraints: 10230
7.27/7.88 c #Conflicts: 72000 | #Constraints: 11230
7.27/7.88 c INPROCESSING
7.27/7.88 c GARBAGE COLLECT
7.27/7.88 c rational objective 200.5
7.96/8.53 c #Conflicts: 73000 | #Constraints: 6826
7.96/8.53 c #Conflicts: 74000 | #Constraints: 7826
7.96/8.53 c #Conflicts: 75000 | #Constraints: 8827
7.96/8.53 c #Conflicts: 76000 | #Constraints: 9827
7.96/8.53 c #Conflicts: 77000 | #Constraints: 10827
7.96/8.53 c #Conflicts: 78000 | #Constraints: 11827
7.96/8.53 c INPROCESSING
7.96/8.53 c GARBAGE COLLECT
7.96/8.53 c rational objective 200.5
8.57/9.14 c #Conflicts: 79000 | #Constraints: 7226
8.57/9.14 c #Conflicts: 80000 | #Constraints: 8226
8.57/9.14 c #Conflicts: 81000 | #Constraints: 9226
8.57/9.14 c #Conflicts: 82000 | #Constraints: 10226
8.57/9.14 c #Conflicts: 83000 | #Constraints: 11226
8.57/9.14 c #Conflicts: 84000 | #Constraints: 12226
8.57/9.14 c INPROCESSING
8.57/9.14 c GARBAGE COLLECT
8.57/9.14 c rational objective 200.5
9.26/9.81 c #Conflicts: 85000 | #Constraints: 7425
9.26/9.81 c #Conflicts: 86000 | #Constraints: 8425
9.26/9.81 c #Conflicts: 87000 | #Constraints: 9425
9.26/9.81 c #Conflicts: 88000 | #Constraints: 10425
9.26/9.81 c #Conflicts: 89000 | #Constraints: 11425
9.26/9.81 c #Conflicts: 90000 | #Constraints: 12425
9.26/9.81 c INPROCESSING
9.26/9.81 c GARBAGE COLLECT
9.26/9.81 c rational objective 200.5
10.06/10.60 c #Conflicts: 91000 | #Constraints: 7427
10.06/10.60 c #Conflicts: 92000 | #Constraints: 8427
10.06/10.60 c #Conflicts: 93000 | #Constraints: 9427
10.06/10.60 c #Conflicts: 94000 | #Constraints: 10429
10.06/10.60 c #Conflicts: 95000 | #Constraints: 11429
10.06/10.60 c #Conflicts: 96000 | #Constraints: 12429
10.06/10.60 c INPROCESSING
10.06/10.60 c GARBAGE COLLECT
10.06/10.60 c rational objective 200.5
10.75/11.30 c #Conflicts: 97000 | #Constraints: 7230
10.75/11.30 c #Conflicts: 98000 | #Constraints: 8230
10.75/11.30 c #Conflicts: 99000 | #Constraints: 9230
10.75/11.30 c #Conflicts: 100000 | #Constraints: 10230
10.75/11.30 c #Conflicts: 101000 | #Constraints: 11230
10.75/11.30 c #Conflicts: 102000 | #Constraints: 12230
10.75/11.30 c #Conflicts: 103000 | #Constraints: 13230
10.75/11.30 c INPROCESSING
10.75/11.30 c GARBAGE COLLECT
10.75/11.30 c rational objective 200.5
11.45/12.04 c #Conflicts: 104000 | #Constraints: 7832
11.45/12.04 c #Conflicts: 105000 | #Constraints: 8832
11.45/12.04 c #Conflicts: 106000 | #Constraints: 9832
11.45/12.04 c #Conflicts: 107000 | #Constraints: 10832
11.45/12.04 c #Conflicts: 108000 | #Constraints: 11833
11.45/12.04 c #Conflicts: 109000 | #Constraints: 12833
11.45/12.04 c #Conflicts: 110000 | #Constraints: 13833
11.45/12.04 c INPROCESSING
11.45/12.04 c GARBAGE COLLECT
11.45/12.04 c rational objective 200.5
12.15/12.78 c #Conflicts: 111000 | #Constraints: 8228
12.15/12.78 c #Conflicts: 112000 | #Constraints: 9230
12.15/12.78 c #Conflicts: 113000 | #Constraints: 10230
12.15/12.78 c #Conflicts: 114000 | #Constraints: 11230
12.15/12.78 c #Conflicts: 115000 | #Constraints: 12230
12.15/12.78 c #Conflicts: 116000 | #Constraints: 13230
12.15/12.78 c #Conflicts: 117000 | #Constraints: 14230
12.15/12.78 c INPROCESSING
12.15/12.78 c GARBAGE COLLECT
12.15/12.78 c rational objective 200.5
13.05/13.60 c #Conflicts: 118000 | #Constraints: 8431
13.05/13.60 c #Conflicts: 119000 | #Constraints: 9432
13.05/13.60 c #Conflicts: 120000 | #Constraints: 10433
13.05/13.60 c #Conflicts: 121000 | #Constraints: 11433
13.05/13.60 c #Conflicts: 122000 | #Constraints: 12433
13.05/13.60 c #Conflicts: 123000 | #Constraints: 13433
13.05/13.60 c #Conflicts: 124000 | #Constraints: 14434
13.05/13.60 c INPROCESSING
13.05/13.60 c GARBAGE COLLECT
13.05/13.60 c rational objective 200.5
13.74/14.38 c #Conflicts: 125000 | #Constraints: 8431
13.74/14.38 c #Conflicts: 126000 | #Constraints: 9431
13.74/14.38 c #Conflicts: 127000 | #Constraints: 10431
13.74/14.38 c #Conflicts: 128000 | #Constraints: 11431
13.74/14.38 c #Conflicts: 129000 | #Constraints: 12431
13.74/14.38 c #Conflicts: 130000 | #Constraints: 13431
13.74/14.38 c #Conflicts: 131000 | #Constraints: 14431
13.74/14.38 c INPROCESSING
13.74/14.38 c GARBAGE COLLECT
13.74/14.38 c rational objective 200.5
14.55/15.16 c #Conflicts: 132000 | #Constraints: 8232
14.55/15.16 c #Conflicts: 133000 | #Constraints: 9232
14.55/15.16 c #Conflicts: 134000 | #Constraints: 10232
14.55/15.16 c #Conflicts: 135000 | #Constraints: 11232
14.55/15.16 c #Conflicts: 136000 | #Constraints: 12232
14.55/15.16 c #Conflicts: 137000 | #Constraints: 13232
14.55/15.16 c #Conflicts: 138000 | #Constraints: 14232
14.55/15.16 c #Conflicts: 139000 | #Constraints: 15232
14.55/15.16 c INPROCESSING
14.55/15.16 c GARBAGE COLLECT
14.55/15.16 c rational objective 200.5
15.55/16.11 c #Conflicts: 140000 | #Constraints: 8831
15.55/16.11 c #Conflicts: 141000 | #Constraints: 9831
15.55/16.11 c #Conflicts: 142000 | #Constraints: 10831
15.55/16.11 c #Conflicts: 143000 | #Constraints: 11831
15.55/16.11 c #Conflicts: 144000 | #Constraints: 12831
15.55/16.11 c #Conflicts: 145000 | #Constraints: 13831
15.55/16.11 c #Conflicts: 146000 | #Constraints: 14831
15.55/16.11 c #Conflicts: 147000 | #Constraints: 15831
15.55/16.11 c INPROCESSING
15.55/16.11 c GARBAGE COLLECT
15.55/16.11 c rational objective 200.5
16.34/16.97 c #Conflicts: 148000 | #Constraints: 9230
16.34/16.97 c #Conflicts: 149000 | #Constraints: 10230
16.34/16.97 c #Conflicts: 150000 | #Constraints: 11230
16.34/16.97 c #Conflicts: 151000 | #Constraints: 12230
16.34/16.97 c #Conflicts: 152000 | #Constraints: 13230
16.34/16.97 c #Conflicts: 153000 | #Constraints: 14231
16.34/16.97 c #Conflicts: 154000 | #Constraints: 15231
16.34/16.97 c #Conflicts: 155000 | #Constraints: 16231
16.34/16.97 c INPROCESSING
16.34/16.97 c GARBAGE COLLECT
16.34/16.97 c rational objective 200.5
17.24/17.85 c #Conflicts: 156000 | #Constraints: 9432
17.24/17.85 c #Conflicts: 157000 | #Constraints: 10432
17.24/17.85 c #Conflicts: 158000 | #Constraints: 11432
17.24/17.85 c #Conflicts: 159000 | #Constraints: 12432
17.24/17.85 c #Conflicts: 160000 | #Constraints: 13433
17.24/17.85 c #Conflicts: 161000 | #Constraints: 14433
17.24/17.85 c #Conflicts: 162000 | #Constraints: 15434
17.24/17.85 c #Conflicts: 163000 | #Constraints: 16434
17.24/17.85 c INPROCESSING
17.24/17.85 c GARBAGE COLLECT
17.24/17.85 c rational objective 200.5
18.13/18.73 c #Conflicts: 164000 | #Constraints: 9432
18.13/18.73 c #Conflicts: 165000 | #Constraints: 10432
18.13/18.73 c #Conflicts: 166000 | #Constraints: 11432
18.13/18.73 c #Conflicts: 167000 | #Constraints: 12434
18.13/18.73 c #Conflicts: 168000 | #Constraints: 13434
18.13/18.73 c #Conflicts: 169000 | #Constraints: 14434
18.13/18.73 c #Conflicts: 170000 | #Constraints: 15434
18.13/18.73 c #Conflicts: 171000 | #Constraints: 16434
18.13/18.73 c INPROCESSING
18.13/18.73 c GARBAGE COLLECT
18.13/18.73 c rational objective 200.5
19.03/19.63 c #Conflicts: 172000 | #Constraints: 9226
19.03/19.63 c #Conflicts: 173000 | #Constraints: 10226
19.03/19.63 c #Conflicts: 174000 | #Constraints: 11226
19.03/19.63 c #Conflicts: 175000 | #Constraints: 12226
19.03/19.63 c #Conflicts: 176000 | #Constraints: 13226
19.03/19.63 c #Conflicts: 177000 | #Constraints: 14226
19.03/19.63 c #Conflicts: 178000 | #Constraints: 15226
19.03/19.63 c #Conflicts: 179000 | #Constraints: 16226
19.03/19.63 c #Conflicts: 180000 | #Constraints: 17226
19.03/19.63 c INPROCESSING
19.03/19.63 c GARBAGE COLLECT
19.03/19.63 c rational objective 200.5
20.03/20.64 c #Conflicts: 181000 | #Constraints: 9826
20.03/20.64 c #Conflicts: 182000 | #Constraints: 10826
20.03/20.64 c #Conflicts: 183000 | #Constraints: 11826
20.03/20.64 c #Conflicts: 184000 | #Constraints: 12826
20.03/20.64 c #Conflicts: 185000 | #Constraints: 13826
20.03/20.64 c #Conflicts: 186000 | #Constraints: 14826
20.03/20.64 c #Conflicts: 187000 | #Constraints: 15826
20.03/20.64 c #Conflicts: 188000 | #Constraints: 16826
20.03/20.64 c #Conflicts: 189000 | #Constraints: 17826
20.03/20.64 c INPROCESSING
20.03/20.64 c GARBAGE COLLECT
20.03/20.64 c rational objective 200.5
21.12/21.76 c #Conflicts: 190000 | #Constraints: 10228
21.12/21.76 c #Conflicts: 191000 | #Constraints: 11228
21.12/21.76 c #Conflicts: 192000 | #Constraints: 12228
21.12/21.76 c #Conflicts: 193000 | #Constraints: 13228
21.12/21.76 c #Conflicts: 194000 | #Constraints: 14228
21.12/21.76 c #Conflicts: 195000 | #Constraints: 15228
21.12/21.76 c #Conflicts: 196000 | #Constraints: 16228
21.12/21.76 c #Conflicts: 197000 | #Constraints: 17228
21.12/21.76 c #Conflicts: 198000 | #Constraints: 18228
21.12/21.76 c INPROCESSING
21.12/21.76 c GARBAGE COLLECT
21.12/21.76 c rational objective 200.5
22.22/22.82 c #Conflicts: 199000 | #Constraints: 10435
22.22/22.82 c #Conflicts: 200000 | #Constraints: 11435
22.22/22.82 c #Conflicts: 201000 | #Constraints: 12435
22.22/22.82 c #Conflicts: 202000 | #Constraints: 13435
22.22/22.82 c #Conflicts: 203000 | #Constraints: 14435
22.22/22.82 c #Conflicts: 204000 | #Constraints: 15435
22.22/22.82 c #Conflicts: 205000 | #Constraints: 16435
22.22/22.82 c #Conflicts: 206000 | #Constraints: 17435
22.22/22.82 c #Conflicts: 207000 | #Constraints: 18435
22.22/22.82 c INPROCESSING
22.22/22.82 c GARBAGE COLLECT
22.22/22.82 c rational objective 200.5
23.42/24.01 c #Conflicts: 208000 | #Constraints: 10434
23.42/24.01 c #Conflicts: 209000 | #Constraints: 11434
23.42/24.01 c #Conflicts: 210000 | #Constraints: 12434
23.42/24.01 c #Conflicts: 211000 | #Constraints: 13434
23.42/24.01 c #Conflicts: 212000 | #Constraints: 14434
23.42/24.01 c #Conflicts: 213000 | #Constraints: 15434
23.42/24.01 c #Conflicts: 214000 | #Constraints: 16434
23.42/24.01 c #Conflicts: 215000 | #Constraints: 17434
23.42/24.01 c #Conflicts: 216000 | #Constraints: 18434
23.42/24.01 c INPROCESSING
23.42/24.01 c GARBAGE COLLECT
23.42/24.01 c rational objective 200.5
24.52/25.14 c #Conflicts: 217000 | #Constraints: 10236
24.52/25.14 c #Conflicts: 218000 | #Constraints: 11236
24.52/25.14 c #Conflicts: 219000 | #Constraints: 12236
24.52/25.14 c #Conflicts: 220000 | #Constraints: 13236
24.52/25.14 c #Conflicts: 221000 | #Constraints: 14236
24.52/25.14 c #Conflicts: 222000 | #Constraints: 15236
24.52/25.14 c #Conflicts: 223000 | #Constraints: 16236
24.52/25.14 c #Conflicts: 224000 | #Constraints: 17236
24.52/25.14 c #Conflicts: 225000 | #Constraints: 18236
24.52/25.14 c #Conflicts: 226000 | #Constraints: 19236
24.52/25.14 c INPROCESSING
24.52/25.14 c GARBAGE COLLECT
24.52/25.14 c rational objective 200.5
25.61/26.21 c #Conflicts: 227000 | #Constraints: 10836
25.61/26.21 c #Conflicts: 228000 | #Constraints: 11836
25.61/26.21 c #Conflicts: 229000 | #Constraints: 12836
25.61/26.21 c #Conflicts: 230000 | #Constraints: 13836
25.61/26.21 c #Conflicts: 231000 | #Constraints: 14836
25.61/26.21 c #Conflicts: 232000 | #Constraints: 15836
25.61/26.21 c #Conflicts: 233000 | #Constraints: 16836
25.61/26.21 c #Conflicts: 234000 | #Constraints: 17836
25.61/26.21 c #Conflicts: 235000 | #Constraints: 18836
25.61/26.21 c #Conflicts: 236000 | #Constraints: 19836
25.61/26.21 c INPROCESSING
25.61/26.21 c GARBAGE COLLECT
25.61/26.21 c rational objective 200.5
26.60/27.28 c #Conflicts: 237000 | #Constraints: 11231
26.60/27.28 c #Conflicts: 238000 | #Constraints: 12231
26.60/27.28 c #Conflicts: 239000 | #Constraints: 13231
26.60/27.28 c #Conflicts: 240000 | #Constraints: 14231
26.60/27.28 c #Conflicts: 241000 | #Constraints: 15231
26.60/27.28 c #Conflicts: 242000 | #Constraints: 16231
26.60/27.28 c #Conflicts: 243000 | #Constraints: 17231
26.60/27.28 c #Conflicts: 244000 | #Constraints: 18232
26.60/27.28 c #Conflicts: 245000 | #Constraints: 19232
26.60/27.28 c #Conflicts: 246000 | #Constraints: 20232
26.60/27.28 c INPROCESSING
26.60/27.28 c GARBAGE COLLECT
26.60/27.28 c rational objective 200.5
27.70/28.38 c #Conflicts: 247000 | #Constraints: 11432
27.70/28.38 c #Conflicts: 248000 | #Constraints: 12432
27.70/28.38 c #Conflicts: 249000 | #Constraints: 13432
27.70/28.38 c #Conflicts: 250000 | #Constraints: 14432
27.70/28.38 c #Conflicts: 251000 | #Constraints: 15432
27.70/28.38 c #Conflicts: 252000 | #Constraints: 16432
27.70/28.38 c #Conflicts: 253000 | #Constraints: 17432
27.70/28.38 c #Conflicts: 254000 | #Constraints: 18432
27.70/28.38 c #Conflicts: 255000 | #Constraints: 19432
27.70/28.38 c #Conflicts: 256000 | #Constraints: 20432
27.70/28.38 c INPROCESSING
27.70/28.38 c GARBAGE COLLECT
27.70/28.38 c rational objective 200.5
28.80/29.48 c #Conflicts: 257000 | #Constraints: 11434
28.80/29.48 c #Conflicts: 258000 | #Constraints: 12434
28.80/29.48 c #Conflicts: 259000 | #Constraints: 13434
28.80/29.48 c #Conflicts: 260000 | #Constraints: 14434
28.80/29.48 c #Conflicts: 261000 | #Constraints: 15434
28.80/29.48 c #Conflicts: 262000 | #Constraints: 16434
28.80/29.48 c #Conflicts: 263000 | #Constraints: 17434
28.80/29.48 c #Conflicts: 264000 | #Constraints: 18434
28.80/29.48 c #Conflicts: 265000 | #Constraints: 19434
28.80/29.48 c #Conflicts: 266000 | #Constraints: 20434
28.80/29.48 c INPROCESSING
28.80/29.48 c GARBAGE COLLECT
28.80/29.48 c rational objective 200.5
30.09/30.72 c #Conflicts: 267000 | #Constraints: 11238
30.09/30.72 c #Conflicts: 268000 | #Constraints: 12238
30.09/30.72 c #Conflicts: 269000 | #Constraints: 13238
30.09/30.72 c #Conflicts: 270000 | #Constraints: 14238
30.09/30.72 c #Conflicts: 271000 | #Constraints: 15238
30.09/30.72 c #Conflicts: 272000 | #Constraints: 16238
30.09/30.72 c #Conflicts: 273000 | #Constraints: 17238
30.09/30.72 c #Conflicts: 274000 | #Constraints: 18238
30.09/30.72 c #Conflicts: 275000 | #Constraints: 19238
30.09/30.72 c #Conflicts: 276000 | #Constraints: 20238
30.09/30.72 c #Conflicts: 277000 | #Constraints: 21238
30.09/30.72 c INPROCESSING
30.09/30.72 c GARBAGE COLLECT
30.09/30.72 c rational objective 200.5
31.29/31.96 c #Conflicts: 278000 | #Constraints: 11837
31.29/31.96 c #Conflicts: 279000 | #Constraints: 12837
31.29/31.96 c #Conflicts: 280000 | #Constraints: 13837
31.29/31.96 c #Conflicts: 281000 | #Constraints: 14837
31.29/31.96 c #Conflicts: 282000 | #Constraints: 15837
31.29/31.96 c #Conflicts: 283000 | #Constraints: 16837
31.29/31.96 c #Conflicts: 284000 | #Constraints: 17837
31.29/31.96 c #Conflicts: 285000 | #Constraints: 18837
31.29/31.96 c #Conflicts: 286000 | #Constraints: 19837
31.29/31.96 c #Conflicts: 287000 | #Constraints: 20837
31.29/31.96 c #Conflicts: 288000 | #Constraints: 21837
31.29/31.96 c INPROCESSING
31.29/31.96 c GARBAGE COLLECT
31.29/31.96 c rational objective 200.5
32.59/33.24 c #Conflicts: 289000 | #Constraints: 12235
32.59/33.24 c #Conflicts: 290000 | #Constraints: 13235
32.59/33.24 c #Conflicts: 291000 | #Constraints: 14235
32.59/33.24 c #Conflicts: 292000 | #Constraints: 15235
32.59/33.24 c #Conflicts: 293000 | #Constraints: 16235
32.59/33.24 c #Conflicts: 294000 | #Constraints: 17235
32.59/33.24 c #Conflicts: 295000 | #Constraints: 18235
32.59/33.24 c #Conflicts: 296000 | #Constraints: 19235
32.59/33.24 c #Conflicts: 297000 | #Constraints: 20236
32.59/33.24 c #Conflicts: 298000 | #Constraints: 21236
32.59/33.24 c #Conflicts: 299000 | #Constraints: 22236
32.59/33.24 c INPROCESSING
32.59/33.24 c GARBAGE COLLECT
32.59/33.24 c rational objective 200.5
33.78/34.49 c #Conflicts: 300000 | #Constraints: 12443
33.78/34.49 c #Conflicts: 301000 | #Constraints: 13443
33.78/34.49 c #Conflicts: 302000 | #Constraints: 14443
33.78/34.49 c #Conflicts: 303000 | #Constraints: 15443
33.78/34.49 c #Conflicts: 304000 | #Constraints: 16443
33.78/34.49 c #Conflicts: 305000 | #Constraints: 17443
33.78/34.49 c #Conflicts: 306000 | #Constraints: 18443
33.78/34.49 c #Conflicts: 307000 | #Constraints: 19443
33.78/34.49 c #Conflicts: 308000 | #Constraints: 20443
33.78/34.49 c #Conflicts: 309000 | #Constraints: 21443
33.78/34.49 c #Conflicts: 310000 | #Constraints: 22443
33.78/34.49 c INPROCESSING
33.78/34.49 c GARBAGE COLLECT
33.78/34.49 c rational objective 200.5
35.28/35.94 c #Conflicts: 311000 | #Constraints: 12443
35.28/35.94 c #Conflicts: 312000 | #Constraints: 13443
35.28/35.94 c #Conflicts: 313000 | #Constraints: 14443
35.28/35.94 c #Conflicts: 314000 | #Constraints: 15443
35.28/35.94 c #Conflicts: 315000 | #Constraints: 16444
35.28/35.94 c #Conflicts: 316000 | #Constraints: 17444
35.28/35.94 c #Conflicts: 317000 | #Constraints: 18444
35.28/35.94 c #Conflicts: 318000 | #Constraints: 19444
35.28/35.94 c #Conflicts: 319000 | #Constraints: 20444
35.28/35.94 c #Conflicts: 320000 | #Constraints: 21444
35.28/35.94 c #Conflicts: 321000 | #Constraints: 22444
35.28/35.94 c INPROCESSING
35.28/35.94 c GARBAGE COLLECT
35.28/35.94 c rational objective 200.5
36.48/37.11 c #Conflicts: 322000 | #Constraints: 12242
36.48/37.11 c #Conflicts: 323000 | #Constraints: 13242
36.48/37.11 c #Conflicts: 324000 | #Constraints: 14242
36.48/37.11 c #Conflicts: 325000 | #Constraints: 15242
36.48/37.11 c #Conflicts: 326000 | #Constraints: 16242
36.48/37.11 c #Conflicts: 327000 | #Constraints: 17242
36.48/37.11 c #Conflicts: 328000 | #Constraints: 18242
36.48/37.11 c #Conflicts: 329000 | #Constraints: 19242
36.48/37.11 c #Conflicts: 330000 | #Constraints: 20242
36.48/37.11 c #Conflicts: 331000 | #Constraints: 21242
36.48/37.11 c #Conflicts: 332000 | #Constraints: 22243
36.48/37.11 c #Conflicts: 333000 | #Constraints: 23243
36.48/37.11 c INPROCESSING
36.48/37.11 c GARBAGE COLLECT
36.48/37.11 c rational objective 200.5
37.48/38.19 c #Conflicts: 334000 | #Constraints: 12840
37.48/38.19 c #Conflicts: 335000 | #Constraints: 13840
37.48/38.19 c #Conflicts: 336000 | #Constraints: 14840
37.48/38.19 c #Conflicts: 337000 | #Constraints: 15840
37.48/38.19 c #Conflicts: 338000 | #Constraints: 16840
37.48/38.19 c #Conflicts: 339000 | #Constraints: 17840
37.48/38.19 c #Conflicts: 340000 | #Constraints: 18840
37.48/38.19 c #Conflicts: 341000 | #Constraints: 19840
37.48/38.19 c #Conflicts: 342000 | #Constraints: 20840
37.48/38.19 c #Conflicts: 343000 | #Constraints: 21840
37.48/38.19 c #Conflicts: 344000 | #Constraints: 22840
37.48/38.19 c #Conflicts: 345000 | #Constraints: 23840
37.48/38.19 c INPROCESSING
37.48/38.19 c GARBAGE COLLECT
37.48/38.19 c rational objective 200.5
38.67/39.33 c #Conflicts: 346000 | #Constraints: 13236
38.67/39.33 c #Conflicts: 347000 | #Constraints: 14236
38.67/39.33 c #Conflicts: 348000 | #Constraints: 15236
38.67/39.33 c #Conflicts: 349000 | #Constraints: 16236
38.67/39.33 c #Conflicts: 350000 | #Constraints: 17236
38.67/39.33 c #Conflicts: 351000 | #Constraints: 18236
38.67/39.33 c #Conflicts: 352000 | #Constraints: 19236
38.67/39.33 c #Conflicts: 353000 | #Constraints: 20236
38.67/39.33 c #Conflicts: 354000 | #Constraints: 21236
38.67/39.33 c #Conflicts: 355000 | #Constraints: 22236
38.67/39.33 c #Conflicts: 356000 | #Constraints: 23236
38.67/39.33 c #Conflicts: 357000 | #Constraints: 24236
38.67/39.33 c INPROCESSING
38.67/39.33 c GARBAGE COLLECT
38.67/39.33 c rational objective 200.5
39.76/40.45 c #Conflicts: 358000 | #Constraints: 13440
39.76/40.45 c #Conflicts: 359000 | #Constraints: 14440
39.76/40.45 c #Conflicts: 360000 | #Constraints: 15440
39.76/40.45 c #Conflicts: 361000 | #Constraints: 16440
39.76/40.45 c #Conflicts: 362000 | #Constraints: 17440
39.76/40.45 c #Conflicts: 363000 | #Constraints: 18440
39.76/40.45 c #Conflicts: 364000 | #Constraints: 19440
39.76/40.45 c #Conflicts: 365000 | #Constraints: 20440
39.76/40.45 c #Conflicts: 366000 | #Constraints: 21440
39.76/40.45 c #Conflicts: 367000 | #Constraints: 22440
39.76/40.45 c #Conflicts: 368000 | #Constraints: 23440
39.76/40.45 c #Conflicts: 369000 | #Constraints: 24440
39.76/40.45 c INPROCESSING
39.76/40.45 c GARBAGE COLLECT
39.76/40.45 c rational objective 200.5
41.06/41.71 c #Conflicts: 370000 | #Constraints: 13445
41.06/41.71 c #Conflicts: 371000 | #Constraints: 14445
41.06/41.71 c #Conflicts: 372000 | #Constraints: 15445
41.06/41.71 c #Conflicts: 373000 | #Constraints: 16445
41.06/41.71 c #Conflicts: 374000 | #Constraints: 17445
41.06/41.71 c #Conflicts: 375000 | #Constraints: 18445
41.06/41.71 c #Conflicts: 376000 | #Constraints: 19445
41.06/41.71 c #Conflicts: 377000 | #Constraints: 20445
41.06/41.71 c #Conflicts: 378000 | #Constraints: 21445
41.06/41.71 c #Conflicts: 379000 | #Constraints: 22445
41.06/41.71 c #Conflicts: 380000 | #Constraints: 23445
41.06/41.71 c #Conflicts: 381000 | #Constraints: 24445
41.06/41.71 c INPROCESSING
41.06/41.71 c GARBAGE COLLECT
41.06/41.71 c rational objective 200.5
42.16/42.88 c #Conflicts: 382000 | #Constraints: 13243
42.16/42.88 c #Conflicts: 383000 | #Constraints: 14243
42.16/42.88 c #Conflicts: 384000 | #Constraints: 15243
42.16/42.88 c #Conflicts: 385000 | #Constraints: 16243
42.16/42.88 c #Conflicts: 386000 | #Constraints: 17243
42.16/42.88 c #Conflicts: 387000 | #Constraints: 18243
42.16/42.88 c #Conflicts: 388000 | #Constraints: 19243
42.16/42.88 c #Conflicts: 389000 | #Constraints: 20243
42.16/42.88 c #Conflicts: 390000 | #Constraints: 21243
42.16/42.88 c #Conflicts: 391000 | #Constraints: 22243
42.16/42.88 c #Conflicts: 392000 | #Constraints: 23243
42.16/42.88 c #Conflicts: 393000 | #Constraints: 24243
42.16/42.88 c #Conflicts: 394000 | #Constraints: 25243
42.16/42.88 c INPROCESSING
42.16/42.88 c GARBAGE COLLECT
42.16/42.88 c rational objective 200.5
43.36/44.10 c #Conflicts: 395000 | #Constraints: 13843
43.36/44.10 c #Conflicts: 396000 | #Constraints: 14843
43.36/44.10 c #Conflicts: 397000 | #Constraints: 15843
43.36/44.10 c #Conflicts: 398000 | #Constraints: 16843
43.36/44.10 c #Conflicts: 399000 | #Constraints: 17843
43.36/44.10 c #Conflicts: 400000 | #Constraints: 18843
43.36/44.10 c #Conflicts: 401000 | #Constraints: 19843
43.36/44.10 c #Conflicts: 402000 | #Constraints: 20843
43.36/44.10 c #Conflicts: 403000 | #Constraints: 21843
43.36/44.10 c #Conflicts: 404000 | #Constraints: 22843
43.36/44.10 c #Conflicts: 405000 | #Constraints: 23843
43.36/44.10 c #Conflicts: 406000 | #Constraints: 24843
43.36/44.10 c #Conflicts: 407000 | #Constraints: 25843
43.36/44.10 c INPROCESSING
43.36/44.10 c GARBAGE COLLECT
43.36/44.10 c rational objective 200.5
44.65/45.30 c #Conflicts: 408000 | #Constraints: 14249
44.65/45.30 c #Conflicts: 409000 | #Constraints: 15249
44.65/45.30 c #Conflicts: 410000 | #Constraints: 16249
44.65/45.30 c #Conflicts: 411000 | #Constraints: 17249
44.65/45.30 c #Conflicts: 412000 | #Constraints: 18249
44.65/45.30 c #Conflicts: 413000 | #Constraints: 19249
44.65/45.30 c #Conflicts: 414000 | #Constraints: 20249
44.65/45.30 c #Conflicts: 415000 | #Constraints: 21249
44.65/45.30 c #Conflicts: 416000 | #Constraints: 22249
44.65/45.30 c #Conflicts: 417000 | #Constraints: 23249
44.65/45.30 c #Conflicts: 418000 | #Constraints: 24249
44.65/45.30 c #Conflicts: 419000 | #Constraints: 25249
44.65/45.30 c #Conflicts: 420000 | #Constraints: 26249
44.65/45.30 c INPROCESSING
44.65/45.30 c GARBAGE COLLECT
44.65/45.30 c rational objective 200.5
45.94/46.67 c #Conflicts: 421000 | #Constraints: 14449
45.94/46.67 c #Conflicts: 422000 | #Constraints: 15449
45.94/46.67 c #Conflicts: 423000 | #Constraints: 16449
45.94/46.67 c #Conflicts: 424000 | #Constraints: 17449
45.94/46.67 c #Conflicts: 425000 | #Constraints: 18449
45.94/46.67 c #Conflicts: 426000 | #Constraints: 19449
45.94/46.67 c #Conflicts: 427000 | #Constraints: 20449
45.94/46.67 c #Conflicts: 428000 | #Constraints: 21449
45.94/46.67 c #Conflicts: 429000 | #Constraints: 22449
45.94/46.67 c #Conflicts: 430000 | #Constraints: 23449
45.94/46.67 c #Conflicts: 431000 | #Constraints: 24449
45.94/46.67 c #Conflicts: 432000 | #Constraints: 25449
45.94/46.67 c #Conflicts: 433000 | #Constraints: 26449
45.94/46.67 c INPROCESSING
45.94/46.67 c GARBAGE COLLECT
45.94/46.67 c rational objective 200.5
47.35/48.07 c #Conflicts: 434000 | #Constraints: 14454
47.35/48.07 c #Conflicts: 435000 | #Constraints: 15454
47.35/48.07 c #Conflicts: 436000 | #Constraints: 16454
47.35/48.07 c #Conflicts: 437000 | #Constraints: 17454
47.35/48.07 c #Conflicts: 438000 | #Constraints: 18454
47.35/48.07 c #Conflicts: 439000 | #Constraints: 19454
47.35/48.07 c #Conflicts: 440000 | #Constraints: 20454
47.35/48.07 c #Conflicts: 441000 | #Constraints: 21454
47.35/48.07 c #Conflicts: 442000 | #Constraints: 22454
47.35/48.07 c #Conflicts: 443000 | #Constraints: 23454
47.35/48.07 c #Conflicts: 444000 | #Constraints: 24454
47.35/48.07 c #Conflicts: 445000 | #Constraints: 25454
47.35/48.07 c #Conflicts: 446000 | #Constraints: 26454
47.35/48.07 c INPROCESSING
47.35/48.07 c GARBAGE COLLECT
47.35/48.07 c rational objective 200.5
48.94/49.61 c #Conflicts: 447000 | #Constraints: 14259
48.94/49.61 c #Conflicts: 448000 | #Constraints: 15259
48.94/49.61 c #Conflicts: 449000 | #Constraints: 16259
48.94/49.61 c #Conflicts: 450000 | #Constraints: 17259
48.94/49.61 c #Conflicts: 451000 | #Constraints: 18259
48.94/49.61 c #Conflicts: 452000 | #Constraints: 19259
48.94/49.61 c #Conflicts: 453000 | #Constraints: 20259
48.94/49.61 c #Conflicts: 454000 | #Constraints: 21259
48.94/49.61 c #Conflicts: 455000 | #Constraints: 22259
48.94/49.61 c #Conflicts: 456000 | #Constraints: 23259
48.94/49.61 c #Conflicts: 457000 | #Constraints: 24259
48.94/49.61 c #Conflicts: 458000 | #Constraints: 25259
48.94/49.61 c #Conflicts: 459000 | #Constraints: 26259
48.94/49.61 c #Conflicts: 460000 | #Constraints: 27259
48.94/49.61 c INPROCESSING
48.94/49.61 c GARBAGE COLLECT
48.94/49.61 c rational objective 200.5
50.33/51.08 c #Conflicts: 461000 | #Constraints: 14857
50.33/51.08 c #Conflicts: 462000 | #Constraints: 15857
50.33/51.08 c #Conflicts: 463000 | #Constraints: 16857
50.33/51.08 c #Conflicts: 464000 | #Constraints: 17857
50.33/51.08 c #Conflicts: 465000 | #Constraints: 18857
50.33/51.08 c #Conflicts: 466000 | #Constraints: 19857
50.33/51.08 c #Conflicts: 467000 | #Constraints: 20857
50.33/51.08 c #Conflicts: 468000 | #Constraints: 21857
50.33/51.08 c #Conflicts: 469000 | #Constraints: 22857
50.33/51.08 c #Conflicts: 470000 | #Constraints: 23857
50.33/51.08 c #Conflicts: 471000 | #Constraints: 24857
50.33/51.08 c #Conflicts: 472000 | #Constraints: 25857
50.33/51.08 c #Conflicts: 473000 | #Constraints: 26857
50.33/51.08 c #Conflicts: 474000 | #Constraints: 27857
50.33/51.08 c INPROCESSING
50.33/51.08 c GARBAGE COLLECT
50.33/51.08 c rational objective 200.5
51.93/52.60 c #Conflicts: 475000 | #Constraints: 15261
51.93/52.60 c #Conflicts: 476000 | #Constraints: 16261
51.93/52.60 c #Conflicts: 477000 | #Constraints: 17261
51.93/52.60 c #Conflicts: 478000 | #Constraints: 18261
51.93/52.60 c #Conflicts: 479000 | #Constraints: 19261
51.93/52.60 c #Conflicts: 480000 | #Constraints: 20261
51.93/52.60 c #Conflicts: 481000 | #Constraints: 21261
51.93/52.60 c #Conflicts: 482000 | #Constraints: 22261
51.93/52.60 c #Conflicts: 483000 | #Constraints: 23261
51.93/52.60 c #Conflicts: 484000 | #Constraints: 24261
51.93/52.60 c #Conflicts: 485000 | #Constraints: 25261
51.93/52.60 c #Conflicts: 486000 | #Constraints: 26261
51.93/52.60 c #Conflicts: 487000 | #Constraints: 27261
51.93/52.60 c #Conflicts: 488000 | #Constraints: 28261
51.93/52.60 c INPROCESSING
51.93/52.60 c GARBAGE COLLECT
51.93/52.60 c rational objective 200.5
53.43/54.18 c #Conflicts: 489000 | #Constraints: 15458
53.43/54.18 c #Conflicts: 490000 | #Constraints: 16458
53.43/54.18 c #Conflicts: 491000 | #Constraints: 17458
53.43/54.18 c #Conflicts: 492000 | #Constraints: 18458
53.43/54.18 c #Conflicts: 493000 | #Constraints: 19458
53.43/54.18 c #Conflicts: 494000 | #Constraints: 20458
53.43/54.18 c #Conflicts: 495000 | #Constraints: 21458
53.43/54.18 c #Conflicts: 496000 | #Constraints: 22458
53.43/54.18 c #Conflicts: 497000 | #Constraints: 23458
53.43/54.18 c #Conflicts: 498000 | #Constraints: 24458
53.43/54.18 c #Conflicts: 499000 | #Constraints: 25458
53.43/54.18 c #Conflicts: 500000 | #Constraints: 26458
53.43/54.18 c #Conflicts: 501000 | #Constraints: 27458
53.43/54.18 c #Conflicts: 502000 | #Constraints: 28458
53.43/54.18 c INPROCESSING
53.43/54.18 c GARBAGE COLLECT
53.43/54.18 c rational objective 200.5
55.01/55.75 c #Conflicts: 503000 | #Constraints: 15457
55.01/55.75 c #Conflicts: 504000 | #Constraints: 16457
55.01/55.75 c #Conflicts: 505000 | #Constraints: 17457
55.01/55.75 c #Conflicts: 506000 | #Constraints: 18457
55.01/55.75 c #Conflicts: 507000 | #Constraints: 19457
55.01/55.75 c #Conflicts: 508000 | #Constraints: 20457
55.01/55.75 c #Conflicts: 509000 | #Constraints: 21457
55.01/55.75 c #Conflicts: 510000 | #Constraints: 22457
55.01/55.75 c #Conflicts: 511000 | #Constraints: 23457
55.01/55.75 c #Conflicts: 512000 | #Constraints: 24457
55.01/55.75 c #Conflicts: 513000 | #Constraints: 25457
55.01/55.75 c #Conflicts: 514000 | #Constraints: 26457
55.01/55.75 c #Conflicts: 515000 | #Constraints: 27457
55.01/55.75 c #Conflicts: 516000 | #Constraints: 28457
55.01/55.75 c INPROCESSING
55.01/55.75 c GARBAGE COLLECT
55.01/55.75 c rational objective 200.5
56.42/57.17 c #Conflicts: 517000 | #Constraints: 15256
56.42/57.17 c #Conflicts: 518000 | #Constraints: 16256
56.42/57.17 c #Conflicts: 519000 | #Constraints: 17256
56.42/57.17 c #Conflicts: 520000 | #Constraints: 18256
56.42/57.17 c #Conflicts: 521000 | #Constraints: 19256
56.42/57.17 c #Conflicts: 522000 | #Constraints: 20256
56.42/57.17 c #Conflicts: 523000 | #Constraints: 21256
56.42/57.17 c #Conflicts: 524000 | #Constraints: 22256
56.42/57.17 c #Conflicts: 525000 | #Constraints: 23256
56.42/57.17 c #Conflicts: 526000 | #Constraints: 24256
56.42/57.17 c #Conflicts: 527000 | #Constraints: 25256
56.42/57.17 c #Conflicts: 528000 | #Constraints: 26256
56.42/57.17 c #Conflicts: 529000 | #Constraints: 27256
56.42/57.17 c #Conflicts: 530000 | #Constraints: 28256
56.42/57.17 c #Conflicts: 531000 | #Constraints: 29256
56.42/57.17 c INPROCESSING
56.42/57.17 c GARBAGE COLLECT
56.42/57.17 c rational objective 200.5
57.90/58.63 c #Conflicts: 532000 | #Constraints: 15858
57.90/58.63 c #Conflicts: 533000 | #Constraints: 16858
57.90/58.63 c #Conflicts: 534000 | #Constraints: 17858
57.90/58.63 c #Conflicts: 535000 | #Constraints: 18858
57.90/58.63 c #Conflicts: 536000 | #Constraints: 19858
57.90/58.63 c #Conflicts: 537000 | #Constraints: 20858
57.90/58.63 c #Conflicts: 538000 | #Constraints: 21858
57.90/58.63 c #Conflicts: 539000 | #Constraints: 22858
57.90/58.63 c #Conflicts: 540000 | #Constraints: 23858
57.90/58.63 c #Conflicts: 541000 | #Constraints: 24858
57.90/58.63 c #Conflicts: 542000 | #Constraints: 25858
57.90/58.63 c #Conflicts: 543000 | #Constraints: 26858
57.90/58.63 c #Conflicts: 544000 | #Constraints: 27858
57.90/58.63 c #Conflicts: 545000 | #Constraints: 28858
57.90/58.63 c #Conflicts: 546000 | #Constraints: 29858
57.90/58.63 c INPROCESSING
57.90/58.63 c GARBAGE COLLECT
57.90/58.63 c rational objective 200.5
59.50/60.25 c #Conflicts: 547000 | #Constraints: 16254
59.50/60.25 c #Conflicts: 548000 | #Constraints: 17254
59.50/60.25 c #Conflicts: 549000 | #Constraints: 18254
59.50/60.25 c #Conflicts: 550000 | #Constraints: 19254
59.50/60.25 c #Conflicts: 551000 | #Constraints: 20254
59.50/60.25 c #Conflicts: 552000 | #Constraints: 21254
59.50/60.25 c #Conflicts: 553000 | #Constraints: 22254
59.50/60.25 c #Conflicts: 554000 | #Constraints: 23254
59.50/60.25 c #Conflicts: 555000 | #Constraints: 24254
59.50/60.25 c #Conflicts: 556000 | #Constraints: 25254
59.50/60.25 c #Conflicts: 557000 | #Constraints: 26254
59.50/60.25 c #Conflicts: 558000 | #Constraints: 27254
59.50/60.25 c #Conflicts: 559000 | #Constraints: 28254
59.50/60.25 c #Conflicts: 560000 | #Constraints: 29254
59.50/60.25 c #Conflicts: 561000 | #Constraints: 30254
59.50/60.25 c INPROCESSING
59.50/60.25 c GARBAGE COLLECT
59.50/60.25 c rational objective 200.5
61.10/61.83 c #Conflicts: 562000 | #Constraints: 16455
61.10/61.83 c #Conflicts: 563000 | #Constraints: 17455
61.10/61.83 c #Conflicts: 564000 | #Constraints: 18455
61.10/61.83 c #Conflicts: 565000 | #Constraints: 19455
61.10/61.83 c #Conflicts: 566000 | #Constraints: 20455
61.10/61.83 c #Conflicts: 567000 | #Constraints: 21455
61.10/61.83 c #Conflicts: 568000 | #Constraints: 22455
61.10/61.83 c #Conflicts: 569000 | #Constraints: 23455
61.10/61.83 c #Conflicts: 570000 | #Constraints: 24455
61.10/61.83 c #Conflicts: 571000 | #Constraints: 25455
61.10/61.83 c #Conflicts: 572000 | #Constraints: 26455
61.10/61.83 c #Conflicts: 573000 | #Constraints: 27455
61.10/61.83 c #Conflicts: 574000 | #Constraints: 28455
61.10/61.83 c #Conflicts: 575000 | #Constraints: 29455
61.10/61.83 c #Conflicts: 576000 | #Constraints: 30455
61.10/61.83 c INPROCESSING
61.10/61.83 c GARBAGE COLLECT
61.10/61.83 c rational objective 200.5
62.69/63.44 c #Conflicts: 577000 | #Constraints: 16458
62.69/63.44 c #Conflicts: 578000 | #Constraints: 17458
62.69/63.44 c #Conflicts: 579000 | #Constraints: 18458
62.69/63.44 c #Conflicts: 580000 | #Constraints: 19458
62.69/63.44 c #Conflicts: 581000 | #Constraints: 20458
62.69/63.44 c #Conflicts: 582000 | #Constraints: 21458
62.69/63.44 c #Conflicts: 583000 | #Constraints: 22458
62.69/63.44 c #Conflicts: 584000 | #Constraints: 23458
62.69/63.44 c #Conflicts: 585000 | #Constraints: 24458
62.69/63.44 c #Conflicts: 586000 | #Constraints: 25458
62.69/63.44 c #Conflicts: 587000 | #Constraints: 26458
62.69/63.44 c #Conflicts: 588000 | #Constraints: 27458
62.69/63.44 c #Conflicts: 589000 | #Constraints: 28458
62.69/63.44 c #Conflicts: 590000 | #Constraints: 29458
62.69/63.44 c #Conflicts: 591000 | #Constraints: 30458
62.69/63.44 c INPROCESSING
62.69/63.44 c GARBAGE COLLECT
62.69/63.44 c rational objective 200.5
64.39/65.16 c #Conflicts: 592000 | #Constraints: 16255
64.39/65.16 c #Conflicts: 593000 | #Constraints: 17255
64.39/65.16 c #Conflicts: 594000 | #Constraints: 18255
64.39/65.16 c #Conflicts: 595000 | #Constraints: 19255
64.39/65.16 c #Conflicts: 596000 | #Constraints: 20255
64.39/65.16 c #Conflicts: 597000 | #Constraints: 21255
64.39/65.16 c #Conflicts: 598000 | #Constraints: 22255
64.39/65.16 c #Conflicts: 599000 | #Constraints: 23255
64.39/65.16 c #Conflicts: 600000 | #Constraints: 24255
64.39/65.16 c #Conflicts: 601000 | #Constraints: 25255
64.39/65.16 c #Conflicts: 602000 | #Constraints: 26255
64.39/65.16 c #Conflicts: 603000 | #Constraints: 27255
64.39/65.16 c #Conflicts: 604000 | #Constraints: 28255
64.39/65.16 c #Conflicts: 605000 | #Constraints: 29255
64.39/65.16 c #Conflicts: 606000 | #Constraints: 30255
64.39/65.16 c #Conflicts: 607000 | #Constraints: 31255
64.39/65.16 c INPROCESSING
64.39/65.16 c GARBAGE COLLECT
64.39/65.16 c rational objective 200.5
66.18/66.93 c #Conflicts: 608000 | #Constraints: 16856
66.18/66.93 c #Conflicts: 609000 | #Constraints: 17856
66.18/66.93 c #Conflicts: 610000 | #Constraints: 18856
66.18/66.93 c #Conflicts: 611000 | #Constraints: 19856
66.18/66.93 c #Conflicts: 612000 | #Constraints: 20856
66.18/66.93 c #Conflicts: 613000 | #Constraints: 21856
66.18/66.93 c #Conflicts: 614000 | #Constraints: 22856
66.18/66.93 c #Conflicts: 615000 | #Constraints: 23856
66.18/66.93 c #Conflicts: 616000 | #Constraints: 24856
66.18/66.93 c #Conflicts: 617000 | #Constraints: 25856
66.18/66.93 c #Conflicts: 618000 | #Constraints: 26856
66.18/66.93 c #Conflicts: 619000 | #Constraints: 27856
66.18/66.93 c #Conflicts: 620000 | #Constraints: 28856
66.18/66.93 c #Conflicts: 621000 | #Constraints: 29856
66.18/66.93 c #Conflicts: 622000 | #Constraints: 30856
66.18/66.93 c #Conflicts: 623000 | #Constraints: 31856
66.18/66.93 c INPROCESSING
66.18/66.93 c GARBAGE COLLECT
66.18/66.93 c rational objective 200.5
67.87/68.62 c #Conflicts: 624000 | #Constraints: 17259
67.87/68.62 c #Conflicts: 625000 | #Constraints: 18259
67.87/68.62 c #Conflicts: 626000 | #Constraints: 19259
67.87/68.62 c #Conflicts: 627000 | #Constraints: 20259
67.87/68.62 c #Conflicts: 628000 | #Constraints: 21259
67.87/68.62 c #Conflicts: 629000 | #Constraints: 22259
67.87/68.62 c #Conflicts: 630000 | #Constraints: 23259
67.87/68.62 c #Conflicts: 631000 | #Constraints: 24259
67.87/68.62 c #Conflicts: 632000 | #Constraints: 25259
67.87/68.62 c #Conflicts: 633000 | #Constraints: 26259
67.87/68.62 c #Conflicts: 634000 | #Constraints: 27259
67.87/68.62 c #Conflicts: 635000 | #Constraints: 28259
67.87/68.62 c #Conflicts: 636000 | #Constraints: 29259
67.87/68.62 c #Conflicts: 637000 | #Constraints: 30259
67.87/68.62 c #Conflicts: 638000 | #Constraints: 31259
67.87/68.62 c #Conflicts: 639000 | #Constraints: 32259
67.87/68.62 c INPROCESSING
67.87/68.62 c GARBAGE COLLECT
67.87/68.62 c rational objective 200.5
69.67/70.42 c #Conflicts: 640000 | #Constraints: 17462
69.67/70.42 c #Conflicts: 641000 | #Constraints: 18462
69.67/70.42 c #Conflicts: 642000 | #Constraints: 19462
69.67/70.42 c #Conflicts: 643000 | #Constraints: 20462
69.67/70.42 c #Conflicts: 644000 | #Constraints: 21462
69.67/70.42 c #Conflicts: 645000 | #Constraints: 22462
69.67/70.42 c #Conflicts: 646000 | #Constraints: 23462
69.67/70.42 c #Conflicts: 647000 | #Constraints: 24462
69.67/70.42 c #Conflicts: 648000 | #Constraints: 25462
69.67/70.42 c #Conflicts: 649000 | #Constraints: 26462
69.67/70.42 c #Conflicts: 650000 | #Constraints: 27462
69.67/70.42 c #Conflicts: 651000 | #Constraints: 28462
69.67/70.42 c #Conflicts: 652000 | #Constraints: 29462
69.67/70.42 c #Conflicts: 653000 | #Constraints: 30462
69.67/70.42 c #Conflicts: 654000 | #Constraints: 31462
69.67/70.42 c #Conflicts: 655000 | #Constraints: 32462
69.67/70.42 c INPROCESSING
69.67/70.42 c GARBAGE COLLECT
69.67/70.42 c rational objective 200.5
71.56/72.32 c #Conflicts: 656000 | #Constraints: 17465
71.56/72.32 c #Conflicts: 657000 | #Constraints: 18465
71.56/72.32 c #Conflicts: 658000 | #Constraints: 19465
71.56/72.32 c #Conflicts: 659000 | #Constraints: 20465
71.56/72.32 c #Conflicts: 660000 | #Constraints: 21465
71.56/72.32 c #Conflicts: 661000 | #Constraints: 22465
71.56/72.32 c #Conflicts: 662000 | #Constraints: 23465
71.56/72.32 c #Conflicts: 663000 | #Constraints: 24465
71.56/72.32 c #Conflicts: 664000 | #Constraints: 25465
71.56/72.32 c #Conflicts: 665000 | #Constraints: 26465
71.56/72.32 c #Conflicts: 666000 | #Constraints: 27465
71.56/72.32 c #Conflicts: 667000 | #Constraints: 28465
71.56/72.32 c #Conflicts: 668000 | #Constraints: 29465
71.56/72.32 c #Conflicts: 669000 | #Constraints: 30465
71.56/72.32 c #Conflicts: 670000 | #Constraints: 31465
71.56/72.32 c #Conflicts: 671000 | #Constraints: 32465
71.56/72.32 c INPROCESSING
71.56/72.32 c GARBAGE COLLECT
71.56/72.32 c rational objective 200.5
72.56/73.35 c #Conflicts: 672000 | #Constraints: 17266
72.56/73.35 c #Conflicts: 673000 | #Constraints: 18266
72.56/73.35 c #Conflicts: 674000 | #Constraints: 19266
72.56/73.35 c #Conflicts: 675000 | #Constraints: 20266
72.56/73.35 c #Conflicts: 676000 | #Constraints: 21266
72.56/73.35 c #Conflicts: 677000 | #Constraints: 22266
72.56/73.35 c #Conflicts: 678000 | #Constraints: 23266
72.56/73.35 c #Conflicts: 679000 | #Constraints: 24266
72.56/73.35 c #Conflicts: 680000 | #Constraints: 25266
72.56/73.35 c cpu time 66.8333 s
72.56/73.35 c deterministic time 1501064999 1.50e+09
72.56/73.35 c optimization time 0.000115 s
72.56/73.35 c total solve time 66.8315 s
72.56/73.35 c core-guided solve time 0 s
72.56/73.35 c propagation time 58.2 s
72.56/73.35 c conflict analysis time 5.10178 s
72.56/73.35 c propagations 4772000
72.56/73.35 c resolve steps 2101635
72.56/73.35 c decisions 1151862
72.56/73.35 c conflicts 680443
72.56/73.35 c restarts 1476
72.56/73.35 c inprocessing phases 73
72.56/73.35 c input clauses 2
72.56/73.35 c input cardinalities 556
72.56/73.35 c input general constraints 0
72.56/73.35 c input average constraint length 3.99
72.56/73.35 c input average constraint degree 2.00
72.56/73.35 c learned clauses 630568
72.56/73.35 c learned cardinalities 1762
72.56/73.35 c learned general constraints 48243
72.56/73.35 c learned average constraint length 16.36
72.56/73.35 c learned average constraint degree 26718486.68
72.56/73.35 c watched constraints 38684
72.56/73.35 c counting constraints 9559
72.56/73.35 c gcd simplifications 53522
72.56/73.35 c detected cardinalities 491
72.56/73.35 c weakened non-implied lits 490840
72.56/73.35 c weakened non-implying lits 31883
72.56/73.35 c original variables 401
72.56/73.35 c clausal propagations 1440360
72.56/73.35 c cardinality propagations 1184440
72.56/73.35 c watched propagations 172309
72.56/73.35 c counting propagations 1289521
72.56/73.35 c watch lookups 531155472
72.56/73.35 c watch backjump lookups 288747448
72.56/73.35 c watch checks 573517829
72.56/73.35 c propagation checks 57087187
72.56/73.35 c constraint additions 37348587
72.56/73.35 c trail pops 6604154
72.56/73.35 c formula constraints 558
72.56/73.35 c learned constraints 680311
72.56/73.35 c bound constraints 0
72.56/73.35 c core-guided constraints 0
72.56/73.35 c encountered formula constraints 84399
72.56/73.35 c encountered learned constraints 2634207
72.56/73.35 c encountered bound constraints 0
72.56/73.35 c encountered core-guided constraints 0
72.56/73.35 c LP total time 43.2096 s
72.56/73.35 c LP solve time 39.88 s
72.56/73.35 c LP constraints added 642
72.56/73.35 c LP constraints removed 83
72.56/73.35 c LP pivots internal 679947
72.56/73.35 c LP pivots root 512
72.56/73.35 c LP calls 235268
72.56/73.35 c LP optimalities 235137
72.56/73.35 c LP no pivot count 76482
72.56/73.35 c LP infeasibilities 131
72.56/73.35 c LP valid Farkas constraints 131
72.56/73.35 c LP learned Farkas constraints 131
72.56/73.35 c LP basis resets 0
72.56/73.35 c LP cycling count 0
72.56/73.35 c LP singular count 0
72.56/73.35 c LP no primal count 0
72.56/73.35 c LP no farkas count 0
72.56/73.35 c LP other issue count 0
72.56/73.35 c LP Gomory cuts 0
72.56/73.35 c LP learned cuts 84
72.56/73.35 c LP deleted cuts 83
72.56/73.35 c LP encountered Gomory constraints 0
72.56/73.35 c LP encountered Farkas constraints 62643
72.56/73.35 c LP encountered learned Farkas constraints 698
72.56/73.35 c CG auxiliary variables introduced 0
72.56/73.35 c CG solutions found 0
72.56/73.35 c CG cores constructed 0
72.56/73.35 c CG core cardinality constraints returned 0
72.56/73.35 c CG unit cores 0
72.56/73.35 c CG single cores 0
72.56/73.35 c CG blocks removed during cardinality reduction 0
72.56/73.35 c CG first core best 0
72.56/73.35 c CG decision core best 0
72.56/73.35 c CG core reduction tie 0
72.56/73.35 c CG core degree average 0.00
72.56/73.35 c CG core slack average 0.00
72.56/73.35 s UNSATISFIABLE
VeriPB
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
VeriPB + CakePB
-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61418 MiB free)
memory of node 1: 64510 MiB (41067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460710-1722072102/watcher-4460710-1722072102 -o /tmp/evaluation-result-4460710-1722072102/solver-4460710-1722072102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460710-1722072102 --lp-cut-gomory=0 HOME/instance-4460710-1722072102.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=331022, runsolver pid=331019
[startup+0.100079 s]*
/proc/loadavg: 4.21 4.15 4.14 4/260 331023
/proc/meminfo: memFree=104944216/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/331022/stat : 331022 (roundingsat) D 331019 331022 326662 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 43738885 38273024 619 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.204482 s]*
/proc/loadavg: 4.21 4.15 4.14 4/260 331023
/proc/meminfo: memFree=104943432/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/331022/stat : 331022 (roundingsat) D 331019 331022 326662 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 43738885 38273024 619 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.304298 s]*
/proc/loadavg: 4.21 4.15 4.14 4/260 331023
/proc/meminfo: memFree=104942284/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=37376 memory=2476 CPUtime=0 cores=0,2
/proc/331022/stat : 331022 (roundingsat) D 331019 331022 326662 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 43738885 38273024 619 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9344 619 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700142 s]
/proc/loadavg: 4.21 4.15 4.14 5/260 331023
/proc/meminfo: memFree=104940464/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=38628 memory=8932 CPUtime=0.19 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 636 0 0 0 17 2 0 0 20 0 1 0 43738885 39555072 2233 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9657 2233 1842 992 0 1515 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38628 KiB
Current children cumulated memory: 8932 KiB
[startup+1.50018 s]
/proc/loadavg: 4.21 4.15 4.14 4/257 331037
/proc/meminfo: memFree=104940088/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=39020 memory=10008 CPUtime=0.99 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 847 0 0 0 91 8 0 0 20 0 1 0 43738885 39956480 2502 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9755 2502 1842 992 0 1613 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 10008 KiB
[startup+3.1056 s]
/proc/loadavg: 4.21 4.15 4.14 4/261 331118
/proc/meminfo: memFree=104902080/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=39344 memory=10544 CPUtime=2.59 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 994 0 0 0 238 21 0 0 20 0 1 0 43738885 40288256 2636 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9836 2636 1842 992 0 1694 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 10544 KiB
[startup+6.30016 s]
/proc/loadavg: 4.19 4.14 4.14 5/261 331167
/proc/meminfo: memFree=126313020/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=39788 memory=11240 CPUtime=5.77 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 1271 0 0 0 530 47 0 0 20 0 1 0 43738885 40742912 2810 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 9947 2810 1842 992 0 1805 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 11240 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.14 5/261 331167
/proc/meminfo: memFree=126262100/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=40320 memory=13960 CPUtime=12.15 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 1769 0 0 0 1119 96 0 0 20 0 1 0 43738885 41287680 3490 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10080 3490 1842 992 0 1938 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 13960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.13 5/261 331170
/proc/meminfo: memFree=126173144/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=41224 memory=14804 CPUtime=24.91 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 2456 0 0 0 2294 197 0 0 20 0 1 0 43738885 42213376 3701 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10306 3701 1842 992 0 2164 0
Current children cumulated CPU time: 24.91 s
Current children cumulated vsize: 41224 KiB
Current children cumulated memory: 14804 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.12 4.13 5/261 331173
/proc/meminfo: memFree=126034300/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42136 memory=15756 CPUtime=50.44 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 4640 0 0 0 4635 409 0 0 20 0 1 0 43738885 43147264 3939 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10534 3939 1842 992 0 2392 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 42136 KiB
Current children cumulated memory: 15756 KiB
[startup+73.3583 s]
# the end of solver process 331022 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=66.8342 s, system=5.78364 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 4.12 4.13 5/261 331173
/proc/meminfo: memFree=126034300/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42136 memory=15756 CPUtime=50.53 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 4640 0 0 0 4643 410 0 0 20 0 1 0 43738885 43147264 3939 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10534 3939 1842 992 0 2392 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 42136 KiB
Current children cumulated memory: 15756 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.07 4.11 4.12 5/262 331176
/proc/meminfo: memFree=125970480/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42456 memory=16088 CPUtime=63.29 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 5613 0 0 0 5821 508 0 0 20 0 1 0 43738885 43474944 4022 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10614 4022 1842 992 0 2472 0
Current children cumulated CPU time: 63.29 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 16088 KiB
[startup+67.2001 s]
/proc/loadavg: 4.07 4.11 4.12 5/261 331178
/proc/meminfo: memFree=125957700/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42584 memory=16220 CPUtime=66.48 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 5884 0 0 0 6116 532 0 0 20 0 1 0 43738885 43606016 4055 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10646 4055 1842 992 0 2504 0
Current children cumulated CPU time: 66.48 s
Current children cumulated vsize: 42584 KiB
Current children cumulated memory: 16220 KiB
[startup+70.4002 s]
/proc/loadavg: 4.14 4.13 4.13 5/261 331178
/proc/meminfo: memFree=125943084/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42648 memory=16284 CPUtime=69.67 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 6020 0 0 0 6412 555 0 0 20 0 1 0 43738885 43671552 4071 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10662 4071 1842 992 0 2520 0
Current children cumulated CPU time: 69.67 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 16284 KiB
[startup+72.0002 s]*
/proc/loadavg: 4.14 4.13 4.13 5/261 331178
/proc/meminfo: memFree=125933424/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42776 memory=16400 CPUtime=71.27 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 6141 0 0 0 6560 567 0 0 20 0 1 0 43738885 43802624 4100 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10694 4100 1842 992 0 2552 0
Current children cumulated CPU time: 71.27 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 16400 KiB
[startup+72.8001 s]
/proc/loadavg: 4.14 4.13 4.13 5/261 331178
/proc/meminfo: memFree=125933424/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42968 memory=16480 CPUtime=72.06 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 6299 0 0 0 6633 573 0 0 20 0 1 0 43738885 43999232 4120 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10742 4120 1842 992 0 2600 0
Current children cumulated CPU time: 72.06 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 16480 KiB
[startup+73.2002 s]
/proc/loadavg: 4.14 4.13 4.13 5/261 331178
/proc/meminfo: memFree=125927964/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42968 memory=16480 CPUtime=72.46 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 6299 0 0 0 6669 577 0 0 20 0 1 0 43738885 43999232 4120 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10742 4120 1842 992 0 2600 0
Current children cumulated CPU time: 72.46 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 16480 KiB
[startup+73.3002 s]
/proc/loadavg: 4.14 4.13 4.13 5/261 331178
/proc/meminfo: memFree=125927964/131524600 swapFree=131059112/131071996
[pid=331022] ppid=331019 vsize=42968 memory=16480 CPUtime=72.56 cores=0,2
/proc/331022/stat : 331022 (roundingsat) R 331019 331022 326662 0 -1 4194304 6299 0 0 0 6678 578 0 0 20 0 1 0 43738885 43999232 4120 134679101440 4194304 8254357 140733956274320 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12959744 140733956277083 140733956277345 140733956277345 140733956284361 0
/proc/331022/statm: 10742 4120 1842 992 0 2600 0
Current children cumulated CPU time: 72.56 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 16480 KiB
Child status: 0
Real time (s): 73.3584
CPU time (s): 72.6178
CPU user time (s): 66.8342
CPU system time (s): 5.78364
CPU usage (%): 98.9905
Max. virtual memory (cumulated for all children) (KiB): 42968
Max. memory (cumulated for all children) (KiB): 16480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.8342
system time used= 5.78364
maximum resident set size= 16784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6307
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= 74
involuntary context switches= 501
# summary of solver processes directly reported to runsolver:
# pid: 331022
# total CPU time (s): 72.6178
# total CPU user time (s): 66.8342
# total CPU system time (s): 5.78364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.163171 second user time and 0.303031 second system time
The end
Begin job on nodeC021 at 2024-07-27 11:21:42
IDJOB=4460710
IDBENCH=160362
IDSOLVER=3086
FILE ID=nodeC021/4460710-1722072102
RUNJOBID= nodeC021-1722064836-326672
SLURM_JOB_ID= 8248090
Free space on /tmp= 890064 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-4460710-1722072102/watcher-4460710-1722072102 -o /tmp/evaluation-result-4460710-1722072102/solver-4460710-1722072102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460710-1722072102 --lp-cut-gomory=0 HOME/instance-4460710-1722072102.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=1333405008
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.460
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.886
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.462
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.387
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 104946412 kB
MemAvailable: 126567548 kB
Buffers: 374704 kB
Cached: 22054996 kB
SwapCached: 464 kB
Active: 2761128 kB
Inactive: 23149004 kB
Active(anon): 1708 kB
Inactive(anon): 3540220 kB
Active(file): 2759420 kB
Inactive(file): 19608784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131059112 kB
Dirty: 100124 kB
Writeback: 0 kB
AnonPages: 3479860 kB
Mapped: 117032 kB
Shmem: 61432 kB
KReclaimable: 185156 kB
Slab: 309224 kB
SReclaimable: 185156 kB
SUnreclaim: 124068 kB
KernelStack: 4192 kB
PageTables: 16444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4390680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2271232 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: 324308 kB
DirectMap2M: 40343552 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890060 MiB
End job on nodeC021 at 2024-07-27 11:22:56