0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 467 #constraints 466
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.002807
0.00/0.00 c stratification level: 0
0.00/0.01 c bounds - >= 42 @ 0.004112
0.00/0.01 c bounds - >= 43 @ 0.004179
0.00/0.01 c bounds - >= 44 @ 0.004235
0.00/0.01 c bounds - >= 45 @ 0.004289
0.00/0.01 c bounds - >= 46 @ 0.004344
0.00/0.01 c bounds - >= 47 @ 0.004402
0.00/0.01 c bounds - >= 48 @ 0.004463
0.00/0.01 c bounds - >= 49 @ 0.004527
0.00/0.01 c bounds - >= 50 @ 0.004593
0.00/0.01 c bounds - >= 51 @ 0.00464
0.00/0.01 c bounds - >= 52 @ 0.00464
0.00/0.01 c bounds - >= 53 @ 0.00464
0.00/0.01 c bounds - >= 54 @ 0.00464
0.00/0.01 c bounds - >= 55 @ 0.00464
0.00/0.01 c bounds - >= 56 @ 0.00464
0.00/0.01 c bounds - >= 57 @ 0.00464
0.00/0.01 c bounds - >= 58 @ 0.00464
0.00/0.01 c bounds - >= 59 @ 0.00464
0.00/0.01 c bounds - >= 60 @ 0.00464
0.00/0.01 c bounds - >= 61 @ 0.004767
0.00/0.01 c bounds - >= 62 @ 0.004872
0.00/0.01 c bounds - >= 63 @ 0.005003
0.00/0.01 c bounds - >= 64 @ 0.005109
0.00/0.01 c bounds - >= 65 @ 0.005215
0.00/0.01 c bounds - >= 66 @ 0.005319
0.00/0.01 c bounds - >= 67 @ 0.005429
0.00/0.01 c bounds - >= 68 @ 0.005533
0.00/0.01 c bounds - >= 69 @ 0.005635
0.00/0.01 c bounds - >= 70 @ 0.00575
0.00/0.01 c bounds - >= 71 @ 0.005875
0.00/0.01 c bounds - >= 72 @ 0.006008
0.00/0.01 c bounds - >= 73 @ 0.006128
0.00/0.01 c bounds - >= 74 @ 0.006246
0.00/0.01 c bounds - >= 75 @ 0.006367
0.00/0.01 c bounds - >= 76 @ 0.006489
0.00/0.01 c bounds - >= 77 @ 0.006631
0.00/0.01 c bounds - >= 78 @ 0.006741
0.00/0.01 c bounds - >= 79 @ 0.006879
0.00/0.01 c bounds - >= 80 @ 0.007002
0.00/0.01 c bounds - >= 81 @ 0.007122
0.00/0.01 c bounds - >= 82 @ 0.007244
0.00/0.01 c bounds - >= 83 @ 0.007362
0.00/0.01 c bounds - >= 84 @ 0.00749
0.00/0.01 c bounds - >= 85 @ 0.007618
0.00/0.01 c bounds - >= 86 @ 0.007749
0.00/0.01 c bounds - >= 87 @ 0.007891
0.00/0.01 c bounds - >= 88 @ 0.008023
0.00/0.01 c bounds - >= 89 @ 0.008157
0.00/0.01 c bounds - >= 90 @ 0.008285
0.00/0.01 c bounds - >= 91 @ 0.008416
0.00/0.01 c bounds - >= 92 @ 0.008521
0.00/0.01 c bounds - >= 93 @ 0.008521
0.00/0.01 c bounds - >= 94 @ 0.008521
0.00/0.01 c bounds - >= 95 @ 0.008521
0.00/0.01 c bounds - >= 96 @ 0.008521
0.00/0.01 c bounds - >= 97 @ 0.008521
0.00/0.01 c bounds - >= 98 @ 0.008521
0.00/0.01 c bounds - >= 99 @ 0.008552
0.00/0.01 c bounds - >= 100 @ 0.008568
0.00/0.01 c bounds - >= 101 @ 0.008568
0.00/0.01 c bounds - >= 102 @ 0.008568
0.00/0.01 c bounds - >= 103 @ 0.008568
0.00/0.01 c bounds - >= 104 @ 0.008568
0.00/0.01 c bounds - >= 105 @ 0.008568
0.00/0.01 c bounds - >= 106 @ 0.008568
0.00/0.01 c bounds - >= 107 @ 0.008568
0.00/0.01 c bounds - >= 108 @ 0.008568
0.00/0.01 c bounds - >= 109 @ 0.008568
0.00/0.01 c bounds - >= 110 @ 0.008568
0.00/0.01 c bounds - >= 111 @ 0.008568
0.00/0.01 c bounds - >= 112 @ 0.008568
0.00/0.01 c bounds - >= 113 @ 0.008568
0.00/0.01 c bounds - >= 114 @ 0.008568
0.00/0.01 c bounds - >= 115 @ 0.008568
0.00/0.01 c bounds - >= 116 @ 0.008568
0.00/0.01 c bounds - >= 117 @ 0.008568
0.00/0.01 c bounds - >= 118 @ 0.008568
0.00/0.01 c bounds - >= 119 @ 0.008568
0.00/0.01 c finalizing WCE round: reformulating cores
37.98/38.14 c #Conflicts: 1000 | #Constraints: 1616
37.98/38.14 c #Conflicts: 2000 | #Constraints: 2620
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 3000 | #Constraints: 2547
37.98/38.14 c #Conflicts: 4000 | #Constraints: 3549
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 5000 | #Constraints: 2953
37.98/38.14 c #Conflicts: 6000 | #Constraints: 3955
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 7000 | #Constraints: 2960
37.98/38.14 c #Conflicts: 8000 | #Constraints: 3962
37.98/38.14 c #Conflicts: 9000 | #Constraints: 4966
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 10000 | #Constraints: 3665
37.98/38.14 c #Conflicts: 11000 | #Constraints: 4667
37.98/38.14 c #Conflicts: 12000 | #Constraints: 5669
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 13000 | #Constraints: 4122
37.98/38.14 c #Conflicts: 14000 | #Constraints: 5124
37.98/38.14 c #Conflicts: 15000 | #Constraints: 6126
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 16000 | #Constraints: 4358
37.98/38.14 c #Conflicts: 17000 | #Constraints: 5360
37.98/38.14 c #Conflicts: 18000 | #Constraints: 6362
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 19000 | #Constraints: 4376
37.98/38.14 c #Conflicts: 20000 | #Constraints: 5378
37.98/38.14 c #Conflicts: 21000 | #Constraints: 6380
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 22000 | #Constraints: 4188
37.98/38.14 c #Conflicts: 23000 | #Constraints: 5190
37.98/38.14 c #Conflicts: 24000 | #Constraints: 6194
37.98/38.14 c #Conflicts: 25000 | #Constraints: 7196
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 26000 | #Constraints: 4809
37.98/38.14 c #Conflicts: 27000 | #Constraints: 5811
37.98/38.14 c #Conflicts: 28000 | #Constraints: 6813
37.98/38.14 c #Conflicts: 29000 | #Constraints: 7817
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 30000 | #Constraints: 5220
37.98/38.14 c #Conflicts: 31000 | #Constraints: 6222
37.98/38.14 c #Conflicts: 32000 | #Constraints: 7224
37.98/38.14 c #Conflicts: 33000 | #Constraints: 8228
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 34000 | #Constraints: 5430
37.98/38.14 c #Conflicts: 35000 | #Constraints: 6432
37.98/38.14 c #Conflicts: 36000 | #Constraints: 7434
37.98/38.14 c #Conflicts: 37000 | #Constraints: 8438
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 38000 | #Constraints: 5444
37.98/38.14 c #Conflicts: 39000 | #Constraints: 6446
37.98/38.14 c #Conflicts: 40000 | #Constraints: 7448
37.98/38.14 c #Conflicts: 41000 | #Constraints: 8452
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 42000 | #Constraints: 5251
37.98/38.14 c #Conflicts: 43000 | #Constraints: 6253
37.98/38.14 c #Conflicts: 44000 | #Constraints: 7257
37.98/38.14 c #Conflicts: 45000 | #Constraints: 8259
37.98/38.14 c #Conflicts: 46000 | #Constraints: 9261
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 47000 | #Constraints: 5866
37.98/38.14 c #Conflicts: 48000 | #Constraints: 6868
37.98/38.14 c #Conflicts: 49000 | #Constraints: 7870
37.98/38.14 c #Conflicts: 50000 | #Constraints: 8874
37.98/38.14 c #Conflicts: 51000 | #Constraints: 9876
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 52000 | #Constraints: 6279
37.98/38.14 c #Conflicts: 53000 | #Constraints: 7281
37.98/38.14 c #Conflicts: 54000 | #Constraints: 8283
37.98/38.14 c #Conflicts: 55000 | #Constraints: 9287
37.98/38.14 c #Conflicts: 56000 | #Constraints: 10289
37.98/38.14 c INPROCESSING
37.98/38.14 c GARBAGE COLLECT
37.98/38.14 c #Conflicts: 57000 | #Constraints: 6496
37.98/38.14 c #Conflicts: 58000 | #Constraints: 7498
37.98/38.14 c bounds 209 >= 119 @ 36.8692
37.98/38.14 c bounds 209 >= 120 @ 36.8793
37.98/38.14 c bounds 209 >= 121 @ 36.8828
37.98/38.14 c bounds 209 >= 122 @ 36.8851
37.98/38.14 c bounds 209 >= 123 @ 36.8888
37.98/38.14 c bounds 209 >= 124 @ 36.8901
37.98/38.14 c bounds 209 >= 125 @ 36.8917
37.98/38.14 c bounds 209 >= 126 @ 36.8943
37.98/38.14 c bounds 209 >= 127 @ 36.8972
37.98/38.14 c bounds 209 >= 128 @ 36.9016
37.98/38.14 c bounds 209 >= 129 @ 36.9406
37.98/38.14 c finalizing WCE round: reformulating cores
48.45/48.69 c #Conflicts: 59000 | #Constraints: 8646
48.45/48.69 c #Conflicts: 60000 | #Constraints: 9650
48.45/48.69 c #Conflicts: 61000 | #Constraints: 10652
48.45/48.69 c INPROCESSING
48.45/48.69 c GARBAGE COLLECT
48.45/48.69 c #Conflicts: 62000 | #Constraints: 6622
48.45/48.69 c #Conflicts: 63000 | #Constraints: 7624
48.45/48.69 c #Conflicts: 64000 | #Constraints: 8626
48.45/48.69 c #Conflicts: 65000 | #Constraints: 9630
48.45/48.69 c #Conflicts: 66000 | #Constraints: 10632
48.45/48.69 c bounds 208 >= 129 @ 44.1561
48.45/48.69 c bounds 208 >= 130 @ 44.1748
48.45/48.69 c bounds 208 >= 131 @ 44.2186
48.45/48.69 c bounds 208 >= 132 @ 44.406
48.45/48.69 c INPROCESSING
48.45/48.69 c GARBAGE COLLECT
48.45/48.69 c #Conflicts: 67000 | #Constraints: 6528
48.45/48.69 c #Conflicts: 68000 | #Constraints: 7528
48.45/48.69 c bounds 208 >= 133 @ 47.4039
48.45/48.69 c finalizing WCE round: reformulating cores
143.22/143.64 c #Conflicts: 69000 | #Constraints: 8658
143.22/143.64 c #Conflicts: 70000 | #Constraints: 9660
143.22/143.64 c #Conflicts: 71000 | #Constraints: 10664
143.22/143.64 c bounds 207 >= 133 @ 50.96
143.22/143.64 c bounds 207 >= 134 @ 51.1244
143.22/143.64 c #Conflicts: 72000 | #Constraints: 11695
143.22/143.64 c bounds 207 >= 135 @ 51.8186
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 73000 | #Constraints: 7270
143.22/143.64 c #Conflicts: 74000 | #Constraints: 8270
143.22/143.64 c #Conflicts: 75000 | #Constraints: 9270
143.22/143.64 c #Conflicts: 76000 | #Constraints: 10270
143.22/143.64 c #Conflicts: 77000 | #Constraints: 11270
143.22/143.64 c #Conflicts: 78000 | #Constraints: 12270
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 79000 | #Constraints: 7660
143.22/143.64 c #Conflicts: 80000 | #Constraints: 8660
143.22/143.64 c #Conflicts: 81000 | #Constraints: 9660
143.22/143.64 c #Conflicts: 82000 | #Constraints: 10660
143.22/143.64 c #Conflicts: 83000 | #Constraints: 11660
143.22/143.64 c #Conflicts: 84000 | #Constraints: 12660
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 85000 | #Constraints: 7863
143.22/143.64 c #Conflicts: 86000 | #Constraints: 8863
143.22/143.64 c #Conflicts: 87000 | #Constraints: 9863
143.22/143.64 c #Conflicts: 88000 | #Constraints: 10863
143.22/143.64 c #Conflicts: 89000 | #Constraints: 11863
143.22/143.64 c #Conflicts: 90000 | #Constraints: 12863
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 91000 | #Constraints: 7857
143.22/143.64 c #Conflicts: 92000 | #Constraints: 8857
143.22/143.64 c #Conflicts: 93000 | #Constraints: 9857
143.22/143.64 c #Conflicts: 94000 | #Constraints: 10857
143.22/143.64 c #Conflicts: 95000 | #Constraints: 11857
143.22/143.64 c #Conflicts: 96000 | #Constraints: 12857
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 97000 | #Constraints: 7671
143.22/143.64 c #Conflicts: 98000 | #Constraints: 8671
143.22/143.64 c #Conflicts: 99000 | #Constraints: 9671
143.22/143.64 c #Conflicts: 100000 | #Constraints: 10671
143.22/143.64 c #Conflicts: 101000 | #Constraints: 11671
143.22/143.64 c #Conflicts: 102000 | #Constraints: 12671
143.22/143.64 c #Conflicts: 103000 | #Constraints: 13671
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 104000 | #Constraints: 8271
143.22/143.64 c #Conflicts: 105000 | #Constraints: 9271
143.22/143.64 c #Conflicts: 106000 | #Constraints: 10271
143.22/143.64 c #Conflicts: 107000 | #Constraints: 11271
143.22/143.64 c #Conflicts: 108000 | #Constraints: 12271
143.22/143.64 c #Conflicts: 109000 | #Constraints: 13271
143.22/143.64 c #Conflicts: 110000 | #Constraints: 14271
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 111000 | #Constraints: 8658
143.22/143.64 c #Conflicts: 112000 | #Constraints: 9658
143.22/143.64 c #Conflicts: 113000 | #Constraints: 10658
143.22/143.64 c #Conflicts: 114000 | #Constraints: 11658
143.22/143.64 c #Conflicts: 115000 | #Constraints: 12658
143.22/143.64 c #Conflicts: 116000 | #Constraints: 13658
143.22/143.64 c #Conflicts: 117000 | #Constraints: 14658
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 118000 | #Constraints: 8865
143.22/143.64 c #Conflicts: 119000 | #Constraints: 9865
143.22/143.64 c #Conflicts: 120000 | #Constraints: 10865
143.22/143.64 c #Conflicts: 121000 | #Constraints: 11865
143.22/143.64 c #Conflicts: 122000 | #Constraints: 12865
143.22/143.64 c #Conflicts: 123000 | #Constraints: 13865
143.22/143.64 c #Conflicts: 124000 | #Constraints: 14865
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 125000 | #Constraints: 8880
143.22/143.64 c #Conflicts: 126000 | #Constraints: 9880
143.22/143.64 c #Conflicts: 127000 | #Constraints: 10880
143.22/143.64 c #Conflicts: 128000 | #Constraints: 11880
143.22/143.64 c #Conflicts: 129000 | #Constraints: 12880
143.22/143.64 c #Conflicts: 130000 | #Constraints: 13880
143.22/143.64 c #Conflicts: 131000 | #Constraints: 14880
143.22/143.64 c INPROCESSING
143.22/143.64 c GARBAGE COLLECT
143.22/143.64 c #Conflicts: 132000 | #Constraints: 8687
143.22/143.64 c #Conflicts: 133000 | #Constraints: 9687
143.22/143.64 c #Conflicts: 134000 | #Constraints: 10687
143.22/143.64 c #Conflicts: 135000 | #Constraints: 11687
143.22/143.64 c #Conflicts: 136000 | #Constraints: 12687
143.22/143.64 c #Conflicts: 137000 | #Constraints: 13687
143.22/143.64 c #Conflicts: 138000 | #Constraints: 14687
143.22/143.64 c #Conflicts: 139000 | #Constraints: 15687
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 140000 | #Constraints: 9292
273.08/273.84 c #Conflicts: 141000 | #Constraints: 10292
273.08/273.84 c #Conflicts: 142000 | #Constraints: 11292
273.08/273.84 c #Conflicts: 143000 | #Constraints: 12292
273.08/273.84 c #Conflicts: 144000 | #Constraints: 13292
273.08/273.84 c #Conflicts: 145000 | #Constraints: 14292
273.08/273.84 c #Conflicts: 146000 | #Constraints: 15292
273.08/273.84 c #Conflicts: 147000 | #Constraints: 16292
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 148000 | #Constraints: 9695
273.08/273.84 c #Conflicts: 149000 | #Constraints: 10695
273.08/273.84 c #Conflicts: 150000 | #Constraints: 11695
273.08/273.84 c #Conflicts: 151000 | #Constraints: 12695
273.08/273.84 c #Conflicts: 152000 | #Constraints: 13695
273.08/273.84 c #Conflicts: 153000 | #Constraints: 14695
273.08/273.84 c #Conflicts: 154000 | #Constraints: 15695
273.08/273.84 c #Conflicts: 155000 | #Constraints: 16695
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 156000 | #Constraints: 9890
273.08/273.84 c #Conflicts: 157000 | #Constraints: 10890
273.08/273.84 c #Conflicts: 158000 | #Constraints: 11890
273.08/273.84 c #Conflicts: 159000 | #Constraints: 12890
273.08/273.84 c #Conflicts: 160000 | #Constraints: 13890
273.08/273.84 c #Conflicts: 161000 | #Constraints: 14890
273.08/273.84 c #Conflicts: 162000 | #Constraints: 15890
273.08/273.84 c #Conflicts: 163000 | #Constraints: 16890
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 164000 | #Constraints: 9886
273.08/273.84 c #Conflicts: 165000 | #Constraints: 10886
273.08/273.84 c #Conflicts: 166000 | #Constraints: 11886
273.08/273.84 c #Conflicts: 167000 | #Constraints: 12886
273.08/273.84 c #Conflicts: 168000 | #Constraints: 13886
273.08/273.84 c #Conflicts: 169000 | #Constraints: 14886
273.08/273.84 c #Conflicts: 170000 | #Constraints: 15886
273.08/273.84 c #Conflicts: 171000 | #Constraints: 16886
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 172000 | #Constraints: 9691
273.08/273.84 c #Conflicts: 173000 | #Constraints: 10691
273.08/273.84 c #Conflicts: 174000 | #Constraints: 11691
273.08/273.84 c #Conflicts: 175000 | #Constraints: 12691
273.08/273.84 c #Conflicts: 176000 | #Constraints: 13691
273.08/273.84 c #Conflicts: 177000 | #Constraints: 14691
273.08/273.84 c #Conflicts: 178000 | #Constraints: 15691
273.08/273.84 c #Conflicts: 179000 | #Constraints: 16691
273.08/273.84 c #Conflicts: 180000 | #Constraints: 17691
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 181000 | #Constraints: 10278
273.08/273.84 c #Conflicts: 182000 | #Constraints: 11278
273.08/273.84 c #Conflicts: 183000 | #Constraints: 12278
273.08/273.84 c #Conflicts: 184000 | #Constraints: 13278
273.08/273.84 c #Conflicts: 185000 | #Constraints: 14278
273.08/273.84 c #Conflicts: 186000 | #Constraints: 15278
273.08/273.84 c #Conflicts: 187000 | #Constraints: 16278
273.08/273.84 c #Conflicts: 188000 | #Constraints: 17278
273.08/273.84 c #Conflicts: 189000 | #Constraints: 18278
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 190000 | #Constraints: 10694
273.08/273.84 c #Conflicts: 191000 | #Constraints: 11694
273.08/273.84 c #Conflicts: 192000 | #Constraints: 12694
273.08/273.84 c #Conflicts: 193000 | #Constraints: 13694
273.08/273.84 c #Conflicts: 194000 | #Constraints: 14694
273.08/273.84 c #Conflicts: 195000 | #Constraints: 15694
273.08/273.84 c #Conflicts: 196000 | #Constraints: 16694
273.08/273.84 c #Conflicts: 197000 | #Constraints: 17694
273.08/273.84 c #Conflicts: 198000 | #Constraints: 18694
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 199000 | #Constraints: 10891
273.08/273.84 c #Conflicts: 200000 | #Constraints: 11891
273.08/273.84 c #Conflicts: 201000 | #Constraints: 12891
273.08/273.84 c #Conflicts: 202000 | #Constraints: 13891
273.08/273.84 c #Conflicts: 203000 | #Constraints: 14891
273.08/273.84 c #Conflicts: 204000 | #Constraints: 15891
273.08/273.84 c #Conflicts: 205000 | #Constraints: 16891
273.08/273.84 c #Conflicts: 206000 | #Constraints: 17891
273.08/273.84 c #Conflicts: 207000 | #Constraints: 18891
273.08/273.84 c INPROCESSING
273.08/273.84 c GARBAGE COLLECT
273.08/273.84 c #Conflicts: 208000 | #Constraints: 10898
273.08/273.84 c #Conflicts: 209000 | #Constraints: 11898
273.08/273.84 c #Conflicts: 210000 | #Constraints: 12898
273.08/273.84 c #Conflicts: 211000 | #Constraints: 13898
273.08/273.84 c #Conflicts: 212000 | #Constraints: 14898
445.61/446.81 c #Conflicts: 213000 | #Constraints: 15898
445.61/446.81 c #Conflicts: 214000 | #Constraints: 16898
445.61/446.81 c #Conflicts: 215000 | #Constraints: 17898
445.61/446.81 c #Conflicts: 216000 | #Constraints: 18898
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 217000 | #Constraints: 10679
445.61/446.81 c #Conflicts: 218000 | #Constraints: 11679
445.61/446.81 c #Conflicts: 219000 | #Constraints: 12679
445.61/446.81 c #Conflicts: 220000 | #Constraints: 13679
445.61/446.81 c #Conflicts: 221000 | #Constraints: 14679
445.61/446.81 c #Conflicts: 222000 | #Constraints: 15679
445.61/446.81 c #Conflicts: 223000 | #Constraints: 16679
445.61/446.81 c #Conflicts: 224000 | #Constraints: 17679
445.61/446.81 c #Conflicts: 225000 | #Constraints: 18679
445.61/446.81 c #Conflicts: 226000 | #Constraints: 19679
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 227000 | #Constraints: 11286
445.61/446.81 c #Conflicts: 228000 | #Constraints: 12286
445.61/446.81 c #Conflicts: 229000 | #Constraints: 13286
445.61/446.81 c #Conflicts: 230000 | #Constraints: 14286
445.61/446.81 c #Conflicts: 231000 | #Constraints: 15286
445.61/446.81 c #Conflicts: 232000 | #Constraints: 16286
445.61/446.81 c #Conflicts: 233000 | #Constraints: 17286
445.61/446.81 c #Conflicts: 234000 | #Constraints: 18286
445.61/446.81 c #Conflicts: 235000 | #Constraints: 19286
445.61/446.81 c #Conflicts: 236000 | #Constraints: 20286
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 237000 | #Constraints: 11692
445.61/446.81 c #Conflicts: 238000 | #Constraints: 12692
445.61/446.81 c #Conflicts: 239000 | #Constraints: 13692
445.61/446.81 c #Conflicts: 240000 | #Constraints: 14692
445.61/446.81 c #Conflicts: 241000 | #Constraints: 15692
445.61/446.81 c #Conflicts: 242000 | #Constraints: 16692
445.61/446.81 c #Conflicts: 243000 | #Constraints: 17692
445.61/446.81 c #Conflicts: 244000 | #Constraints: 18692
445.61/446.81 c #Conflicts: 245000 | #Constraints: 19692
445.61/446.81 c #Conflicts: 246000 | #Constraints: 20692
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 247000 | #Constraints: 11886
445.61/446.81 c #Conflicts: 248000 | #Constraints: 12886
445.61/446.81 c #Conflicts: 249000 | #Constraints: 13886
445.61/446.81 c #Conflicts: 250000 | #Constraints: 14886
445.61/446.81 c #Conflicts: 251000 | #Constraints: 15886
445.61/446.81 c #Conflicts: 252000 | #Constraints: 16886
445.61/446.81 c #Conflicts: 253000 | #Constraints: 17886
445.61/446.81 c #Conflicts: 254000 | #Constraints: 18886
445.61/446.81 c #Conflicts: 255000 | #Constraints: 19886
445.61/446.81 c #Conflicts: 256000 | #Constraints: 20886
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 257000 | #Constraints: 11896
445.61/446.81 c #Conflicts: 258000 | #Constraints: 12896
445.61/446.81 c #Conflicts: 259000 | #Constraints: 13896
445.61/446.81 c #Conflicts: 260000 | #Constraints: 14896
445.61/446.81 c #Conflicts: 261000 | #Constraints: 15896
445.61/446.81 c #Conflicts: 262000 | #Constraints: 16896
445.61/446.81 c #Conflicts: 263000 | #Constraints: 17896
445.61/446.81 c #Conflicts: 264000 | #Constraints: 18896
445.61/446.81 c #Conflicts: 265000 | #Constraints: 19896
445.61/446.81 c #Conflicts: 266000 | #Constraints: 20896
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 267000 | #Constraints: 11693
445.61/446.81 c #Conflicts: 268000 | #Constraints: 12693
445.61/446.81 c #Conflicts: 269000 | #Constraints: 13693
445.61/446.81 c #Conflicts: 270000 | #Constraints: 14693
445.61/446.81 c #Conflicts: 271000 | #Constraints: 15693
445.61/446.81 c #Conflicts: 272000 | #Constraints: 16693
445.61/446.81 c #Conflicts: 273000 | #Constraints: 17693
445.61/446.81 c #Conflicts: 274000 | #Constraints: 18693
445.61/446.81 c #Conflicts: 275000 | #Constraints: 19693
445.61/446.81 c #Conflicts: 276000 | #Constraints: 20693
445.61/446.81 c #Conflicts: 277000 | #Constraints: 21693
445.61/446.81 c INPROCESSING
445.61/446.81 c GARBAGE COLLECT
445.61/446.81 c #Conflicts: 278000 | #Constraints: 12290
445.61/446.81 c #Conflicts: 279000 | #Constraints: 13290
445.61/446.81 c #Conflicts: 280000 | #Constraints: 14290
445.61/446.81 c #Conflicts: 281000 | #Constraints: 15290
445.61/446.81 c #Conflicts: 282000 | #Constraints: 16290
445.61/446.81 c #Conflicts: 283000 | #Constraints: 17290
445.61/446.81 c #Conflicts: 284000 | #Constraints: 18290
445.61/446.81 c #Conflicts: 285000 | #Constraints: 19290
445.61/446.81 c #Conflicts: 286000 | #Constraints: 20290
445.61/446.81 c #Conflicts: 287000 | #Constraints: 21290
783.42/785.59 c #Conflicts: 288000 | #Constraints: 22290
783.42/785.59 c INPROCESSING
783.42/785.59 c GARBAGE COLLECT
783.42/785.59 c #Conflicts: 289000 | #Constraints: 12705
783.42/785.59 c #Conflicts: 290000 | #Constraints: 13705
783.42/785.59 c #Conflicts: 291000 | #Constraints: 14705
783.42/785.59 c #Conflicts: 292000 | #Constraints: 15705
783.42/785.59 c #Conflicts: 293000 | #Constraints: 16705
783.42/785.59 c #Conflicts: 294000 | #Constraints: 17705
783.42/785.59 c #Conflicts: 295000 | #Constraints: 18705
783.42/785.59 c #Conflicts: 296000 | #Constraints: 19705
783.42/785.59 c #Conflicts: 297000 | #Constraints: 20705
783.42/785.59 c #Conflicts: 298000 | #Constraints: 21705
783.42/785.59 c #Conflicts: 299000 | #Constraints: 22705
783.42/785.59 c INPROCESSING
783.42/785.59 c GARBAGE COLLECT
783.42/785.59 c #Conflicts: 300000 | #Constraints: 12909
783.42/785.59 c #Conflicts: 301000 | #Constraints: 13909
783.42/785.59 c #Conflicts: 302000 | #Constraints: 14909
783.42/785.59 c #Conflicts: 303000 | #Constraints: 15909
783.42/785.59 c #Conflicts: 304000 | #Constraints: 16909
783.42/785.59 c #Conflicts: 305000 | #Constraints: 17909
783.42/785.59 c #Conflicts: 306000 | #Constraints: 18909
783.42/785.59 c #Conflicts: 307000 | #Constraints: 19909
783.42/785.59 c #Conflicts: 308000 | #Constraints: 20909
783.42/785.59 c #Conflicts: 309000 | #Constraints: 21909
783.42/785.59 c #Conflicts: 310000 | #Constraints: 22909
783.42/785.59 c INPROCESSING
783.42/785.59 c GARBAGE COLLECT
783.42/785.59 c #Conflicts: 311000 | #Constraints: 12913
783.42/785.59 c #Conflicts: 312000 | #Constraints: 13913
783.42/785.59 c #Conflicts: 313000 | #Constraints: 14913
783.42/785.59 c #Conflicts: 314000 | #Constraints: 15913
783.42/785.59 c #Conflicts: 315000 | #Constraints: 16913
783.42/785.59 c #Conflicts: 316000 | #Constraints: 17913
783.42/785.59 c bounds 207 >= 136 @ 517.773
783.42/785.59 c #Conflicts: 317000 | #Constraints: 19001
783.42/785.59 c #Conflicts: 318000 | #Constraints: 20001
783.42/785.59 c #Conflicts: 319000 | #Constraints: 21001
783.42/785.59 c #Conflicts: 320000 | #Constraints: 22001
783.42/785.59 c #Conflicts: 321000 | #Constraints: 23001
783.42/785.59 c INPROCESSING
783.42/785.59 c GARBAGE COLLECT
783.42/785.59 c #Conflicts: 322000 | #Constraints: 12760
783.42/785.59 c #Conflicts: 323000 | #Constraints: 13760
783.42/785.59 c #Conflicts: 324000 | #Constraints: 14760
783.42/785.59 c #Conflicts: 325000 | #Constraints: 15760
783.42/785.59 c #Conflicts: 326000 | #Constraints: 16760
783.42/785.59 c #Conflicts: 327000 | #Constraints: 17760
783.42/785.59 c #Conflicts: 328000 | #Constraints: 18760
783.42/785.59 c #Conflicts: 329000 | #Constraints: 19760
783.42/785.59 c #Conflicts: 330000 | #Constraints: 20760
783.42/785.59 c #Conflicts: 331000 | #Constraints: 21760
783.42/785.59 c #Conflicts: 332000 | #Constraints: 22760
783.42/785.59 c #Conflicts: 333000 | #Constraints: 23760
783.42/785.59 c #Conflicts: 334000 | #Constraints: 24760
783.42/785.59 c #Conflicts: 335000 | #Constraints: 25760
783.42/785.59 c #Conflicts: 336000 | #Constraints: 26760
783.42/785.59 c #Conflicts: 337000 | #Constraints: 27760
783.42/785.59 c #Conflicts: 338000 | #Constraints: 28760
783.42/785.59 c #Conflicts: 339000 | #Constraints: 29760
783.42/785.59 c #Conflicts: 340000 | #Constraints: 30760
783.42/785.59 c #Conflicts: 341000 | #Constraints: 31760
783.42/785.59 c #Conflicts: 342000 | #Constraints: 32760
783.42/785.59 c #Conflicts: 343000 | #Constraints: 33760
783.42/785.59 c #Conflicts: 344000 | #Constraints: 34760
783.42/785.59 c #Conflicts: 345000 | #Constraints: 35760
783.42/785.59 c #Conflicts: 346000 | #Constraints: 36760
783.42/785.59 c #Conflicts: 347000 | #Constraints: 37760
783.42/785.59 c #Conflicts: 348000 | #Constraints: 38760
783.42/785.59 c #Conflicts: 349000 | #Constraints: 39760
783.42/785.59 c #Conflicts: 350000 | #Constraints: 40760
783.42/785.59 c #Conflicts: 351000 | #Constraints: 41760
783.42/785.59 c #Conflicts: 352000 | #Constraints: 42760
783.42/785.59 c #Conflicts: 353000 | #Constraints: 43760
783.42/785.59 c #Conflicts: 354000 | #Constraints: 44760
783.42/785.59 c #Conflicts: 355000 | #Constraints: 45760
783.42/785.59 c #Conflicts: 356000 | #Constraints: 46760
783.42/785.59 c #Conflicts: 357000 | #Constraints: 47760
783.42/785.59 c #Conflicts: 358000 | #Constraints: 48760
783.42/785.59 c #Conflicts: 359000 | #Constraints: 49760
783.42/785.59 c #Conflicts: 360000 | #Constraints: 50760
783.42/785.59 c #Conflicts: 361000 | #Constraints: 51760
783.42/785.59 c #Conflicts: 362000 | #Constraints: 52760
1859.08/1864.26 c #Conflicts: 363000 | #Constraints: 53760
1859.08/1864.26 c #Conflicts: 364000 | #Constraints: 54760
1859.08/1864.26 c #Conflicts: 365000 | #Constraints: 55760
1859.08/1864.26 c #Conflicts: 366000 | #Constraints: 56760
1859.08/1864.26 c #Conflicts: 367000 | #Constraints: 57760
1859.08/1864.26 c #Conflicts: 368000 | #Constraints: 58760
1859.08/1864.26 c #Conflicts: 369000 | #Constraints: 59760
1859.08/1864.26 c #Conflicts: 370000 | #Constraints: 60760
1859.08/1864.26 c #Conflicts: 371000 | #Constraints: 61760
1859.08/1864.26 c #Conflicts: 372000 | #Constraints: 62760
1859.08/1864.26 c #Conflicts: 373000 | #Constraints: 63760
1859.08/1864.26 c #Conflicts: 374000 | #Constraints: 64760
1859.08/1864.26 c #Conflicts: 375000 | #Constraints: 65760
1859.08/1864.26 c #Conflicts: 376000 | #Constraints: 66760
1859.08/1864.26 c #Conflicts: 377000 | #Constraints: 67760
1859.08/1864.26 c INPROCESSING
1859.08/1864.26 c GARBAGE COLLECT
1859.08/1864.26 c #Conflicts: 378000 | #Constraints: 35311
1859.08/1864.26 c #Conflicts: 379000 | #Constraints: 36311
1859.08/1864.26 c #Conflicts: 380000 | #Constraints: 37311
1859.08/1864.26 c #Conflicts: 381000 | #Constraints: 38311
1859.08/1864.26 c #Conflicts: 382000 | #Constraints: 39311
1859.08/1864.26 c #Conflicts: 383000 | #Constraints: 40311
1859.08/1864.26 c #Conflicts: 384000 | #Constraints: 41311
1859.08/1864.26 c #Conflicts: 385000 | #Constraints: 42311
1859.08/1864.26 c #Conflicts: 386000 | #Constraints: 43311
1859.08/1864.26 c #Conflicts: 387000 | #Constraints: 44311
1859.08/1864.26 c #Conflicts: 388000 | #Constraints: 45311
1859.08/1864.26 c #Conflicts: 389000 | #Constraints: 46311
1859.08/1864.26 c #Conflicts: 390000 | #Constraints: 47311
1859.08/1864.26 c INPROCESSING
1859.08/1864.26 c GARBAGE COLLECT
1859.08/1864.26 c #Conflicts: 391000 | #Constraints: 25227
1859.08/1864.26 c #Conflicts: 392000 | #Constraints: 26227
1859.08/1864.26 c #Conflicts: 393000 | #Constraints: 27227
1859.08/1864.26 c #Conflicts: 394000 | #Constraints: 28227
1859.08/1864.26 c #Conflicts: 395000 | #Constraints: 29227
1859.08/1864.26 c #Conflicts: 396000 | #Constraints: 30227
1859.08/1864.26 c #Conflicts: 397000 | #Constraints: 31227
1859.08/1864.26 c #Conflicts: 398000 | #Constraints: 32227
1859.08/1864.26 c #Conflicts: 399000 | #Constraints: 33227
1859.08/1864.26 c #Conflicts: 400000 | #Constraints: 34227
1859.08/1864.26 c #Conflicts: 401000 | #Constraints: 35227
1859.08/1864.26 c #Conflicts: 402000 | #Constraints: 36227
1859.08/1864.26 c #Conflicts: 403000 | #Constraints: 37227
1859.08/1864.26 c #Conflicts: 404000 | #Constraints: 38227
1859.08/1864.26 c #Conflicts: 405000 | #Constraints: 39227
1859.08/1864.26 c #Conflicts: 406000 | #Constraints: 40227
1859.08/1864.26 c #Conflicts: 407000 | #Constraints: 41227
1859.08/1864.26 c #Conflicts: 408000 | #Constraints: 42227
1859.08/1864.26 c #Conflicts: 409000 | #Constraints: 43227
1859.08/1864.26 c #Conflicts: 410000 | #Constraints: 44227
1859.08/1864.26 c #Conflicts: 411000 | #Constraints: 45227
1859.08/1864.26 c #Conflicts: 412000 | #Constraints: 46227
1859.08/1864.26 c #Conflicts: 413000 | #Constraints: 47227
1859.08/1864.26 c #Conflicts: 414000 | #Constraints: 48227
1859.08/1864.26 c #Conflicts: 415000 | #Constraints: 49227
1859.08/1864.26 c #Conflicts: 416000 | #Constraints: 50227
1859.08/1864.26 c #Conflicts: 417000 | #Constraints: 51227
1859.08/1864.26 c #Conflicts: 418000 | #Constraints: 52227
1859.08/1864.26 c #Conflicts: 419000 | #Constraints: 53227
1859.08/1864.26 c #Conflicts: 420000 | #Constraints: 54227
1859.08/1864.26 c #Conflicts: 421000 | #Constraints: 55227
1859.08/1864.26 c #Conflicts: 422000 | #Constraints: 56227
1859.08/1864.26 c #Conflicts: 423000 | #Constraints: 57227
1859.08/1864.26 c #Conflicts: 424000 | #Constraints: 58227
1859.08/1864.26 c #Conflicts: 425000 | #Constraints: 59227
1859.08/1864.26 c #Conflicts: 426000 | #Constraints: 60227
1859.08/1864.26 c #Conflicts: 427000 | #Constraints: 61227
1859.08/1864.26 c #Conflicts: 428000 | #Constraints: 62227
1859.08/1864.26 c #Conflicts: 429000 | #Constraints: 63227
1859.08/1864.26 c #Conflicts: 430000 | #Constraints: 64227
1859.08/1864.26 c #Conflicts: 431000 | #Constraints: 65227
1859.08/1864.26 c #Conflicts: 432000 | #Constraints: 66227
1859.08/1864.26 c #Conflicts: 433000 | #Constraints: 67227
1859.08/1864.26 c #Conflicts: 434000 | #Constraints: 68227
1859.08/1864.26 c #Conflicts: 435000 | #Constraints: 69227
1859.08/1864.26 c #Conflicts: 436000 | #Constraints: 70227
1859.08/1864.26 c #Conflicts: 437000 | #Constraints: 71227
1859.08/1864.26 c #Conflicts: 438000 | #Constraints: 72227
1859.08/1864.26 c #Conflicts: 439000 | #Constraints: 73227
1859.08/1864.26 c #Conflicts: 440000 | #Constraints: 74227
3442.29/3452.10 c #Conflicts: 441000 | #Constraints: 75227
3442.29/3452.10 c #Conflicts: 442000 | #Constraints: 76227
3442.29/3452.10 c #Conflicts: 443000 | #Constraints: 77227
3442.29/3452.10 c #Conflicts: 444000 | #Constraints: 78227
3442.29/3452.10 c #Conflicts: 445000 | #Constraints: 79227
3442.29/3452.10 c #Conflicts: 446000 | #Constraints: 80227
3442.29/3452.10 c #Conflicts: 447000 | #Constraints: 81227
3442.29/3452.10 c #Conflicts: 448000 | #Constraints: 82227
3442.29/3452.10 c INPROCESSING
3442.29/3452.10 c GARBAGE COLLECT
3442.29/3452.10 c #Conflicts: 449000 | #Constraints: 42293
3442.29/3452.10 c #Conflicts: 450000 | #Constraints: 43293
3442.29/3452.10 c #Conflicts: 451000 | #Constraints: 44293
3442.29/3452.10 c #Conflicts: 452000 | #Constraints: 45293
3442.29/3452.10 c #Conflicts: 453000 | #Constraints: 46293
3442.29/3452.10 c #Conflicts: 454000 | #Constraints: 47293
3442.29/3452.10 c #Conflicts: 455000 | #Constraints: 48293
3442.29/3452.10 c #Conflicts: 456000 | #Constraints: 49293
3442.29/3452.10 c #Conflicts: 457000 | #Constraints: 50293
3442.29/3452.10 c #Conflicts: 458000 | #Constraints: 51293
3442.29/3452.10 c #Conflicts: 459000 | #Constraints: 52293
3442.29/3452.10 c #Conflicts: 460000 | #Constraints: 53293
3442.29/3452.10 c #Conflicts: 461000 | #Constraints: 54293
3442.29/3452.10 c #Conflicts: 462000 | #Constraints: 55293
3442.29/3452.10 c INPROCESSING
3442.29/3452.10 c GARBAGE COLLECT
3442.29/3452.10 c #Conflicts: 463000 | #Constraints: 35684
3442.29/3452.10 c #Conflicts: 464000 | #Constraints: 36684
3442.29/3452.10 c #Conflicts: 465000 | #Constraints: 37684
3442.29/3452.10 c #Conflicts: 466000 | #Constraints: 38684
3442.29/3452.10 c #Conflicts: 467000 | #Constraints: 39684
3442.29/3452.10 c #Conflicts: 468000 | #Constraints: 40684
3442.29/3452.10 c #Conflicts: 469000 | #Constraints: 41684
3442.29/3452.10 c #Conflicts: 470000 | #Constraints: 42684
3442.29/3452.10 c #Conflicts: 471000 | #Constraints: 43684
3442.29/3452.10 c #Conflicts: 472000 | #Constraints: 44684
3442.29/3452.10 c #Conflicts: 473000 | #Constraints: 45684
3442.29/3452.10 c #Conflicts: 474000 | #Constraints: 46684
3442.29/3452.10 c #Conflicts: 475000 | #Constraints: 47684
3442.29/3452.10 c #Conflicts: 476000 | #Constraints: 48684
3442.29/3452.10 c #Conflicts: 477000 | #Constraints: 49684
3442.29/3452.10 c #Conflicts: 478000 | #Constraints: 50684
3442.29/3452.10 c #Conflicts: 479000 | #Constraints: 51684
3442.29/3452.10 c #Conflicts: 480000 | #Constraints: 52684
3442.29/3452.10 c #Conflicts: 481000 | #Constraints: 53684
3442.29/3452.10 c #Conflicts: 482000 | #Constraints: 54684
3442.29/3452.10 c #Conflicts: 483000 | #Constraints: 55684
3442.29/3452.10 c #Conflicts: 484000 | #Constraints: 56684
3442.29/3452.10 c #Conflicts: 485000 | #Constraints: 57684
3442.29/3452.10 c #Conflicts: 486000 | #Constraints: 58684
3442.29/3452.10 c #Conflicts: 487000 | #Constraints: 59684
3442.29/3452.10 c #Conflicts: 488000 | #Constraints: 60684
3442.29/3452.10 c #Conflicts: 489000 | #Constraints: 61684
3442.29/3452.10 c #Conflicts: 490000 | #Constraints: 62684
3442.29/3452.10 c #Conflicts: 491000 | #Constraints: 63684
3442.29/3452.10 c #Conflicts: 492000 | #Constraints: 64684
3442.29/3452.10 c #Conflicts: 493000 | #Constraints: 65684
3442.29/3452.10 c #Conflicts: 494000 | #Constraints: 66684
3442.29/3452.10 c #Conflicts: 495000 | #Constraints: 67684
3442.29/3452.10 c #Conflicts: 496000 | #Constraints: 68684
3442.29/3452.10 c #Conflicts: 497000 | #Constraints: 69684
3442.29/3452.10 c #Conflicts: 498000 | #Constraints: 70684
3442.29/3452.10 c #Conflicts: 499000 | #Constraints: 71684
3442.29/3452.10 c #Conflicts: 500000 | #Constraints: 72684
3442.29/3452.10 c #Conflicts: 501000 | #Constraints: 73684
3442.29/3452.10 c #Conflicts: 502000 | #Constraints: 74684
3442.29/3452.10 c #Conflicts: 503000 | #Constraints: 75684
3442.29/3452.10 c #Conflicts: 504000 | #Constraints: 76684
3442.29/3452.10 c #Conflicts: 505000 | #Constraints: 77684
3442.29/3452.10 c #Conflicts: 506000 | #Constraints: 78684
3442.29/3452.10 c #Conflicts: 507000 | #Constraints: 79684
3442.29/3452.10 c #Conflicts: 508000 | #Constraints: 80684
3442.29/3452.10 c #Conflicts: 509000 | #Constraints: 81684
3442.29/3452.10 c #Conflicts: 510000 | #Constraints: 82684
3442.29/3452.10 c #Conflicts: 511000 | #Constraints: 83684
3442.29/3452.10 c #Conflicts: 512000 | #Constraints: 84684
3442.29/3452.10 c #Conflicts: 513000 | #Constraints: 85684
3442.29/3452.10 c #Conflicts: 514000 | #Constraints: 86684
3442.29/3452.10 c #Conflicts: 515000 | #Constraints: 87684
3442.29/3452.10 c #Conflicts: 516000 | #Constraints: 88684
3442.29/3452.10 c #Conflicts: 517000 | #Constraints: 89684
3600.04/3610.20 c #Conflicts: 518000 | #Constraints: 90684
3600.04/3610.20 c #Conflicts: 519000 | #Constraints: 91684
3600.04/3610.20 c #Conflicts: 520000 | #Constraints: 92684
3600.04/3610.20 c #Conflicts: 521000 | #Constraints: 93684
3600.04/3610.20 c Program interrupted by user.
3600.04/3610.20 c cpu time 3588.18 s
3600.04/3610.20 c deterministic time 294809316614 2.95e+11
3600.04/3610.20 c optimization time 1341.59 s
3600.04/3610.20 c total solve time 2246.59 s
3600.04/3610.20 c core-guided solve time 2246.59 s
3600.04/3610.20 c propagation time 3251.67 s
3600.04/3610.20 c conflict analysis time 319.656 s
3600.04/3610.20 c propagations 87497296
3600.04/3610.20 c resolve steps 5978272
3600.04/3610.20 c decisions 8922974
3600.04/3610.20 c conflicts 521965
3600.04/3610.20 c restarts 1066
3600.04/3610.20 c inprocessing phases 52
3600.04/3610.20 c input clauses 221
3600.04/3610.20 c input cardinalities 447
3600.04/3610.20 c input general constraints 669
3600.04/3610.20 c input average constraint length 44.48
3600.04/3610.20 c input average constraint degree 20.50
3600.04/3610.20 c learned clauses 91959
3600.04/3610.20 c learned cardinalities 871
3600.04/3610.20 c learned general constraints 429145
3600.04/3610.20 c learned average constraint length 141.55
3600.04/3610.20 c learned average constraint degree 2730328.38
3600.04/3610.20 c watched constraints 356697
3600.04/3610.20 c counting constraints 73117
3600.04/3610.20 c gcd simplifications 33854
3600.04/3610.20 c detected cardinalities 647
3600.04/3610.20 c weakened non-implied lits 6656602
3600.04/3610.20 c weakened non-implying lits 24401
3600.04/3610.20 c original variables 467
3600.04/3610.20 c clausal propagations 17414521
3600.04/3610.20 c cardinality propagations 885142
3600.04/3610.20 c watched propagations 14393502
3600.04/3610.20 c counting propagations 54450342
3600.04/3610.20 c watch lookups 69116437733
3600.04/3610.20 c watch backjump lookups 66149504809
3600.04/3610.20 c watch checks 145598644731
3600.04/3610.20 c propagation checks 13488903876
3600.04/3610.20 c constraint additions 262463201
3600.04/3610.20 c trail pops 96941993
3600.04/3610.20 c formula constraints 466
3600.04/3610.20 c learned constraints 521975
3600.04/3610.20 c bound constraints 106
3600.04/3610.20 c core-guided constraints 765
3600.04/3610.20 c encountered formula constraints 839208
3600.04/3610.20 c encountered learned constraints 4654183
3600.04/3610.20 c encountered bound constraints 63
3600.04/3610.20 c encountered core-guided constraints 1006783
3600.04/3610.20 c LP total time 0 s
3600.04/3610.20 c LP solve time 0 s
3600.04/3610.20 c LP constraints added 0
3600.04/3610.20 c LP constraints removed 0
3600.04/3610.20 c LP pivots internal 0
3600.04/3610.20 c LP pivots root 0
3600.04/3610.20 c LP calls 0
3600.04/3610.20 c LP optimalities 0
3600.04/3610.20 c LP no pivot count 0
3600.04/3610.20 c LP infeasibilities 0
3600.04/3610.20 c LP valid Farkas constraints 0
3600.04/3610.20 c LP learned Farkas constraints 0
3600.04/3610.20 c LP basis resets 0
3600.04/3610.20 c LP cycling count 0
3600.04/3610.20 c LP singular count 0
3600.04/3610.20 c LP no primal count 0
3600.04/3610.20 c LP no farkas count 0
3600.04/3610.20 c LP other issue count 0
3600.04/3610.20 c LP Gomory cuts 0
3600.04/3610.20 c LP learned cuts 0
3600.04/3610.20 c LP deleted cuts 0
3600.04/3610.20 c LP encountered Gomory constraints 0
3600.04/3610.20 c LP encountered Farkas constraints 0
3600.04/3610.20 c LP encountered learned Farkas constraints 0
3600.04/3610.20 c CG auxiliary variables introduced 313
3600.04/3610.20 c CG solutions found 3
3600.04/3610.20 c CG cores constructed 95
3600.04/3610.20 c CG core cardinality constraints returned 0
3600.04/3610.20 c CG unit cores 0
3600.04/3610.20 c CG single cores 95
3600.04/3610.20 c CG blocks removed during cardinality reduction 0
3600.04/3610.20 c CG first core best 0
3600.04/3610.20 c CG decision core best 0
3600.04/3610.20 c CG core reduction tie 0
3600.04/3610.20 c CG core degree average 1.00
3600.04/3610.20 c CG core slack average 6.00
3600.04/3610.20 c CG exhausted 0
3600.04/3610.20 c CG exhaust time 46.4849 s
3600.04/3610.20 c CG trimmed 5
3600.04/3610.20 c CG trim time 0.015209 s
3600.04/3610.20 c CG minimized 0
3600.04/3610.20 c CG minimize time 0 s
3600.04/3610.20 c CG am1 prop time 0.02313 s
3600.04/3610.20 c CG # am1s reformulated 41
3600.04/3610.20 c CG lower bound derived from am1s 41
3600.04/3610.20 c CG # clausal cores 28
3600.04/3610.20 c CG # cardinality cores 0
3600.04/3610.20 c CG # pb cores 67
3600.04/3610.20 c CG # pb reforms 0
3600.04/3610.20 c CG # cores discarded because of pb reform 0
3600.04/3610.20 d LOWERBOUND 136
3600.04/3610.20 d NCORES 95
3600.04/3610.20 d NPBCORES 67
3600.04/3610.20 d NPBREFORM 0
3600.04/3610.20 d NTRIMMED 5
3600.04/3610.20 d NEXHAUSTED 0
3600.04/3610.20 d NAM1S 41
3600.04/3610.20 d AM1LB 41
3600.04/3610.20 o 207
3600.04/3610.20 s SATISFIABLE
3600.04/3610.20 v -x1 x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 x45 x46 x47 -x48 -x49 x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 x64 x65 x66 -x67 x68 -x69 -x70 x71 -x72 x73 x74 -x75 -x76 -x77 x78 x79 -x80 x81 x82 -x83 -x84 x85 x86 x87 x88 x89 x90 -x91 -x92 x93 -x94 -x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 -x106 x107 x108 -x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 -x148 x149 -x150 x151 x152 x153 -x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 x167 -x168 -x169 x170 -x171 x172 -x173 -x174 x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 x201 -x202 x203 -x204 -x205 -x206 x207 x208 -x209 x210 x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 x220 -x221 -x222 x223 -x224 x225 x226 x227 -x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 x237 x238 -x239 x240 -x241 x242 -x243 x244 x245 x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 x282 -x283 x284 -x285 -x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 x312 x313 -x314 -x315 x316 -x317 -x318 x319 -x320 -x321 x322 x323 -x324 x325 -x326 x327 -x328 x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 x359 x360 -x361 -x362 x363 x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 x377 x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 x389 -x390 x391 x392 -x393 -x394 x395 x396 x397 x398 -x399 -x400 x401 x402 x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 x419 x420 -x421 -x422 x423 x424 -x425 x426 -x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 x445 -x446 x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 -x465 -x466 -x467
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59059 MiB free)
memory of node 1: 64510 MiB (62465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435856-1721093467/watcher-4435856-1721093467 -o /tmp/evaluation-result-4435856-1721093467/solver-4435856-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828365 --watchdog 3760 pb-oll-rs HOME/instance-4435856-1721093467.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=828417, runsolver pid=828407
[startup+0.100081 s]*
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124416664/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=41624 memory=11348 CPUtime=0.09 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 1163 0 0 0 8 1 0 0 20 0 1 0 161506945 42622976 2837 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 10406 2837 1368 291 0 1940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 11348 KiB
[startup+0.206706 s]*
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124407500/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=43776 memory=13724 CPUtime=0.2 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 1774 0 0 0 19 1 0 0 20 0 1 0 161506945 44826624 3431 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 10944 3431 1368 291 0 2478 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43776 KiB
Current children cumulated memory: 13724 KiB
[startup+0.306437 s]*
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124399152/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=48020 memory=16420 CPUtime=0.3 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 2409 0 0 0 29 1 0 0 20 0 1 0 161506945 49172480 4105 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 12005 4105 1368 291 0 3539 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48020 KiB
Current children cumulated memory: 16420 KiB
[startup+0.700207 s]
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124392488/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=49308 memory=18820 CPUtime=0.69 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 2952 0 0 0 66 3 0 0 20 0 1 0 161506945 50491392 4705 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 12327 4705 1446 291 0 3861 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49308 KiB
Current children cumulated memory: 18820 KiB
[startup+1.5002 s]
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124369408/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=57156 memory=25460 CPUtime=1.48 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 4073 0 0 0 142 6 0 0 20 0 1 0 161506945 58527744 6365 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 14289 6365 1446 291 0 5823 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 25460 KiB
[startup+3.10682 s]
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124337104/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=60216 memory=30220 CPUtime=3.09 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 4752 0 0 0 299 10 0 0 20 0 1 0 161506945 61661184 7555 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 15054 7555 1446 291 0 6588 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60216 KiB
Current children cumulated memory: 30220 KiB
[startup+6.30016 s]
/proc/loadavg: 3.11 3.89 4.13 6/261 828429
/proc/meminfo: memFree=124315320/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=72180 memory=36016 CPUtime=6.27 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 6238 0 0 0 611 16 0 0 20 0 1 0 161506945 73912320 9004 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 18045 9004 1446 291 0 9579 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72180 KiB
Current children cumulated memory: 36016 KiB
[startup+12.7002 s]
/proc/loadavg: 3.18 3.89 4.13 6/261 828429
/proc/meminfo: memFree=124282096/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=78248 memory=45356 CPUtime=12.65 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 7518 0 0 0 1234 31 0 0 20 0 1 0 161506945 80125952 11339 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 19562 11339 1446 291 0 11096 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78248 KiB
Current children cumulated memory: 45356 KiB
[startup+25.5002 s]
/proc/loadavg: 3.66 3.96 4.15 6/261 828432
/proc/meminfo: memFree=124242552/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=93752 memory=52464 CPUtime=25.42 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 8792 0 0 0 2492 50 0 0 20 0 1 0 161506945 96002048 13116 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 23438 13116 1446 291 0 14972 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 93752 KiB
Current children cumulated memory: 52464 KiB
[startup+51.1069 s]
/proc/loadavg: 4.05 4.03 4.17 6/261 828435
/proc/meminfo: memFree=124203812/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=102372 memory=66756 CPUtime=50.95 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 10315 0 0 0 5012 83 0 0 20 0 1 0 161506945 104828928 16689 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 25593 16689 1446 291 0 17127 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 102372 KiB
Current children cumulated memory: 66756 KiB
[startup+102.3 s]
/proc/loadavg: 4.53 4.18 4.21 6/260 828444
/proc/meminfo: memFree=124183132/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=107892 memory=71228 CPUtime=102.02 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 11483 0 0 0 10058 144 0 0 20 0 1 0 161506945 110481408 17807 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 26973 17807 1446 291 0 18507 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 107892 KiB
Current children cumulated memory: 71228 KiB
[startup+162.3 s]
/proc/loadavg: 4.52 4.25 4.23 6/259 828455
/proc/meminfo: memFree=124160508/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=109292 memory=72576 CPUtime=161.87 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 11920 0 0 0 15983 204 0 0 20 0 1 0 161506945 111915008 18144 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 27323 18144 1446 291 0 18857 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 109292 KiB
Current children cumulated memory: 72576 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.24 4.23 6/258 828482
/proc/meminfo: memFree=124146708/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=110380 memory=73644 CPUtime=221.71 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 12240 0 0 0 21914 257 0 0 20 0 1 0 161506945 113029120 18411 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 27595 18411 1446 291 0 19129 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 110380 KiB
Current children cumulated memory: 73644 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.23 4.23 6/255 828492
/proc/meminfo: memFree=124122532/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=111020 memory=74220 CPUtime=281.56 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 12426 0 0 0 27858 298 0 0 20 0 1 0 161506945 113684480 18555 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 27755 18555 1446 291 0 19289 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 111020 KiB
Current children cumulated memory: 74220 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.22 6/254 828502
/proc/meminfo: memFree=124096604/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=111996 memory=75168 CPUtime=341.4 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 12782 0 0 0 33798 342 0 0 20 0 1 0 161506945 114683904 18792 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 27999 18792 1446 291 0 19533 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 111996 KiB
Current children cumulated memory: 75168 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.18 4.20 6/254 828513
/proc/meminfo: memFree=124082124/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=113088 memory=76288 CPUtime=401.24 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 13171 0 0 0 39743 381 0 0 20 0 1 0 161506945 115802112 19072 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 28272 19072 1446 291 0 19806 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 113088 KiB
Current children cumulated memory: 76288 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.19 4.20 6/254 828523
/proc/meminfo: memFree=124074576/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=113348 memory=79968 CPUtime=461.07 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 13342 0 0 0 45688 419 0 0 20 0 1 0 161506945 116068352 19992 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
################
# More data... #
################
Current children cumulated memory: 179956 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.26 4.20 6/255 829535
/proc/meminfo: memFree=123754380/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=220092 memory=179960 CPUtime=2854.27 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 27992 0 0 0 284361 1066 0 0 20 0 1 0 161506945 225374208 44990 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 55023 44990 1446 291 0 46557 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179960 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.23 4.19 6/255 829546
/proc/meminfo: memFree=123753028/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=220092 memory=179964 CPUtime=2914.1 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 28071 0 0 0 290333 1077 0 0 20 0 1 0 161506945 225374208 44991 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 55023 44991 1446 291 0 46557 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.20 4.18 6/257 829561
/proc/meminfo: memFree=123745508/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=220092 memory=179996 CPUtime=2973.92 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 28157 0 0 0 296306 1086 0 0 20 0 1 0 161506945 225374208 44999 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 55023 44999 1446 291 0 46557 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179996 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.19 4.18 6/257 829571
/proc/meminfo: memFree=123739300/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=220092 memory=180092 CPUtime=3033.75 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 28264 0 0 0 302277 1098 0 0 20 0 1 0 161506945 225374208 45023 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 55023 45023 1446 291 0 46557 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 180092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.15 4.17 6/257 829581
/proc/meminfo: memFree=123732204/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=224012 memory=181032 CPUtime=3093.57 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 29158 0 0 0 308248 1109 0 0 20 0 1 0 161506945 229388288 45258 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 56003 45258 1446 291 0 47537 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 224012 KiB
Current children cumulated memory: 181032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/256 829592
/proc/meminfo: memFree=123724668/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=226532 memory=181176 CPUtime=3153.41 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 29928 0 0 0 314223 1118 0 0 20 0 1 0 161506945 231968768 45294 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 56633 45294 1446 291 0 48167 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 226532 KiB
Current children cumulated memory: 181176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 6/256 829603
/proc/meminfo: memFree=123722312/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=229324 memory=182044 CPUtime=3213.23 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 30617 0 0 0 320196 1127 0 0 20 0 1 0 161506945 234827776 45511 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 57331 45511 1446 291 0 48865 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 229324 KiB
Current children cumulated memory: 182044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.15 6/254 829996
/proc/meminfo: memFree=123717852/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=231100 memory=184744 CPUtime=3273.07 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 31121 0 0 0 326169 1138 0 0 20 0 1 0 161506945 236646400 46186 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 57775 46186 1446 291 0 49309 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 231100 KiB
Current children cumulated memory: 184744 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/255 830007
/proc/meminfo: memFree=123713364/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=233136 memory=187644 CPUtime=3332.9 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 31627 0 0 0 332144 1146 0 0 20 0 1 0 161506945 238731264 46911 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 58284 46911 1446 291 0 49818 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 233136 KiB
Current children cumulated memory: 187644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/255 830018
/proc/meminfo: memFree=123708520/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=234904 memory=190208 CPUtime=3392.72 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 32209 0 0 0 338117 1155 0 0 20 0 1 0 161506945 240541696 47552 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 58726 47552 1446 291 0 50260 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 234904 KiB
Current children cumulated memory: 190208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 6/257 830199
/proc/meminfo: memFree=123704092/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=237188 memory=193088 CPUtime=3452.55 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 32822 0 0 0 344092 1163 0 0 20 0 1 0 161506945 242880512 48272 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 59297 48272 1446 291 0 50831 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 237188 KiB
Current children cumulated memory: 193088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.13 6/257 830209
/proc/meminfo: memFree=123691620/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=239012 memory=204384 CPUtime=3512.39 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 33322 0 0 0 350067 1172 0 0 20 0 1 0 161506945 244748288 51096 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 59753 51096 1446 291 0 51287 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 204384 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.13 6/260 830279
/proc/meminfo: memFree=123685704/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=239268 memory=209524 CPUtime=3572.22 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 33466 0 0 0 356040 1182 0 0 20 0 1 0 161506945 245010432 52381 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 59817 52381 1446 291 0 51351 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 239268 KiB
Current children cumulated memory: 209524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.10 4.13 6/260 830331
/proc/meminfo: memFree=123820464/131524600 swapFree=131071996/131071996
[pid=828417] ppid=828407 vsize=290124 memory=210244 CPUtime=3600.04 cores=1,3
/proc/828417/stat : 828417 (pb-oll-rs) R 828407 828417 828353 0 -1 4194304 33670 0 0 0 358817 1187 0 0 20 0 1 0 161506945 297086976 52561 134679101440 4194304 5384005 140724343279296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 11063296 140724343280663 140724343280740 140724343280740 140724343287755 0
/proc/828417/statm: 72531 52561 1446 291 0 64065 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 290124 KiB
Current children cumulated memory: 210244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 828417 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.18 s, system=11.8758 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.21
CPU time (s): 3600.05
CPU user time (s): 3588.18
CPU system time (s): 11.8758
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 290124
Max. memory (cumulated for all children) (KiB): 210244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.18
system time used= 11.8758
maximum resident set size= 210416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33685
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= 73
involuntary context switches= 2813
# summary of solver processes directly reported to runsolver:
# pid: 828417
# total CPU time (s): 3600.05
# total CPU user time (s): 3588.18
# total CPU system time (s): 11.8758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36426 second user time and 20.9677 second system time
The end
Begin job on nodeC015 at 2024-07-16 03:31:19
IDJOB=4435856
IDBENCH=147542
IDSOLVER=3067
FILE ID=nodeC015/4435856-1721093467
RUNJOBID= nodeC015-1721093479-828365
SLURM_JOB_ID= 7505595
Free space on /tmp= 890084 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435856-1721093467/watcher-4435856-1721093467 -o /tmp/evaluation-result-4435856-1721093467/solver-4435856-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828365 --watchdog 3760 pb-oll-rs HOME/instance-4435856-1721093467.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=540962907
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3185.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3398.785
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3494.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3755.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3671.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3792.986
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3615.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3654.212
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124443232 kB
MemAvailable: 129703292 kB
Buffers: 376212 kB
Cached: 5712888 kB
SwapCached: 0 kB
Active: 1203684 kB
Inactive: 5266108 kB
Active(anon): 1492 kB
Inactive(anon): 417292 kB
Active(file): 1202192 kB
Inactive(file): 4848816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8076 kB
Writeback: 0 kB
AnonPages: 379368 kB
Mapped: 103848 kB
Shmem: 37720 kB
KReclaimable: 97396 kB
Slab: 204412 kB
SReclaimable: 97396 kB
SUnreclaim: 107016 kB
KernelStack: 3856 kB
PageTables: 9928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 836668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 228052 kB
DirectMap2M: 33099776 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC015 at 2024-07-16 04:31:30