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.01 c [STEP] solving
0.00/0.01 c #variables 467 #constraints 466
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.006379
0.00/0.01 c stratification level: 0
0.00/0.04 c bounds - >= 42 @ 0.006856
0.00/0.04 c bounds - >= 43 @ 0.006865
0.00/0.04 c bounds - >= 44 @ 0.006865
0.00/0.04 c bounds - >= 45 @ 0.006865
0.00/0.04 c bounds - >= 46 @ 0.006938
0.00/0.04 c bounds - >= 47 @ 0.007203
0.00/0.04 c bounds - >= 48 @ 0.007482
0.00/0.04 c bounds - >= 49 @ 0.00777
0.00/0.04 c bounds - >= 50 @ 0.00786
0.00/0.04 c bounds - >= 51 @ 0.00786
0.00/0.04 c bounds - >= 52 @ 0.00786
0.00/0.04 c bounds - >= 53 @ 0.007869
0.00/0.04 c bounds - >= 54 @ 0.007869
0.00/0.04 c bounds - >= 55 @ 0.007869
0.00/0.04 c bounds - >= 56 @ 0.007946
0.00/0.04 c bounds - >= 57 @ 0.008261
0.00/0.04 c bounds - >= 58 @ 0.008593
0.00/0.04 c bounds - >= 59 @ 0.008912
0.00/0.04 c bounds - >= 60 @ 0.009224
0.00/0.04 c bounds - >= 61 @ 0.009547
0.00/0.04 c bounds - >= 62 @ 0.009842
0.00/0.04 c bounds - >= 63 @ 0.010193
0.00/0.04 c bounds - >= 64 @ 0.010521
0.00/0.04 c bounds - >= 65 @ 0.010835
0.00/0.04 c bounds - >= 66 @ 0.011157
0.00/0.04 c bounds - >= 67 @ 0.011494
0.00/0.04 c bounds - >= 68 @ 0.011821
0.00/0.04 c bounds - >= 69 @ 0.012191
0.00/0.04 c bounds - >= 70 @ 0.012534
0.00/0.04 c bounds - >= 71 @ 0.01281
0.00/0.04 c bounds - >= 72 @ 0.01281
0.00/0.04 c bounds - >= 73 @ 0.01281
0.00/0.04 c bounds - >= 74 @ 0.012817
0.00/0.04 c bounds - >= 75 @ 0.012817
0.00/0.04 c bounds - >= 76 @ 0.012817
0.00/0.04 c bounds - >= 77 @ 0.012824
0.00/0.04 c bounds - >= 78 @ 0.012824
0.00/0.04 c bounds - >= 79 @ 0.012898
0.00/0.04 c bounds - >= 80 @ 0.013276
0.00/0.04 c bounds - >= 81 @ 0.013645
0.00/0.04 c bounds - >= 82 @ 0.014016
0.00/0.04 c bounds - >= 83 @ 0.01438
0.00/0.04 c bounds - >= 84 @ 0.014774
0.00/0.04 c bounds - >= 85 @ 0.014806
0.00/0.04 c bounds - >= 86 @ 0.014806
0.00/0.04 c bounds - >= 87 @ 0.014813
0.00/0.04 c bounds - >= 88 @ 0.014813
0.00/0.04 c bounds - >= 89 @ 0.014813
0.00/0.04 c bounds - >= 90 @ 0.01517
0.00/0.04 c bounds - >= 91 @ 0.015572
0.00/0.04 c bounds - >= 92 @ 0.015809
0.00/0.04 c bounds - >= 93 @ 0.015809
0.00/0.04 c bounds - >= 94 @ 0.015809
0.00/0.04 c bounds - >= 95 @ 0.015815
0.00/0.04 c bounds - >= 96 @ 0.015815
0.00/0.04 c bounds - >= 97 @ 0.015819
0.00/0.04 c bounds - >= 98 @ 0.015819
0.00/0.04 c bounds - >= 99 @ 0.015819
0.00/0.04 c bounds - >= 100 @ 0.016208
0.00/0.04 c bounds - >= 101 @ 0.016612
0.00/0.04 c bounds - >= 102 @ 0.016814
0.00/0.04 c bounds - >= 103 @ 0.016814
0.00/0.04 c bounds - >= 104 @ 0.016884
0.00/0.04 c bounds - >= 105 @ 0.017284
0.00/0.04 c bounds - >= 106 @ 0.017696
0.00/0.04 c bounds - >= 107 @ 0.018053
0.00/0.04 c bounds - >= 108 @ 0.018457
0.00/0.04 c bounds - >= 109 @ 0.018833
0.00/0.04 c bounds - >= 110 @ 0.019232
0.00/0.04 c bounds - >= 111 @ 0.019688
0.00/0.04 c bounds - >= 112 @ 0.019789
0.00/0.04 c bounds - >= 113 @ 0.019789
0.00/0.04 c bounds - >= 114 @ 0.019793
0.00/0.04 c bounds - >= 115 @ 0.019793
0.00/0.04 c bounds - >= 116 @ 0.019868
0.00/0.04 c bounds - >= 117 @ 0.020316
0.00/0.04 c bounds - >= 118 @ 0.020841
0.00/0.04 c bounds - >= 119 @ 0.021386
0.00/0.04 c finalizing WCE round: reformulating cores
39.87/40.11 c #Conflicts: 1000 | #Constraints: 1616
39.87/40.11 c #Conflicts: 2000 | #Constraints: 2620
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 3000 | #Constraints: 2547
39.87/40.11 c #Conflicts: 4000 | #Constraints: 3549
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 5000 | #Constraints: 2953
39.87/40.11 c #Conflicts: 6000 | #Constraints: 3955
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 7000 | #Constraints: 2960
39.87/40.11 c #Conflicts: 8000 | #Constraints: 3962
39.87/40.11 c #Conflicts: 9000 | #Constraints: 4966
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 10000 | #Constraints: 3665
39.87/40.11 c #Conflicts: 11000 | #Constraints: 4667
39.87/40.11 c #Conflicts: 12000 | #Constraints: 5669
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 13000 | #Constraints: 4122
39.87/40.11 c #Conflicts: 14000 | #Constraints: 5124
39.87/40.11 c #Conflicts: 15000 | #Constraints: 6126
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 16000 | #Constraints: 4358
39.87/40.11 c #Conflicts: 17000 | #Constraints: 5360
39.87/40.11 c #Conflicts: 18000 | #Constraints: 6362
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 19000 | #Constraints: 4376
39.87/40.11 c #Conflicts: 20000 | #Constraints: 5378
39.87/40.11 c #Conflicts: 21000 | #Constraints: 6380
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 22000 | #Constraints: 4188
39.87/40.11 c #Conflicts: 23000 | #Constraints: 5190
39.87/40.11 c #Conflicts: 24000 | #Constraints: 6194
39.87/40.11 c #Conflicts: 25000 | #Constraints: 7196
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 26000 | #Constraints: 4809
39.87/40.11 c #Conflicts: 27000 | #Constraints: 5811
39.87/40.11 c #Conflicts: 28000 | #Constraints: 6813
39.87/40.11 c #Conflicts: 29000 | #Constraints: 7817
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 30000 | #Constraints: 5220
39.87/40.11 c #Conflicts: 31000 | #Constraints: 6222
39.87/40.11 c #Conflicts: 32000 | #Constraints: 7224
39.87/40.11 c #Conflicts: 33000 | #Constraints: 8228
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 34000 | #Constraints: 5430
39.87/40.11 c #Conflicts: 35000 | #Constraints: 6432
39.87/40.11 c #Conflicts: 36000 | #Constraints: 7434
39.87/40.11 c #Conflicts: 37000 | #Constraints: 8438
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 38000 | #Constraints: 5444
39.87/40.11 c #Conflicts: 39000 | #Constraints: 6446
39.87/40.11 c #Conflicts: 40000 | #Constraints: 7448
39.87/40.11 c #Conflicts: 41000 | #Constraints: 8452
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 42000 | #Constraints: 5251
39.87/40.11 c #Conflicts: 43000 | #Constraints: 6253
39.87/40.11 c #Conflicts: 44000 | #Constraints: 7257
39.87/40.11 c #Conflicts: 45000 | #Constraints: 8259
39.87/40.11 c #Conflicts: 46000 | #Constraints: 9261
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 47000 | #Constraints: 5866
39.87/40.11 c #Conflicts: 48000 | #Constraints: 6868
39.87/40.11 c #Conflicts: 49000 | #Constraints: 7870
39.87/40.11 c #Conflicts: 50000 | #Constraints: 8874
39.87/40.11 c #Conflicts: 51000 | #Constraints: 9876
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 52000 | #Constraints: 6279
39.87/40.11 c #Conflicts: 53000 | #Constraints: 7281
39.87/40.11 c #Conflicts: 54000 | #Constraints: 8283
39.87/40.11 c #Conflicts: 55000 | #Constraints: 9287
39.87/40.11 c #Conflicts: 56000 | #Constraints: 10289
39.87/40.11 c INPROCESSING
39.87/40.11 c GARBAGE COLLECT
39.87/40.11 c #Conflicts: 57000 | #Constraints: 6496
39.87/40.11 c #Conflicts: 58000 | #Constraints: 7498
39.87/40.11 c bounds 209 >= 119 @ 38.7475
39.87/40.11 c bounds 209 >= 120 @ 38.7584
39.87/40.11 c bounds 209 >= 121 @ 38.7623
39.87/40.11 c bounds 209 >= 122 @ 38.7651
39.87/40.11 c bounds 209 >= 123 @ 38.7693
39.87/40.11 c bounds 209 >= 124 @ 38.7699
39.87/40.11 c bounds 209 >= 125 @ 38.7717
39.87/40.11 c bounds 209 >= 126 @ 38.7745
39.87/40.11 c bounds 209 >= 127 @ 38.7786
39.87/40.11 c bounds 209 >= 128 @ 38.7844
39.87/40.11 c bounds 209 >= 129 @ 38.8256
39.87/40.11 c finalizing WCE round: reformulating cores
52.31/52.52 c #Conflicts: 59000 | #Constraints: 8646
52.31/52.52 c #Conflicts: 60000 | #Constraints: 9650
52.31/52.52 c #Conflicts: 61000 | #Constraints: 10652
52.31/52.52 c INPROCESSING
52.31/52.52 c GARBAGE COLLECT
52.31/52.52 c #Conflicts: 62000 | #Constraints: 6622
52.31/52.52 c #Conflicts: 63000 | #Constraints: 7624
52.31/52.52 c #Conflicts: 64000 | #Constraints: 8626
52.31/52.52 c #Conflicts: 65000 | #Constraints: 9630
52.31/52.52 c #Conflicts: 66000 | #Constraints: 10632
52.31/52.52 c bounds 208 >= 129 @ 47.2565
52.31/52.52 c bounds 208 >= 130 @ 47.28
52.31/52.52 c bounds 208 >= 131 @ 47.3326
52.31/52.52 c bounds 208 >= 132 @ 47.5591
52.31/52.52 c INPROCESSING
52.31/52.52 c GARBAGE COLLECT
52.31/52.52 c #Conflicts: 67000 | #Constraints: 6528
52.31/52.52 c #Conflicts: 68000 | #Constraints: 7528
52.31/52.52 c bounds 208 >= 133 @ 51.1105
52.31/52.52 c finalizing WCE round: reformulating cores
150.65/151.16 c #Conflicts: 69000 | #Constraints: 8658
150.65/151.16 c #Conflicts: 70000 | #Constraints: 9660
150.65/151.16 c #Conflicts: 71000 | #Constraints: 10664
150.65/151.16 c bounds 207 >= 133 @ 55.4286
150.65/151.16 c bounds 207 >= 134 @ 55.6269
150.65/151.16 c #Conflicts: 72000 | #Constraints: 11695
150.65/151.16 c bounds 207 >= 135 @ 56.4971
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 73000 | #Constraints: 7270
150.65/151.16 c #Conflicts: 74000 | #Constraints: 8270
150.65/151.16 c #Conflicts: 75000 | #Constraints: 9270
150.65/151.16 c #Conflicts: 76000 | #Constraints: 10270
150.65/151.16 c #Conflicts: 77000 | #Constraints: 11270
150.65/151.16 c #Conflicts: 78000 | #Constraints: 12270
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 79000 | #Constraints: 7660
150.65/151.16 c #Conflicts: 80000 | #Constraints: 8660
150.65/151.16 c #Conflicts: 81000 | #Constraints: 9660
150.65/151.16 c #Conflicts: 82000 | #Constraints: 10660
150.65/151.16 c #Conflicts: 83000 | #Constraints: 11660
150.65/151.16 c #Conflicts: 84000 | #Constraints: 12660
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 85000 | #Constraints: 7863
150.65/151.16 c #Conflicts: 86000 | #Constraints: 8863
150.65/151.16 c #Conflicts: 87000 | #Constraints: 9863
150.65/151.16 c #Conflicts: 88000 | #Constraints: 10863
150.65/151.16 c #Conflicts: 89000 | #Constraints: 11863
150.65/151.16 c #Conflicts: 90000 | #Constraints: 12863
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 91000 | #Constraints: 7857
150.65/151.16 c #Conflicts: 92000 | #Constraints: 8857
150.65/151.16 c #Conflicts: 93000 | #Constraints: 9857
150.65/151.16 c #Conflicts: 94000 | #Constraints: 10857
150.65/151.16 c #Conflicts: 95000 | #Constraints: 11857
150.65/151.16 c #Conflicts: 96000 | #Constraints: 12857
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 97000 | #Constraints: 7671
150.65/151.16 c #Conflicts: 98000 | #Constraints: 8671
150.65/151.16 c #Conflicts: 99000 | #Constraints: 9671
150.65/151.16 c #Conflicts: 100000 | #Constraints: 10671
150.65/151.16 c #Conflicts: 101000 | #Constraints: 11671
150.65/151.16 c #Conflicts: 102000 | #Constraints: 12671
150.65/151.16 c #Conflicts: 103000 | #Constraints: 13671
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 104000 | #Constraints: 8271
150.65/151.16 c #Conflicts: 105000 | #Constraints: 9271
150.65/151.16 c #Conflicts: 106000 | #Constraints: 10271
150.65/151.16 c #Conflicts: 107000 | #Constraints: 11271
150.65/151.16 c #Conflicts: 108000 | #Constraints: 12271
150.65/151.16 c #Conflicts: 109000 | #Constraints: 13271
150.65/151.16 c #Conflicts: 110000 | #Constraints: 14271
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 111000 | #Constraints: 8658
150.65/151.16 c #Conflicts: 112000 | #Constraints: 9658
150.65/151.16 c #Conflicts: 113000 | #Constraints: 10658
150.65/151.16 c #Conflicts: 114000 | #Constraints: 11658
150.65/151.16 c #Conflicts: 115000 | #Constraints: 12658
150.65/151.16 c #Conflicts: 116000 | #Constraints: 13658
150.65/151.16 c #Conflicts: 117000 | #Constraints: 14658
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 118000 | #Constraints: 8865
150.65/151.16 c #Conflicts: 119000 | #Constraints: 9865
150.65/151.16 c #Conflicts: 120000 | #Constraints: 10865
150.65/151.16 c #Conflicts: 121000 | #Constraints: 11865
150.65/151.16 c #Conflicts: 122000 | #Constraints: 12865
150.65/151.16 c #Conflicts: 123000 | #Constraints: 13865
150.65/151.16 c #Conflicts: 124000 | #Constraints: 14865
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 125000 | #Constraints: 8880
150.65/151.16 c #Conflicts: 126000 | #Constraints: 9880
150.65/151.16 c #Conflicts: 127000 | #Constraints: 10880
150.65/151.16 c #Conflicts: 128000 | #Constraints: 11880
150.65/151.16 c #Conflicts: 129000 | #Constraints: 12880
150.65/151.16 c #Conflicts: 130000 | #Constraints: 13880
150.65/151.16 c #Conflicts: 131000 | #Constraints: 14880
150.65/151.16 c INPROCESSING
150.65/151.16 c GARBAGE COLLECT
150.65/151.16 c #Conflicts: 132000 | #Constraints: 8687
150.65/151.16 c #Conflicts: 133000 | #Constraints: 9687
150.65/151.16 c #Conflicts: 134000 | #Constraints: 10687
150.65/151.16 c #Conflicts: 135000 | #Constraints: 11687
150.65/151.16 c #Conflicts: 136000 | #Constraints: 12687
150.65/151.16 c #Conflicts: 137000 | #Constraints: 13687
150.65/151.16 c #Conflicts: 138000 | #Constraints: 14687
150.65/151.16 c #Conflicts: 139000 | #Constraints: 15687
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 140000 | #Constraints: 9292
281.63/282.47 c #Conflicts: 141000 | #Constraints: 10292
281.63/282.47 c #Conflicts: 142000 | #Constraints: 11292
281.63/282.47 c #Conflicts: 143000 | #Constraints: 12292
281.63/282.47 c #Conflicts: 144000 | #Constraints: 13292
281.63/282.47 c #Conflicts: 145000 | #Constraints: 14292
281.63/282.47 c #Conflicts: 146000 | #Constraints: 15292
281.63/282.47 c #Conflicts: 147000 | #Constraints: 16292
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 148000 | #Constraints: 9695
281.63/282.47 c #Conflicts: 149000 | #Constraints: 10695
281.63/282.47 c #Conflicts: 150000 | #Constraints: 11695
281.63/282.47 c #Conflicts: 151000 | #Constraints: 12695
281.63/282.47 c #Conflicts: 152000 | #Constraints: 13695
281.63/282.47 c #Conflicts: 153000 | #Constraints: 14695
281.63/282.47 c #Conflicts: 154000 | #Constraints: 15695
281.63/282.47 c #Conflicts: 155000 | #Constraints: 16695
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 156000 | #Constraints: 9890
281.63/282.47 c #Conflicts: 157000 | #Constraints: 10890
281.63/282.47 c #Conflicts: 158000 | #Constraints: 11890
281.63/282.47 c #Conflicts: 159000 | #Constraints: 12890
281.63/282.47 c #Conflicts: 160000 | #Constraints: 13890
281.63/282.47 c #Conflicts: 161000 | #Constraints: 14890
281.63/282.47 c #Conflicts: 162000 | #Constraints: 15890
281.63/282.47 c #Conflicts: 163000 | #Constraints: 16890
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 164000 | #Constraints: 9886
281.63/282.47 c #Conflicts: 165000 | #Constraints: 10886
281.63/282.47 c #Conflicts: 166000 | #Constraints: 11886
281.63/282.47 c #Conflicts: 167000 | #Constraints: 12886
281.63/282.47 c #Conflicts: 168000 | #Constraints: 13886
281.63/282.47 c #Conflicts: 169000 | #Constraints: 14886
281.63/282.47 c #Conflicts: 170000 | #Constraints: 15886
281.63/282.47 c #Conflicts: 171000 | #Constraints: 16886
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 172000 | #Constraints: 9691
281.63/282.47 c #Conflicts: 173000 | #Constraints: 10691
281.63/282.47 c #Conflicts: 174000 | #Constraints: 11691
281.63/282.47 c #Conflicts: 175000 | #Constraints: 12691
281.63/282.47 c #Conflicts: 176000 | #Constraints: 13691
281.63/282.47 c #Conflicts: 177000 | #Constraints: 14691
281.63/282.47 c #Conflicts: 178000 | #Constraints: 15691
281.63/282.47 c #Conflicts: 179000 | #Constraints: 16691
281.63/282.47 c #Conflicts: 180000 | #Constraints: 17691
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 181000 | #Constraints: 10278
281.63/282.47 c #Conflicts: 182000 | #Constraints: 11278
281.63/282.47 c #Conflicts: 183000 | #Constraints: 12278
281.63/282.47 c #Conflicts: 184000 | #Constraints: 13278
281.63/282.47 c #Conflicts: 185000 | #Constraints: 14278
281.63/282.47 c #Conflicts: 186000 | #Constraints: 15278
281.63/282.47 c #Conflicts: 187000 | #Constraints: 16278
281.63/282.47 c #Conflicts: 188000 | #Constraints: 17278
281.63/282.47 c #Conflicts: 189000 | #Constraints: 18278
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 190000 | #Constraints: 10694
281.63/282.47 c #Conflicts: 191000 | #Constraints: 11694
281.63/282.47 c #Conflicts: 192000 | #Constraints: 12694
281.63/282.47 c #Conflicts: 193000 | #Constraints: 13694
281.63/282.47 c #Conflicts: 194000 | #Constraints: 14694
281.63/282.47 c #Conflicts: 195000 | #Constraints: 15694
281.63/282.47 c #Conflicts: 196000 | #Constraints: 16694
281.63/282.47 c #Conflicts: 197000 | #Constraints: 17694
281.63/282.47 c #Conflicts: 198000 | #Constraints: 18694
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 199000 | #Constraints: 10891
281.63/282.47 c #Conflicts: 200000 | #Constraints: 11891
281.63/282.47 c #Conflicts: 201000 | #Constraints: 12891
281.63/282.47 c #Conflicts: 202000 | #Constraints: 13891
281.63/282.47 c #Conflicts: 203000 | #Constraints: 14891
281.63/282.47 c #Conflicts: 204000 | #Constraints: 15891
281.63/282.47 c #Conflicts: 205000 | #Constraints: 16891
281.63/282.47 c #Conflicts: 206000 | #Constraints: 17891
281.63/282.47 c #Conflicts: 207000 | #Constraints: 18891
281.63/282.47 c INPROCESSING
281.63/282.47 c GARBAGE COLLECT
281.63/282.47 c #Conflicts: 208000 | #Constraints: 10898
281.63/282.47 c #Conflicts: 209000 | #Constraints: 11898
281.63/282.47 c #Conflicts: 210000 | #Constraints: 12898
281.63/282.47 c #Conflicts: 211000 | #Constraints: 13898
281.63/282.47 c #Conflicts: 212000 | #Constraints: 14898
457.28/458.58 c #Conflicts: 213000 | #Constraints: 15898
457.28/458.58 c #Conflicts: 214000 | #Constraints: 16898
457.28/458.58 c #Conflicts: 215000 | #Constraints: 17898
457.28/458.58 c #Conflicts: 216000 | #Constraints: 18898
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 217000 | #Constraints: 10679
457.28/458.58 c #Conflicts: 218000 | #Constraints: 11679
457.28/458.58 c #Conflicts: 219000 | #Constraints: 12679
457.28/458.58 c #Conflicts: 220000 | #Constraints: 13679
457.28/458.58 c #Conflicts: 221000 | #Constraints: 14679
457.28/458.58 c #Conflicts: 222000 | #Constraints: 15679
457.28/458.58 c #Conflicts: 223000 | #Constraints: 16679
457.28/458.58 c #Conflicts: 224000 | #Constraints: 17679
457.28/458.58 c #Conflicts: 225000 | #Constraints: 18679
457.28/458.58 c #Conflicts: 226000 | #Constraints: 19679
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 227000 | #Constraints: 11286
457.28/458.58 c #Conflicts: 228000 | #Constraints: 12286
457.28/458.58 c #Conflicts: 229000 | #Constraints: 13286
457.28/458.58 c #Conflicts: 230000 | #Constraints: 14286
457.28/458.58 c #Conflicts: 231000 | #Constraints: 15286
457.28/458.58 c #Conflicts: 232000 | #Constraints: 16286
457.28/458.58 c #Conflicts: 233000 | #Constraints: 17286
457.28/458.58 c #Conflicts: 234000 | #Constraints: 18286
457.28/458.58 c #Conflicts: 235000 | #Constraints: 19286
457.28/458.58 c #Conflicts: 236000 | #Constraints: 20286
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 237000 | #Constraints: 11692
457.28/458.58 c #Conflicts: 238000 | #Constraints: 12692
457.28/458.58 c #Conflicts: 239000 | #Constraints: 13692
457.28/458.58 c #Conflicts: 240000 | #Constraints: 14692
457.28/458.58 c #Conflicts: 241000 | #Constraints: 15692
457.28/458.58 c #Conflicts: 242000 | #Constraints: 16692
457.28/458.58 c #Conflicts: 243000 | #Constraints: 17692
457.28/458.58 c #Conflicts: 244000 | #Constraints: 18692
457.28/458.58 c #Conflicts: 245000 | #Constraints: 19692
457.28/458.58 c #Conflicts: 246000 | #Constraints: 20692
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 247000 | #Constraints: 11886
457.28/458.58 c #Conflicts: 248000 | #Constraints: 12886
457.28/458.58 c #Conflicts: 249000 | #Constraints: 13886
457.28/458.58 c #Conflicts: 250000 | #Constraints: 14886
457.28/458.58 c #Conflicts: 251000 | #Constraints: 15886
457.28/458.58 c #Conflicts: 252000 | #Constraints: 16886
457.28/458.58 c #Conflicts: 253000 | #Constraints: 17886
457.28/458.58 c #Conflicts: 254000 | #Constraints: 18886
457.28/458.58 c #Conflicts: 255000 | #Constraints: 19886
457.28/458.58 c #Conflicts: 256000 | #Constraints: 20886
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 257000 | #Constraints: 11896
457.28/458.58 c #Conflicts: 258000 | #Constraints: 12896
457.28/458.58 c #Conflicts: 259000 | #Constraints: 13896
457.28/458.58 c #Conflicts: 260000 | #Constraints: 14896
457.28/458.58 c #Conflicts: 261000 | #Constraints: 15896
457.28/458.58 c #Conflicts: 262000 | #Constraints: 16896
457.28/458.58 c #Conflicts: 263000 | #Constraints: 17896
457.28/458.58 c #Conflicts: 264000 | #Constraints: 18896
457.28/458.58 c #Conflicts: 265000 | #Constraints: 19896
457.28/458.58 c #Conflicts: 266000 | #Constraints: 20896
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 267000 | #Constraints: 11693
457.28/458.58 c #Conflicts: 268000 | #Constraints: 12693
457.28/458.58 c #Conflicts: 269000 | #Constraints: 13693
457.28/458.58 c #Conflicts: 270000 | #Constraints: 14693
457.28/458.58 c #Conflicts: 271000 | #Constraints: 15693
457.28/458.58 c #Conflicts: 272000 | #Constraints: 16693
457.28/458.58 c #Conflicts: 273000 | #Constraints: 17693
457.28/458.58 c #Conflicts: 274000 | #Constraints: 18693
457.28/458.58 c #Conflicts: 275000 | #Constraints: 19693
457.28/458.58 c #Conflicts: 276000 | #Constraints: 20693
457.28/458.58 c #Conflicts: 277000 | #Constraints: 21693
457.28/458.58 c INPROCESSING
457.28/458.58 c GARBAGE COLLECT
457.28/458.58 c #Conflicts: 278000 | #Constraints: 12290
457.28/458.58 c #Conflicts: 279000 | #Constraints: 13290
457.28/458.58 c #Conflicts: 280000 | #Constraints: 14290
457.28/458.58 c #Conflicts: 281000 | #Constraints: 15290
457.28/458.58 c #Conflicts: 282000 | #Constraints: 16290
457.28/458.58 c #Conflicts: 283000 | #Constraints: 17290
457.28/458.58 c #Conflicts: 284000 | #Constraints: 18290
457.28/458.58 c #Conflicts: 285000 | #Constraints: 19290
457.28/458.58 c #Conflicts: 286000 | #Constraints: 20290
457.28/458.58 c #Conflicts: 287000 | #Constraints: 21290
799.93/802.10 c #Conflicts: 288000 | #Constraints: 22290
799.93/802.10 c INPROCESSING
799.93/802.10 c GARBAGE COLLECT
799.93/802.10 c #Conflicts: 289000 | #Constraints: 12705
799.93/802.10 c #Conflicts: 290000 | #Constraints: 13705
799.93/802.10 c #Conflicts: 291000 | #Constraints: 14705
799.93/802.10 c #Conflicts: 292000 | #Constraints: 15705
799.93/802.10 c #Conflicts: 293000 | #Constraints: 16705
799.93/802.10 c #Conflicts: 294000 | #Constraints: 17705
799.93/802.10 c #Conflicts: 295000 | #Constraints: 18705
799.93/802.10 c #Conflicts: 296000 | #Constraints: 19705
799.93/802.10 c #Conflicts: 297000 | #Constraints: 20705
799.93/802.10 c #Conflicts: 298000 | #Constraints: 21705
799.93/802.10 c #Conflicts: 299000 | #Constraints: 22705
799.93/802.10 c INPROCESSING
799.93/802.10 c GARBAGE COLLECT
799.93/802.10 c #Conflicts: 300000 | #Constraints: 12909
799.93/802.10 c #Conflicts: 301000 | #Constraints: 13909
799.93/802.10 c #Conflicts: 302000 | #Constraints: 14909
799.93/802.10 c #Conflicts: 303000 | #Constraints: 15909
799.93/802.10 c #Conflicts: 304000 | #Constraints: 16909
799.93/802.10 c #Conflicts: 305000 | #Constraints: 17909
799.93/802.11 c #Conflicts: 306000 | #Constraints: 18909
799.93/802.11 c #Conflicts: 307000 | #Constraints: 19909
799.93/802.11 c #Conflicts: 308000 | #Constraints: 20909
799.93/802.11 c #Conflicts: 309000 | #Constraints: 21909
799.93/802.11 c #Conflicts: 310000 | #Constraints: 22909
799.93/802.11 c INPROCESSING
799.93/802.11 c GARBAGE COLLECT
799.93/802.11 c #Conflicts: 311000 | #Constraints: 12913
799.93/802.11 c #Conflicts: 312000 | #Constraints: 13913
799.93/802.11 c #Conflicts: 313000 | #Constraints: 14913
799.93/802.11 c #Conflicts: 314000 | #Constraints: 15913
799.93/802.11 c #Conflicts: 315000 | #Constraints: 16913
799.93/802.11 c #Conflicts: 316000 | #Constraints: 17913
799.93/802.11 c bounds 207 >= 136 @ 530.736
799.93/802.11 c #Conflicts: 317000 | #Constraints: 19001
799.93/802.11 c #Conflicts: 318000 | #Constraints: 20001
799.93/802.11 c #Conflicts: 319000 | #Constraints: 21001
799.93/802.11 c #Conflicts: 320000 | #Constraints: 22001
799.93/802.11 c #Conflicts: 321000 | #Constraints: 23001
799.93/802.11 c INPROCESSING
799.93/802.11 c GARBAGE COLLECT
799.93/802.11 c #Conflicts: 322000 | #Constraints: 12760
799.93/802.11 c #Conflicts: 323000 | #Constraints: 13760
799.93/802.11 c #Conflicts: 324000 | #Constraints: 14760
799.93/802.11 c #Conflicts: 325000 | #Constraints: 15760
799.93/802.11 c #Conflicts: 326000 | #Constraints: 16760
799.93/802.11 c #Conflicts: 327000 | #Constraints: 17760
799.93/802.11 c #Conflicts: 328000 | #Constraints: 18760
799.93/802.11 c #Conflicts: 329000 | #Constraints: 19760
799.93/802.11 c #Conflicts: 330000 | #Constraints: 20760
799.93/802.11 c #Conflicts: 331000 | #Constraints: 21760
799.93/802.11 c #Conflicts: 332000 | #Constraints: 22760
799.93/802.11 c #Conflicts: 333000 | #Constraints: 23760
799.93/802.11 c #Conflicts: 334000 | #Constraints: 24760
799.93/802.11 c #Conflicts: 335000 | #Constraints: 25760
799.93/802.11 c #Conflicts: 336000 | #Constraints: 26760
799.93/802.11 c #Conflicts: 337000 | #Constraints: 27760
799.93/802.11 c #Conflicts: 338000 | #Constraints: 28760
799.93/802.11 c #Conflicts: 339000 | #Constraints: 29760
799.93/802.11 c #Conflicts: 340000 | #Constraints: 30760
799.93/802.11 c #Conflicts: 341000 | #Constraints: 31760
799.93/802.11 c #Conflicts: 342000 | #Constraints: 32760
799.93/802.11 c #Conflicts: 343000 | #Constraints: 33760
799.93/802.11 c #Conflicts: 344000 | #Constraints: 34760
799.93/802.11 c #Conflicts: 345000 | #Constraints: 35760
799.93/802.11 c #Conflicts: 346000 | #Constraints: 36760
799.93/802.11 c #Conflicts: 347000 | #Constraints: 37760
799.93/802.11 c #Conflicts: 348000 | #Constraints: 38760
799.93/802.11 c #Conflicts: 349000 | #Constraints: 39760
799.93/802.11 c #Conflicts: 350000 | #Constraints: 40760
799.93/802.11 c #Conflicts: 351000 | #Constraints: 41760
799.93/802.11 c #Conflicts: 352000 | #Constraints: 42760
799.93/802.11 c #Conflicts: 353000 | #Constraints: 43760
799.93/802.11 c #Conflicts: 354000 | #Constraints: 44760
799.93/802.11 c #Conflicts: 355000 | #Constraints: 45760
799.93/802.11 c #Conflicts: 356000 | #Constraints: 46760
799.93/802.11 c #Conflicts: 357000 | #Constraints: 47760
799.93/802.11 c #Conflicts: 358000 | #Constraints: 48760
799.93/802.11 c #Conflicts: 359000 | #Constraints: 49760
799.93/802.11 c #Conflicts: 360000 | #Constraints: 50760
799.93/802.11 c #Conflicts: 361000 | #Constraints: 51760
799.93/802.11 c #Conflicts: 362000 | #Constraints: 52760
1908.52/1913.57 c #Conflicts: 363000 | #Constraints: 53760
1908.52/1913.57 c #Conflicts: 364000 | #Constraints: 54760
1908.52/1913.57 c #Conflicts: 365000 | #Constraints: 55760
1908.52/1913.57 c #Conflicts: 366000 | #Constraints: 56760
1908.52/1913.57 c #Conflicts: 367000 | #Constraints: 57760
1908.52/1913.57 c #Conflicts: 368000 | #Constraints: 58760
1908.52/1913.57 c #Conflicts: 369000 | #Constraints: 59760
1908.52/1913.57 c #Conflicts: 370000 | #Constraints: 60760
1908.52/1913.57 c #Conflicts: 371000 | #Constraints: 61760
1908.52/1913.57 c #Conflicts: 372000 | #Constraints: 62760
1908.52/1913.57 c #Conflicts: 373000 | #Constraints: 63760
1908.52/1913.57 c #Conflicts: 374000 | #Constraints: 64760
1908.52/1913.57 c #Conflicts: 375000 | #Constraints: 65760
1908.52/1913.57 c #Conflicts: 376000 | #Constraints: 66760
1908.52/1913.57 c #Conflicts: 377000 | #Constraints: 67760
1908.52/1913.57 c INPROCESSING
1908.52/1913.57 c GARBAGE COLLECT
1908.52/1913.57 c #Conflicts: 378000 | #Constraints: 35311
1908.52/1913.57 c #Conflicts: 379000 | #Constraints: 36311
1908.52/1913.57 c #Conflicts: 380000 | #Constraints: 37311
1908.52/1913.57 c #Conflicts: 381000 | #Constraints: 38311
1908.52/1913.57 c #Conflicts: 382000 | #Constraints: 39311
1908.52/1913.57 c #Conflicts: 383000 | #Constraints: 40311
1908.52/1913.57 c #Conflicts: 384000 | #Constraints: 41311
1908.52/1913.57 c #Conflicts: 385000 | #Constraints: 42311
1908.52/1913.57 c #Conflicts: 386000 | #Constraints: 43311
1908.52/1913.57 c #Conflicts: 387000 | #Constraints: 44311
1908.52/1913.57 c #Conflicts: 388000 | #Constraints: 45311
1908.52/1913.57 c #Conflicts: 389000 | #Constraints: 46311
1908.52/1913.57 c #Conflicts: 390000 | #Constraints: 47311
1908.52/1913.57 c INPROCESSING
1908.52/1913.57 c GARBAGE COLLECT
1908.52/1913.57 c #Conflicts: 391000 | #Constraints: 25227
1908.52/1913.57 c #Conflicts: 392000 | #Constraints: 26227
1908.52/1913.57 c #Conflicts: 393000 | #Constraints: 27227
1908.52/1913.57 c #Conflicts: 394000 | #Constraints: 28227
1908.52/1913.57 c #Conflicts: 395000 | #Constraints: 29227
1908.52/1913.57 c #Conflicts: 396000 | #Constraints: 30227
1908.52/1913.57 c #Conflicts: 397000 | #Constraints: 31227
1908.52/1913.57 c #Conflicts: 398000 | #Constraints: 32227
1908.52/1913.57 c #Conflicts: 399000 | #Constraints: 33227
1908.52/1913.57 c #Conflicts: 400000 | #Constraints: 34227
1908.52/1913.57 c #Conflicts: 401000 | #Constraints: 35227
1908.52/1913.57 c #Conflicts: 402000 | #Constraints: 36227
1908.52/1913.57 c #Conflicts: 403000 | #Constraints: 37227
1908.52/1913.57 c #Conflicts: 404000 | #Constraints: 38227
1908.52/1913.57 c #Conflicts: 405000 | #Constraints: 39227
1908.52/1913.57 c #Conflicts: 406000 | #Constraints: 40227
1908.52/1913.57 c #Conflicts: 407000 | #Constraints: 41227
1908.52/1913.57 c #Conflicts: 408000 | #Constraints: 42227
1908.52/1913.57 c #Conflicts: 409000 | #Constraints: 43227
1908.52/1913.57 c #Conflicts: 410000 | #Constraints: 44227
1908.52/1913.57 c #Conflicts: 411000 | #Constraints: 45227
1908.52/1913.57 c #Conflicts: 412000 | #Constraints: 46227
1908.52/1913.57 c #Conflicts: 413000 | #Constraints: 47227
1908.52/1913.57 c #Conflicts: 414000 | #Constraints: 48227
1908.52/1913.57 c #Conflicts: 415000 | #Constraints: 49227
1908.52/1913.57 c #Conflicts: 416000 | #Constraints: 50227
1908.52/1913.57 c #Conflicts: 417000 | #Constraints: 51227
1908.52/1913.57 c #Conflicts: 418000 | #Constraints: 52227
1908.52/1913.57 c #Conflicts: 419000 | #Constraints: 53227
1908.52/1913.57 c #Conflicts: 420000 | #Constraints: 54227
1908.52/1913.57 c #Conflicts: 421000 | #Constraints: 55227
1908.52/1913.57 c #Conflicts: 422000 | #Constraints: 56227
1908.52/1913.57 c #Conflicts: 423000 | #Constraints: 57227
1908.52/1913.57 c #Conflicts: 424000 | #Constraints: 58227
1908.52/1913.57 c #Conflicts: 425000 | #Constraints: 59227
1908.52/1913.57 c #Conflicts: 426000 | #Constraints: 60227
1908.52/1913.57 c #Conflicts: 427000 | #Constraints: 61227
1908.52/1913.57 c #Conflicts: 428000 | #Constraints: 62227
1908.52/1913.57 c #Conflicts: 429000 | #Constraints: 63227
1908.52/1913.57 c #Conflicts: 430000 | #Constraints: 64227
1908.52/1913.57 c #Conflicts: 431000 | #Constraints: 65227
1908.52/1913.57 c #Conflicts: 432000 | #Constraints: 66227
1908.52/1913.57 c #Conflicts: 433000 | #Constraints: 67227
1908.52/1913.57 c #Conflicts: 434000 | #Constraints: 68227
1908.52/1913.57 c #Conflicts: 435000 | #Constraints: 69227
1908.52/1913.57 c #Conflicts: 436000 | #Constraints: 70227
1908.52/1913.57 c #Conflicts: 437000 | #Constraints: 71227
1908.52/1913.57 c #Conflicts: 438000 | #Constraints: 72227
1908.52/1913.57 c #Conflicts: 439000 | #Constraints: 73227
1908.52/1913.57 c #Conflicts: 440000 | #Constraints: 74227
3534.54/3543.75 c #Conflicts: 441000 | #Constraints: 75227
3534.54/3543.75 c #Conflicts: 442000 | #Constraints: 76227
3534.54/3543.75 c #Conflicts: 443000 | #Constraints: 77227
3534.54/3543.75 c #Conflicts: 444000 | #Constraints: 78227
3534.54/3543.75 c #Conflicts: 445000 | #Constraints: 79227
3534.54/3543.75 c #Conflicts: 446000 | #Constraints: 80227
3534.54/3543.75 c #Conflicts: 447000 | #Constraints: 81227
3534.54/3543.75 c #Conflicts: 448000 | #Constraints: 82227
3534.54/3543.75 c INPROCESSING
3534.54/3543.75 c GARBAGE COLLECT
3534.54/3543.75 c #Conflicts: 449000 | #Constraints: 42293
3534.54/3543.75 c #Conflicts: 450000 | #Constraints: 43293
3534.54/3543.75 c #Conflicts: 451000 | #Constraints: 44293
3534.54/3543.75 c #Conflicts: 452000 | #Constraints: 45293
3534.54/3543.75 c #Conflicts: 453000 | #Constraints: 46293
3534.54/3543.75 c #Conflicts: 454000 | #Constraints: 47293
3534.54/3543.75 c #Conflicts: 455000 | #Constraints: 48293
3534.54/3543.75 c #Conflicts: 456000 | #Constraints: 49293
3534.54/3543.75 c #Conflicts: 457000 | #Constraints: 50293
3534.54/3543.75 c #Conflicts: 458000 | #Constraints: 51293
3534.54/3543.75 c #Conflicts: 459000 | #Constraints: 52293
3534.54/3543.75 c #Conflicts: 460000 | #Constraints: 53293
3534.54/3543.75 c #Conflicts: 461000 | #Constraints: 54293
3534.54/3543.75 c #Conflicts: 462000 | #Constraints: 55293
3534.54/3543.75 c INPROCESSING
3534.54/3543.75 c GARBAGE COLLECT
3534.54/3543.75 c #Conflicts: 463000 | #Constraints: 35684
3534.54/3543.75 c #Conflicts: 464000 | #Constraints: 36684
3534.54/3543.75 c #Conflicts: 465000 | #Constraints: 37684
3534.54/3543.75 c #Conflicts: 466000 | #Constraints: 38684
3534.54/3543.75 c #Conflicts: 467000 | #Constraints: 39684
3534.54/3543.75 c #Conflicts: 468000 | #Constraints: 40684
3534.54/3543.75 c #Conflicts: 469000 | #Constraints: 41684
3534.54/3543.75 c #Conflicts: 470000 | #Constraints: 42684
3534.54/3543.75 c #Conflicts: 471000 | #Constraints: 43684
3534.54/3543.75 c #Conflicts: 472000 | #Constraints: 44684
3534.54/3543.75 c #Conflicts: 473000 | #Constraints: 45684
3534.54/3543.75 c #Conflicts: 474000 | #Constraints: 46684
3534.54/3543.75 c #Conflicts: 475000 | #Constraints: 47684
3534.54/3543.75 c #Conflicts: 476000 | #Constraints: 48684
3534.54/3543.75 c #Conflicts: 477000 | #Constraints: 49684
3534.54/3543.75 c #Conflicts: 478000 | #Constraints: 50684
3534.54/3543.75 c #Conflicts: 479000 | #Constraints: 51684
3534.54/3543.75 c #Conflicts: 480000 | #Constraints: 52684
3534.54/3543.75 c #Conflicts: 481000 | #Constraints: 53684
3534.54/3543.75 c #Conflicts: 482000 | #Constraints: 54684
3534.54/3543.75 c #Conflicts: 483000 | #Constraints: 55684
3534.54/3543.75 c #Conflicts: 484000 | #Constraints: 56684
3534.54/3543.75 c #Conflicts: 485000 | #Constraints: 57684
3534.54/3543.75 c #Conflicts: 486000 | #Constraints: 58684
3534.54/3543.75 c #Conflicts: 487000 | #Constraints: 59684
3534.54/3543.75 c #Conflicts: 488000 | #Constraints: 60684
3534.54/3543.75 c #Conflicts: 489000 | #Constraints: 61684
3534.54/3543.75 c #Conflicts: 490000 | #Constraints: 62684
3534.54/3543.75 c #Conflicts: 491000 | #Constraints: 63684
3534.54/3543.75 c #Conflicts: 492000 | #Constraints: 64684
3534.54/3543.75 c #Conflicts: 493000 | #Constraints: 65684
3534.54/3543.75 c #Conflicts: 494000 | #Constraints: 66684
3534.54/3543.75 c #Conflicts: 495000 | #Constraints: 67684
3534.54/3543.75 c #Conflicts: 496000 | #Constraints: 68684
3534.54/3543.75 c #Conflicts: 497000 | #Constraints: 69684
3534.54/3543.75 c #Conflicts: 498000 | #Constraints: 70684
3534.54/3543.75 c #Conflicts: 499000 | #Constraints: 71684
3534.54/3543.75 c #Conflicts: 500000 | #Constraints: 72684
3534.54/3543.75 c #Conflicts: 501000 | #Constraints: 73684
3534.54/3543.75 c #Conflicts: 502000 | #Constraints: 74684
3534.54/3543.75 c #Conflicts: 503000 | #Constraints: 75684
3534.54/3543.75 c #Conflicts: 504000 | #Constraints: 76684
3534.54/3543.75 c #Conflicts: 505000 | #Constraints: 77684
3534.54/3543.75 c #Conflicts: 506000 | #Constraints: 78684
3534.54/3543.75 c #Conflicts: 507000 | #Constraints: 79684
3534.54/3543.75 c #Conflicts: 508000 | #Constraints: 80684
3534.54/3543.75 c #Conflicts: 509000 | #Constraints: 81684
3534.54/3543.75 c #Conflicts: 510000 | #Constraints: 82684
3534.54/3543.75 c #Conflicts: 511000 | #Constraints: 83684
3534.54/3543.75 c #Conflicts: 512000 | #Constraints: 84684
3534.54/3543.75 c #Conflicts: 513000 | #Constraints: 85684
3534.54/3543.75 c #Conflicts: 514000 | #Constraints: 86684
3534.54/3543.75 c #Conflicts: 515000 | #Constraints: 87684
3534.54/3543.75 c #Conflicts: 516000 | #Constraints: 88684
3534.54/3543.75 c #Conflicts: 517000 | #Constraints: 89684
3600.08/3609.40 c #Conflicts: 518000 | #Constraints: 90684
3600.08/3609.40 c #Conflicts: 519000 | #Constraints: 91684
3600.08/3609.40 c Program interrupted by user.
3600.08/3609.40 c cpu time 3588.49 s
3600.08/3609.40 c deterministic time 288427501329 2.88e+11
3600.08/3609.40 c optimization time 1286.08 s
3600.08/3609.40 c total solve time 2302.4 s
3600.08/3609.40 c core-guided solve time 2302.4 s
3600.08/3609.40 c propagation time 3253.66 s
3600.08/3609.40 c conflict analysis time 317.97 s
3600.08/3609.40 c propagations 86923945
3600.08/3609.40 c resolve steps 5938807
3600.08/3609.40 c decisions 8849683
3600.08/3609.40 c conflicts 519074
3600.08/3609.40 c restarts 1053
3600.08/3609.40 c inprocessing phases 52
3600.08/3609.40 c input clauses 221
3600.08/3609.40 c input cardinalities 447
3600.08/3609.40 c input general constraints 669
3600.08/3609.40 c input average constraint length 44.48
3600.08/3609.40 c input average constraint degree 20.50
3600.08/3609.40 c learned clauses 91587
3600.08/3609.40 c learned cardinalities 871
3600.08/3609.40 c learned general constraints 426626
3600.08/3609.40 c learned average constraint length 141.71
3600.08/3609.40 c learned average constraint degree 2731584.49
3600.08/3609.40 c watched constraints 354552
3600.08/3609.40 c counting constraints 72743
3600.08/3609.40 c gcd simplifications 33751
3600.08/3609.40 c detected cardinalities 647
3600.08/3609.40 c weakened non-implied lits 6638599
3600.08/3609.40 c weakened non-implying lits 24262
3600.08/3609.40 c original variables 467
3600.08/3609.40 c clausal propagations 17268574
3600.08/3609.40 c cardinality propagations 881070
3600.08/3609.40 c watched propagations 14323846
3600.08/3609.40 c counting propagations 54097096
3600.08/3609.40 c watch lookups 67653374279
3600.08/3609.40 c watch backjump lookups 64758471807
3600.08/3609.40 c watch checks 142287250817
3600.08/3609.40 c propagation checks 13275061692
3600.08/3609.40 c constraint additions 261276705
3600.08/3609.40 c trail pops 96292400
3600.08/3609.40 c formula constraints 466
3600.08/3609.40 c learned constraints 519084
3600.08/3609.40 c bound constraints 106
3600.08/3609.40 c core-guided constraints 765
3600.08/3609.40 c encountered formula constraints 834190
3600.08/3609.40 c encountered learned constraints 4623357
3600.08/3609.40 c encountered bound constraints 63
3600.08/3609.40 c encountered core-guided constraints 1000271
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 313
3600.08/3609.40 c CG solutions found 3
3600.08/3609.40 c CG cores constructed 95
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 95
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 1.00
3600.08/3609.40 c CG core slack average 6.00
3600.08/3609.40 c CG exhausted 0
3600.08/3609.40 c CG exhaust time 50.1767 s
3600.08/3609.40 c CG trimmed 5
3600.08/3609.40 c CG trim time 0.01663 s
3600.08/3609.40 c CG minimized 0
3600.08/3609.40 c CG minimize time 0 s
3600.08/3609.40 c CG am1 prop time 0.025295 s
3600.08/3609.40 c CG # am1s reformulated 41
3600.08/3609.40 c CG lower bound derived from am1s 41
3600.08/3609.40 c CG # clausal cores 28
3600.08/3609.40 c CG # cardinality cores 0
3600.08/3609.40 c CG # pb cores 67
3600.08/3609.40 c CG # pb reforms 0
3600.08/3609.40 c CG # cores discarded because of pb reform 0
3600.08/3609.40 d LOWERBOUND 136
3600.08/3609.40 d NCORES 95
3600.08/3609.40 d NPBCORES 67
3600.08/3609.40 d NPBREFORM 0
3600.08/3609.40 d NTRIMMED 5
3600.08/3609.40 d NEXHAUSTED 0
3600.08/3609.40 d NAM1S 41
3600.08/3609.40 d AM1LB 41
3600.08/3609.40 o 207
3600.08/3609.40 s SATISFIABLE
3600.08/3609.40 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: 64096 MiB (63092 MiB free)
memory of node 1: 64473 MiB (61639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454298-1721469303/watcher-4454298-1721469303 -o /tmp/evaluation-result-4454298-1721469303/solver-4454298-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062597 --watchdog 3760 pb-oll-rs HOME/instance-4454298-1721469303.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=1062732, runsolver pid=1062720
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100169 s]*
/proc/loadavg: 2.94 3.20 3.61 9/247 1062788
/proc/meminfo: memFree=127711104/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=40176 memory=9840 CPUtime=0.11 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 712 0 0 0 8 3 0 0 20 0 1 0 199089101 41140224 2460 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 10044 2460 1409 291 0 1578 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40176 KiB
Current children cumulated memory: 9840 KiB
[startup+0.224421 s]*
/proc/loadavg: 2.94 3.20 3.61 7/248 1062828
/proc/meminfo: memFree=127701392/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=41092 memory=10624 CPUtime=0.23 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 934 0 0 0 19 4 0 0 20 0 1 0 199089101 42078208 2656 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 10273 2656 1409 291 0 1807 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 41092 KiB
Current children cumulated memory: 10624 KiB
[startup+0.31285 s]*
/proc/loadavg: 2.94 3.20 3.61 9/248 1062873
/proc/meminfo: memFree=127696884/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=41624 memory=11152 CPUtime=0.31 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 1075 0 0 0 27 4 0 0 20 0 1 0 199089101 42622976 2788 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 10406 2788 1409 291 0 1940 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 11152 KiB
[startup+0.700305 s]
/proc/loadavg: 2.94 3.20 3.61 8/248 1062973
/proc/meminfo: memFree=127688572/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=44872 memory=15904 CPUtime=0.69 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 2257 0 0 0 63 6 0 0 20 0 1 0 199089101 45948928 3976 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 11218 3976 1409 291 0 2752 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 15904 KiB
[startup+1.50033 s]
/proc/loadavg: 2.94 3.20 3.61 8/245 1063004
/proc/meminfo: memFree=127675480/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=49900 memory=19988 CPUtime=1.48 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 3229 0 0 0 139 9 0 0 20 0 1 0 199089101 51097600 4997 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 12475 4997 1472 291 0 4009 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49900 KiB
Current children cumulated memory: 19988 KiB
[startup+3.11356 s]
/proc/loadavg: 3.02 3.21 3.62 8/245 1063004
/proc/meminfo: memFree=127634208/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=58016 memory=28128 CPUtime=3.09 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 4704 0 0 0 296 13 0 0 20 0 1 0 199089101 59408384 7032 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 14504 7032 1472 291 0 6038 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58016 KiB
Current children cumulated memory: 28128 KiB
[startup+6.30029 s]
/proc/loadavg: 3.02 3.21 3.62 8/245 1063006
/proc/meminfo: memFree=127604192/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=70780 memory=36840 CPUtime=6.27 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 6368 0 0 0 607 20 0 0 20 0 1 0 199089101 72478720 9210 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 17695 9210 1472 291 0 9229 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70780 KiB
Current children cumulated memory: 36840 KiB
[startup+12.7003 s]
/proc/loadavg: 3.10 3.23 3.62 8/245 1063006
/proc/meminfo: memFree=127575020/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=77208 memory=44144 CPUtime=12.65 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 7714 0 0 0 1232 33 0 0 20 0 1 0 199089101 79060992 11036 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 19302 11036 1472 291 0 10836 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77208 KiB
Current children cumulated memory: 44144 KiB
[startup+25.5003 s]
/proc/loadavg: 3.37 3.28 3.63 8/245 1063007
/proc/meminfo: memFree=127537112/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=93184 memory=49852 CPUtime=25.41 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 9164 0 0 0 2488 53 0 0 20 0 1 0 199089101 95420416 12463 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 23296 12463 1472 291 0 14830 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 93184 KiB
Current children cumulated memory: 49852 KiB
[startup+51.1137 s]
/proc/loadavg: 3.59 3.34 3.64 8/245 1063014
/proc/meminfo: memFree=127489608/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=102372 memory=63320 CPUtime=50.94 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 11495 0 0 0 5013 81 0 0 20 0 1 0 199089101 104828928 15830 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 25593 15830 1472 291 0 17127 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 102372 KiB
Current children cumulated memory: 63320 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.46 3.67 8/245 1063022
/proc/meminfo: memFree=127468968/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=107764 memory=73796 CPUtime=101.95 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 12619 0 0 0 10047 148 0 0 20 0 1 0 199089101 110350336 18449 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 26941 18449 1472 291 0 18475 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 107764 KiB
Current children cumulated memory: 73796 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.59 3.70 8/245 1063032
/proc/meminfo: memFree=127451560/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=109164 memory=74932 CPUtime=161.81 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 12993 0 0 0 15967 214 0 0 20 0 1 0 199089101 111783936 18733 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 27291 18733 1472 291 0 18825 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 109164 KiB
Current children cumulated memory: 74932 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.68 3.73 8/247 1063212
/proc/meminfo: memFree=127432904/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=110380 memory=75976 CPUtime=221.67 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 13331 0 0 0 21899 268 0 0 20 0 1 0 199089101 113029120 18994 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 27595 18994 1472 291 0 19129 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 110380 KiB
Current children cumulated memory: 75976 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.79 3.76 8/247 1063223
/proc/meminfo: memFree=127412440/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=111020 memory=76532 CPUtime=281.53 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 13516 0 0 0 27836 317 0 0 20 0 1 0 199089101 113684480 19133 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 27755 19133 1472 291 0 19289 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 111020 KiB
Current children cumulated memory: 76532 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.84 3.79 8/243 1063235
/proc/meminfo: memFree=127385724/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=111996 memory=77384 CPUtime=341.37 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 13854 0 0 0 33780 357 0 0 20 0 1 0 199089101 114683904 19346 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 27999 19346 1472 291 0 19533 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 111996 KiB
Current children cumulated memory: 77384 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.89 3.81 8/243 1063256
/proc/meminfo: memFree=127371436/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=112576 memory=77960 CPUtime=401.22 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 14083 0 0 0 39725 397 0 0 20 0 1 0 199089101 115277824 19490 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 28144 19490 1472 291 0 19678 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 112576 KiB
Current children cumulated memory: 77960 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.93 3.83 8/244 1063268
/proc/meminfo: memFree=127365600/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=113220 memory=78584 CPUtime=461.07 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 14330 0 0 0 45677 430 0 0 20 0 1 0 199089101 115937280 19646 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 28305 19646 1472 291 0 19839 0
################
# More data... #
################
Current children cumulated memory: 179684 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.06 8/244 1064312
/proc/meminfo: memFree=127063320/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=220092 memory=179684 CPUtime=2854.9 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 29578 0 0 0 284437 1053 0 0 20 0 1 0 199089101 225374208 44921 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55023 44921 1472 291 0 46557 0
Current children cumulated CPU time: 2854.9 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.07 8/244 1064322
/proc/meminfo: memFree=127061020/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=220092 memory=179684 CPUtime=2914.74 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 29652 0 0 0 290412 1062 0 0 20 0 1 0 199089101 225374208 44921 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55023 44921 1472 291 0 46557 0
Current children cumulated CPU time: 2914.74 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179684 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.07 8/243 1064333
/proc/meminfo: memFree=127059852/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=220092 memory=179688 CPUtime=2974.58 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 29727 0 0 0 296386 1072 0 0 20 0 1 0 199089101 225374208 44922 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55023 44922 1472 291 0 46557 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.08 8/243 1064344
/proc/meminfo: memFree=127056036/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=220092 memory=179692 CPUtime=3034.43 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 29807 0 0 0 302361 1082 0 0 20 0 1 0 199089101 225374208 44923 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55023 44923 1472 291 0 46557 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179692 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.08 8/242 1064355
/proc/meminfo: memFree=127049656/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=220092 memory=179720 CPUtime=3094.28 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 29905 0 0 0 308337 1091 0 0 20 0 1 0 199089101 225374208 44930 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55023 44930 1472 291 0 46557 0
Current children cumulated CPU time: 3094.28 s
Current children cumulated vsize: 220092 KiB
Current children cumulated memory: 179720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.09 8/242 1064365
/proc/meminfo: memFree=127044564/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=222744 memory=180404 CPUtime=3154.11 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 30535 0 0 0 314311 1100 0 0 20 0 1 0 199089101 228089856 45101 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 55686 45101 1472 291 0 47220 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 222744 KiB
Current children cumulated memory: 180404 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.09 8/242 1064375
/proc/meminfo: memFree=127039736/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=225524 memory=180836 CPUtime=3213.96 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 31299 0 0 0 320287 1109 0 0 20 0 1 0 199089101 230936576 45209 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 56381 45209 1472 291 0 47915 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 225524 KiB
Current children cumulated memory: 180836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 8/242 1064386
/proc/meminfo: memFree=127038028/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=228560 memory=181416 CPUtime=3273.81 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 32109 0 0 0 326263 1118 0 0 20 0 1 0 199089101 234045440 45354 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 57140 45354 1472 291 0 48674 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 228560 KiB
Current children cumulated memory: 181416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 8/245 1064401
/proc/meminfo: memFree=127030256/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=230592 memory=184216 CPUtime=3333.65 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 32645 0 0 0 332239 1126 0 0 20 0 1 0 199089101 236126208 46054 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 57648 46054 1472 291 0 49182 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 230592 KiB
Current children cumulated memory: 184216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.09 8/245 1064411
/proc/meminfo: memFree=127026176/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=232368 memory=186884 CPUtime=3393.5 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 33143 0 0 0 338216 1134 0 0 20 0 1 0 199089101 237944832 46721 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 58092 46721 1472 291 0 49626 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 232368 KiB
Current children cumulated memory: 186884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.09 8/244 1064422
/proc/meminfo: memFree=127012772/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=234652 memory=198744 CPUtime=3453.34 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 33719 0 0 0 344194 1140 0 0 20 0 1 0 199089101 240283648 49686 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 58663 49686 1472 291 0 50197 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 234652 KiB
Current children cumulated memory: 198744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 8/244 1064432
/proc/meminfo: memFree=127011336/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=235660 memory=198848 CPUtime=3513.19 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 34093 0 0 0 350172 1147 0 0 20 0 1 0 199089101 241315840 49712 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 58915 49712 1472 291 0 50449 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 198848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/245 1064444
/proc/meminfo: memFree=127007232/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=238108 memory=201732 CPUtime=3573.05 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 34629 0 0 0 356150 1155 0 0 20 0 1 0 199089101 243822592 50433 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 59527 50433 1472 291 0 51061 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 238108 KiB
Current children cumulated memory: 201732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.11 4.13 4.09 8/245 1064449
/proc/meminfo: memFree=127004532/131655788 swapFree=131071996/131071996
[pid=1062732] ppid=1062720 vsize=239012 memory=204248 CPUtime=3600.08 cores=5,7
/proc/1062732/stat : 1062732 (pb-oll-rs) R 1062720 1062732 1062548 0 -1 4194304 34908 0 0 0 358849 1159 0 0 20 0 1 0 199089101 244748288 51062 134679101440 4194304 5384485 140726045841856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17666048 140726045844501 140726045844578 140726045844578 140726045851595 0
/proc/1062732/statm: 59753 51062 1472 291 0 51287 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 239012 KiB
Current children cumulated memory: 204248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 1062732 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.49 s, system=11.5952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.09
CPU user time (s): 3588.49
CPU system time (s): 11.5952
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 239012
Max. memory (cumulated for all children) (KiB): 204248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.49
system time used= 11.5952
maximum resident set size= 204420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34925
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= 68
involuntary context switches= 2757
# summary of solver processes directly reported to runsolver:
# pid: 1062732
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.49
# total CPU system time (s): 11.5952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2854 second user time and 38.4471 second system time
The end
Begin job on nodeC005 at 2024-07-20 11:55:15
IDJOB=4454298
IDBENCH=147542
IDSOLVER=3082
FILE ID=nodeC005/4454298-1721469303
RUNJOBID= nodeC005-1721469315-1062597
SLURM_JOB_ID= 7545729
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454298-1721469303/watcher-4454298-1721469303 -o /tmp/evaluation-result-4454298-1721469303/solver-4454298-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062597 --watchdog 3760 pb-oll-rs HOME/instance-4454298-1721469303.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=1611870262
nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1783.062
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.184
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.182
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.180
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.183
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127727204 kB
MemAvailable: 129900808 kB
Buffers: 567156 kB
Cached: 2433152 kB
SwapCached: 0 kB
Active: 1189348 kB
Inactive: 2137224 kB
Active(anon): 3324 kB
Inactive(anon): 368836 kB
Active(file): 1186024 kB
Inactive(file): 1768388 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7988 kB
Writeback: 0 kB
AnonPages: 325880 kB
Mapped: 109052 kB
Shmem: 45896 kB
KReclaimable: 118780 kB
Slab: 228792 kB
SReclaimable: 118780 kB
SUnreclaim: 110012 kB
KernelStack: 3740 kB
PageTables: 10500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 683728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 296960 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: 303944 kB
DirectMap2M: 40495104 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-20 12:55:25