0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 10272 #constraints 706
0.00/0.04 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 67 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.014499
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019318
0.00/0.06 c GLOBAL bounds - >= 27 @ 0.021188
2.36/2.48 c #Conflicts: 1000 | #Constraints: 1707
2.36/2.48 c #Conflicts: 2000 | #Constraints: 2709
2.36/2.48 c INPROCESSING
2.36/2.48 c GARBAGE COLLECT
2.36/2.48 c rational objective 27
6.06/6.15 c #Conflicts: 3000 | #Constraints: 2737
6.06/6.15 c #Conflicts: 4000 | #Constraints: 3757
6.06/6.15 c INPROCESSING
6.06/6.15 c GARBAGE COLLECT
6.06/6.15 c rational objective 27
10.74/10.83 c #Conflicts: 5000 | #Constraints: 3162
10.74/10.83 c #Conflicts: 6000 | #Constraints: 4172
10.74/10.83 c INPROCESSING
10.74/10.83 c GARBAGE COLLECT
10.74/10.83 c rational objective 27
14.83/14.95 c #Conflicts: 7000 | #Constraints: 3155
14.83/14.95 c #Conflicts: 8000 | #Constraints: 4155
14.83/14.95 c #Conflicts: 9000 | #Constraints: 5155
14.83/14.95 c INPROCESSING
14.83/14.95 c GARBAGE COLLECT
14.83/14.95 c rational objective 27
19.42/19.57 c #Conflicts: 10000 | #Constraints: 3850
19.42/19.57 c #Conflicts: 11000 | #Constraints: 4853
19.42/19.57 c #Conflicts: 12000 | #Constraints: 5859
19.42/19.57 c INPROCESSING
19.42/19.57 c GARBAGE COLLECT
19.42/19.57 c rational objective 27
27.40/27.58 c #Conflicts: 13000 | #Constraints: 4323
27.40/27.58 c #Conflicts: 14000 | #Constraints: 5327
27.40/27.58 c #Conflicts: 15000 | #Constraints: 6330
27.40/27.58 c INPROCESSING
27.40/27.58 c GARBAGE COLLECT
27.40/27.58 c rational objective 27
32.29/32.41 c #Conflicts: 16000 | #Constraints: 4555
32.29/32.41 c #Conflicts: 17000 | #Constraints: 5577
32.29/32.41 c #Conflicts: 18000 | #Constraints: 6586
32.29/32.41 c INPROCESSING
32.29/32.41 c GARBAGE COLLECT
32.29/32.41 c rational objective 27
38.98/39.12 c #Conflicts: 19000 | #Constraints: 4660
38.98/39.12 c #Conflicts: 20000 | #Constraints: 5804
38.98/39.12 c #Conflicts: 21000 | #Constraints: 6804
38.98/39.12 c INPROCESSING
38.98/39.12 c GARBAGE COLLECT
38.98/39.12 c rational objective 27
44.15/44.31 c #Conflicts: 22000 | #Constraints: 4478
44.15/44.31 c #Conflicts: 23000 | #Constraints: 5478
44.15/44.31 c #Conflicts: 24000 | #Constraints: 6478
44.15/44.31 c #Conflicts: 25000 | #Constraints: 7484
44.15/44.31 c INPROCESSING
44.15/44.31 c GARBAGE COLLECT
44.15/44.31 c rational objective 27
50.04/50.25 c #Conflicts: 26000 | #Constraints: 5032
50.04/50.25 c #Conflicts: 27000 | #Constraints: 6046
50.04/50.25 c #Conflicts: 28000 | #Constraints: 7053
50.04/50.25 c #Conflicts: 29000 | #Constraints: 8054
50.04/50.25 c INPROCESSING
50.04/50.25 c GARBAGE COLLECT
50.04/50.25 c rational objective 27
57.82/58.00 c #Conflicts: 30000 | #Constraints: 5405
57.82/58.00 c #Conflicts: 31000 | #Constraints: 6419
57.82/58.00 c #Conflicts: 32000 | #Constraints: 7422
57.82/58.00 c #Conflicts: 33000 | #Constraints: 8428
57.82/58.00 c INPROCESSING
57.82/58.00 c GARBAGE COLLECT
57.82/58.00 c rational objective 27
65.80/66.04 c #Conflicts: 34000 | #Constraints: 5639
65.80/66.04 c #Conflicts: 35000 | #Constraints: 6645
65.80/66.04 c #Conflicts: 36000 | #Constraints: 7647
65.80/66.04 c #Conflicts: 37000 | #Constraints: 8648
65.80/66.04 c INPROCESSING
65.80/66.04 c GARBAGE COLLECT
65.80/66.04 c rational objective 27
74.08/74.37 c #Conflicts: 38000 | #Constraints: 6093
74.08/74.37 c #Conflicts: 39000 | #Constraints: 7606
74.08/74.37 c #Conflicts: 40000 | #Constraints: 9096
74.08/74.37 c #Conflicts: 41000 | #Constraints: 10606
74.08/74.37 c INPROCESSING
74.08/74.37 c GARBAGE COLLECT
74.08/74.37 c rational objective 27
82.65/82.93 c #Conflicts: 42000 | #Constraints: 6526
82.65/82.93 c #Conflicts: 43000 | #Constraints: 7527
82.65/82.93 c #Conflicts: 44000 | #Constraints: 8527
82.65/82.93 c #Conflicts: 45000 | #Constraints: 9529
82.65/82.93 c #Conflicts: 46000 | #Constraints: 10529
82.65/82.93 c INPROCESSING
82.65/82.93 c GARBAGE COLLECT
82.65/82.93 c rational objective 27
87.54/87.89 c #Conflicts: 47000 | #Constraints: 6536
87.54/87.89 c #Conflicts: 48000 | #Constraints: 7536
87.54/87.89 c #Conflicts: 49000 | #Constraints: 8536
87.54/87.89 c #Conflicts: 50000 | #Constraints: 9536
87.54/87.89 c #Conflicts: 51000 | #Constraints: 10536
87.54/87.89 c INPROCESSING
87.54/87.89 c GARBAGE COLLECT
87.54/87.89 c rational objective 27
94.42/94.78 c #Conflicts: 52000 | #Constraints: 6640
94.42/94.78 c #Conflicts: 53000 | #Constraints: 7766
94.42/94.78 c #Conflicts: 54000 | #Constraints: 8812
94.42/94.78 c #Conflicts: 55000 | #Constraints: 10278
94.42/94.78 c #Conflicts: 56000 | #Constraints: 11969
94.42/94.78 c INPROCESSING
94.42/94.78 c GARBAGE COLLECT
94.42/94.78 c rational objective 27
101.51/101.84 c #Conflicts: 57000 | #Constraints: 7349
101.51/101.84 c #Conflicts: 58000 | #Constraints: 8349
101.51/101.84 c #Conflicts: 59000 | #Constraints: 9349
101.51/101.84 c #Conflicts: 60000 | #Constraints: 10349
101.51/101.84 c #Conflicts: 61000 | #Constraints: 11349
101.51/101.84 c INPROCESSING
101.51/101.84 c GARBAGE COLLECT
101.51/101.84 c rational objective 27
124.55/124.92 c #Conflicts: 62000 | #Constraints: 6953
124.55/124.92 c #Conflicts: 63000 | #Constraints: 7953
124.55/124.92 c #Conflicts: 64000 | #Constraints: 8954
124.55/124.92 c #Conflicts: 65000 | #Constraints: 10198
124.55/124.92 c #Conflicts: 66000 | #Constraints: 11403
124.55/124.92 c INPROCESSING
124.55/124.92 c GARBAGE COLLECT
124.55/124.92 c #Conflicts: 67000 | #Constraints: 6888
124.55/124.92 c #Conflicts: 68000 | #Constraints: 7888
124.55/124.92 c #Conflicts: 69000 | #Constraints: 8888
124.55/124.92 c #Conflicts: 70000 | #Constraints: 9888
124.55/124.92 c #Conflicts: 71000 | #Constraints: 10888
124.55/124.92 c #Conflicts: 72000 | #Constraints: 11888
124.55/124.92 c INPROCESSING
124.55/124.92 c GARBAGE COLLECT
124.55/124.92 c #Conflicts: 73000 | #Constraints: 7211
124.55/124.92 c #Conflicts: 74000 | #Constraints: 8211
124.55/124.92 c #Conflicts: 75000 | #Constraints: 9211
124.55/124.92 c #Conflicts: 76000 | #Constraints: 10211
124.55/124.92 c #Conflicts: 77000 | #Constraints: 11211
124.55/124.92 c #Conflicts: 78000 | #Constraints: 12211
124.55/124.92 c INPROCESSING
124.55/124.92 c GARBAGE COLLECT
124.55/124.92 c rational objective 27
132.63/133.09 c #Conflicts: 79000 | #Constraints: 7491
132.63/133.09 c #Conflicts: 80000 | #Constraints: 8493
132.63/133.09 c #Conflicts: 81000 | #Constraints: 9499
132.63/133.09 c #Conflicts: 82000 | #Constraints: 10501
132.63/133.09 c #Conflicts: 83000 | #Constraints: 11502
132.63/133.09 c #Conflicts: 84000 | #Constraints: 12505
132.63/133.09 c INPROCESSING
132.63/133.09 c GARBAGE COLLECT
132.63/133.09 c rational objective 27
160.85/161.33 c #Conflicts: 85000 | #Constraints: 7647
160.85/161.33 c #Conflicts: 86000 | #Constraints: 8655
160.85/161.33 c #Conflicts: 87000 | #Constraints: 9656
160.85/161.33 c #Conflicts: 88000 | #Constraints: 10662
160.85/161.33 c #Conflicts: 89000 | #Constraints: 11662
160.85/161.33 c #Conflicts: 90000 | #Constraints: 12665
160.85/161.33 c INPROCESSING
160.85/161.33 c GARBAGE COLLECT
160.85/161.33 c rational objective 27
173.52/174.03 c #Conflicts: 91000 | #Constraints: 7613
173.52/174.03 c #Conflicts: 92000 | #Constraints: 8613
173.52/174.03 c #Conflicts: 93000 | #Constraints: 9613
173.52/174.03 c #Conflicts: 94000 | #Constraints: 10613
173.52/174.03 c #Conflicts: 95000 | #Constraints: 11613
173.52/174.03 c #Conflicts: 96000 | #Constraints: 12613
173.52/174.03 c INPROCESSING
173.52/174.03 c GARBAGE COLLECT
173.52/174.03 c rational objective 27
191.67/192.22 c #Conflicts: 97000 | #Constraints: 7397
191.67/192.22 c #Conflicts: 98000 | #Constraints: 8436
191.67/192.22 c #Conflicts: 99000 | #Constraints: 9474
191.67/192.22 c #Conflicts: 100000 | #Constraints: 10475
191.67/192.22 c #Conflicts: 101000 | #Constraints: 11479
191.67/192.22 c #Conflicts: 102000 | #Constraints: 12479
191.67/192.22 c #Conflicts: 103000 | #Constraints: 13488
191.67/192.22 c INPROCESSING
191.67/192.22 c GARBAGE COLLECT
191.67/192.22 c rational objective 27
202.93/203.55 c #Conflicts: 104000 | #Constraints: 8021
202.93/203.55 c #Conflicts: 105000 | #Constraints: 9024
202.93/203.55 c #Conflicts: 106000 | #Constraints: 10042
202.93/203.55 c #Conflicts: 107000 | #Constraints: 11068
202.93/203.55 c #Conflicts: 108000 | #Constraints: 12084
202.93/203.55 c #Conflicts: 109000 | #Constraints: 13095
202.93/203.55 c #Conflicts: 110000 | #Constraints: 14109
202.93/203.55 c INPROCESSING
202.93/203.55 c GARBAGE COLLECT
202.93/203.55 c rational objective 27
216.00/216.64 c #Conflicts: 111000 | #Constraints: 8428
216.00/216.64 c #Conflicts: 112000 | #Constraints: 9429
216.00/216.64 c #Conflicts: 113000 | #Constraints: 10429
216.00/216.64 c #Conflicts: 114000 | #Constraints: 11430
216.00/216.64 c #Conflicts: 115000 | #Constraints: 12431
216.00/216.64 c #Conflicts: 116000 | #Constraints: 13431
216.00/216.64 c #Conflicts: 117000 | #Constraints: 14431
216.00/216.64 c INPROCESSING
216.00/216.64 c GARBAGE COLLECT
216.00/216.64 c rational objective 27
233.86/234.57 c #Conflicts: 118000 | #Constraints: 8584
233.86/234.57 c #Conflicts: 119000 | #Constraints: 9584
233.86/234.57 c #Conflicts: 120000 | #Constraints: 10584
233.86/234.57 c #Conflicts: 121000 | #Constraints: 11584
233.86/234.57 c #Conflicts: 122000 | #Constraints: 12584
233.86/234.57 c #Conflicts: 123000 | #Constraints: 13584
233.86/234.57 c #Conflicts: 124000 | #Constraints: 14584
233.86/234.57 c INPROCESSING
233.86/234.57 c GARBAGE COLLECT
233.86/234.57 c rational objective 27
260.29/261.09 c #Conflicts: 125000 | #Constraints: 8570
260.29/261.09 c #Conflicts: 126000 | #Constraints: 9570
260.29/261.09 c #Conflicts: 127000 | #Constraints: 10573
260.29/261.09 c #Conflicts: 128000 | #Constraints: 11606
260.29/261.09 c #Conflicts: 129000 | #Constraints: 12606
260.29/261.09 c #Conflicts: 130000 | #Constraints: 13606
260.29/261.09 c #Conflicts: 131000 | #Constraints: 14606
260.29/261.09 c INPROCESSING
260.29/261.09 c GARBAGE COLLECT
260.29/261.09 c rational objective 27
292.20/293.07 c #Conflicts: 132000 | #Constraints: 8372
292.20/293.07 c #Conflicts: 133000 | #Constraints: 9372
292.20/293.07 c #Conflicts: 134000 | #Constraints: 10483
292.20/293.07 c #Conflicts: 135000 | #Constraints: 11484
292.20/293.07 c #Conflicts: 136000 | #Constraints: 12501
292.20/293.07 c #Conflicts: 137000 | #Constraints: 13696
292.20/293.07 c #Conflicts: 138000 | #Constraints: 15069
292.20/293.07 c #Conflicts: 139000 | #Constraints: 16379
292.20/293.07 c INPROCESSING
292.20/293.07 c GARBAGE COLLECT
292.20/293.07 c #Conflicts: 140000 | #Constraints: 9518
292.20/293.07 c #Conflicts: 141000 | #Constraints: 10976
292.20/293.07 c #Conflicts: 142000 | #Constraints: 12468
292.20/293.07 c #Conflicts: 143000 | #Constraints: 13961
292.20/293.07 c #Conflicts: 144000 | #Constraints: 15453
292.20/293.07 c #Conflicts: 145000 | #Constraints: 16951
292.20/293.07 c #Conflicts: 146000 | #Constraints: 18470
292.20/293.07 c #Conflicts: 147000 | #Constraints: 19970
292.20/293.07 c INPROCESSING
292.20/293.07 c GARBAGE COLLECT
292.20/293.07 c rational objective 27
311.15/312.08 c #Conflicts: 148000 | #Constraints: 11364
311.15/312.08 c #Conflicts: 149000 | #Constraints: 12364
311.15/312.08 c #Conflicts: 150000 | #Constraints: 13364
311.15/312.08 c #Conflicts: 151000 | #Constraints: 14364
311.15/312.08 c #Conflicts: 152000 | #Constraints: 15364
311.15/312.08 c #Conflicts: 153000 | #Constraints: 16365
311.15/312.08 c #Conflicts: 154000 | #Constraints: 17366
311.15/312.08 c #Conflicts: 155000 | #Constraints: 18626
311.15/312.08 c INPROCESSING
311.15/312.08 c GARBAGE COLLECT
311.15/312.08 c #Conflicts: 156000 | #Constraints: 10687
311.15/312.08 c #Conflicts: 157000 | #Constraints: 11687
311.15/312.08 c #Conflicts: 158000 | #Constraints: 12687
311.15/312.08 c #Conflicts: 159000 | #Constraints: 13687
311.15/312.08 c #Conflicts: 160000 | #Constraints: 14687
311.15/312.08 c #Conflicts: 161000 | #Constraints: 15687
311.15/312.08 c #Conflicts: 162000 | #Constraints: 16688
311.15/312.08 c #Conflicts: 163000 | #Constraints: 17688
311.15/312.08 c INPROCESSING
311.15/312.08 c GARBAGE COLLECT
311.15/312.08 c rational objective 27
320.02/320.93 c #Conflicts: 164000 | #Constraints: 10126
320.02/320.93 c #Conflicts: 165000 | #Constraints: 11126
320.02/320.93 c #Conflicts: 166000 | #Constraints: 12126
320.02/320.93 c #Conflicts: 167000 | #Constraints: 13126
320.02/320.93 c #Conflicts: 168000 | #Constraints: 14126
320.02/320.93 c #Conflicts: 169000 | #Constraints: 15126
320.02/320.93 c #Conflicts: 170000 | #Constraints: 16126
320.02/320.93 c #Conflicts: 171000 | #Constraints: 17126
320.02/320.93 c INPROCESSING
320.02/320.93 c GARBAGE COLLECT
320.02/320.93 c rational objective 27
337.27/338.21 c #Conflicts: 172000 | #Constraints: 9647
337.27/338.21 c #Conflicts: 173000 | #Constraints: 10647
337.27/338.21 c #Conflicts: 174000 | #Constraints: 11648
337.27/338.21 c #Conflicts: 175000 | #Constraints: 12655
337.27/338.21 c #Conflicts: 176000 | #Constraints: 13661
337.27/338.21 c #Conflicts: 177000 | #Constraints: 14673
337.27/338.21 c #Conflicts: 178000 | #Constraints: 15677
337.27/338.21 c #Conflicts: 179000 | #Constraints: 16679
337.27/338.21 c #Conflicts: 180000 | #Constraints: 17686
337.27/338.21 c INPROCESSING
337.27/338.21 c GARBAGE COLLECT
337.27/338.21 c rational objective 27
371.36/372.49 c #Conflicts: 181000 | #Constraints: 10114
371.36/372.49 c #Conflicts: 182000 | #Constraints: 11127
371.36/372.49 c #Conflicts: 183000 | #Constraints: 12153
371.36/372.49 c #Conflicts: 184000 | #Constraints: 13156
371.36/372.49 c #Conflicts: 185000 | #Constraints: 14158
371.36/372.49 c #Conflicts: 186000 | #Constraints: 15167
371.36/372.49 c #Conflicts: 187000 | #Constraints: 16177
371.36/372.49 c #Conflicts: 188000 | #Constraints: 17179
371.36/372.49 c #Conflicts: 189000 | #Constraints: 18179
371.36/372.49 c INPROCESSING
371.36/372.49 c GARBAGE COLLECT
371.36/372.49 c rational objective 27
399.89/401.01 c #Conflicts: 190000 | #Constraints: 10480
399.89/401.01 c #Conflicts: 191000 | #Constraints: 11484
399.89/401.01 c #Conflicts: 192000 | #Constraints: 12485
399.89/401.01 c #Conflicts: 193000 | #Constraints: 13493
399.89/401.01 c #Conflicts: 194000 | #Constraints: 14505
399.89/401.01 c #Conflicts: 195000 | #Constraints: 15507
399.89/401.01 c #Conflicts: 196000 | #Constraints: 16514
399.89/401.01 c #Conflicts: 197000 | #Constraints: 17531
399.89/401.01 c #Conflicts: 198000 | #Constraints: 18535
399.89/401.01 c INPROCESSING
399.89/401.01 c GARBAGE COLLECT
399.89/401.01 c rational objective 27
416.03/417.23 c #Conflicts: 199000 | #Constraints: 10657
416.03/417.23 c #Conflicts: 200000 | #Constraints: 11657
416.03/417.23 c #Conflicts: 201000 | #Constraints: 12660
416.03/417.23 c #Conflicts: 202000 | #Constraints: 13660
416.03/417.23 c #Conflicts: 203000 | #Constraints: 14660
416.03/417.23 c #Conflicts: 204000 | #Constraints: 15660
416.03/417.23 c #Conflicts: 205000 | #Constraints: 16661
416.03/417.23 c #Conflicts: 206000 | #Constraints: 17664
416.03/417.23 c #Conflicts: 207000 | #Constraints: 18666
416.03/417.23 c INPROCESSING
416.03/417.23 c GARBAGE COLLECT
416.03/417.23 c rational objective 27
461.30/462.69 c #Conflicts: 208000 | #Constraints: 10610
461.30/462.69 c #Conflicts: 209000 | #Constraints: 11611
461.30/462.69 c #Conflicts: 210000 | #Constraints: 12616
461.30/462.69 c #Conflicts: 211000 | #Constraints: 13621
461.30/462.69 c #Conflicts: 212000 | #Constraints: 14631
461.30/462.69 c #Conflicts: 213000 | #Constraints: 15637
461.30/462.69 c #Conflicts: 214000 | #Constraints: 16637
461.30/462.69 c #Conflicts: 215000 | #Constraints: 17637
461.30/462.69 c #Conflicts: 216000 | #Constraints: 18637
461.30/462.69 c INPROCESSING
461.30/462.69 c GARBAGE COLLECT
461.30/462.69 c rational objective 27
500.78/502.25 c #Conflicts: 217000 | #Constraints: 10400
500.78/502.25 c #Conflicts: 218000 | #Constraints: 11417
500.78/502.25 c #Conflicts: 219000 | #Constraints: 12420
500.78/502.25 c #Conflicts: 220000 | #Constraints: 13425
500.78/502.25 c #Conflicts: 221000 | #Constraints: 14427
500.78/502.25 c #Conflicts: 222000 | #Constraints: 15431
500.78/502.25 c #Conflicts: 223000 | #Constraints: 16433
500.78/502.25 c #Conflicts: 224000 | #Constraints: 17449
500.78/502.25 c #Conflicts: 225000 | #Constraints: 18450
500.78/502.25 c #Conflicts: 226000 | #Constraints: 19451
500.78/502.25 c INPROCESSING
500.78/502.25 c GARBAGE COLLECT
500.78/502.25 c rational objective 27
529.31/530.81 c #Conflicts: 227000 | #Constraints: 11014
529.31/530.81 c #Conflicts: 228000 | #Constraints: 12017
529.31/530.81 c #Conflicts: 229000 | #Constraints: 13025
529.31/530.81 c #Conflicts: 230000 | #Constraints: 14027
529.31/530.81 c #Conflicts: 231000 | #Constraints: 15028
529.31/530.81 c #Conflicts: 232000 | #Constraints: 16062
529.31/530.81 c #Conflicts: 233000 | #Constraints: 17062
529.31/530.81 c #Conflicts: 234000 | #Constraints: 18062
529.31/530.81 c #Conflicts: 235000 | #Constraints: 19062
529.31/530.81 c #Conflicts: 236000 | #Constraints: 20062
529.31/530.81 c INPROCESSING
529.31/530.81 c GARBAGE COLLECT
529.31/530.81 c rational objective 27
548.05/549.62 c #Conflicts: 237000 | #Constraints: 11402
548.05/549.62 c #Conflicts: 238000 | #Constraints: 12402
548.05/549.62 c #Conflicts: 239000 | #Constraints: 13402
548.05/549.62 c #Conflicts: 240000 | #Constraints: 14402
548.05/549.62 c #Conflicts: 241000 | #Constraints: 15402
548.05/549.62 c #Conflicts: 242000 | #Constraints: 16402
548.05/549.62 c #Conflicts: 243000 | #Constraints: 17402
548.05/549.62 c #Conflicts: 244000 | #Constraints: 18402
548.05/549.62 c #Conflicts: 245000 | #Constraints: 19402
548.05/549.62 c #Conflicts: 246000 | #Constraints: 20406
548.05/549.62 c INPROCESSING
548.05/549.62 c GARBAGE COLLECT
548.05/549.62 c rational objective 27
567.50/569.13 c #Conflicts: 247000 | #Constraints: 11590
567.50/569.13 c #Conflicts: 248000 | #Constraints: 12591
567.50/569.13 c #Conflicts: 249000 | #Constraints: 13593
567.50/569.13 c #Conflicts: 250000 | #Constraints: 14596
567.50/569.13 c #Conflicts: 251000 | #Constraints: 15597
567.50/569.13 c #Conflicts: 252000 | #Constraints: 16611
567.50/569.13 c #Conflicts: 253000 | #Constraints: 17613
567.50/569.13 c #Conflicts: 254000 | #Constraints: 18621
567.50/569.13 c #Conflicts: 255000 | #Constraints: 19638
567.50/569.13 c #Conflicts: 256000 | #Constraints: 20647
567.50/569.13 c INPROCESSING
567.50/569.13 c GARBAGE COLLECT
567.50/569.13 c rational objective 27
596.51/598.20 c #Conflicts: 257000 | #Constraints: 11632
596.51/598.20 c #Conflicts: 258000 | #Constraints: 12652
596.51/598.20 c #Conflicts: 259000 | #Constraints: 13690
596.51/598.20 c #Conflicts: 260000 | #Constraints: 14710
596.51/598.20 c #Conflicts: 261000 | #Constraints: 15732
596.51/598.20 c #Conflicts: 262000 | #Constraints: 16763
596.51/598.20 c #Conflicts: 263000 | #Constraints: 17788
596.51/598.20 c #Conflicts: 264000 | #Constraints: 18808
596.51/598.20 c #Conflicts: 265000 | #Constraints: 19815
596.51/598.20 c #Conflicts: 266000 | #Constraints: 20824
596.51/598.20 c INPROCESSING
596.51/598.20 c GARBAGE COLLECT
596.51/598.20 c rational objective 27
628.81/630.65 c #Conflicts: 267000 | #Constraints: 11499
628.81/630.65 c #Conflicts: 268000 | #Constraints: 12499
628.81/630.65 c #Conflicts: 269000 | #Constraints: 13499
628.81/630.65 c #Conflicts: 270000 | #Constraints: 14499
628.81/630.65 c #Conflicts: 271000 | #Constraints: 15499
628.81/630.65 c #Conflicts: 272000 | #Constraints: 16499
628.81/630.65 c #Conflicts: 273000 | #Constraints: 17499
628.81/630.65 c #Conflicts: 274000 | #Constraints: 18499
628.81/630.65 c #Conflicts: 275000 | #Constraints: 19499
628.81/630.65 c #Conflicts: 276000 | #Constraints: 20499
628.81/630.65 c #Conflicts: 277000 | #Constraints: 21500
628.81/630.65 c INPROCESSING
628.81/630.65 c GARBAGE COLLECT
628.81/630.65 c rational objective 27
672.48/674.47 c #Conflicts: 278000 | #Constraints: 12025
672.48/674.47 c #Conflicts: 279000 | #Constraints: 13026
672.48/674.47 c #Conflicts: 280000 | #Constraints: 14027
672.48/674.47 c #Conflicts: 281000 | #Constraints: 15027
672.48/674.47 c #Conflicts: 282000 | #Constraints: 16027
672.48/674.47 c #Conflicts: 283000 | #Constraints: 17027
672.48/674.47 c #Conflicts: 284000 | #Constraints: 18027
672.48/674.47 c #Conflicts: 285000 | #Constraints: 19028
672.48/674.47 c #Conflicts: 286000 | #Constraints: 20032
672.48/674.47 c #Conflicts: 287000 | #Constraints: 21032
672.48/674.47 c #Conflicts: 288000 | #Constraints: 22032
672.48/674.47 c INPROCESSING
672.48/674.47 c GARBAGE COLLECT
672.48/674.47 c rational objective 27
711.86/713.91 c #Conflicts: 289000 | #Constraints: 12384
711.86/713.91 c #Conflicts: 290000 | #Constraints: 13384
711.86/713.91 c #Conflicts: 291000 | #Constraints: 14384
711.86/713.91 c #Conflicts: 292000 | #Constraints: 15384
711.86/713.91 c #Conflicts: 293000 | #Constraints: 16384
711.86/713.91 c #Conflicts: 294000 | #Constraints: 17384
711.86/713.91 c #Conflicts: 295000 | #Constraints: 18384
711.86/713.91 c #Conflicts: 296000 | #Constraints: 19384
711.86/713.91 c #Conflicts: 297000 | #Constraints: 20386
711.86/713.91 c #Conflicts: 298000 | #Constraints: 21388
711.86/713.91 c #Conflicts: 299000 | #Constraints: 22393
711.86/713.91 c INPROCESSING
711.86/713.91 c GARBAGE COLLECT
711.86/713.91 c rational objective 27
738.77/740.92 c #Conflicts: 300000 | #Constraints: 12576
738.77/740.92 c #Conflicts: 301000 | #Constraints: 13581
738.77/740.92 c #Conflicts: 302000 | #Constraints: 14589
738.77/740.92 c #Conflicts: 303000 | #Constraints: 15606
738.77/740.92 c #Conflicts: 304000 | #Constraints: 16615
738.77/740.92 c #Conflicts: 305000 | #Constraints: 17626
738.77/740.92 c #Conflicts: 306000 | #Constraints: 18645
738.77/740.92 c #Conflicts: 307000 | #Constraints: 19657
738.77/740.92 c #Conflicts: 308000 | #Constraints: 20683
738.77/740.92 c #Conflicts: 309000 | #Constraints: 21689
738.77/740.92 c #Conflicts: 310000 | #Constraints: 22693
738.77/740.92 c INPROCESSING
738.77/740.92 c GARBAGE COLLECT
738.77/740.92 c rational objective 27
773.18/775.47 c #Conflicts: 311000 | #Constraints: 12654
773.18/775.47 c #Conflicts: 312000 | #Constraints: 13718
773.18/775.47 c #Conflicts: 313000 | #Constraints: 14829
773.18/775.47 c #Conflicts: 314000 | #Constraints: 15886
773.18/775.47 c #Conflicts: 315000 | #Constraints: 16889
773.18/775.47 c #Conflicts: 316000 | #Constraints: 17889
773.18/775.47 c #Conflicts: 317000 | #Constraints: 18889
773.18/775.47 c #Conflicts: 318000 | #Constraints: 19889
773.18/775.47 c #Conflicts: 319000 | #Constraints: 20916
773.18/775.47 c #Conflicts: 320000 | #Constraints: 22121
773.18/775.47 c #Conflicts: 321000 | #Constraints: 23205
773.18/775.47 c INPROCESSING
773.18/775.47 c GARBAGE COLLECT
773.18/775.47 c rational objective 27
814.35/816.78 c #Conflicts: 322000 | #Constraints: 12672
814.35/816.78 c #Conflicts: 323000 | #Constraints: 13672
814.35/816.78 c #Conflicts: 324000 | #Constraints: 14672
814.35/816.78 c #Conflicts: 325000 | #Constraints: 15672
814.35/816.78 c #Conflicts: 326000 | #Constraints: 16672
814.35/816.78 c #Conflicts: 327000 | #Constraints: 17673
814.35/816.78 c #Conflicts: 328000 | #Constraints: 18676
814.35/816.78 c #Conflicts: 329000 | #Constraints: 19680
814.35/816.78 c #Conflicts: 330000 | #Constraints: 20687
814.35/816.78 c #Conflicts: 331000 | #Constraints: 21690
814.35/816.78 c #Conflicts: 332000 | #Constraints: 22690
814.35/816.78 c #Conflicts: 333000 | #Constraints: 23692
814.35/816.78 c INPROCESSING
814.35/816.78 c GARBAGE COLLECT
814.35/816.78 c rational objective 27
842.66/845.13 c #Conflicts: 334000 | #Constraints: 13127
842.66/845.13 c #Conflicts: 335000 | #Constraints: 14128
842.66/845.13 c #Conflicts: 336000 | #Constraints: 15128
842.66/845.13 c #Conflicts: 337000 | #Constraints: 16135
842.66/845.13 c #Conflicts: 338000 | #Constraints: 17139
842.66/845.13 c #Conflicts: 339000 | #Constraints: 18139
842.66/845.13 c #Conflicts: 340000 | #Constraints: 19457
842.66/845.13 c #Conflicts: 341000 | #Constraints: 21222
842.66/845.13 c #Conflicts: 342000 | #Constraints: 22750
842.66/845.13 c #Conflicts: 343000 | #Constraints: 23855
842.66/845.13 c #Conflicts: 344000 | #Constraints: 25056
842.66/845.13 c #Conflicts: 345000 | #Constraints: 26238
842.66/845.13 c INPROCESSING
842.66/845.13 c GARBAGE COLLECT
842.66/845.13 c rational objective 27
880.94/883.59 c #Conflicts: 346000 | #Constraints: 14500
880.94/883.59 c #Conflicts: 347000 | #Constraints: 15501
880.94/883.59 c #Conflicts: 348000 | #Constraints: 16501
880.94/883.59 c #Conflicts: 349000 | #Constraints: 17508
880.94/883.59 c #Conflicts: 350000 | #Constraints: 18520
880.94/883.59 c #Conflicts: 351000 | #Constraints: 19522
880.94/883.59 c #Conflicts: 352000 | #Constraints: 20522
880.94/883.59 c #Conflicts: 353000 | #Constraints: 21532
880.94/883.59 c #Conflicts: 354000 | #Constraints: 22546
880.94/883.59 c #Conflicts: 355000 | #Constraints: 23564
880.94/883.59 c #Conflicts: 356000 | #Constraints: 24578
880.94/883.59 c #Conflicts: 357000 | #Constraints: 25591
880.94/883.59 c INPROCESSING
880.94/883.59 c GARBAGE COLLECT
880.94/883.59 c rational objective 27
917.83/920.54 c #Conflicts: 358000 | #Constraints: 14200
917.83/920.54 c #Conflicts: 359000 | #Constraints: 15200
917.83/920.54 c #Conflicts: 360000 | #Constraints: 16200
917.83/920.54 c #Conflicts: 361000 | #Constraints: 17200
917.83/920.54 c #Conflicts: 362000 | #Constraints: 18200
917.83/920.54 c #Conflicts: 363000 | #Constraints: 19545
917.83/920.54 c #Conflicts: 364000 | #Constraints: 20960
917.83/920.54 c #Conflicts: 365000 | #Constraints: 21962
917.83/920.54 c #Conflicts: 366000 | #Constraints: 22987
917.83/920.54 c #Conflicts: 367000 | #Constraints: 23990
917.83/920.54 c #Conflicts: 368000 | #Constraints: 25067
917.83/920.54 c #Conflicts: 369000 | #Constraints: 26096
917.83/920.54 c INPROCESSING
917.83/920.54 c GARBAGE COLLECT
917.83/920.54 c rational objective 27
945.05/947.83 c #Conflicts: 370000 | #Constraints: 14330
945.05/947.83 c #Conflicts: 371000 | #Constraints: 15331
945.05/947.83 c #Conflicts: 372000 | #Constraints: 16335
945.05/947.83 c #Conflicts: 373000 | #Constraints: 17340
945.05/947.83 c #Conflicts: 374000 | #Constraints: 18342
945.05/947.83 c #Conflicts: 375000 | #Constraints: 19342
945.05/947.83 c #Conflicts: 376000 | #Constraints: 20342
945.05/947.83 c #Conflicts: 377000 | #Constraints: 21342
945.05/947.83 c #Conflicts: 378000 | #Constraints: 22342
945.05/947.83 c #Conflicts: 379000 | #Constraints: 23343
945.05/947.83 c #Conflicts: 380000 | #Constraints: 24345
945.05/947.83 c #Conflicts: 381000 | #Constraints: 25348
945.05/947.83 c INPROCESSING
945.05/947.83 c GARBAGE COLLECT
945.05/947.83 c rational objective 27
974.65/977.51 c #Conflicts: 382000 | #Constraints: 13754
974.65/977.51 c #Conflicts: 383000 | #Constraints: 14756
974.65/977.51 c #Conflicts: 384000 | #Constraints: 15764
974.65/977.51 c #Conflicts: 385000 | #Constraints: 16777
974.65/977.51 c #Conflicts: 386000 | #Constraints: 17797
974.65/977.51 c #Conflicts: 387000 | #Constraints: 18817
974.65/977.51 c #Conflicts: 388000 | #Constraints: 19836
974.65/977.51 c #Conflicts: 389000 | #Constraints: 20849
974.65/977.51 c #Conflicts: 390000 | #Constraints: 21860
974.65/977.51 c #Conflicts: 391000 | #Constraints: 22861
974.65/977.51 c #Conflicts: 392000 | #Constraints: 23862
974.65/977.51 c #Conflicts: 393000 | #Constraints: 24867
974.65/977.51 c #Conflicts: 394000 | #Constraints: 25891
974.65/977.51 c INPROCESSING
974.65/977.51 c GARBAGE COLLECT
974.65/977.51 c rational objective 27
1014.93/1017.91 c #Conflicts: 395000 | #Constraints: 14234
1014.93/1017.91 c #Conflicts: 396000 | #Constraints: 15237
1014.93/1017.91 c #Conflicts: 397000 | #Constraints: 16238
1014.93/1017.91 c #Conflicts: 398000 | #Constraints: 17264
1014.93/1017.91 c #Conflicts: 399000 | #Constraints: 18269
1014.93/1017.91 c #Conflicts: 400000 | #Constraints: 19295
1014.93/1017.91 c #Conflicts: 401000 | #Constraints: 20305
1014.93/1017.91 c #Conflicts: 402000 | #Constraints: 21321
1014.93/1017.91 c #Conflicts: 403000 | #Constraints: 22337
1014.93/1017.91 c #Conflicts: 404000 | #Constraints: 23350
1014.93/1017.91 c #Conflicts: 405000 | #Constraints: 24361
1014.93/1017.91 c #Conflicts: 406000 | #Constraints: 25386
1014.93/1017.91 c #Conflicts: 407000 | #Constraints: 26402
1014.93/1017.91 c INPROCESSING
1014.93/1017.91 c GARBAGE COLLECT
1014.93/1017.91 c rational objective 27
1050.93/1054.09 c #Conflicts: 408000 | #Constraints: 14592
1050.93/1054.09 c #Conflicts: 409000 | #Constraints: 15593
1050.93/1054.09 c #Conflicts: 410000 | #Constraints: 16594
1050.93/1054.09 c #Conflicts: 411000 | #Constraints: 17595
1050.93/1054.09 c #Conflicts: 412000 | #Constraints: 18598
1050.93/1054.09 c #Conflicts: 413000 | #Constraints: 19604
1050.93/1054.09 c #Conflicts: 414000 | #Constraints: 20613
1050.93/1054.09 c #Conflicts: 415000 | #Constraints: 21635
1050.93/1054.09 c #Conflicts: 416000 | #Constraints: 22643
1050.93/1054.09 c #Conflicts: 417000 | #Constraints: 23648
1050.93/1054.09 c #Conflicts: 418000 | #Constraints: 24653
1050.93/1054.09 c #Conflicts: 419000 | #Constraints: 25653
1050.93/1054.09 c #Conflicts: 420000 | #Constraints: 26654
1050.93/1054.09 c INPROCESSING
1050.93/1054.09 c GARBAGE COLLECT
1050.93/1054.09 c rational objective 27
1119.31/1122.65 c #Conflicts: 421000 | #Constraints: 14720
1119.31/1122.65 c #Conflicts: 422000 | #Constraints: 15728
1119.31/1122.65 c #Conflicts: 423000 | #Constraints: 16746
1119.31/1122.65 c #Conflicts: 424000 | #Constraints: 17761
1119.31/1122.65 c #Conflicts: 425000 | #Constraints: 18769
1119.31/1122.65 c #Conflicts: 426000 | #Constraints: 19771
1119.31/1122.65 c #Conflicts: 427000 | #Constraints: 20771
1119.31/1122.65 c #Conflicts: 428000 | #Constraints: 21773
1119.31/1122.65 c #Conflicts: 429000 | #Constraints: 22773
1119.31/1122.65 c #Conflicts: 430000 | #Constraints: 23775
1119.31/1122.65 c #Conflicts: 431000 | #Constraints: 24775
1119.31/1122.65 c #Conflicts: 432000 | #Constraints: 25775
1119.31/1122.65 c #Conflicts: 433000 | #Constraints: 26775
1119.31/1122.65 c INPROCESSING
1119.31/1122.65 c GARBAGE COLLECT
1119.31/1122.65 c rational objective 27
1247.20/1250.90 c #Conflicts: 434000 | #Constraints: 14699
1247.20/1250.90 c #Conflicts: 435000 | #Constraints: 15716
1247.20/1250.90 c #Conflicts: 436000 | #Constraints: 16727
1247.20/1250.90 c #Conflicts: 437000 | #Constraints: 17743
1247.20/1250.90 c #Conflicts: 438000 | #Constraints: 18750
1247.20/1250.90 c #Conflicts: 439000 | #Constraints: 19753
1247.20/1250.90 c #Conflicts: 440000 | #Constraints: 20756
1247.20/1250.90 c #Conflicts: 441000 | #Constraints: 21757
1247.20/1250.90 c #Conflicts: 442000 | #Constraints: 22758
1247.20/1250.90 c #Conflicts: 443000 | #Constraints: 23759
1247.20/1250.90 c #Conflicts: 444000 | #Constraints: 24759
1247.20/1250.90 c #Conflicts: 445000 | #Constraints: 25762
1247.20/1250.90 c #Conflicts: 446000 | #Constraints: 26764
1247.20/1250.90 c INPROCESSING
1247.20/1250.90 c GARBAGE COLLECT
1247.20/1250.90 c rational objective 27
1308.21/1312.19 c #Conflicts: 447000 | #Constraints: 14470
1308.21/1312.19 c #Conflicts: 448000 | #Constraints: 15493
1308.21/1312.19 c #Conflicts: 449000 | #Constraints: 16535
1308.21/1312.19 c #Conflicts: 450000 | #Constraints: 17551
1308.21/1312.19 c #Conflicts: 451000 | #Constraints: 18696
1308.21/1312.19 c #Conflicts: 452000 | #Constraints: 19737
1308.21/1312.19 c #Conflicts: 453000 | #Constraints: 20737
1308.21/1312.19 c #Conflicts: 454000 | #Constraints: 21737
1308.21/1312.19 c #Conflicts: 455000 | #Constraints: 22737
1308.21/1312.19 c #Conflicts: 456000 | #Constraints: 23746
1308.21/1312.19 c #Conflicts: 457000 | #Constraints: 24758
1308.21/1312.19 c #Conflicts: 458000 | #Constraints: 25765
1308.21/1312.19 c #Conflicts: 459000 | #Constraints: 26815
1308.21/1312.19 c #Conflicts: 460000 | #Constraints: 27833
1308.21/1312.19 c INPROCESSING
1308.21/1312.19 c GARBAGE COLLECT
1308.21/1312.19 c rational objective 27
1355.56/1359.61 c #Conflicts: 461000 | #Constraints: 15216
1355.56/1359.61 c #Conflicts: 462000 | #Constraints: 16217
1355.56/1359.61 c #Conflicts: 463000 | #Constraints: 17234
1355.56/1359.61 c #Conflicts: 464000 | #Constraints: 18254
1355.56/1359.61 c #Conflicts: 465000 | #Constraints: 19259
1355.56/1359.61 c #Conflicts: 466000 | #Constraints: 20265
1355.56/1359.61 c #Conflicts: 467000 | #Constraints: 21280
1355.56/1359.61 c #Conflicts: 468000 | #Constraints: 22282
1355.56/1359.61 c #Conflicts: 469000 | #Constraints: 23282
1355.56/1359.61 c #Conflicts: 470000 | #Constraints: 24282
1355.56/1359.61 c #Conflicts: 471000 | #Constraints: 25282
1355.56/1359.61 c #Conflicts: 472000 | #Constraints: 26282
1355.56/1359.61 c #Conflicts: 473000 | #Constraints: 27282
1355.56/1359.61 c #Conflicts: 474000 | #Constraints: 28283
1355.56/1359.61 c INPROCESSING
1355.56/1359.61 c GARBAGE COLLECT
1355.56/1359.61 c rational objective 27
1459.14/1463.59 c #Conflicts: 475000 | #Constraints: 15555
1459.14/1463.59 c #Conflicts: 476000 | #Constraints: 16556
1459.14/1463.59 c #Conflicts: 477000 | #Constraints: 17557
1459.14/1463.59 c #Conflicts: 478000 | #Constraints: 18566
1459.14/1463.59 c #Conflicts: 479000 | #Constraints: 19566
1459.14/1463.59 c #Conflicts: 480000 | #Constraints: 20566
1459.14/1463.59 c #Conflicts: 481000 | #Constraints: 21566
1459.14/1463.59 c #Conflicts: 482000 | #Constraints: 22566
1459.14/1463.59 c #Conflicts: 483000 | #Constraints: 23566
1459.14/1463.59 c #Conflicts: 484000 | #Constraints: 24566
1459.14/1463.59 c #Conflicts: 485000 | #Constraints: 25571
1459.14/1463.59 c #Conflicts: 486000 | #Constraints: 26572
1459.14/1463.59 c #Conflicts: 487000 | #Constraints: 27573
1459.14/1463.59 c #Conflicts: 488000 | #Constraints: 28573
1459.14/1463.59 c INPROCESSING
1459.14/1463.59 c GARBAGE COLLECT
1459.14/1463.59 c rational objective 27
1540.88/1545.50 c #Conflicts: 489000 | #Constraints: 16170
1540.88/1545.50 c #Conflicts: 490000 | #Constraints: 17668
1540.88/1545.50 c #Conflicts: 491000 | #Constraints: 19175
1540.88/1545.50 c #Conflicts: 492000 | #Constraints: 20686
1540.88/1545.50 c #Conflicts: 493000 | #Constraints: 22206
1540.88/1545.50 c #Conflicts: 494000 | #Constraints: 23697
1540.88/1545.50 c #Conflicts: 495000 | #Constraints: 25211
1540.88/1545.50 c #Conflicts: 496000 | #Constraints: 26714
1540.88/1545.50 c #Conflicts: 497000 | #Constraints: 28234
1540.88/1545.50 c #Conflicts: 498000 | #Constraints: 29748
1540.88/1545.50 c #Conflicts: 499000 | #Constraints: 31245
1540.88/1545.50 c #Conflicts: 500000 | #Constraints: 32752
1540.88/1545.50 c #Conflicts: 501000 | #Constraints: 34250
1540.88/1545.50 c #Conflicts: 502000 | #Constraints: 35745
1540.88/1545.50 c INPROCESSING
1540.88/1545.50 c GARBAGE COLLECT
1540.88/1545.50 c rational objective 27
1580.85/1585.63 c #Conflicts: 503000 | #Constraints: 19739
1580.85/1585.63 c #Conflicts: 504000 | #Constraints: 21448
1580.85/1585.63 c #Conflicts: 505000 | #Constraints: 23172
1580.85/1585.63 c #Conflicts: 506000 | #Constraints: 24884
1580.85/1585.63 c #Conflicts: 507000 | #Constraints: 26607
1580.85/1585.63 c #Conflicts: 508000 | #Constraints: 28303
1580.85/1585.63 c #Conflicts: 509000 | #Constraints: 29977
1580.85/1585.63 c #Conflicts: 510000 | #Constraints: 31643
1580.85/1585.63 c #Conflicts: 511000 | #Constraints: 33295
1580.85/1585.63 c #Conflicts: 512000 | #Constraints: 34929
1580.85/1585.63 c #Conflicts: 513000 | #Constraints: 36195
1580.85/1585.63 c #Conflicts: 514000 | #Constraints: 37195
1580.85/1585.63 c #Conflicts: 515000 | #Constraints: 38195
1580.85/1585.63 c #Conflicts: 516000 | #Constraints: 39200
1580.85/1585.63 c INPROCESSING
1580.85/1585.63 c GARBAGE COLLECT
1580.85/1585.63 c rational objective 27
1612.95/1617.89 c #Conflicts: 517000 | #Constraints: 20681
1612.95/1617.89 c #Conflicts: 518000 | #Constraints: 21681
1612.95/1617.89 c #Conflicts: 519000 | #Constraints: 22681
1612.95/1617.89 c #Conflicts: 520000 | #Constraints: 23681
1612.95/1617.89 c #Conflicts: 521000 | #Constraints: 24681
1612.95/1617.89 c #Conflicts: 522000 | #Constraints: 25681
1612.95/1617.89 c #Conflicts: 523000 | #Constraints: 26682
1612.95/1617.89 c #Conflicts: 524000 | #Constraints: 27694
1612.95/1617.89 c #Conflicts: 525000 | #Constraints: 28699
1612.95/1617.89 c #Conflicts: 526000 | #Constraints: 29705
1612.95/1617.89 c #Conflicts: 527000 | #Constraints: 30712
1612.95/1617.89 c #Conflicts: 528000 | #Constraints: 31716
1612.95/1617.89 c #Conflicts: 529000 | #Constraints: 32717
1612.95/1617.89 c #Conflicts: 530000 | #Constraints: 33718
1612.95/1617.89 c #Conflicts: 531000 | #Constraints: 34726
1612.95/1617.89 c INPROCESSING
1612.95/1617.89 c GARBAGE COLLECT
1612.95/1617.89 c rational objective 27
1656.72/1661.78 c #Conflicts: 532000 | #Constraints: 18656
1656.72/1661.78 c #Conflicts: 533000 | #Constraints: 19657
1656.72/1661.78 c #Conflicts: 534000 | #Constraints: 20659
1656.72/1661.78 c #Conflicts: 535000 | #Constraints: 21668
1656.72/1661.78 c #Conflicts: 536000 | #Constraints: 22682
1656.72/1661.78 c #Conflicts: 537000 | #Constraints: 23683
1656.72/1661.78 c #Conflicts: 538000 | #Constraints: 24688
1656.72/1661.78 c #Conflicts: 539000 | #Constraints: 25705
1656.72/1661.78 c #Conflicts: 540000 | #Constraints: 26715
1656.72/1661.78 c #Conflicts: 541000 | #Constraints: 27723
1656.72/1661.78 c #Conflicts: 542000 | #Constraints: 28724
1656.72/1661.78 c #Conflicts: 543000 | #Constraints: 29724
1656.72/1661.78 c #Conflicts: 544000 | #Constraints: 30725
1656.72/1661.78 c #Conflicts: 545000 | #Constraints: 31735
1656.72/1661.78 c #Conflicts: 546000 | #Constraints: 32742
1656.72/1661.78 c INPROCESSING
1656.72/1661.78 c GARBAGE COLLECT
1656.72/1661.78 c rational objective 27
1711.05/1716.23 c #Conflicts: 547000 | #Constraints: 17776
1711.05/1716.23 c #Conflicts: 548000 | #Constraints: 18776
1711.05/1716.23 c #Conflicts: 549000 | #Constraints: 19776
1711.05/1716.23 c #Conflicts: 550000 | #Constraints: 20787
1711.05/1716.23 c #Conflicts: 551000 | #Constraints: 21792
1711.05/1716.23 c #Conflicts: 552000 | #Constraints: 22803
1711.05/1716.23 c #Conflicts: 553000 | #Constraints: 23814
1711.05/1716.23 c #Conflicts: 554000 | #Constraints: 24814
1711.05/1716.23 c #Conflicts: 555000 | #Constraints: 25814
1711.05/1716.23 c #Conflicts: 556000 | #Constraints: 26814
1711.05/1716.23 c #Conflicts: 557000 | #Constraints: 27824
1711.05/1716.23 c #Conflicts: 558000 | #Constraints: 28839
1711.05/1716.23 c #Conflicts: 559000 | #Constraints: 29859
1711.05/1716.23 c #Conflicts: 560000 | #Constraints: 30868
1711.05/1716.23 c #Conflicts: 561000 | #Constraints: 31886
1711.05/1716.23 c INPROCESSING
1711.05/1716.23 c GARBAGE COLLECT
1711.05/1716.23 c rational objective 27
1753.43/1758.70 c #Conflicts: 562000 | #Constraints: 17333
1753.43/1758.70 c #Conflicts: 563000 | #Constraints: 18333
1753.43/1758.70 c #Conflicts: 564000 | #Constraints: 19334
1753.43/1758.70 c #Conflicts: 565000 | #Constraints: 20337
1753.43/1758.70 c #Conflicts: 566000 | #Constraints: 21358
1753.43/1758.70 c #Conflicts: 567000 | #Constraints: 22358
1753.43/1758.70 c #Conflicts: 568000 | #Constraints: 23359
1753.43/1758.70 c #Conflicts: 569000 | #Constraints: 24360
1753.43/1758.70 c #Conflicts: 570000 | #Constraints: 25360
1753.43/1758.70 c #Conflicts: 571000 | #Constraints: 26360
1753.43/1758.70 c #Conflicts: 572000 | #Constraints: 27360
1753.43/1758.70 c #Conflicts: 573000 | #Constraints: 28363
1753.43/1758.70 c #Conflicts: 574000 | #Constraints: 29364
1753.43/1758.70 c #Conflicts: 575000 | #Constraints: 30365
1753.43/1758.70 c #Conflicts: 576000 | #Constraints: 31372
1753.43/1758.70 c INPROCESSING
1753.43/1758.70 c GARBAGE COLLECT
1753.43/1758.70 c rational objective 27
1796.90/1802.36 c #Conflicts: 577000 | #Constraints: 16995
1796.90/1802.36 c #Conflicts: 578000 | #Constraints: 18012
1796.90/1802.36 c #Conflicts: 579000 | #Constraints: 19013
1796.90/1802.36 c #Conflicts: 580000 | #Constraints: 20015
1796.90/1802.36 c #Conflicts: 581000 | #Constraints: 21018
1796.90/1802.36 c #Conflicts: 582000 | #Constraints: 22018
1796.90/1802.36 c #Conflicts: 583000 | #Constraints: 23028
1796.90/1802.36 c #Conflicts: 584000 | #Constraints: 24040
1796.90/1802.36 c #Conflicts: 585000 | #Constraints: 25050
1796.90/1802.36 c #Conflicts: 586000 | #Constraints: 26065
1796.90/1802.36 c #Conflicts: 587000 | #Constraints: 27095
1796.90/1802.36 c #Conflicts: 588000 | #Constraints: 28117
1796.90/1802.36 c #Conflicts: 589000 | #Constraints: 29147
1796.90/1802.36 c #Conflicts: 590000 | #Constraints: 30179
1796.90/1802.36 c #Conflicts: 591000 | #Constraints: 31202
1796.90/1802.36 c INPROCESSING
1796.90/1802.36 c GARBAGE COLLECT
1796.90/1802.36 c rational objective 27
1829.59/1835.17 c #Conflicts: 592000 | #Constraints: 16690
1829.59/1835.17 c #Conflicts: 593000 | #Constraints: 17693
1829.59/1835.17 c #Conflicts: 594000 | #Constraints: 18698
1829.59/1835.17 c #Conflicts: 595000 | #Constraints: 19698
1829.59/1835.17 c #Conflicts: 596000 | #Constraints: 20712
1829.59/1835.17 c #Conflicts: 597000 | #Constraints: 21712
1829.59/1835.17 c #Conflicts: 598000 | #Constraints: 22712
1829.59/1835.17 c #Conflicts: 599000 | #Constraints: 23712
1829.59/1835.17 c #Conflicts: 600000 | #Constraints: 24712
1829.59/1835.17 c #Conflicts: 601000 | #Constraints: 25712
1829.59/1835.17 c #Conflicts: 602000 | #Constraints: 26717
1829.59/1835.17 c #Conflicts: 603000 | #Constraints: 27909
1829.59/1835.17 c #Conflicts: 604000 | #Constraints: 29394
1829.59/1835.17 c #Conflicts: 605000 | #Constraints: 30854
1829.59/1835.17 c #Conflicts: 606000 | #Constraints: 32319
1829.59/1835.17 c #Conflicts: 607000 | #Constraints: 33782
1829.59/1835.17 c INPROCESSING
1829.59/1835.17 c GARBAGE COLLECT
1829.59/1835.17 c rational objective 27
1886.01/1891.73 c #Conflicts: 608000 | #Constraints: 18214
1886.01/1891.73 c #Conflicts: 609000 | #Constraints: 19214
1886.01/1891.73 c #Conflicts: 610000 | #Constraints: 20214
1886.01/1891.73 c #Conflicts: 611000 | #Constraints: 21214
1886.01/1891.73 c #Conflicts: 612000 | #Constraints: 22215
1886.01/1891.73 c #Conflicts: 613000 | #Constraints: 23215
1886.01/1891.73 c #Conflicts: 614000 | #Constraints: 24215
1886.01/1891.73 c #Conflicts: 615000 | #Constraints: 25217
1886.01/1891.73 c #Conflicts: 616000 | #Constraints: 26218
1886.01/1891.73 c #Conflicts: 617000 | #Constraints: 27218
1886.01/1891.73 c #Conflicts: 618000 | #Constraints: 28218
1886.01/1891.73 c #Conflicts: 619000 | #Constraints: 29218
1886.01/1891.73 c #Conflicts: 620000 | #Constraints: 30218
1886.01/1891.73 c #Conflicts: 621000 | #Constraints: 31218
1886.01/1891.73 c #Conflicts: 622000 | #Constraints: 32218
1886.01/1891.73 c #Conflicts: 623000 | #Constraints: 33219
1886.01/1891.73 c INPROCESSING
1886.01/1891.73 c GARBAGE COLLECT
1886.01/1891.73 c rational objective 27
1947.03/1952.97 c #Conflicts: 624000 | #Constraints: 17991
1947.03/1952.97 c #Conflicts: 625000 | #Constraints: 18992
1947.03/1952.97 c #Conflicts: 626000 | #Constraints: 19995
1947.03/1952.97 c #Conflicts: 627000 | #Constraints: 21008
1947.03/1952.97 c #Conflicts: 628000 | #Constraints: 22033
1947.03/1952.97 c #Conflicts: 629000 | #Constraints: 23039
1947.03/1952.97 c #Conflicts: 630000 | #Constraints: 24040
1947.03/1952.97 c #Conflicts: 631000 | #Constraints: 25040
1947.03/1952.97 c #Conflicts: 632000 | #Constraints: 26041
1947.03/1952.97 c #Conflicts: 633000 | #Constraints: 27044
1947.03/1952.97 c #Conflicts: 634000 | #Constraints: 28048
1947.03/1952.97 c #Conflicts: 635000 | #Constraints: 29051
1947.03/1952.97 c #Conflicts: 636000 | #Constraints: 30056
1947.03/1952.97 c #Conflicts: 637000 | #Constraints: 31074
1947.03/1952.97 c #Conflicts: 638000 | #Constraints: 32078
1947.03/1952.97 c #Conflicts: 639000 | #Constraints: 33104
1947.03/1952.97 c INPROCESSING
1947.03/1952.97 c GARBAGE COLLECT
1947.03/1952.97 c rational objective 27
1992.48/1998.53 c #Conflicts: 640000 | #Constraints: 17936
1992.48/1998.53 c #Conflicts: 641000 | #Constraints: 18956
1992.48/1998.53 c #Conflicts: 642000 | #Constraints: 20288
1992.48/1998.53 c #Conflicts: 643000 | #Constraints: 21392
1992.48/1998.53 c #Conflicts: 644000 | #Constraints: 22392
1992.48/1998.53 c #Conflicts: 645000 | #Constraints: 23392
1992.48/1998.53 c #Conflicts: 646000 | #Constraints: 24392
1992.48/1998.53 c #Conflicts: 647000 | #Constraints: 25392
1992.48/1998.53 c #Conflicts: 648000 | #Constraints: 26392
1992.48/1998.53 c #Conflicts: 649000 | #Constraints: 27393
1992.48/1998.53 c #Conflicts: 650000 | #Constraints: 28872
1992.48/1998.53 c #Conflicts: 651000 | #Constraints: 30061
1992.48/1998.53 c #Conflicts: 652000 | #Constraints: 31070
1992.48/1998.53 c #Conflicts: 653000 | #Constraints: 32105
1992.48/1998.53 c #Conflicts: 654000 | #Constraints: 33134
1992.48/1998.53 c #Conflicts: 655000 | #Constraints: 34144
1992.48/1998.53 c INPROCESSING
1992.48/1998.53 c GARBAGE COLLECT
1992.48/1998.53 c rational objective 27
2065.55/2071.87 c #Conflicts: 656000 | #Constraints: 18373
2065.55/2071.87 c #Conflicts: 657000 | #Constraints: 19374
2065.55/2071.87 c #Conflicts: 658000 | #Constraints: 20375
2065.55/2071.87 c #Conflicts: 659000 | #Constraints: 21378
2065.55/2071.87 c #Conflicts: 660000 | #Constraints: 22380
2065.55/2071.87 c #Conflicts: 661000 | #Constraints: 23390
2065.55/2071.87 c #Conflicts: 662000 | #Constraints: 24424
2065.55/2071.87 c #Conflicts: 663000 | #Constraints: 25450
2065.55/2071.87 c #Conflicts: 664000 | #Constraints: 26483
2065.55/2071.87 c #Conflicts: 665000 | #Constraints: 27501
2065.55/2071.87 c #Conflicts: 666000 | #Constraints: 28505
2065.55/2071.87 c #Conflicts: 667000 | #Constraints: 29512
2065.55/2071.87 c #Conflicts: 668000 | #Constraints: 30541
2065.55/2071.87 c #Conflicts: 669000 | #Constraints: 31553
2065.55/2071.87 c #Conflicts: 670000 | #Constraints: 32559
2065.55/2071.87 c #Conflicts: 671000 | #Constraints: 33575
2065.55/2071.87 c INPROCESSING
2065.55/2071.87 c GARBAGE COLLECT
2065.55/2071.87 c rational objective 27
2105.64/2112.08 c #Conflicts: 672000 | #Constraints: 17891
2105.64/2112.08 c #Conflicts: 673000 | #Constraints: 18901
2105.64/2112.08 c #Conflicts: 674000 | #Constraints: 19901
2105.64/2112.08 c #Conflicts: 675000 | #Constraints: 20901
2105.64/2112.08 c #Conflicts: 676000 | #Constraints: 21901
2105.64/2112.08 c #Conflicts: 677000 | #Constraints: 22902
2105.64/2112.08 c #Conflicts: 678000 | #Constraints: 23905
2105.64/2112.08 c #Conflicts: 679000 | #Constraints: 24920
2105.64/2112.08 c #Conflicts: 680000 | #Constraints: 25925
2105.64/2112.08 c #Conflicts: 681000 | #Constraints: 26925
2105.64/2112.08 c #Conflicts: 682000 | #Constraints: 27926
2105.64/2112.08 c #Conflicts: 683000 | #Constraints: 28926
2105.64/2112.08 c #Conflicts: 684000 | #Constraints: 29927
2105.64/2112.08 c #Conflicts: 685000 | #Constraints: 30927
2105.64/2112.08 c #Conflicts: 686000 | #Constraints: 31950
2105.64/2112.08 c #Conflicts: 687000 | #Constraints: 32955
2105.64/2112.08 c #Conflicts: 688000 | #Constraints: 33986
2105.64/2112.08 c INPROCESSING
2105.64/2112.08 c GARBAGE COLLECT
2105.64/2112.08 c rational objective 27
2225.35/2232.15 c #Conflicts: 689000 | #Constraints: 18291
2225.35/2232.15 c #Conflicts: 690000 | #Constraints: 19291
2225.35/2232.15 c #Conflicts: 691000 | #Constraints: 20291
2225.35/2232.15 c #Conflicts: 692000 | #Constraints: 21291
2225.35/2232.15 c #Conflicts: 693000 | #Constraints: 22291
2225.35/2232.15 c #Conflicts: 694000 | #Constraints: 23291
2225.35/2232.15 c #Conflicts: 695000 | #Constraints: 24291
2225.35/2232.15 c #Conflicts: 696000 | #Constraints: 25291
2225.35/2232.15 c #Conflicts: 697000 | #Constraints: 26291
2225.35/2232.15 c #Conflicts: 698000 | #Constraints: 27291
2225.35/2232.15 c #Conflicts: 699000 | #Constraints: 28291
2225.35/2232.15 c #Conflicts: 700000 | #Constraints: 29291
2225.35/2232.15 c #Conflicts: 701000 | #Constraints: 30291
2225.35/2232.15 c #Conflicts: 702000 | #Constraints: 31291
2225.35/2232.15 c #Conflicts: 703000 | #Constraints: 32291
2225.35/2232.15 c #Conflicts: 704000 | #Constraints: 33291
2225.35/2232.15 c #Conflicts: 705000 | #Constraints: 34291
2225.35/2232.15 c INPROCESSING
2225.35/2232.15 c GARBAGE COLLECT
2225.35/2232.15 c #Conflicts: 706000 | #Constraints: 18513
2225.35/2232.15 c #Conflicts: 707000 | #Constraints: 19513
2225.35/2232.15 c #Conflicts: 708000 | #Constraints: 20513
2225.35/2232.15 c #Conflicts: 709000 | #Constraints: 21513
2225.35/2232.15 c #Conflicts: 710000 | #Constraints: 22513
2225.35/2232.15 c #Conflicts: 711000 | #Constraints: 23513
2225.35/2232.15 c #Conflicts: 712000 | #Constraints: 24513
2225.35/2232.15 c #Conflicts: 713000 | #Constraints: 25513
2225.35/2232.15 c #Conflicts: 714000 | #Constraints: 26513
2225.35/2232.15 c #Conflicts: 715000 | #Constraints: 27513
2225.35/2232.15 c #Conflicts: 716000 | #Constraints: 28513
2225.35/2232.15 c #Conflicts: 717000 | #Constraints: 29513
2225.35/2232.15 c #Conflicts: 718000 | #Constraints: 30513
2225.35/2232.15 c #Conflicts: 719000 | #Constraints: 31513
2225.35/2232.15 c #Conflicts: 720000 | #Constraints: 32514
2225.35/2232.15 c #Conflicts: 721000 | #Constraints: 33527
2225.35/2232.15 c #Conflicts: 722000 | #Constraints: 34554
2225.35/2232.15 c INPROCESSING
2225.35/2232.15 c GARBAGE COLLECT
2225.35/2232.15 c rational objective 27
2313.87/2320.91 c #Conflicts: 723000 | #Constraints: 18660
2313.87/2320.91 c #Conflicts: 724000 | #Constraints: 19669
2313.87/2320.91 c #Conflicts: 725000 | #Constraints: 20687
2313.87/2320.91 c #Conflicts: 726000 | #Constraints: 21691
2313.87/2320.91 c #Conflicts: 727000 | #Constraints: 22693
2313.87/2320.91 c #Conflicts: 728000 | #Constraints: 23694
2313.87/2320.91 c #Conflicts: 729000 | #Constraints: 24697
2313.87/2320.91 c #Conflicts: 730000 | #Constraints: 25697
2313.87/2320.91 c #Conflicts: 731000 | #Constraints: 26698
2313.87/2320.91 c #Conflicts: 732000 | #Constraints: 27704
2313.87/2320.91 c #Conflicts: 733000 | #Constraints: 28705
2313.87/2320.91 c #Conflicts: 734000 | #Constraints: 29709
2313.87/2320.91 c #Conflicts: 735000 | #Constraints: 30709
2313.87/2320.91 c #Conflicts: 736000 | #Constraints: 31710
2313.87/2320.91 c #Conflicts: 737000 | #Constraints: 32711
2313.87/2320.91 c #Conflicts: 738000 | #Constraints: 33711
2313.87/2320.91 c #Conflicts: 739000 | #Constraints: 34711
2313.87/2320.91 c INPROCESSING
2313.87/2320.91 c GARBAGE COLLECT
2313.87/2320.91 c rational objective 27
2363.52/2370.70 c #Conflicts: 740000 | #Constraints: 18646
2363.52/2370.70 c #Conflicts: 741000 | #Constraints: 19646
2363.52/2370.70 c #Conflicts: 742000 | #Constraints: 20646
2363.52/2370.70 c #Conflicts: 743000 | #Constraints: 21646
2363.52/2370.70 c #Conflicts: 744000 | #Constraints: 22652
2363.52/2370.70 c #Conflicts: 745000 | #Constraints: 23652
2363.52/2370.70 c #Conflicts: 746000 | #Constraints: 24653
2363.52/2370.70 c #Conflicts: 747000 | #Constraints: 25653
2363.52/2370.70 c #Conflicts: 748000 | #Constraints: 26654
2363.52/2370.70 c #Conflicts: 749000 | #Constraints: 27655
2363.52/2370.70 c #Conflicts: 750000 | #Constraints: 28655
2363.52/2370.70 c #Conflicts: 751000 | #Constraints: 29661
2363.52/2370.70 c #Conflicts: 752000 | #Constraints: 30688
2363.52/2370.70 c #Conflicts: 753000 | #Constraints: 31689
2363.52/2370.70 c #Conflicts: 754000 | #Constraints: 32690
2363.52/2370.70 c #Conflicts: 755000 | #Constraints: 33692
2363.52/2370.70 c #Conflicts: 756000 | #Constraints: 34709
2363.52/2370.70 c INPROCESSING
2363.52/2370.70 c GARBAGE COLLECT
2363.52/2370.70 c rational objective 27
2436.29/2443.75 c #Conflicts: 757000 | #Constraints: 18439
2436.29/2443.75 c #Conflicts: 758000 | #Constraints: 19459
2436.29/2443.75 c #Conflicts: 759000 | #Constraints: 20459
2436.29/2443.75 c #Conflicts: 760000 | #Constraints: 21488
2436.29/2443.75 c #Conflicts: 761000 | #Constraints: 22497
2436.29/2443.75 c #Conflicts: 762000 | #Constraints: 23499
2436.29/2443.75 c #Conflicts: 763000 | #Constraints: 24515
2436.29/2443.75 c #Conflicts: 764000 | #Constraints: 25539
2436.29/2443.75 c #Conflicts: 765000 | #Constraints: 26563
2436.29/2443.75 c #Conflicts: 766000 | #Constraints: 27593
2436.29/2443.75 c #Conflicts: 767000 | #Constraints: 28613
2436.29/2443.75 c #Conflicts: 768000 | #Constraints: 29628
2436.29/2443.75 c #Conflicts: 769000 | #Constraints: 30639
2436.29/2443.75 c #Conflicts: 770000 | #Constraints: 31644
2436.29/2443.75 c #Conflicts: 771000 | #Constraints: 32665
2436.29/2443.75 c #Conflicts: 772000 | #Constraints: 33695
2436.29/2443.75 c #Conflicts: 773000 | #Constraints: 34703
2436.29/2443.75 c #Conflicts: 774000 | #Constraints: 35716
2436.29/2443.75 c INPROCESSING
2436.29/2443.75 c GARBAGE COLLECT
2436.29/2443.75 c rational objective 27
2497.90/2505.58 c #Conflicts: 775000 | #Constraints: 19141
2497.90/2505.58 c #Conflicts: 776000 | #Constraints: 20147
2497.90/2505.58 c #Conflicts: 777000 | #Constraints: 21160
2497.90/2505.58 c #Conflicts: 778000 | #Constraints: 22178
2497.90/2505.58 c #Conflicts: 779000 | #Constraints: 23191
2497.90/2505.58 c #Conflicts: 780000 | #Constraints: 24191
2497.90/2505.58 c #Conflicts: 781000 | #Constraints: 25191
2497.90/2505.58 c #Conflicts: 782000 | #Constraints: 26210
2497.90/2505.58 c #Conflicts: 783000 | #Constraints: 27215
2497.90/2505.58 c #Conflicts: 784000 | #Constraints: 28232
2497.90/2505.58 c #Conflicts: 785000 | #Constraints: 29244
2497.90/2505.58 c #Conflicts: 786000 | #Constraints: 30250
2497.90/2505.58 c #Conflicts: 787000 | #Constraints: 31252
2497.90/2505.58 c #Conflicts: 788000 | #Constraints: 32255
2497.90/2505.58 c #Conflicts: 789000 | #Constraints: 33263
2497.90/2505.58 c #Conflicts: 790000 | #Constraints: 34263
2497.90/2505.58 c #Conflicts: 791000 | #Constraints: 35263
2497.90/2505.58 c #Conflicts: 792000 | #Constraints: 36264
2497.90/2505.58 c INPROCESSING
2497.90/2505.58 c GARBAGE COLLECT
2497.90/2505.58 c rational objective 27
2558.61/2566.43 c #Conflicts: 793000 | #Constraints: 19515
2558.61/2566.43 c #Conflicts: 794000 | #Constraints: 20535
2558.61/2566.43 c #Conflicts: 795000 | #Constraints: 21543
2558.61/2566.43 c #Conflicts: 796000 | #Constraints: 22552
2558.61/2566.43 c #Conflicts: 797000 | #Constraints: 23577
2558.61/2566.43 c #Conflicts: 798000 | #Constraints: 24590
2558.61/2566.43 c #Conflicts: 799000 | #Constraints: 25603
2558.61/2566.43 c #Conflicts: 800000 | #Constraints: 26633
2558.61/2566.43 c #Conflicts: 801000 | #Constraints: 27643
2558.61/2566.43 c #Conflicts: 802000 | #Constraints: 28644
2558.61/2566.43 c #Conflicts: 803000 | #Constraints: 29661
2558.61/2566.43 c #Conflicts: 804000 | #Constraints: 30665
2558.61/2566.43 c #Conflicts: 805000 | #Constraints: 31689
2558.61/2566.43 c #Conflicts: 806000 | #Constraints: 32695
2558.61/2566.43 c #Conflicts: 807000 | #Constraints: 33701
2558.61/2566.43 c #Conflicts: 808000 | #Constraints: 34705
2558.61/2566.43 c #Conflicts: 809000 | #Constraints: 35706
2558.61/2566.43 c #Conflicts: 810000 | #Constraints: 36706
2558.61/2566.43 c INPROCESSING
2558.61/2566.43 c GARBAGE COLLECT
2558.61/2566.43 c rational objective 27
2623.20/2631.21 c #Conflicts: 811000 | #Constraints: 19746
2623.20/2631.21 c #Conflicts: 812000 | #Constraints: 20753
2623.20/2631.21 c #Conflicts: 813000 | #Constraints: 21758
2623.20/2631.21 c #Conflicts: 814000 | #Constraints: 22769
2623.20/2631.21 c #Conflicts: 815000 | #Constraints: 23778
2623.20/2631.21 c #Conflicts: 816000 | #Constraints: 24798
2623.20/2631.21 c #Conflicts: 817000 | #Constraints: 25807
2623.20/2631.21 c #Conflicts: 818000 | #Constraints: 26814
2623.20/2631.21 c #Conflicts: 819000 | #Constraints: 27830
2623.20/2631.21 c #Conflicts: 820000 | #Constraints: 28833
2623.20/2631.21 c #Conflicts: 821000 | #Constraints: 29856
2623.20/2631.21 c #Conflicts: 822000 | #Constraints: 30860
2623.20/2631.21 c #Conflicts: 823000 | #Constraints: 31861
2623.20/2631.21 c #Conflicts: 824000 | #Constraints: 32872
2623.20/2631.21 c #Conflicts: 825000 | #Constraints: 33872
2623.20/2631.21 c #Conflicts: 826000 | #Constraints: 34872
2623.20/2631.21 c #Conflicts: 827000 | #Constraints: 35886
2623.20/2631.21 c #Conflicts: 828000 | #Constraints: 36887
2623.20/2631.21 c INPROCESSING
2623.20/2631.21 c GARBAGE COLLECT
2623.20/2631.21 c rational objective 27
2671.75/2679.93 c #Conflicts: 829000 | #Constraints: 19740
2671.75/2679.93 c #Conflicts: 830000 | #Constraints: 20767
2671.75/2679.93 c #Conflicts: 831000 | #Constraints: 21868
2671.75/2679.93 c #Conflicts: 832000 | #Constraints: 22916
2671.75/2679.93 c #Conflicts: 833000 | #Constraints: 23956
2671.75/2679.93 c #Conflicts: 834000 | #Constraints: 24957
2671.75/2679.93 c #Conflicts: 835000 | #Constraints: 25958
2671.75/2679.93 c #Conflicts: 836000 | #Constraints: 26962
2671.75/2679.93 c #Conflicts: 837000 | #Constraints: 27963
2671.75/2679.93 c #Conflicts: 838000 | #Constraints: 28968
2671.75/2679.93 c #Conflicts: 839000 | #Constraints: 29996
2671.75/2679.93 c #Conflicts: 840000 | #Constraints: 31003
2671.75/2679.93 c #Conflicts: 841000 | #Constraints: 32011
2671.75/2679.93 c #Conflicts: 842000 | #Constraints: 33012
2671.75/2679.93 c #Conflicts: 843000 | #Constraints: 34014
2671.75/2679.93 c #Conflicts: 844000 | #Constraints: 35014
2671.75/2679.93 c #Conflicts: 845000 | #Constraints: 36014
2671.75/2679.93 c #Conflicts: 846000 | #Constraints: 37014
2671.75/2679.93 c INPROCESSING
2671.75/2679.93 c GARBAGE COLLECT
2671.75/2679.93 c rational objective 27
2754.80/2763.26 c #Conflicts: 847000 | #Constraints: 19588
2754.80/2763.26 c #Conflicts: 848000 | #Constraints: 20589
2754.80/2763.26 c #Conflicts: 849000 | #Constraints: 21592
2754.80/2763.26 c #Conflicts: 850000 | #Constraints: 22598
2754.80/2763.26 c #Conflicts: 851000 | #Constraints: 23603
2754.80/2763.26 c #Conflicts: 852000 | #Constraints: 24604
2754.80/2763.26 c #Conflicts: 853000 | #Constraints: 25618
2754.80/2763.26 c #Conflicts: 854000 | #Constraints: 26625
2754.80/2763.26 c #Conflicts: 855000 | #Constraints: 27627
2754.80/2763.26 c #Conflicts: 856000 | #Constraints: 28632
2754.80/2763.26 c #Conflicts: 857000 | #Constraints: 29636
2754.80/2763.26 c #Conflicts: 858000 | #Constraints: 30646
2754.80/2763.26 c #Conflicts: 859000 | #Constraints: 31647
2754.80/2763.26 c #Conflicts: 860000 | #Constraints: 32648
2754.80/2763.26 c #Conflicts: 861000 | #Constraints: 33649
2754.80/2763.26 c #Conflicts: 862000 | #Constraints: 34650
2754.80/2763.26 c #Conflicts: 863000 | #Constraints: 35651
2754.80/2763.26 c #Conflicts: 864000 | #Constraints: 36651
2754.80/2763.26 c #Conflicts: 865000 | #Constraints: 37651
2754.80/2763.26 c INPROCESSING
2754.80/2763.26 c GARBAGE COLLECT
2754.80/2763.26 c rational objective 27
2826.08/2834.70 c #Conflicts: 866000 | #Constraints: 20112
2826.08/2834.70 c #Conflicts: 867000 | #Constraints: 21114
2826.08/2834.70 c #Conflicts: 868000 | #Constraints: 22120
2826.08/2834.70 c #Conflicts: 869000 | #Constraints: 23143
2826.08/2834.70 c #Conflicts: 870000 | #Constraints: 24164
2826.08/2834.70 c #Conflicts: 871000 | #Constraints: 25199
2826.08/2834.70 c #Conflicts: 872000 | #Constraints: 26224
2826.08/2834.70 c #Conflicts: 873000 | #Constraints: 27228
2826.08/2834.70 c #Conflicts: 874000 | #Constraints: 28235
2826.08/2834.70 c #Conflicts: 875000 | #Constraints: 29260
2826.08/2834.70 c #Conflicts: 876000 | #Constraints: 30291
2826.08/2834.70 c #Conflicts: 877000 | #Constraints: 31314
2826.08/2834.70 c #Conflicts: 878000 | #Constraints: 32321
2826.08/2834.70 c #Conflicts: 879000 | #Constraints: 33337
2826.08/2834.70 c #Conflicts: 880000 | #Constraints: 34350
2826.08/2834.70 c #Conflicts: 881000 | #Constraints: 35365
2826.08/2834.70 c #Conflicts: 882000 | #Constraints: 36388
2826.08/2834.70 c #Conflicts: 883000 | #Constraints: 37388
2826.08/2834.70 c #Conflicts: 884000 | #Constraints: 38388
2826.08/2834.70 c INPROCESSING
2826.08/2834.70 c GARBAGE COLLECT
2826.08/2834.70 c rational objective 27
2925.18/2934.14 c #Conflicts: 885000 | #Constraints: 20598
2925.18/2934.14 c #Conflicts: 886000 | #Constraints: 21602
2925.18/2934.14 c #Conflicts: 887000 | #Constraints: 22613
2925.18/2934.14 c #Conflicts: 888000 | #Constraints: 24007
2925.18/2934.14 c #Conflicts: 889000 | #Constraints: 25007
2925.18/2934.14 c #Conflicts: 890000 | #Constraints: 26007
2925.18/2934.14 c #Conflicts: 891000 | #Constraints: 27007
2925.18/2934.14 c #Conflicts: 892000 | #Constraints: 28007
2925.18/2934.14 c #Conflicts: 893000 | #Constraints: 29007
2925.18/2934.14 c #Conflicts: 894000 | #Constraints: 30007
2925.18/2934.14 c #Conflicts: 895000 | #Constraints: 31007
2925.18/2934.14 c #Conflicts: 896000 | #Constraints: 32007
2925.18/2934.14 c #Conflicts: 897000 | #Constraints: 33007
2925.18/2934.14 c #Conflicts: 898000 | #Constraints: 34007
2925.18/2934.14 c #Conflicts: 899000 | #Constraints: 35014
2925.18/2934.14 c #Conflicts: 900000 | #Constraints: 36026
2925.18/2934.14 c #Conflicts: 901000 | #Constraints: 37026
2925.18/2934.14 c #Conflicts: 902000 | #Constraints: 38027
2925.18/2934.14 c #Conflicts: 903000 | #Constraints: 39028
2925.18/2934.14 c INPROCESSING
2925.18/2934.14 c GARBAGE COLLECT
2925.18/2934.14 c rational objective 27
3004.14/3013.38 c #Conflicts: 904000 | #Constraints: 20908
3004.14/3013.38 c #Conflicts: 905000 | #Constraints: 21909
3004.14/3013.38 c #Conflicts: 906000 | #Constraints: 22910
3004.14/3013.38 c #Conflicts: 907000 | #Constraints: 23936
3004.14/3013.38 c #Conflicts: 908000 | #Constraints: 24936
3004.14/3013.38 c #Conflicts: 909000 | #Constraints: 25936
3004.14/3013.38 c #Conflicts: 910000 | #Constraints: 26936
3004.14/3013.38 c #Conflicts: 911000 | #Constraints: 27937
3004.14/3013.38 c #Conflicts: 912000 | #Constraints: 28937
3004.14/3013.38 c #Conflicts: 913000 | #Constraints: 29939
3004.14/3013.38 c #Conflicts: 914000 | #Constraints: 30955
3004.14/3013.38 c #Conflicts: 915000 | #Constraints: 31969
3004.14/3013.38 c #Conflicts: 916000 | #Constraints: 32977
3004.14/3013.38 c #Conflicts: 917000 | #Constraints: 34001
3004.14/3013.38 c #Conflicts: 918000 | #Constraints: 35011
3004.14/3013.38 c #Conflicts: 919000 | #Constraints: 36016
3004.14/3013.38 c #Conflicts: 920000 | #Constraints: 37022
3004.14/3013.38 c #Conflicts: 921000 | #Constraints: 38034
3004.14/3013.38 c #Conflicts: 922000 | #Constraints: 39051
3004.14/3013.38 c INPROCESSING
3004.14/3013.38 c GARBAGE COLLECT
3004.14/3013.38 c rational objective 27
3081.29/3090.74 c #Conflicts: 923000 | #Constraints: 20813
3081.29/3090.74 c #Conflicts: 924000 | #Constraints: 21827
3081.29/3090.74 c #Conflicts: 925000 | #Constraints: 22838
3081.29/3090.74 c #Conflicts: 926000 | #Constraints: 23855
3081.29/3090.74 c #Conflicts: 927000 | #Constraints: 24864
3081.29/3090.74 c #Conflicts: 928000 | #Constraints: 25866
3081.29/3090.74 c #Conflicts: 929000 | #Constraints: 26883
3081.29/3090.74 c #Conflicts: 930000 | #Constraints: 27886
3081.29/3090.74 c #Conflicts: 931000 | #Constraints: 28889
3081.29/3090.74 c #Conflicts: 932000 | #Constraints: 29892
3081.29/3090.74 c #Conflicts: 933000 | #Constraints: 30904
3081.29/3090.74 c #Conflicts: 934000 | #Constraints: 31921
3081.29/3090.74 c #Conflicts: 935000 | #Constraints: 32926
3081.29/3090.74 c #Conflicts: 936000 | #Constraints: 33941
3081.29/3090.74 c #Conflicts: 937000 | #Constraints: 34944
3081.29/3090.74 c #Conflicts: 938000 | #Constraints: 35947
3081.29/3090.74 c #Conflicts: 939000 | #Constraints: 36952
3081.29/3090.74 c #Conflicts: 940000 | #Constraints: 37961
3081.29/3090.74 c #Conflicts: 941000 | #Constraints: 38968
3081.29/3090.74 c INPROCESSING
3081.29/3090.74 c GARBAGE COLLECT
3081.29/3090.74 c rational objective 27
3138.51/3148.11 c #Conflicts: 942000 | #Constraints: 20580
3138.51/3148.11 c #Conflicts: 943000 | #Constraints: 21580
3138.51/3148.11 c #Conflicts: 944000 | #Constraints: 22581
3138.51/3148.11 c #Conflicts: 945000 | #Constraints: 23581
3138.51/3148.11 c #Conflicts: 946000 | #Constraints: 24581
3138.51/3148.11 c #Conflicts: 947000 | #Constraints: 25581
3138.51/3148.11 c #Conflicts: 948000 | #Constraints: 26582
3138.51/3148.11 c #Conflicts: 949000 | #Constraints: 27582
3138.51/3148.11 c #Conflicts: 950000 | #Constraints: 28584
3138.51/3148.11 c #Conflicts: 951000 | #Constraints: 29588
3138.51/3148.11 c #Conflicts: 952000 | #Constraints: 30589
3138.51/3148.11 c #Conflicts: 953000 | #Constraints: 31591
3138.51/3148.11 c #Conflicts: 954000 | #Constraints: 32591
3138.51/3148.11 c #Conflicts: 955000 | #Constraints: 33597
3138.51/3148.11 c #Conflicts: 956000 | #Constraints: 34599
3138.51/3148.11 c #Conflicts: 957000 | #Constraints: 35607
3138.51/3148.11 c #Conflicts: 958000 | #Constraints: 36608
3138.51/3148.11 c #Conflicts: 959000 | #Constraints: 37613
3138.51/3148.11 c #Conflicts: 960000 | #Constraints: 38613
3138.51/3148.11 c #Conflicts: 961000 | #Constraints: 39613
3138.51/3148.11 c INPROCESSING
3138.51/3148.11 c GARBAGE COLLECT
3138.51/3148.11 c rational objective 27
3214.17/3224.09 c #Conflicts: 962000 | #Constraints: 21508
3214.17/3224.09 c #Conflicts: 963000 | #Constraints: 23014
3214.17/3224.09 c #Conflicts: 964000 | #Constraints: 24521
3214.17/3224.09 c #Conflicts: 965000 | #Constraints: 26027
3214.17/3224.09 c #Conflicts: 966000 | #Constraints: 27523
3214.17/3224.09 c #Conflicts: 967000 | #Constraints: 29032
3214.17/3224.09 c #Conflicts: 968000 | #Constraints: 30523
3214.17/3224.09 c #Conflicts: 969000 | #Constraints: 32013
3214.17/3224.09 c #Conflicts: 970000 | #Constraints: 33501
3214.17/3224.09 c #Conflicts: 971000 | #Constraints: 35000
3214.17/3224.09 c #Conflicts: 972000 | #Constraints: 36517
3214.17/3224.09 c #Conflicts: 973000 | #Constraints: 38028
3214.17/3224.09 c #Conflicts: 974000 | #Constraints: 39424
3214.17/3224.09 c #Conflicts: 975000 | #Constraints: 40497
3214.17/3224.09 c #Conflicts: 976000 | #Constraints: 41969
3214.17/3224.09 c #Conflicts: 977000 | #Constraints: 43425
3214.17/3224.09 c #Conflicts: 978000 | #Constraints: 44878
3214.17/3224.09 c #Conflicts: 979000 | #Constraints: 46357
3214.17/3224.09 c #Conflicts: 980000 | #Constraints: 47828
3214.17/3224.09 c #Conflicts: 981000 | #Constraints: 49292
3214.17/3224.09 c INPROCESSING
3214.17/3224.09 c GARBAGE COLLECT
3214.17/3224.09 c rational objective 27
3272.18/3282.22 c #Conflicts: 982000 | #Constraints: 26080
3272.18/3282.22 c #Conflicts: 983000 | #Constraints: 27087
3272.18/3282.22 c #Conflicts: 984000 | #Constraints: 28102
3272.18/3282.22 c #Conflicts: 985000 | #Constraints: 29108
3272.18/3282.22 c #Conflicts: 986000 | #Constraints: 30113
3272.18/3282.22 c #Conflicts: 987000 | #Constraints: 31118
3272.18/3282.22 c #Conflicts: 988000 | #Constraints: 32140
3272.18/3282.22 c #Conflicts: 989000 | #Constraints: 33151
3272.18/3282.22 c #Conflicts: 990000 | #Constraints: 34161
3272.18/3282.22 c #Conflicts: 991000 | #Constraints: 35197
3272.18/3282.22 c #Conflicts: 992000 | #Constraints: 36221
3272.18/3282.22 c #Conflicts: 993000 | #Constraints: 37230
3272.18/3282.22 c #Conflicts: 994000 | #Constraints: 38234
3272.18/3282.22 c #Conflicts: 995000 | #Constraints: 39240
3272.18/3282.22 c #Conflicts: 996000 | #Constraints: 40284
3272.18/3282.22 c #Conflicts: 997000 | #Constraints: 41297
3272.18/3282.22 c #Conflicts: 998000 | #Constraints: 42355
3272.18/3282.22 c #Conflicts: 999000 | #Constraints: 43402
3272.18/3282.22 c #Conflicts: 1000000 | #Constraints: 44479
3272.18/3282.22 c #Conflicts: 1001000 | #Constraints: 45547
3272.18/3282.22 c INPROCESSING
3272.18/3282.22 c GARBAGE COLLECT
3272.18/3282.22 c rational objective 27
3326.32/3336.52 c #Conflicts: 1002000 | #Constraints: 24158
3326.32/3336.52 c #Conflicts: 1003000 | #Constraints: 25161
3326.32/3336.52 c #Conflicts: 1004000 | #Constraints: 26164
3326.32/3336.52 c #Conflicts: 1005000 | #Constraints: 27166
3326.32/3336.52 c #Conflicts: 1006000 | #Constraints: 28169
3326.32/3336.52 c #Conflicts: 1007000 | #Constraints: 29171
3326.32/3336.52 c #Conflicts: 1008000 | #Constraints: 30172
3326.32/3336.52 c #Conflicts: 1009000 | #Constraints: 31175
3326.32/3336.52 c #Conflicts: 1010000 | #Constraints: 32176
3326.32/3336.52 c #Conflicts: 1011000 | #Constraints: 33178
3326.32/3336.52 c #Conflicts: 1012000 | #Constraints: 34179
3326.32/3336.52 c #Conflicts: 1013000 | #Constraints: 35182
3326.32/3336.52 c #Conflicts: 1014000 | #Constraints: 36183
3326.32/3336.52 c #Conflicts: 1015000 | #Constraints: 37190
3326.32/3336.52 c #Conflicts: 1016000 | #Constraints: 38190
3326.32/3336.52 c #Conflicts: 1017000 | #Constraints: 39190
3326.32/3336.52 c #Conflicts: 1018000 | #Constraints: 40190
3326.32/3336.52 c #Conflicts: 1019000 | #Constraints: 41190
3326.32/3336.52 c #Conflicts: 1020000 | #Constraints: 42190
3326.32/3336.52 c #Conflicts: 1021000 | #Constraints: 43190
3326.32/3336.52 c INPROCESSING
3326.32/3336.52 c GARBAGE COLLECT
3326.32/3336.52 c rational objective 27
3361.01/3371.36 c #Conflicts: 1022000 | #Constraints: 22976
3361.01/3371.36 c #Conflicts: 1023000 | #Constraints: 23976
3361.01/3371.36 c #Conflicts: 1024000 | #Constraints: 24978
3361.01/3371.36 c #Conflicts: 1025000 | #Constraints: 25978
3361.01/3371.36 c #Conflicts: 1026000 | #Constraints: 26995
3361.01/3371.36 c #Conflicts: 1027000 | #Constraints: 27996
3361.01/3371.36 c #Conflicts: 1028000 | #Constraints: 28996
3361.01/3371.36 c #Conflicts: 1029000 | #Constraints: 29998
3361.01/3371.36 c #Conflicts: 1030000 | #Constraints: 30998
3361.01/3371.36 c #Conflicts: 1031000 | #Constraints: 31998
3361.01/3371.36 c #Conflicts: 1032000 | #Constraints: 32998
3361.01/3371.36 c #Conflicts: 1033000 | #Constraints: 33999
3361.01/3371.36 c #Conflicts: 1034000 | #Constraints: 34999
3361.01/3371.36 c #Conflicts: 1035000 | #Constraints: 35999
3361.01/3371.36 c #Conflicts: 1036000 | #Constraints: 37000
3361.01/3371.36 c #Conflicts: 1037000 | #Constraints: 38000
3361.01/3371.36 c #Conflicts: 1038000 | #Constraints: 39000
3361.01/3371.36 c #Conflicts: 1039000 | #Constraints: 40000
3361.01/3371.36 c #Conflicts: 1040000 | #Constraints: 41000
3361.01/3371.36 c #Conflicts: 1041000 | #Constraints: 42000
3361.01/3371.36 c INPROCESSING
3361.01/3371.36 c GARBAGE COLLECT
3361.01/3371.36 c rational objective 27
3417.34/3427.82 c #Conflicts: 1042000 | #Constraints: 22154
3417.34/3427.82 c #Conflicts: 1043000 | #Constraints: 23161
3417.34/3427.82 c #Conflicts: 1044000 | #Constraints: 24162
3417.34/3427.82 c #Conflicts: 1045000 | #Constraints: 25163
3417.34/3427.82 c #Conflicts: 1046000 | #Constraints: 26166
3417.34/3427.82 c #Conflicts: 1047000 | #Constraints: 27166
3417.34/3427.82 c #Conflicts: 1048000 | #Constraints: 28166
3417.34/3427.82 c #Conflicts: 1049000 | #Constraints: 29166
3417.34/3427.82 c #Conflicts: 1050000 | #Constraints: 30181
3417.34/3427.82 c #Conflicts: 1051000 | #Constraints: 31194
3417.34/3427.82 c #Conflicts: 1052000 | #Constraints: 32204
3417.34/3427.82 c #Conflicts: 1053000 | #Constraints: 33213
3417.34/3427.82 c #Conflicts: 1054000 | #Constraints: 34216
3417.34/3427.82 c #Conflicts: 1055000 | #Constraints: 35217
3417.34/3427.82 c #Conflicts: 1056000 | #Constraints: 36218
3417.34/3427.82 c #Conflicts: 1057000 | #Constraints: 37220
3417.34/3427.82 c #Conflicts: 1058000 | #Constraints: 38220
3417.34/3427.82 c #Conflicts: 1059000 | #Constraints: 39220
3417.34/3427.82 c #Conflicts: 1060000 | #Constraints: 40220
3417.34/3427.82 c #Conflicts: 1061000 | #Constraints: 41220
3417.34/3427.82 c #Conflicts: 1062000 | #Constraints: 42220
3417.34/3427.82 c INPROCESSING
3417.34/3427.82 c GARBAGE COLLECT
3417.34/3427.82 c rational objective 27
3600.03/3611.11 c #Conflicts: 1063000 | #Constraints: 22461
3600.03/3611.11 c #Conflicts: 1064000 | #Constraints: 23461
3600.03/3611.11 c #Conflicts: 1065000 | #Constraints: 24461
3600.03/3611.11 c #Conflicts: 1066000 | #Constraints: 25461
3600.03/3611.11 c #Conflicts: 1067000 | #Constraints: 26461
3600.03/3611.11 c #Conflicts: 1068000 | #Constraints: 27462
3600.03/3611.11 c #Conflicts: 1069000 | #Constraints: 28462
3600.03/3611.11 c #Conflicts: 1070000 | #Constraints: 29474
3600.03/3611.11 c #Conflicts: 1071000 | #Constraints: 30480
3600.03/3611.11 c #Conflicts: 1072000 | #Constraints: 31483
3600.03/3611.11 c #Conflicts: 1073000 | #Constraints: 32483
3600.03/3611.11 c #Conflicts: 1074000 | #Constraints: 33483
3600.03/3611.11 c #Conflicts: 1075000 | #Constraints: 34483
3600.03/3611.11 c #Conflicts: 1076000 | #Constraints: 35483
3600.03/3611.11 c #Conflicts: 1077000 | #Constraints: 36483
3600.03/3611.11 c #Conflicts: 1078000 | #Constraints: 37483
3600.03/3611.11 c #Conflicts: 1079000 | #Constraints: 38483
3600.03/3611.11 c #Conflicts: 1080000 | #Constraints: 39483
3600.03/3611.11 c #Conflicts: 1081000 | #Constraints: 40483
3600.03/3611.11 c Disabling crashed LP
3600.03/3611.11 c cpu time 3578.1 s
3600.03/3611.11 c deterministic time 749106643393 7.49e+11
3600.03/3611.11 c optimization time 180.58 s
3600.03/3611.11 c total solve time 3397.51 s
3600.03/3611.11 c core-guided solve time 0 s
3600.03/3611.11 c propagation time 2588.78 s
3600.03/3611.11 c conflict analysis time 635.832 s
3600.03/3611.11 c propagations 88730125
3600.03/3611.11 c resolve steps 3829612
3600.03/3611.11 c decisions 12996467
3600.03/3611.11 c conflicts 1081360
3600.03/3611.11 c restarts 2046
3600.03/3611.11 c inprocessing phases 94
3600.03/3611.11 c garbage collections 94 ,( 100.00 )
3600.03/3611.11 c input clauses 320 ,( 45.26 )
3600.03/3611.11 c input cardinalities 320 ,( 45.26 )
3600.03/3611.11 c input general constraints 67 ,( 9.48 )
3600.03/3611.11 c input average constraint length 58.16
3600.03/3611.11 c input average constraint degree 11938.54
3600.03/3611.11 c learned clauses 636 ,( 0.06 )
3600.03/3611.11 c learned cardinalities 181 ,( 0.02 )
3600.03/3611.11 c learned general constraints 1127413 ,( 99.93 )
3600.03/3611.11 c learned average constraint length 2695.93
3600.03/3611.11 c learned average constraint degree 7025619063.83
3600.03/3611.11 c watched CF 32, 64, 128, Arb: 329830 , 0 , 0 , 0
3600.03/3611.11 c counting CF 32, 64, 128, Arb: 797651 , 0 , 0 , 0
3600.03/3611.11 c watched constraints 329830 ,( 29.25 )
3600.03/3611.11 c counting constraints 797650 ,( 70.75 )
3600.03/3611.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5178593 , 4640443 , 5155650906 ,( 664743280 , 4490907626 )
3600.03/3611.11 c gcd simplifications 1280
3600.03/3611.11 c detected cardinalities 176
3600.03/3611.11 c weakened non-implied lits 459813571
3600.03/3611.11 c weakened non-implying lits 2237703
3600.03/3611.11 c original variables 10272
3600.03/3611.11 c clausal propagations 1602408
3600.03/3611.11 c cardinality propagations 21116307
3600.03/3611.11 c watched propagations 542338
3600.03/3611.11 c counting propagations 59374571
3600.03/3611.11 c watch lookups 70849067830
3600.03/3611.11 c watch backjump lookups 0
3600.03/3611.11 c watch checks 114740503949
3600.03/3611.11 c propagation checks 555884548536
3600.03/3611.11 c constraint additions 7426687935
3600.03/3611.11 c trail pops 102796583
3600.03/3611.11 c formula constraints 706
3600.03/3611.11 c learned constraints 1076772
3600.03/3611.11 c bound constraints 0
3600.03/3611.11 c core-guided constraints 0
3600.03/3611.11 c encountered formula constraints 2477321
3600.03/3611.11 c encountered learned constraints 1816552
3600.03/3611.11 c encountered bound constraints 0
3600.03/3611.11 c encountered core-guided constraints 0
3600.03/3611.11 c LP total time 468.326 s
3600.03/3611.11 c LP solve time 340.69 s
3600.03/3611.11 c LP constraints added 1413
3600.03/3611.11 c LP constraints removed 701
3600.03/3611.11 c LP pivots internal 1080153
3600.03/3611.11 c LP pivots root 231814
3600.03/3611.11 c LP calls 145284
3600.03/3611.11 c LP optimalities 98561
3600.03/3611.11 c LP no pivot count 42469
3600.03/3611.11 c LP infeasibilities 46691
3600.03/3611.11 c LP valid Farkas constraints 46173
3600.03/3611.11 c LP learned Farkas constraints 4588
3600.03/3611.11 c LP basis resets 48
3600.03/3611.11 c LP cycling count 2
3600.03/3611.11 c LP singular count 24
3600.03/3611.11 c LP no primal count 0
3600.03/3611.11 c LP no farkas count 21
3600.03/3611.11 c LP other issue count 1
3600.03/3611.11 c LP Gomory cuts 697
3600.03/3611.11 c LP learned cuts 10
3600.03/3611.11 c LP deleted cuts 701
3600.03/3611.11 c LP encountered Gomory constraints 17
3600.03/3611.11 c LP encountered Farkas constraints 564653
3600.03/3611.11 c LP encountered learned Farkas constraints 47841
3600.03/3611.11 c CG auxiliary variables introduced 1
3600.03/3611.11 c CG solutions found 0
3600.03/3611.11 c CG cores constructed 0
3600.03/3611.11 c CG core cardinality constraints returned 0
3600.03/3611.11 c CG unit cores 0
3600.03/3611.11 c CG single cores 0
3600.03/3611.11 c CG blocks removed during cardinality reduction 0
3600.03/3611.11 c CG first core best 0
3600.03/3611.11 c CG decision core best 0
3600.03/3611.11 c CG core reduction tie 0
3600.03/3611.11 c CG core degree average 0.00
3600.03/3611.11 c CG core slack average 0.00
3600.03/3611.11 c CG core upper bound improvements 0
3600.03/3611.11 c STR number of successful calls 0
3600.03/3611.11 c STR number of unsuccessful calls 0
3600.03/3611.11 c STR number of inconclusive calls 0
3600.03/3611.11 c STR number of successful attempts 0
3600.03/3611.11 c STR number of unsuccessful attempts 0
3600.03/3611.11 c STR number of inconclusive attempts 0
3600.03/3611.11 c STR average degree increase per successful call inf
3600.03/3611.11 c STR average degree increase per successful attempt inf
3600.03/3611.11 c STR total number of conflicts for successful attempts 0
3600.03/3611.11 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.11 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.11 c STR average number of conflicts per successful attempt inf
3600.03/3611.11 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.11 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.11 c AVG.sumWPerc 54.99
3600.03/3611.11 c bigint constraints 0
3600.03/3611.11 s UNKNOWN
3600.03/3611.11 c Program interrupted by user.
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: 63665 MiB (54149 MiB free)
memory of node 1: 64507 MiB (56073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509424-1751528245/watcher-4509424-1751528245 -o /tmp/evaluation-result-4509424-1751528245/solver-4509424-1751528245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72982 --watchdog 3760 run-opt.sh HOME/instance-4509424-1751528245.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73781, runsolver pid=73777
[startup+0.100065 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112860232/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=74924 memory=25388 CPUtime=0.07 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 4439 0 0 0 5 2 0 0 20 0 1 0 68504076 76722176 6347 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 18731 6347 2368 1147 0 6158 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 79116 KiB
Current children cumulated memory: 28460 KiB
[startup+0.205875 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112859980/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=75252 memory=25772 CPUtime=0.18 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 4505 0 0 0 16 2 0 0 20 0 1 0 68504076 77058048 6443 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 18813 6443 2400 1147 0 6240 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79444 KiB
Current children cumulated memory: 28844 KiB
[startup+0.305743 s]*
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112855948/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=76048 memory=26668 CPUtime=0.28 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 4727 0 0 0 24 4 0 0 20 0 1 0 68504076 77873152 6667 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 19012 6667 2400 1147 0 6439 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80240 KiB
Current children cumulated memory: 29740 KiB
[startup+0.700212 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112843284/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=84220 memory=36768 CPUtime=0.67 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 6208 0 0 0 61 6 0 0 20 0 1 0 68504076 86241280 9192 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 21055 9192 2432 1147 0 8482 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 88412 KiB
Current children cumulated memory: 39840 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112805168/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=130664 memory=75792 CPUtime=1.47 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 13415 0 0 0 138 9 0 0 20 0 1 0 68504076 133799936 18948 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 32666 18948 2432 1147 0 20093 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 134856 KiB
Current children cumulated memory: 78864 KiB
[startup+3.10557 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112636492/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=196488 memory=138632 CPUtime=3.06 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 25537 0 0 0 294 12 0 0 20 0 1 0 68504076 201203712 34658 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 49122 34658 2432 1147 0 36549 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 200680 KiB
Current children cumulated memory: 141704 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112414960/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=317400 memory=243356 CPUtime=6.26 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 47114 0 0 0 605 21 0 0 20 0 1 0 68504076 325017600 60839 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 79350 60839 2432 1147 0 66777 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 321592 KiB
Current children cumulated memory: 246428 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 73788
/proc/meminfo: memFree=112133388/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=404196 memory=325312 CPUtime=12.64 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 67114 0 0 0 1234 30 0 0 20 0 1 0 68504076 413896704 81328 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 101049 81328 2432 1147 0 88476 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 408388 KiB
Current children cumulated memory: 328384 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/268 73788
/proc/meminfo: memFree=111686644/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=509084 memory=432040 CPUtime=25.41 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 90775 0 0 0 2493 48 0 0 20 0 1 0 68504076 521302016 108010 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 127271 108010 2432 1147 0 114698 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 513276 KiB
Current children cumulated memory: 435112 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.10 4.09 5/268 73789
/proc/meminfo: memFree=111169480/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=666204 memory=557788 CPUtime=50.94 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 118374 0 0 0 5013 81 0 0 20 0 1 0 68504076 682192896 139447 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 166551 139447 2432 1147 0 153978 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 670396 KiB
Current children cumulated memory: 560860 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 73792
/proc/meminfo: memFree=110394620/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=1089496 memory=924944 CPUtime=102.01 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 207981 0 0 0 10044 157 0 0 20 0 1 0 68504076 1115643904 231236 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 272374 231236 2496 1147 0 259801 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1093688 KiB
Current children cumulated memory: 928016 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 73794
/proc/meminfo: memFree=109677444/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=1587740 memory=1280552 CPUtime=161.84 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 265206 0 0 0 15959 225 0 0 20 0 1 0 68504076 1625845760 320138 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 396935 320138 2528 1147 0 384362 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1591932 KiB
Current children cumulated memory: 1283624 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 73796
/proc/meminfo: memFree=109409064/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=1642492 memory=1325208 CPUtime=221.68 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 276533 0 0 0 21893 275 0 0 20 0 1 0 68504076 1681911808 331302 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 410623 331302 2528 1147 0 398050 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/loadavg: 3.08 3.35 3.72 4/261 74115
/proc/meminfo: memFree=117281044/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6007220 memory=4961436 CPUtime=3152.67 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1098130 0 0 0 313240 2027 0 0 20 0 1 0 68504076 6151393280 1240359 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1501805 1240359 2528 1147 0 1489232 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 6011412 KiB
Current children cumulated memory: 4964508 KiB
[startup+3222.3 s]
/proc/loadavg: 3.06 3.30 3.68 4/261 74118
/proc/meminfo: memFree=117211724/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6007220 memory=4962460 CPUtime=3212.47 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1098377 0 0 0 319200 2047 0 0 20 0 1 0 68504076 6151393280 1240615 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1501805 1240615 2528 1147 0 1489232 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 6011412 KiB
Current children cumulated memory: 4965532 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.26 3.64 4/262 74121
/proc/meminfo: memFree=117194916/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6008764 memory=4969884 CPUtime=3272.28 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1100237 0 0 0 325155 2073 0 0 20 0 1 0 68504076 6152974336 1242471 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1502191 1242471 2528 1147 0 1489618 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 6012956 KiB
Current children cumulated memory: 4972956 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.24 3.61 4/261 74127
/proc/meminfo: memFree=117072248/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6158528 memory=5074756 CPUtime=3332.1 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1126483 0 0 0 331089 2121 0 0 20 0 1 0 68504076 6306332672 1268689 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1539632 1268689 2528 1147 0 1527059 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 6162720 KiB
Current children cumulated memory: 5077828 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.21 3.58 4/261 74129
/proc/meminfo: memFree=117023500/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6179996 memory=5098692 CPUtime=3391.92 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1132475 0 0 0 337039 2153 0 0 20 0 1 0 68504076 6328315904 1274673 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1544999 1274673 2528 1147 0 1532426 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 6184188 KiB
Current children cumulated memory: 5101764 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.18 3.54 4/260 74131
/proc/meminfo: memFree=116950332/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6272428 memory=5162456 CPUtime=3451.73 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1149071 0 0 0 342996 2177 0 0 20 0 1 0 68504076 6422966272 1290614 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1568107 1290614 2528 1147 0 1555534 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 6276620 KiB
Current children cumulated memory: 5165528 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.17 3.52 4/260 74133
/proc/meminfo: memFree=116930628/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6272428 memory=5164248 CPUtime=3511.53 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1149512 0 0 0 348971 2182 0 0 20 0 1 0 68504076 6422966272 1291062 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1568107 1291062 2528 1147 0 1555534 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 6276620 KiB
Current children cumulated memory: 5167320 KiB
[startup+3582.3 s]
/proc/loadavg: 3.43 3.25 3.52 4/259 74135
/proc/meminfo: memFree=116905048/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6289584 memory=5181400 CPUtime=3571.34 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1153833 0 0 0 354943 2191 0 0 20 0 1 0 68504076 6440534016 1295350 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1572396 1295350 2528 1147 0 1559823 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 6293776 KiB
Current children cumulated memory: 5184472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 3.33 3.24 3.51 4/259 74137
/proc/meminfo: memFree=116897152/131249996 swapFree=33010416/33010684
[pid=73781] ppid=73777 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73781/stat : 73781 (run-opt.sh) S 73777 73781 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68504075 4292608 768 18446744073709551615 94765360275456 94765361169989 140733772628960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94765361409040 94765361456784 94765381844992 140733772630381 140733772630504 140733772630504 140733772636106 0
/proc/73781/statm: 1048 768 704 219 0 110 0
[pid=73783] ppid=73781 vsize=6298800 memory=5198936 CPUtime=3600.03 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73781 73781 72970 0 -1 4194304 1158304 0 0 0 357809 2194 0 0 20 0 1 0 68504076 6449971200 1299734 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1574700 1299734 2528 1147 0 1562127 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6302992 KiB
Current children cumulated memory: 5202008 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 73781 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002667 s
Sleeping 2 seconds
[startup+3611.36 s]
# the end of solver process 73783 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.11 s, system=22.1885 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]*
/proc/loadavg: 3.33 3.24 3.51 4/258 74137
/proc/meminfo: memFree=118424832/131249996 swapFree=33010416/33010684
[pid=73783] ppid=73777 vsize=4397844 memory=3541764 CPUtime=3600.14 cores=1,3
/proc/73783/stat : 73783 (roundingsat) R 73777 73781 72970 0 -1 4194304 1158307 0 0 0 357811 2203 0 0 20 0 1 0 68504076 4503392256 885441 18446744073709551615 4227072 8923433 140732175521296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36978688 140732175526306 140732175526440 140732175526440 140732175532010 0
/proc/73783/statm: 1099461 885441 2592 1147 0 1086888 0
Current cumulated CPU time of completed processes: 0.002667 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 4397844 KiB
Current children cumulated memory: 3541764 KiB
[startup+3611.31 s]*
/proc/loadavg: 3.33 3.24 3.51 4/258 74137
/proc/meminfo: memFree=121149388/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002667 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3611.36
CPU time (s): 3600.3
CPU user time (s): 3578.11
CPU system time (s): 22.1885
CPU usage (%): 99.6937
Max. virtual memory (cumulated for all children) (KiB): 6302992
Max. memory (cumulated for all children) (KiB): 5202008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.11
system time used= 22.1885
maximum resident set size= 5199064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1158527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210
involuntary context switches= 4494
# summary of solver processes directly reported to runsolver:
# pid: 73781,73783
# total CPU time (s): 3600.3
# total CPU user time (s): 3578.11
# total CPU system time (s): 22.1885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.98536 second user time and 16.2769 second system time
The end
Begin job on nodeC030 at 2025-07-03 09:37:25
IDJOB=4509424
IDBENCH=158618
IDSOLVER=3350
FILE ID=nodeC030/4509424-1751528245
RUNJOBID= nodeC030-1751521021-72982
SLURM_JOB_ID= 9598643
Free space on /tmp= 432488 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509424-1751528245/watcher-4509424-1751528245 -o /tmp/evaluation-result-4509424-1751528245/solver-4509424-1751528245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72982 --watchdog 3760 run-opt.sh HOME/instance-4509424-1751528245.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=1669554265
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.323
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3540.981
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3278.960
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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.324
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.319
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.377
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.361
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3596.124
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 112868656 kB
MemAvailable: 113555732 kB
Buffers: 2564 kB
Cached: 1478552 kB
SwapCached: 16 kB
Active: 16657028 kB
Inactive: 1035304 kB
Active(anon): 16224436 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1030756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15416 kB
Writeback: 16 kB
AnonPages: 16214108 kB
Mapped: 114276 kB
Shmem: 18048 kB
KReclaimable: 125536 kB
Slab: 214264 kB
SReclaimable: 125536 kB
SUnreclaim: 88728 kB
KernelStack: 4272 kB
PageTables: 38820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 19100584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4079616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432484 MiB
End job on nodeC030 at 2025-07-03 10:37:36