0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 470 #constraints 469
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.002789
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= 53 @ 0.004329
0.00/0.02 c bounds - >= 54 @ 0.004554
0.00/0.02 c bounds - >= 55 @ 0.004645
0.00/0.02 c bounds - >= 56 @ 0.004733
0.00/0.02 c bounds - >= 57 @ 0.004819
0.00/0.02 c bounds - >= 58 @ 0.004918
0.00/0.02 c bounds - >= 59 @ 0.005017
0.00/0.02 c bounds - >= 60 @ 0.005054
0.00/0.02 c bounds - >= 61 @ 0.005054
0.00/0.02 c bounds - >= 62 @ 0.005054
0.00/0.02 c bounds - >= 63 @ 0.005054
0.00/0.02 c bounds - >= 64 @ 0.005054
0.00/0.02 c bounds - >= 65 @ 0.005054
0.00/0.02 c bounds - >= 66 @ 0.005054
0.00/0.02 c bounds - >= 67 @ 0.005054
0.00/0.02 c bounds - >= 68 @ 0.005054
0.00/0.02 c bounds - >= 69 @ 0.005055
0.00/0.02 c bounds - >= 70 @ 0.005055
0.00/0.02 c bounds - >= 71 @ 0.005055
0.00/0.02 c bounds - >= 72 @ 0.005055
0.00/0.02 c bounds - >= 73 @ 0.005055
0.00/0.02 c bounds - >= 74 @ 0.005055
0.00/0.02 c bounds - >= 75 @ 0.005055
0.00/0.02 c bounds - >= 76 @ 0.005055
0.00/0.02 c bounds - >= 77 @ 0.005055
0.00/0.02 c bounds - >= 78 @ 0.005114
0.00/0.02 c bounds - >= 79 @ 0.005229
0.00/0.02 c bounds - >= 80 @ 0.005338
0.00/0.02 c bounds - >= 81 @ 0.005452
0.00/0.02 c bounds - >= 82 @ 0.005569
0.00/0.02 c bounds - >= 83 @ 0.005685
0.00/0.02 c bounds - >= 84 @ 0.005798
0.00/0.02 c bounds - >= 85 @ 0.005909
0.00/0.02 c bounds - >= 86 @ 0.006031
0.00/0.02 c bounds - >= 87 @ 0.006146
0.00/0.02 c bounds - >= 88 @ 0.006265
0.00/0.02 c bounds - >= 89 @ 0.006378
0.00/0.02 c bounds - >= 90 @ 0.006503
0.00/0.02 c bounds - >= 91 @ 0.006616
0.00/0.02 c bounds - >= 92 @ 0.006732
0.00/0.02 c bounds - >= 93 @ 0.006846
0.00/0.02 c bounds - >= 94 @ 0.006957
0.00/0.02 c bounds - >= 95 @ 0.007068
0.00/0.02 c bounds - >= 96 @ 0.007185
0.00/0.02 c bounds - >= 97 @ 0.007302
0.00/0.02 c bounds - >= 98 @ 0.007418
0.00/0.02 c bounds - >= 99 @ 0.007532
0.00/0.02 c bounds - >= 100 @ 0.007644
0.00/0.02 c bounds - >= 101 @ 0.007766
0.00/0.02 c bounds - >= 102 @ 0.007887
0.00/0.02 c bounds - >= 103 @ 0.008031
0.00/0.02 c bounds - >= 104 @ 0.008164
0.00/0.02 c bounds - >= 105 @ 0.008306
0.00/0.02 c bounds - >= 106 @ 0.008432
0.00/0.02 c bounds - >= 107 @ 0.008555
0.00/0.02 c bounds - >= 108 @ 0.008681
0.00/0.02 c bounds - >= 109 @ 0.008809
0.00/0.02 c bounds - >= 110 @ 0.008932
0.00/0.02 c bounds - >= 111 @ 0.009068
0.00/0.02 c bounds - >= 112 @ 0.009196
0.00/0.02 c bounds - >= 113 @ 0.009327
0.00/0.02 c bounds - >= 114 @ 0.009497
0.00/0.02 c bounds - >= 115 @ 0.009627
0.00/0.02 c bounds - >= 116 @ 0.009751
0.00/0.02 c bounds - >= 117 @ 0.009877
0.00/0.02 c bounds - >= 118 @ 0.010016
0.00/0.02 c bounds - >= 119 @ 0.010141
0.00/0.02 c bounds - >= 120 @ 0.010269
0.00/0.02 c bounds - >= 121 @ 0.010388
0.00/0.02 c bounds - >= 122 @ 0.010504
0.00/0.02 c bounds - >= 123 @ 0.010618
0.00/0.02 c bounds - >= 124 @ 0.010732
0.00/0.02 c bounds - >= 125 @ 0.010859
0.00/0.02 c bounds - >= 126 @ 0.011002
0.00/0.02 c bounds - >= 127 @ 0.01102
0.00/0.02 c bounds - >= 128 @ 0.01102
0.00/0.02 c finalizing WCE round: reformulating cores
42.15/42.36 c #Conflicts: 1000 | #Constraints: 1620
42.15/42.36 c #Conflicts: 2000 | #Constraints: 2624
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 3000 | #Constraints: 2553
42.15/42.36 c #Conflicts: 4000 | #Constraints: 3555
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 5000 | #Constraints: 2968
42.15/42.36 c #Conflicts: 6000 | #Constraints: 3970
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 7000 | #Constraints: 2971
42.15/42.36 c #Conflicts: 8000 | #Constraints: 3973
42.15/42.36 c #Conflicts: 9000 | #Constraints: 4977
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 10000 | #Constraints: 3680
42.15/42.36 c #Conflicts: 11000 | #Constraints: 4682
42.15/42.36 c #Conflicts: 12000 | #Constraints: 5684
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 13000 | #Constraints: 4127
42.15/42.36 c #Conflicts: 14000 | #Constraints: 5129
42.15/42.36 c #Conflicts: 15000 | #Constraints: 6131
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 16000 | #Constraints: 4367
42.15/42.36 c #Conflicts: 17000 | #Constraints: 5369
42.15/42.36 c #Conflicts: 18000 | #Constraints: 6371
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 19000 | #Constraints: 4386
42.15/42.36 c #Conflicts: 20000 | #Constraints: 5388
42.15/42.36 c #Conflicts: 21000 | #Constraints: 6390
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 22000 | #Constraints: 4199
42.15/42.36 c #Conflicts: 23000 | #Constraints: 5201
42.15/42.36 c #Conflicts: 24000 | #Constraints: 6205
42.15/42.36 c #Conflicts: 25000 | #Constraints: 7207
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 26000 | #Constraints: 4806
42.15/42.36 c #Conflicts: 27000 | #Constraints: 5808
42.15/42.36 c #Conflicts: 28000 | #Constraints: 6810
42.15/42.36 c #Conflicts: 29000 | #Constraints: 7814
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 30000 | #Constraints: 5216
42.15/42.36 c #Conflicts: 31000 | #Constraints: 6218
42.15/42.36 c #Conflicts: 32000 | #Constraints: 7220
42.15/42.36 c #Conflicts: 33000 | #Constraints: 8224
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 34000 | #Constraints: 5434
42.15/42.36 c #Conflicts: 35000 | #Constraints: 6436
42.15/42.36 c #Conflicts: 36000 | #Constraints: 7438
42.15/42.36 c #Conflicts: 37000 | #Constraints: 8442
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 38000 | #Constraints: 5447
42.15/42.36 c #Conflicts: 39000 | #Constraints: 6449
42.15/42.36 c #Conflicts: 40000 | #Constraints: 7451
42.15/42.36 c #Conflicts: 41000 | #Constraints: 8455
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 42000 | #Constraints: 5252
42.15/42.36 c #Conflicts: 43000 | #Constraints: 6254
42.15/42.36 c #Conflicts: 44000 | #Constraints: 7258
42.15/42.36 c #Conflicts: 45000 | #Constraints: 8260
42.15/42.36 c #Conflicts: 46000 | #Constraints: 9262
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 47000 | #Constraints: 5868
42.15/42.36 c #Conflicts: 48000 | #Constraints: 6870
42.15/42.36 c #Conflicts: 49000 | #Constraints: 7872
42.15/42.36 c #Conflicts: 50000 | #Constraints: 8876
42.15/42.36 c #Conflicts: 51000 | #Constraints: 9878
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 52000 | #Constraints: 6281
42.15/42.36 c #Conflicts: 53000 | #Constraints: 7283
42.15/42.36 c #Conflicts: 54000 | #Constraints: 8285
42.15/42.36 c #Conflicts: 55000 | #Constraints: 9289
42.15/42.36 c #Conflicts: 56000 | #Constraints: 10291
42.15/42.36 c INPROCESSING
42.15/42.36 c GARBAGE COLLECT
42.15/42.36 c #Conflicts: 57000 | #Constraints: 6494
42.15/42.36 c #Conflicts: 58000 | #Constraints: 7496
42.15/42.36 c #Conflicts: 59000 | #Constraints: 8498
42.15/42.36 c bounds 221 >= 128 @ 41.1249
42.15/42.36 c bounds 221 >= 129 @ 41.1366
42.15/42.36 c bounds 221 >= 130 @ 41.1388
42.15/42.36 c bounds 221 >= 131 @ 41.144
42.15/42.36 c bounds 221 >= 132 @ 41.1465
42.15/42.36 c bounds 221 >= 133 @ 41.1553
42.15/42.36 c bounds 221 >= 134 @ 41.1569
42.15/42.36 c bounds 221 >= 135 @ 41.1669
42.15/42.36 c bounds 221 >= 136 @ 41.1909
42.15/42.36 c bounds 221 >= 137 @ 41.3418
42.15/42.36 c finalizing WCE round: reformulating cores
178.03/178.64 c #Conflicts: 60000 | #Constraints: 9699
178.03/178.64 c #Conflicts: 61000 | #Constraints: 10704
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 62000 | #Constraints: 6660
178.03/178.64 c #Conflicts: 63000 | #Constraints: 7662
178.03/178.64 c #Conflicts: 64000 | #Constraints: 8664
178.03/178.64 c #Conflicts: 65000 | #Constraints: 9668
178.03/178.64 c #Conflicts: 66000 | #Constraints: 10670
178.03/178.64 c bounds 219 >= 137 @ 47.9264
178.03/178.64 c bounds 219 >= 138 @ 47.9955
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c bounds 219 >= 139 @ 48.5428
178.03/178.64 c #Conflicts: 67000 | #Constraints: 6593
178.03/178.64 c #Conflicts: 68000 | #Constraints: 7593
178.03/178.64 c #Conflicts: 69000 | #Constraints: 8593
178.03/178.64 c #Conflicts: 70000 | #Constraints: 9593
178.03/178.64 c #Conflicts: 71000 | #Constraints: 10593
178.03/178.64 c #Conflicts: 72000 | #Constraints: 11593
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 73000 | #Constraints: 7185
178.03/178.64 c #Conflicts: 74000 | #Constraints: 8185
178.03/178.64 c #Conflicts: 75000 | #Constraints: 9185
178.03/178.64 c #Conflicts: 76000 | #Constraints: 10185
178.03/178.64 c #Conflicts: 77000 | #Constraints: 11185
178.03/178.64 c #Conflicts: 78000 | #Constraints: 12185
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 79000 | #Constraints: 7579
178.03/178.64 c #Conflicts: 80000 | #Constraints: 8579
178.03/178.64 c #Conflicts: 81000 | #Constraints: 9579
178.03/178.64 c #Conflicts: 82000 | #Constraints: 10579
178.03/178.64 c #Conflicts: 83000 | #Constraints: 11579
178.03/178.64 c #Conflicts: 84000 | #Constraints: 12579
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 85000 | #Constraints: 7773
178.03/178.64 c #Conflicts: 86000 | #Constraints: 8773
178.03/178.64 c #Conflicts: 87000 | #Constraints: 9773
178.03/178.64 c #Conflicts: 88000 | #Constraints: 10773
178.03/178.64 c #Conflicts: 89000 | #Constraints: 11773
178.03/178.64 c #Conflicts: 90000 | #Constraints: 12773
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 91000 | #Constraints: 7785
178.03/178.64 c #Conflicts: 92000 | #Constraints: 8785
178.03/178.64 c #Conflicts: 93000 | #Constraints: 9785
178.03/178.64 c #Conflicts: 94000 | #Constraints: 10785
178.03/178.64 c #Conflicts: 95000 | #Constraints: 11785
178.03/178.64 c #Conflicts: 96000 | #Constraints: 12785
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 97000 | #Constraints: 7584
178.03/178.64 c #Conflicts: 98000 | #Constraints: 8584
178.03/178.64 c #Conflicts: 99000 | #Constraints: 9584
178.03/178.64 c #Conflicts: 100000 | #Constraints: 10584
178.03/178.64 c #Conflicts: 101000 | #Constraints: 11584
178.03/178.64 c #Conflicts: 102000 | #Constraints: 12584
178.03/178.64 c #Conflicts: 103000 | #Constraints: 13584
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 104000 | #Constraints: 8188
178.03/178.64 c #Conflicts: 105000 | #Constraints: 9188
178.03/178.64 c #Conflicts: 106000 | #Constraints: 10188
178.03/178.64 c #Conflicts: 107000 | #Constraints: 11188
178.03/178.64 c #Conflicts: 108000 | #Constraints: 12188
178.03/178.64 c #Conflicts: 109000 | #Constraints: 13188
178.03/178.64 c #Conflicts: 110000 | #Constraints: 14188
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 111000 | #Constraints: 8583
178.03/178.64 c #Conflicts: 112000 | #Constraints: 9583
178.03/178.64 c #Conflicts: 113000 | #Constraints: 10583
178.03/178.64 c #Conflicts: 114000 | #Constraints: 11583
178.03/178.64 c #Conflicts: 115000 | #Constraints: 12583
178.03/178.64 c #Conflicts: 116000 | #Constraints: 13583
178.03/178.64 c #Conflicts: 117000 | #Constraints: 14583
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 118000 | #Constraints: 8782
178.03/178.64 c #Conflicts: 119000 | #Constraints: 9782
178.03/178.64 c #Conflicts: 120000 | #Constraints: 10782
178.03/178.64 c #Conflicts: 121000 | #Constraints: 11782
178.03/178.64 c #Conflicts: 122000 | #Constraints: 12782
178.03/178.64 c #Conflicts: 123000 | #Constraints: 13782
178.03/178.64 c #Conflicts: 124000 | #Constraints: 14782
178.03/178.64 c INPROCESSING
178.03/178.64 c GARBAGE COLLECT
178.03/178.64 c #Conflicts: 125000 | #Constraints: 8784
178.03/178.64 c #Conflicts: 126000 | #Constraints: 9784
178.03/178.64 c #Conflicts: 127000 | #Constraints: 10784
178.03/178.64 c #Conflicts: 128000 | #Constraints: 11784
178.03/178.64 c #Conflicts: 129000 | #Constraints: 12784
178.03/178.64 c #Conflicts: 130000 | #Constraints: 13784
329.33/330.32 c #Conflicts: 131000 | #Constraints: 14784
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 132000 | #Constraints: 8588
329.33/330.32 c #Conflicts: 133000 | #Constraints: 9588
329.33/330.32 c #Conflicts: 134000 | #Constraints: 10588
329.33/330.32 c #Conflicts: 135000 | #Constraints: 11588
329.33/330.32 c #Conflicts: 136000 | #Constraints: 12588
329.33/330.32 c #Conflicts: 137000 | #Constraints: 13588
329.33/330.32 c #Conflicts: 138000 | #Constraints: 14588
329.33/330.32 c #Conflicts: 139000 | #Constraints: 15588
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 140000 | #Constraints: 9182
329.33/330.32 c #Conflicts: 141000 | #Constraints: 10182
329.33/330.32 c #Conflicts: 142000 | #Constraints: 11182
329.33/330.32 c #Conflicts: 143000 | #Constraints: 12182
329.33/330.32 c #Conflicts: 144000 | #Constraints: 13182
329.33/330.32 c #Conflicts: 145000 | #Constraints: 14182
329.33/330.32 c #Conflicts: 146000 | #Constraints: 15182
329.33/330.32 c #Conflicts: 147000 | #Constraints: 16182
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 148000 | #Constraints: 9594
329.33/330.32 c #Conflicts: 149000 | #Constraints: 10594
329.33/330.32 c #Conflicts: 150000 | #Constraints: 11594
329.33/330.32 c #Conflicts: 151000 | #Constraints: 12594
329.33/330.32 c #Conflicts: 152000 | #Constraints: 13594
329.33/330.32 c #Conflicts: 153000 | #Constraints: 14594
329.33/330.32 c #Conflicts: 154000 | #Constraints: 15594
329.33/330.32 c #Conflicts: 155000 | #Constraints: 16594
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 156000 | #Constraints: 9798
329.33/330.32 c #Conflicts: 157000 | #Constraints: 10798
329.33/330.32 c #Conflicts: 158000 | #Constraints: 11798
329.33/330.32 c #Conflicts: 159000 | #Constraints: 12798
329.33/330.32 c #Conflicts: 160000 | #Constraints: 13798
329.33/330.32 c #Conflicts: 161000 | #Constraints: 14798
329.33/330.32 c #Conflicts: 162000 | #Constraints: 15798
329.33/330.32 c #Conflicts: 163000 | #Constraints: 16798
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 164000 | #Constraints: 9796
329.33/330.32 c #Conflicts: 165000 | #Constraints: 10796
329.33/330.32 c #Conflicts: 166000 | #Constraints: 11796
329.33/330.32 c #Conflicts: 167000 | #Constraints: 12796
329.33/330.32 c #Conflicts: 168000 | #Constraints: 13796
329.33/330.32 c #Conflicts: 169000 | #Constraints: 14796
329.33/330.32 c #Conflicts: 170000 | #Constraints: 15796
329.33/330.32 c #Conflicts: 171000 | #Constraints: 16796
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 172000 | #Constraints: 9595
329.33/330.32 c #Conflicts: 173000 | #Constraints: 10595
329.33/330.32 c #Conflicts: 174000 | #Constraints: 11595
329.33/330.32 c #Conflicts: 175000 | #Constraints: 12595
329.33/330.32 c #Conflicts: 176000 | #Constraints: 13595
329.33/330.32 c #Conflicts: 177000 | #Constraints: 14595
329.33/330.32 c #Conflicts: 178000 | #Constraints: 15595
329.33/330.32 c #Conflicts: 179000 | #Constraints: 16595
329.33/330.32 c #Conflicts: 180000 | #Constraints: 17595
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 181000 | #Constraints: 10200
329.33/330.32 c #Conflicts: 182000 | #Constraints: 11200
329.33/330.32 c #Conflicts: 183000 | #Constraints: 12200
329.33/330.32 c #Conflicts: 184000 | #Constraints: 13200
329.33/330.32 c #Conflicts: 185000 | #Constraints: 14200
329.33/330.32 c #Conflicts: 186000 | #Constraints: 15200
329.33/330.32 c #Conflicts: 187000 | #Constraints: 16200
329.33/330.32 c #Conflicts: 188000 | #Constraints: 17200
329.33/330.32 c #Conflicts: 189000 | #Constraints: 18200
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 190000 | #Constraints: 10594
329.33/330.32 c #Conflicts: 191000 | #Constraints: 11594
329.33/330.32 c #Conflicts: 192000 | #Constraints: 12594
329.33/330.32 c #Conflicts: 193000 | #Constraints: 13594
329.33/330.32 c #Conflicts: 194000 | #Constraints: 14594
329.33/330.32 c #Conflicts: 195000 | #Constraints: 15594
329.33/330.32 c #Conflicts: 196000 | #Constraints: 16594
329.33/330.32 c #Conflicts: 197000 | #Constraints: 17594
329.33/330.32 c #Conflicts: 198000 | #Constraints: 18594
329.33/330.32 c INPROCESSING
329.33/330.32 c GARBAGE COLLECT
329.33/330.32 c #Conflicts: 199000 | #Constraints: 10793
329.33/330.32 c #Conflicts: 200000 | #Constraints: 11793
329.33/330.32 c #Conflicts: 201000 | #Constraints: 12793
329.33/330.32 c #Conflicts: 202000 | #Constraints: 13793
329.33/330.32 c #Conflicts: 203000 | #Constraints: 14793
516.15/517.60 c #Conflicts: 204000 | #Constraints: 15793
516.15/517.60 c #Conflicts: 205000 | #Constraints: 16793
516.15/517.60 c #Conflicts: 206000 | #Constraints: 17793
516.15/517.60 c #Conflicts: 207000 | #Constraints: 18793
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 208000 | #Constraints: 10801
516.15/517.60 c #Conflicts: 209000 | #Constraints: 11801
516.15/517.60 c #Conflicts: 210000 | #Constraints: 12801
516.15/517.60 c #Conflicts: 211000 | #Constraints: 13801
516.15/517.60 c #Conflicts: 212000 | #Constraints: 14801
516.15/517.60 c #Conflicts: 213000 | #Constraints: 15801
516.15/517.60 c #Conflicts: 214000 | #Constraints: 16801
516.15/517.60 c #Conflicts: 215000 | #Constraints: 17801
516.15/517.60 c #Conflicts: 216000 | #Constraints: 18801
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 217000 | #Constraints: 10612
516.15/517.60 c #Conflicts: 218000 | #Constraints: 11612
516.15/517.60 c #Conflicts: 219000 | #Constraints: 12612
516.15/517.60 c #Conflicts: 220000 | #Constraints: 13612
516.15/517.60 c #Conflicts: 221000 | #Constraints: 14612
516.15/517.60 c #Conflicts: 222000 | #Constraints: 15612
516.15/517.60 c #Conflicts: 223000 | #Constraints: 16612
516.15/517.60 c #Conflicts: 224000 | #Constraints: 17612
516.15/517.60 c #Conflicts: 225000 | #Constraints: 18612
516.15/517.60 c #Conflicts: 226000 | #Constraints: 19612
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 227000 | #Constraints: 11211
516.15/517.60 c #Conflicts: 228000 | #Constraints: 12211
516.15/517.60 c #Conflicts: 229000 | #Constraints: 13211
516.15/517.60 c #Conflicts: 230000 | #Constraints: 14211
516.15/517.60 c #Conflicts: 231000 | #Constraints: 15211
516.15/517.60 c #Conflicts: 232000 | #Constraints: 16211
516.15/517.60 c #Conflicts: 233000 | #Constraints: 17211
516.15/517.60 c #Conflicts: 234000 | #Constraints: 18211
516.15/517.60 c #Conflicts: 235000 | #Constraints: 19211
516.15/517.60 c #Conflicts: 236000 | #Constraints: 20211
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 237000 | #Constraints: 11605
516.15/517.60 c #Conflicts: 238000 | #Constraints: 12605
516.15/517.60 c #Conflicts: 239000 | #Constraints: 13605
516.15/517.60 c #Conflicts: 240000 | #Constraints: 14605
516.15/517.60 c #Conflicts: 241000 | #Constraints: 15605
516.15/517.60 c #Conflicts: 242000 | #Constraints: 16605
516.15/517.60 c #Conflicts: 243000 | #Constraints: 17605
516.15/517.60 c #Conflicts: 244000 | #Constraints: 18605
516.15/517.60 c #Conflicts: 245000 | #Constraints: 19605
516.15/517.60 c #Conflicts: 246000 | #Constraints: 20605
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 247000 | #Constraints: 11810
516.15/517.60 c #Conflicts: 248000 | #Constraints: 12810
516.15/517.60 c #Conflicts: 249000 | #Constraints: 13810
516.15/517.60 c #Conflicts: 250000 | #Constraints: 14810
516.15/517.60 c #Conflicts: 251000 | #Constraints: 15810
516.15/517.60 c #Conflicts: 252000 | #Constraints: 16810
516.15/517.60 c #Conflicts: 253000 | #Constraints: 17810
516.15/517.60 c #Conflicts: 254000 | #Constraints: 18810
516.15/517.60 c #Conflicts: 255000 | #Constraints: 19810
516.15/517.60 c #Conflicts: 256000 | #Constraints: 20810
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 257000 | #Constraints: 11808
516.15/517.60 c #Conflicts: 258000 | #Constraints: 12808
516.15/517.60 c #Conflicts: 259000 | #Constraints: 13808
516.15/517.60 c #Conflicts: 260000 | #Constraints: 14808
516.15/517.60 c #Conflicts: 261000 | #Constraints: 15808
516.15/517.60 c #Conflicts: 262000 | #Constraints: 16808
516.15/517.60 c #Conflicts: 263000 | #Constraints: 17808
516.15/517.60 c #Conflicts: 264000 | #Constraints: 18808
516.15/517.60 c #Conflicts: 265000 | #Constraints: 19808
516.15/517.60 c #Conflicts: 266000 | #Constraints: 20808
516.15/517.60 c INPROCESSING
516.15/517.60 c GARBAGE COLLECT
516.15/517.60 c #Conflicts: 267000 | #Constraints: 11601
516.15/517.60 c #Conflicts: 268000 | #Constraints: 12601
516.15/517.60 c #Conflicts: 269000 | #Constraints: 13601
516.15/517.60 c #Conflicts: 270000 | #Constraints: 14601
516.15/517.60 c #Conflicts: 271000 | #Constraints: 15601
516.15/517.60 c #Conflicts: 272000 | #Constraints: 16601
516.15/517.60 c #Conflicts: 273000 | #Constraints: 17601
516.15/517.60 c #Conflicts: 274000 | #Constraints: 18601
516.15/517.60 c #Conflicts: 275000 | #Constraints: 19601
516.15/517.60 c #Conflicts: 276000 | #Constraints: 20601
516.15/517.60 c #Conflicts: 277000 | #Constraints: 21601
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 278000 | #Constraints: 12209
726.72/728.78 c #Conflicts: 279000 | #Constraints: 13209
726.72/728.78 c #Conflicts: 280000 | #Constraints: 14209
726.72/728.78 c #Conflicts: 281000 | #Constraints: 15209
726.72/728.78 c #Conflicts: 282000 | #Constraints: 16209
726.72/728.78 c #Conflicts: 283000 | #Constraints: 17209
726.72/728.78 c #Conflicts: 284000 | #Constraints: 18209
726.72/728.78 c #Conflicts: 285000 | #Constraints: 19209
726.72/728.78 c #Conflicts: 286000 | #Constraints: 20209
726.72/728.78 c #Conflicts: 287000 | #Constraints: 21209
726.72/728.78 c #Conflicts: 288000 | #Constraints: 22209
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 289000 | #Constraints: 12604
726.72/728.78 c #Conflicts: 290000 | #Constraints: 13604
726.72/728.78 c #Conflicts: 291000 | #Constraints: 14604
726.72/728.78 c #Conflicts: 292000 | #Constraints: 15604
726.72/728.78 c #Conflicts: 293000 | #Constraints: 16604
726.72/728.78 c #Conflicts: 294000 | #Constraints: 17604
726.72/728.78 c #Conflicts: 295000 | #Constraints: 18604
726.72/728.78 c #Conflicts: 296000 | #Constraints: 19604
726.72/728.78 c #Conflicts: 297000 | #Constraints: 20604
726.72/728.78 c #Conflicts: 298000 | #Constraints: 21604
726.72/728.78 c #Conflicts: 299000 | #Constraints: 22604
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 300000 | #Constraints: 12811
726.72/728.78 c #Conflicts: 301000 | #Constraints: 13811
726.72/728.78 c #Conflicts: 302000 | #Constraints: 14811
726.72/728.78 c #Conflicts: 303000 | #Constraints: 15811
726.72/728.78 c #Conflicts: 304000 | #Constraints: 16811
726.72/728.78 c #Conflicts: 305000 | #Constraints: 17811
726.72/728.78 c #Conflicts: 306000 | #Constraints: 18811
726.72/728.78 c #Conflicts: 307000 | #Constraints: 19811
726.72/728.78 c #Conflicts: 308000 | #Constraints: 20811
726.72/728.78 c #Conflicts: 309000 | #Constraints: 21811
726.72/728.78 c #Conflicts: 310000 | #Constraints: 22811
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 311000 | #Constraints: 12812
726.72/728.78 c #Conflicts: 312000 | #Constraints: 13812
726.72/728.78 c #Conflicts: 313000 | #Constraints: 14812
726.72/728.78 c #Conflicts: 314000 | #Constraints: 15812
726.72/728.78 c #Conflicts: 315000 | #Constraints: 16812
726.72/728.78 c #Conflicts: 316000 | #Constraints: 17812
726.72/728.78 c #Conflicts: 317000 | #Constraints: 18812
726.72/728.78 c #Conflicts: 318000 | #Constraints: 19812
726.72/728.78 c #Conflicts: 319000 | #Constraints: 20812
726.72/728.78 c #Conflicts: 320000 | #Constraints: 21812
726.72/728.78 c #Conflicts: 321000 | #Constraints: 22812
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 322000 | #Constraints: 12611
726.72/728.78 c #Conflicts: 323000 | #Constraints: 13611
726.72/728.78 c #Conflicts: 324000 | #Constraints: 14611
726.72/728.78 c #Conflicts: 325000 | #Constraints: 15611
726.72/728.78 c #Conflicts: 326000 | #Constraints: 16611
726.72/728.78 c #Conflicts: 327000 | #Constraints: 17611
726.72/728.78 c #Conflicts: 328000 | #Constraints: 18611
726.72/728.78 c #Conflicts: 329000 | #Constraints: 19611
726.72/728.78 c #Conflicts: 330000 | #Constraints: 20611
726.72/728.78 c #Conflicts: 331000 | #Constraints: 21611
726.72/728.78 c #Conflicts: 332000 | #Constraints: 22611
726.72/728.78 c #Conflicts: 333000 | #Constraints: 23611
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 334000 | #Constraints: 13204
726.72/728.78 c #Conflicts: 335000 | #Constraints: 14204
726.72/728.78 c #Conflicts: 336000 | #Constraints: 15204
726.72/728.78 c #Conflicts: 337000 | #Constraints: 16204
726.72/728.78 c #Conflicts: 338000 | #Constraints: 17204
726.72/728.78 c #Conflicts: 339000 | #Constraints: 18204
726.72/728.78 c #Conflicts: 340000 | #Constraints: 19204
726.72/728.78 c #Conflicts: 341000 | #Constraints: 20204
726.72/728.78 c #Conflicts: 342000 | #Constraints: 21204
726.72/728.78 c #Conflicts: 343000 | #Constraints: 22204
726.72/728.78 c #Conflicts: 344000 | #Constraints: 23204
726.72/728.78 c #Conflicts: 345000 | #Constraints: 24204
726.72/728.78 c INPROCESSING
726.72/728.78 c GARBAGE COLLECT
726.72/728.78 c #Conflicts: 346000 | #Constraints: 13599
726.72/728.78 c #Conflicts: 347000 | #Constraints: 14599
726.72/728.78 c #Conflicts: 348000 | #Constraints: 15599
726.72/728.78 c #Conflicts: 349000 | #Constraints: 16599
726.72/728.78 c #Conflicts: 350000 | #Constraints: 17599
726.72/728.78 c #Conflicts: 351000 | #Constraints: 18599
983.72/986.47 c #Conflicts: 352000 | #Constraints: 19599
983.72/986.47 c #Conflicts: 353000 | #Constraints: 20599
983.72/986.47 c #Conflicts: 354000 | #Constraints: 21599
983.72/986.47 c #Conflicts: 355000 | #Constraints: 22599
983.72/986.47 c #Conflicts: 356000 | #Constraints: 23599
983.72/986.47 c #Conflicts: 357000 | #Constraints: 24599
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 358000 | #Constraints: 13798
983.72/986.47 c #Conflicts: 359000 | #Constraints: 14798
983.72/986.47 c #Conflicts: 360000 | #Constraints: 15798
983.72/986.47 c #Conflicts: 361000 | #Constraints: 16798
983.72/986.47 c #Conflicts: 362000 | #Constraints: 17798
983.72/986.47 c #Conflicts: 363000 | #Constraints: 18798
983.72/986.47 c #Conflicts: 364000 | #Constraints: 19798
983.72/986.47 c #Conflicts: 365000 | #Constraints: 20798
983.72/986.47 c #Conflicts: 366000 | #Constraints: 21798
983.72/986.47 c #Conflicts: 367000 | #Constraints: 22798
983.72/986.47 c #Conflicts: 368000 | #Constraints: 23798
983.72/986.47 c #Conflicts: 369000 | #Constraints: 24798
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 370000 | #Constraints: 13797
983.72/986.47 c #Conflicts: 371000 | #Constraints: 14797
983.72/986.47 c #Conflicts: 372000 | #Constraints: 15797
983.72/986.47 c #Conflicts: 373000 | #Constraints: 16797
983.72/986.47 c #Conflicts: 374000 | #Constraints: 17797
983.72/986.47 c #Conflicts: 375000 | #Constraints: 18797
983.72/986.47 c #Conflicts: 376000 | #Constraints: 19797
983.72/986.47 c #Conflicts: 377000 | #Constraints: 20797
983.72/986.47 c #Conflicts: 378000 | #Constraints: 21797
983.72/986.47 c #Conflicts: 379000 | #Constraints: 22797
983.72/986.47 c #Conflicts: 380000 | #Constraints: 23797
983.72/986.47 c #Conflicts: 381000 | #Constraints: 24797
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 382000 | #Constraints: 13599
983.72/986.47 c #Conflicts: 383000 | #Constraints: 14599
983.72/986.47 c #Conflicts: 384000 | #Constraints: 15599
983.72/986.47 c #Conflicts: 385000 | #Constraints: 16599
983.72/986.47 c #Conflicts: 386000 | #Constraints: 17599
983.72/986.47 c #Conflicts: 387000 | #Constraints: 18599
983.72/986.47 c #Conflicts: 388000 | #Constraints: 19599
983.72/986.47 c #Conflicts: 389000 | #Constraints: 20599
983.72/986.47 c #Conflicts: 390000 | #Constraints: 21599
983.72/986.47 c #Conflicts: 391000 | #Constraints: 22599
983.72/986.47 c #Conflicts: 392000 | #Constraints: 23599
983.72/986.47 c #Conflicts: 393000 | #Constraints: 24599
983.72/986.47 c #Conflicts: 394000 | #Constraints: 25599
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 395000 | #Constraints: 14208
983.72/986.47 c #Conflicts: 396000 | #Constraints: 15208
983.72/986.47 c #Conflicts: 397000 | #Constraints: 16208
983.72/986.47 c #Conflicts: 398000 | #Constraints: 17208
983.72/986.47 c #Conflicts: 399000 | #Constraints: 18208
983.72/986.47 c #Conflicts: 400000 | #Constraints: 19208
983.72/986.47 c #Conflicts: 401000 | #Constraints: 20208
983.72/986.47 c #Conflicts: 402000 | #Constraints: 21208
983.72/986.47 c #Conflicts: 403000 | #Constraints: 22208
983.72/986.47 c #Conflicts: 404000 | #Constraints: 23208
983.72/986.47 c #Conflicts: 405000 | #Constraints: 24208
983.72/986.47 c #Conflicts: 406000 | #Constraints: 25208
983.72/986.47 c #Conflicts: 407000 | #Constraints: 26208
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 408000 | #Constraints: 14610
983.72/986.47 c #Conflicts: 409000 | #Constraints: 15610
983.72/986.47 c #Conflicts: 410000 | #Constraints: 16610
983.72/986.47 c #Conflicts: 411000 | #Constraints: 17610
983.72/986.47 c #Conflicts: 412000 | #Constraints: 18610
983.72/986.47 c #Conflicts: 413000 | #Constraints: 19610
983.72/986.47 c #Conflicts: 414000 | #Constraints: 20610
983.72/986.47 c #Conflicts: 415000 | #Constraints: 21610
983.72/986.47 c #Conflicts: 416000 | #Constraints: 22610
983.72/986.47 c #Conflicts: 417000 | #Constraints: 23610
983.72/986.47 c #Conflicts: 418000 | #Constraints: 24610
983.72/986.47 c #Conflicts: 419000 | #Constraints: 25610
983.72/986.47 c #Conflicts: 420000 | #Constraints: 26610
983.72/986.47 c INPROCESSING
983.72/986.47 c GARBAGE COLLECT
983.72/986.47 c #Conflicts: 421000 | #Constraints: 14799
983.72/986.47 c #Conflicts: 422000 | #Constraints: 15799
983.72/986.47 c #Conflicts: 423000 | #Constraints: 16799
983.72/986.47 c #Conflicts: 424000 | #Constraints: 17799
983.72/986.47 c #Conflicts: 425000 | #Constraints: 18799
983.72/986.47 c #Conflicts: 426000 | #Constraints: 19799
1286.61/1290.11 c #Conflicts: 427000 | #Constraints: 20799
1286.61/1290.11 c #Conflicts: 428000 | #Constraints: 21799
1286.61/1290.11 c #Conflicts: 429000 | #Constraints: 22799
1286.61/1290.11 c #Conflicts: 430000 | #Constraints: 23799
1286.61/1290.11 c #Conflicts: 431000 | #Constraints: 24799
1286.61/1290.11 c #Conflicts: 432000 | #Constraints: 25799
1286.61/1290.11 c #Conflicts: 433000 | #Constraints: 26799
1286.61/1290.11 c INPROCESSING
1286.61/1290.11 c GARBAGE COLLECT
1286.61/1290.11 c #Conflicts: 434000 | #Constraints: 14799
1286.61/1290.11 c #Conflicts: 435000 | #Constraints: 15799
1286.61/1290.11 c #Conflicts: 436000 | #Constraints: 16799
1286.61/1290.11 c #Conflicts: 437000 | #Constraints: 17799
1286.61/1290.11 c #Conflicts: 438000 | #Constraints: 18799
1286.61/1290.11 c #Conflicts: 439000 | #Constraints: 19799
1286.61/1290.11 c #Conflicts: 440000 | #Constraints: 20799
1286.61/1290.11 c #Conflicts: 441000 | #Constraints: 21799
1286.61/1290.11 c #Conflicts: 442000 | #Constraints: 22799
1286.61/1290.11 c #Conflicts: 443000 | #Constraints: 23799
1286.61/1290.11 c #Conflicts: 444000 | #Constraints: 24799
1286.61/1290.11 c #Conflicts: 445000 | #Constraints: 25799
1286.61/1290.11 c #Conflicts: 446000 | #Constraints: 26799
1286.61/1290.11 c INPROCESSING
1286.61/1290.11 c GARBAGE COLLECT
1286.61/1290.11 c #Conflicts: 447000 | #Constraints: 14604
1286.61/1290.11 c #Conflicts: 448000 | #Constraints: 15604
1286.61/1290.11 c #Conflicts: 449000 | #Constraints: 16604
1286.61/1290.11 c #Conflicts: 450000 | #Constraints: 17604
1286.61/1290.11 c #Conflicts: 451000 | #Constraints: 18604
1286.61/1290.11 c #Conflicts: 452000 | #Constraints: 19604
1286.61/1290.11 c #Conflicts: 453000 | #Constraints: 20604
1286.61/1290.11 c #Conflicts: 454000 | #Constraints: 21604
1286.61/1290.11 c #Conflicts: 455000 | #Constraints: 22604
1286.61/1290.11 c #Conflicts: 456000 | #Constraints: 23604
1286.61/1290.11 c #Conflicts: 457000 | #Constraints: 24604
1286.61/1290.11 c #Conflicts: 458000 | #Constraints: 25604
1286.61/1290.11 c #Conflicts: 459000 | #Constraints: 26604
1286.61/1290.11 c #Conflicts: 460000 | #Constraints: 27604
1286.61/1290.11 c INPROCESSING
1286.61/1290.11 c GARBAGE COLLECT
1286.61/1290.11 c #Conflicts: 461000 | #Constraints: 15202
1286.61/1290.11 c #Conflicts: 462000 | #Constraints: 16202
1286.61/1290.11 c #Conflicts: 463000 | #Constraints: 17202
1286.61/1290.11 c #Conflicts: 464000 | #Constraints: 18202
1286.61/1290.11 c #Conflicts: 465000 | #Constraints: 19202
1286.61/1290.11 c #Conflicts: 466000 | #Constraints: 20202
1286.61/1290.11 c #Conflicts: 467000 | #Constraints: 21202
1286.61/1290.11 c #Conflicts: 468000 | #Constraints: 22202
1286.61/1290.11 c #Conflicts: 469000 | #Constraints: 23202
1286.61/1290.11 c #Conflicts: 470000 | #Constraints: 24202
1286.61/1290.11 c #Conflicts: 471000 | #Constraints: 25202
1286.61/1290.11 c #Conflicts: 472000 | #Constraints: 26202
1286.61/1290.11 c #Conflicts: 473000 | #Constraints: 27202
1286.61/1290.11 c #Conflicts: 474000 | #Constraints: 28202
1286.61/1290.11 c INPROCESSING
1286.61/1290.11 c GARBAGE COLLECT
1286.61/1290.11 c #Conflicts: 475000 | #Constraints: 15615
1286.61/1290.11 c #Conflicts: 476000 | #Constraints: 16615
1286.61/1290.11 c #Conflicts: 477000 | #Constraints: 17615
1286.61/1290.11 c #Conflicts: 478000 | #Constraints: 18615
1286.61/1290.11 c #Conflicts: 479000 | #Constraints: 19615
1286.61/1290.11 c #Conflicts: 480000 | #Constraints: 20615
1286.61/1290.11 c #Conflicts: 481000 | #Constraints: 21615
1286.61/1290.11 c #Conflicts: 482000 | #Constraints: 22615
1286.61/1290.11 c #Conflicts: 483000 | #Constraints: 23615
1286.61/1290.11 c #Conflicts: 484000 | #Constraints: 24615
1286.61/1290.11 c #Conflicts: 485000 | #Constraints: 25615
1286.61/1290.11 c #Conflicts: 486000 | #Constraints: 26615
1286.61/1290.11 c #Conflicts: 487000 | #Constraints: 27615
1286.61/1290.11 c #Conflicts: 488000 | #Constraints: 28615
1286.61/1290.11 c INPROCESSING
1286.61/1290.11 c GARBAGE COLLECT
1286.61/1290.11 c #Conflicts: 489000 | #Constraints: 15801
1286.61/1290.11 c #Conflicts: 490000 | #Constraints: 16801
1286.61/1290.11 c #Conflicts: 491000 | #Constraints: 17801
1286.61/1290.11 c #Conflicts: 492000 | #Constraints: 18801
1286.61/1290.11 c #Conflicts: 493000 | #Constraints: 19801
1286.61/1290.11 c #Conflicts: 494000 | #Constraints: 20801
1286.61/1290.11 c #Conflicts: 495000 | #Constraints: 21801
1286.61/1290.11 c #Conflicts: 496000 | #Constraints: 22801
1286.61/1290.11 c #Conflicts: 497000 | #Constraints: 23801
1286.61/1290.11 c #Conflicts: 498000 | #Constraints: 24801
1286.61/1290.11 c #Conflicts: 499000 | #Constraints: 25801
1286.61/1290.11 c #Conflicts: 500000 | #Constraints: 26801
1286.61/1290.11 c #Conflicts: 501000 | #Constraints: 27801
1286.61/1290.11 c bounds 219 >= 140 @ 1280.55
1778.21/1783.07 c #Conflicts: 502000 | #Constraints: 28916
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
1778.21/1783.07 c #Conflicts: 503000 | #Constraints: 15857
1778.21/1783.07 c #Conflicts: 504000 | #Constraints: 16857
1778.21/1783.07 c #Conflicts: 505000 | #Constraints: 17857
1778.21/1783.07 c #Conflicts: 506000 | #Constraints: 18857
1778.21/1783.07 c #Conflicts: 507000 | #Constraints: 19857
1778.21/1783.07 c #Conflicts: 508000 | #Constraints: 20857
1778.21/1783.07 c #Conflicts: 509000 | #Constraints: 21857
1778.21/1783.07 c #Conflicts: 510000 | #Constraints: 22857
1778.21/1783.07 c #Conflicts: 511000 | #Constraints: 23857
1778.21/1783.07 c #Conflicts: 512000 | #Constraints: 24857
1778.21/1783.07 c #Conflicts: 513000 | #Constraints: 25857
1778.21/1783.07 c #Conflicts: 514000 | #Constraints: 26857
1778.21/1783.07 c #Conflicts: 515000 | #Constraints: 27857
1778.21/1783.07 c #Conflicts: 516000 | #Constraints: 28857
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
1778.21/1783.07 c #Conflicts: 517000 | #Constraints: 15657
1778.21/1783.07 c #Conflicts: 518000 | #Constraints: 16657
1778.21/1783.07 c #Conflicts: 519000 | #Constraints: 17657
1778.21/1783.07 c #Conflicts: 520000 | #Constraints: 18657
1778.21/1783.07 c #Conflicts: 521000 | #Constraints: 19657
1778.21/1783.07 c #Conflicts: 522000 | #Constraints: 20657
1778.21/1783.07 c #Conflicts: 523000 | #Constraints: 21657
1778.21/1783.07 c #Conflicts: 524000 | #Constraints: 22657
1778.21/1783.07 c #Conflicts: 525000 | #Constraints: 23657
1778.21/1783.07 c #Conflicts: 526000 | #Constraints: 24657
1778.21/1783.07 c #Conflicts: 527000 | #Constraints: 25657
1778.21/1783.07 c #Conflicts: 528000 | #Constraints: 26657
1778.21/1783.07 c #Conflicts: 529000 | #Constraints: 27657
1778.21/1783.07 c #Conflicts: 530000 | #Constraints: 28657
1778.21/1783.07 c #Conflicts: 531000 | #Constraints: 29657
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
1778.21/1783.07 c #Conflicts: 532000 | #Constraints: 16259
1778.21/1783.07 c #Conflicts: 533000 | #Constraints: 17259
1778.21/1783.07 c #Conflicts: 534000 | #Constraints: 18259
1778.21/1783.07 c #Conflicts: 535000 | #Constraints: 19259
1778.21/1783.07 c #Conflicts: 536000 | #Constraints: 20259
1778.21/1783.07 c #Conflicts: 537000 | #Constraints: 21259
1778.21/1783.07 c #Conflicts: 538000 | #Constraints: 22259
1778.21/1783.07 c #Conflicts: 539000 | #Constraints: 23259
1778.21/1783.07 c #Conflicts: 540000 | #Constraints: 24259
1778.21/1783.07 c #Conflicts: 541000 | #Constraints: 25259
1778.21/1783.07 c #Conflicts: 542000 | #Constraints: 26259
1778.21/1783.07 c #Conflicts: 543000 | #Constraints: 27259
1778.21/1783.07 c #Conflicts: 544000 | #Constraints: 28259
1778.21/1783.07 c #Conflicts: 545000 | #Constraints: 29259
1778.21/1783.07 c #Conflicts: 546000 | #Constraints: 30259
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
1778.21/1783.07 c #Conflicts: 547000 | #Constraints: 16646
1778.21/1783.07 c #Conflicts: 548000 | #Constraints: 17646
1778.21/1783.07 c #Conflicts: 549000 | #Constraints: 18646
1778.21/1783.07 c #Conflicts: 550000 | #Constraints: 19646
1778.21/1783.07 c #Conflicts: 551000 | #Constraints: 20646
1778.21/1783.07 c #Conflicts: 552000 | #Constraints: 21646
1778.21/1783.07 c #Conflicts: 553000 | #Constraints: 22646
1778.21/1783.07 c #Conflicts: 554000 | #Constraints: 23646
1778.21/1783.07 c #Conflicts: 555000 | #Constraints: 24646
1778.21/1783.07 c #Conflicts: 556000 | #Constraints: 25646
1778.21/1783.07 c #Conflicts: 557000 | #Constraints: 26646
1778.21/1783.07 c #Conflicts: 558000 | #Constraints: 27646
1778.21/1783.07 c #Conflicts: 559000 | #Constraints: 28646
1778.21/1783.07 c #Conflicts: 560000 | #Constraints: 29646
1778.21/1783.07 c #Conflicts: 561000 | #Constraints: 30646
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
1778.21/1783.07 c #Conflicts: 562000 | #Constraints: 16857
1778.21/1783.07 c #Conflicts: 563000 | #Constraints: 17857
1778.21/1783.07 c #Conflicts: 564000 | #Constraints: 18857
1778.21/1783.07 c #Conflicts: 565000 | #Constraints: 19857
1778.21/1783.07 c #Conflicts: 566000 | #Constraints: 20857
1778.21/1783.07 c #Conflicts: 567000 | #Constraints: 21857
1778.21/1783.07 c #Conflicts: 568000 | #Constraints: 22857
1778.21/1783.07 c #Conflicts: 569000 | #Constraints: 23857
1778.21/1783.07 c #Conflicts: 570000 | #Constraints: 24857
1778.21/1783.07 c #Conflicts: 571000 | #Constraints: 25857
1778.21/1783.07 c #Conflicts: 572000 | #Constraints: 26857
1778.21/1783.07 c #Conflicts: 573000 | #Constraints: 27857
1778.21/1783.07 c #Conflicts: 574000 | #Constraints: 28857
1778.21/1783.07 c #Conflicts: 575000 | #Constraints: 29857
1778.21/1783.07 c #Conflicts: 576000 | #Constraints: 30857
1778.21/1783.07 c INPROCESSING
1778.21/1783.07 c GARBAGE COLLECT
2360.63/2367.02 c #Conflicts: 577000 | #Constraints: 16853
2360.63/2367.02 c #Conflicts: 578000 | #Constraints: 17853
2360.63/2367.02 c #Conflicts: 579000 | #Constraints: 18853
2360.63/2367.02 c #Conflicts: 580000 | #Constraints: 19853
2360.63/2367.02 c #Conflicts: 581000 | #Constraints: 20853
2360.63/2367.02 c #Conflicts: 582000 | #Constraints: 21853
2360.63/2367.02 c #Conflicts: 583000 | #Constraints: 22853
2360.63/2367.02 c #Conflicts: 584000 | #Constraints: 23853
2360.63/2367.02 c #Conflicts: 585000 | #Constraints: 24853
2360.63/2367.02 c #Conflicts: 586000 | #Constraints: 25853
2360.63/2367.02 c #Conflicts: 587000 | #Constraints: 26853
2360.63/2367.02 c #Conflicts: 588000 | #Constraints: 27853
2360.63/2367.02 c #Conflicts: 589000 | #Constraints: 28853
2360.63/2367.02 c #Conflicts: 590000 | #Constraints: 29853
2360.63/2367.02 c #Conflicts: 591000 | #Constraints: 30853
2360.63/2367.02 c INPROCESSING
2360.63/2367.02 c GARBAGE COLLECT
2360.63/2367.02 c #Conflicts: 592000 | #Constraints: 16653
2360.63/2367.02 c #Conflicts: 593000 | #Constraints: 17653
2360.63/2367.02 c #Conflicts: 594000 | #Constraints: 18653
2360.63/2367.02 c #Conflicts: 595000 | #Constraints: 19653
2360.63/2367.02 c #Conflicts: 596000 | #Constraints: 20653
2360.63/2367.02 c #Conflicts: 597000 | #Constraints: 21653
2360.63/2367.02 c #Conflicts: 598000 | #Constraints: 22653
2360.63/2367.02 c #Conflicts: 599000 | #Constraints: 23653
2360.63/2367.02 c #Conflicts: 600000 | #Constraints: 24653
2360.63/2367.02 c #Conflicts: 601000 | #Constraints: 25653
2360.63/2367.02 c #Conflicts: 602000 | #Constraints: 26653
2360.63/2367.02 c #Conflicts: 603000 | #Constraints: 27653
2360.63/2367.02 c #Conflicts: 604000 | #Constraints: 28653
2360.63/2367.02 c #Conflicts: 605000 | #Constraints: 29653
2360.63/2367.02 c #Conflicts: 606000 | #Constraints: 30653
2360.63/2367.02 c #Conflicts: 607000 | #Constraints: 31653
2360.63/2367.02 c INPROCESSING
2360.63/2367.02 c GARBAGE COLLECT
2360.63/2367.02 c #Conflicts: 608000 | #Constraints: 17253
2360.63/2367.02 c #Conflicts: 609000 | #Constraints: 18253
2360.63/2367.02 c #Conflicts: 610000 | #Constraints: 19253
2360.63/2367.02 c #Conflicts: 611000 | #Constraints: 20253
2360.63/2367.02 c #Conflicts: 612000 | #Constraints: 21253
2360.63/2367.02 c #Conflicts: 613000 | #Constraints: 22253
2360.63/2367.02 c #Conflicts: 614000 | #Constraints: 23253
2360.63/2367.02 c #Conflicts: 615000 | #Constraints: 24253
2360.63/2367.02 c #Conflicts: 616000 | #Constraints: 25253
2360.63/2367.02 c #Conflicts: 617000 | #Constraints: 26253
2360.63/2367.02 c #Conflicts: 618000 | #Constraints: 27253
2360.63/2367.02 c #Conflicts: 619000 | #Constraints: 28253
2360.63/2367.02 c #Conflicts: 620000 | #Constraints: 29253
2360.63/2367.02 c #Conflicts: 621000 | #Constraints: 30253
2360.63/2367.02 c #Conflicts: 622000 | #Constraints: 31253
2360.63/2367.02 c #Conflicts: 623000 | #Constraints: 32253
2360.63/2367.02 c INPROCESSING
2360.63/2367.02 c GARBAGE COLLECT
2360.63/2367.02 c #Conflicts: 624000 | #Constraints: 17658
2360.63/2367.02 c #Conflicts: 625000 | #Constraints: 18658
2360.63/2367.02 c #Conflicts: 626000 | #Constraints: 19658
2360.63/2367.02 c #Conflicts: 627000 | #Constraints: 20658
2360.63/2367.02 c #Conflicts: 628000 | #Constraints: 21658
2360.63/2367.02 c #Conflicts: 629000 | #Constraints: 22658
2360.63/2367.02 c #Conflicts: 630000 | #Constraints: 23658
2360.63/2367.02 c #Conflicts: 631000 | #Constraints: 24658
2360.63/2367.02 c #Conflicts: 632000 | #Constraints: 25658
2360.63/2367.02 c #Conflicts: 633000 | #Constraints: 26658
2360.63/2367.02 c #Conflicts: 634000 | #Constraints: 27658
2360.63/2367.02 c #Conflicts: 635000 | #Constraints: 28658
2360.63/2367.02 c #Conflicts: 636000 | #Constraints: 29658
2360.63/2367.02 c #Conflicts: 637000 | #Constraints: 30658
2360.63/2367.02 c #Conflicts: 638000 | #Constraints: 31658
2360.63/2367.02 c #Conflicts: 639000 | #Constraints: 32658
2360.63/2367.02 c INPROCESSING
2360.63/2367.02 c GARBAGE COLLECT
2360.63/2367.02 c #Conflicts: 640000 | #Constraints: 17869
2360.63/2367.02 c #Conflicts: 641000 | #Constraints: 18869
2360.63/2367.02 c #Conflicts: 642000 | #Constraints: 19869
2360.63/2367.02 c #Conflicts: 643000 | #Constraints: 20869
2360.63/2367.02 c #Conflicts: 644000 | #Constraints: 21869
2360.63/2367.02 c #Conflicts: 645000 | #Constraints: 22869
2360.63/2367.02 c #Conflicts: 646000 | #Constraints: 23869
2360.63/2367.02 c #Conflicts: 647000 | #Constraints: 24869
2360.63/2367.02 c #Conflicts: 648000 | #Constraints: 25869
2360.63/2367.02 c #Conflicts: 649000 | #Constraints: 26869
2360.63/2367.02 c #Conflicts: 650000 | #Constraints: 27869
2360.63/2367.02 c #Conflicts: 651000 | #Constraints: 28869
2360.63/2367.02 c #Conflicts: 652000 | #Constraints: 29869
3600.09/3610.00 c #Conflicts: 653000 | #Constraints: 30869
3600.09/3610.00 c #Conflicts: 654000 | #Constraints: 31869
3600.09/3610.00 c #Conflicts: 655000 | #Constraints: 32869
3600.09/3610.00 c INPROCESSING
3600.09/3610.00 c GARBAGE COLLECT
3600.09/3610.00 c #Conflicts: 656000 | #Constraints: 17863
3600.09/3610.00 c #Conflicts: 657000 | #Constraints: 18863
3600.09/3610.00 c #Conflicts: 658000 | #Constraints: 19863
3600.09/3610.00 c #Conflicts: 659000 | #Constraints: 20863
3600.09/3610.00 c #Conflicts: 660000 | #Constraints: 21863
3600.09/3610.00 c #Conflicts: 661000 | #Constraints: 22863
3600.09/3610.00 c #Conflicts: 662000 | #Constraints: 23863
3600.09/3610.00 c #Conflicts: 663000 | #Constraints: 24863
3600.09/3610.00 c #Conflicts: 664000 | #Constraints: 25863
3600.09/3610.00 c #Conflicts: 665000 | #Constraints: 26863
3600.09/3610.00 c #Conflicts: 666000 | #Constraints: 27863
3600.09/3610.00 c #Conflicts: 667000 | #Constraints: 28863
3600.09/3610.00 c #Conflicts: 668000 | #Constraints: 29863
3600.09/3610.00 c #Conflicts: 669000 | #Constraints: 30863
3600.09/3610.00 c #Conflicts: 670000 | #Constraints: 31863
3600.09/3610.00 c #Conflicts: 671000 | #Constraints: 32863
3600.09/3610.00 c #Conflicts: 672000 | #Constraints: 33863
3600.09/3610.00 c #Conflicts: 673000 | #Constraints: 34863
3600.09/3610.00 c #Conflicts: 674000 | #Constraints: 35863
3600.09/3610.00 c #Conflicts: 675000 | #Constraints: 36863
3600.09/3610.00 c #Conflicts: 676000 | #Constraints: 37863
3600.09/3610.00 c #Conflicts: 677000 | #Constraints: 38863
3600.09/3610.00 c #Conflicts: 678000 | #Constraints: 39863
3600.09/3610.00 c #Conflicts: 679000 | #Constraints: 40863
3600.09/3610.00 c #Conflicts: 680000 | #Constraints: 41863
3600.09/3610.00 c #Conflicts: 681000 | #Constraints: 42863
3600.09/3610.00 c #Conflicts: 682000 | #Constraints: 43863
3600.09/3610.00 c #Conflicts: 683000 | #Constraints: 44863
3600.09/3610.00 c #Conflicts: 684000 | #Constraints: 45863
3600.09/3610.00 c #Conflicts: 685000 | #Constraints: 46863
3600.09/3610.00 c #Conflicts: 686000 | #Constraints: 47863
3600.09/3610.00 c #Conflicts: 687000 | #Constraints: 48863
3600.09/3610.00 c #Conflicts: 688000 | #Constraints: 49863
3600.09/3610.00 c #Conflicts: 689000 | #Constraints: 50863
3600.09/3610.00 c #Conflicts: 690000 | #Constraints: 51863
3600.09/3610.00 c #Conflicts: 691000 | #Constraints: 52863
3600.09/3610.00 c #Conflicts: 692000 | #Constraints: 53863
3600.09/3610.00 c #Conflicts: 693000 | #Constraints: 54863
3600.09/3610.00 c #Conflicts: 694000 | #Constraints: 55863
3600.09/3610.00 c #Conflicts: 695000 | #Constraints: 56863
3600.09/3610.00 c #Conflicts: 696000 | #Constraints: 57863
3600.09/3610.00 c #Conflicts: 697000 | #Constraints: 58863
3600.09/3610.00 c #Conflicts: 698000 | #Constraints: 59863
3600.09/3610.00 c #Conflicts: 699000 | #Constraints: 60863
3600.09/3610.00 c #Conflicts: 700000 | #Constraints: 61863
3600.09/3610.00 c #Conflicts: 701000 | #Constraints: 62863
3600.09/3610.00 c #Conflicts: 702000 | #Constraints: 63863
3600.09/3610.00 c #Conflicts: 703000 | #Constraints: 64863
3600.09/3610.00 c #Conflicts: 704000 | #Constraints: 65863
3600.09/3610.00 c #Conflicts: 705000 | #Constraints: 66863
3600.09/3610.00 c #Conflicts: 706000 | #Constraints: 67863
3600.09/3610.00 c #Conflicts: 707000 | #Constraints: 68863
3600.09/3610.00 c #Conflicts: 708000 | #Constraints: 69863
3600.09/3610.00 c #Conflicts: 709000 | #Constraints: 70863
3600.09/3610.00 c #Conflicts: 710000 | #Constraints: 71863
3600.09/3610.00 c #Conflicts: 711000 | #Constraints: 72863
3600.09/3610.00 c #Conflicts: 712000 | #Constraints: 73863
3600.09/3610.00 c #Conflicts: 713000 | #Constraints: 74863
3600.09/3610.00 c #Conflicts: 714000 | #Constraints: 75863
3600.09/3610.00 c #Conflicts: 715000 | #Constraints: 76863
3600.09/3610.00 c #Conflicts: 716000 | #Constraints: 77863
3600.09/3610.00 c Program interrupted by user.
3600.09/3610.00 c cpu time 3587.33 s
3600.09/3610.00 c deterministic time 325506129311 3.26e+11
3600.09/3610.00 c optimization time 1248.51 s
3600.09/3610.00 c total solve time 2338.81 s
3600.09/3610.00 c core-guided solve time 2338.81 s
3600.09/3610.00 c propagation time 3266.95 s
3600.09/3610.00 c conflict analysis time 299.62 s
3600.09/3610.00 c propagations 89905199
3600.09/3610.00 c resolve steps 8078364
3600.09/3610.00 c decisions 9934642
3600.09/3610.00 c conflicts 716757
3600.09/3610.00 c restarts 1532
3600.09/3610.00 c inprocessing phases 72
3600.09/3610.00 c input clauses 196
3600.09/3610.00 c input cardinalities 382
3600.09/3610.00 c input general constraints 640
3600.09/3610.00 c input average constraint length 43.54
3600.09/3610.00 c input average constraint degree 21.16
3600.09/3610.00 c learned clauses 196358
3600.09/3610.00 c learned cardinalities 1691
3600.09/3610.00 c learned general constraints 518721
3600.09/3610.00 c learned average constraint length 133.33
3600.09/3610.00 c learned average constraint degree 2374338.33
3600.09/3610.00 c watched constraints 470448
3600.09/3610.00 c counting constraints 48913
3600.09/3610.00 c gcd simplifications 64499
3600.09/3610.00 c detected cardinalities 1383
3600.09/3610.00 c weakened non-implied lits 9340547
3600.09/3610.00 c weakened non-implying lits 31049
3600.09/3610.00 c original variables 470
3600.09/3610.00 c clausal propagations 14982091
3600.09/3610.00 c cardinality propagations 816511
3600.09/3610.00 c watched propagations 24672718
3600.09/3610.00 c counting propagations 48941732
3600.09/3610.00 c watch lookups 72173711240
3600.09/3610.00 c watch backjump lookups 69587234115
3600.09/3610.00 c watch checks 163190316387
3600.09/3610.00 c propagation checks 19934809638
3600.09/3610.00 c constraint additions 419661640
3600.09/3610.00 c trail pops 100556449
3600.09/3610.00 c formula constraints 469
3600.09/3610.00 c learned constraints 716770
3600.09/3610.00 c bound constraints 95
3600.09/3610.00 c core-guided constraints 654
3600.09/3610.00 c encountered formula constraints 1009092
3600.09/3610.00 c encountered learned constraints 6652589
3600.09/3610.00 c encountered bound constraints 125
3600.09/3610.00 c encountered core-guided constraints 1133315
3600.09/3610.00 c LP total time 0 s
3600.09/3610.00 c LP solve time 0 s
3600.09/3610.00 c LP constraints added 0
3600.09/3610.00 c LP constraints removed 0
3600.09/3610.00 c LP pivots internal 0
3600.09/3610.00 c LP pivots root 0
3600.09/3610.00 c LP calls 0
3600.09/3610.00 c LP optimalities 0
3600.09/3610.00 c LP no pivot count 0
3600.09/3610.00 c LP infeasibilities 0
3600.09/3610.00 c LP valid Farkas constraints 0
3600.09/3610.00 c LP learned Farkas constraints 0
3600.09/3610.00 c LP basis resets 0
3600.09/3610.00 c LP cycling count 0
3600.09/3610.00 c LP singular count 0
3600.09/3610.00 c LP no primal count 0
3600.09/3610.00 c LP no farkas count 0
3600.09/3610.00 c LP other issue count 0
3600.09/3610.00 c LP Gomory cuts 0
3600.09/3610.00 c LP learned cuts 0
3600.09/3610.00 c LP deleted cuts 0
3600.09/3610.00 c LP encountered Gomory constraints 0
3600.09/3610.00 c LP encountered Farkas constraints 0
3600.09/3610.00 c LP encountered learned Farkas constraints 0
3600.09/3610.00 c CG auxiliary variables introduced 281
3600.09/3610.00 c CG solutions found 2
3600.09/3610.00 c CG cores constructed 88
3600.09/3610.00 c CG core cardinality constraints returned 0
3600.09/3610.00 c CG unit cores 0
3600.09/3610.00 c CG single cores 88
3600.09/3610.00 c CG blocks removed during cardinality reduction 0
3600.09/3610.00 c CG first core best 0
3600.09/3610.00 c CG decision core best 0
3600.09/3610.00 c CG core reduction tie 0
3600.09/3610.00 c CG core degree average 1.00
3600.09/3610.00 c CG core slack average 5.78
3600.09/3610.00 c CG exhausted 0
3600.09/3610.00 c CG exhaust time 47.1033 s
3600.09/3610.00 c CG trimmed 5
3600.09/3610.00 c CG trim time 0.012973 s
3600.09/3610.00 c CG minimized 0
3600.09/3610.00 c CG minimize time 0 s
3600.09/3610.00 c CG am1 prop time 0.020088 s
3600.09/3610.00 c CG # am1s reformulated 52
3600.09/3610.00 c CG lower bound derived from am1s 52
3600.09/3610.00 c CG # clausal cores 27
3600.09/3610.00 c CG # cardinality cores 0
3600.09/3610.00 c CG # pb cores 61
3600.09/3610.00 c CG # pb reforms 0
3600.09/3610.00 c CG # cores discarded because of pb reform 0
3600.09/3610.00 d LOWERBOUND 140
3600.09/3610.00 d NCORES 88
3600.09/3610.00 d NPBCORES 61
3600.09/3610.00 d NPBREFORM 0
3600.09/3610.00 d NTRIMMED 5
3600.09/3610.00 d NEXHAUSTED 0
3600.09/3610.00 d NAM1S 52
3600.09/3610.00 d AM1LB 52
3600.09/3610.00 o 219
3600.09/3610.00 s SATISFIABLE
3600.09/3610.00 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 x468 -x469 -x470
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62880 MiB free)
memory of node 1: 64507 MiB (60879 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489364-1751346343/watcher-4489364-1751346343 -o /tmp/evaluation-result-4489364-1751346343/solver-4489364-1751346343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50527 --watchdog 3760 pb-oll-rs HOME/instance-4489364-1751346343.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=52001, runsolver pid=51998
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 52002
/proc/meminfo: memFree=126730680/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=22400 memory=10576 CPUtime=0.08 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 963 0 0 0 8 0 0 0 20 0 1 0 50312070 22937600 2644 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 5600 2644 1344 243 0 1849 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 22400 KiB
Current children cumulated memory: 10576 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.13 4.12 4.09 6/264 52002
/proc/meminfo: memFree=126730792/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=24160 memory=14344 CPUtime=0.19 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 1401 0 0 0 18 1 0 0 20 0 1 0 50312070 24739840 3586 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 6040 3586 1344 243 0 2289 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24160 KiB
Current children cumulated memory: 14344 KiB
[startup+0.304846 s]*
/proc/loadavg: 4.13 4.12 4.09 5/264 52002
/proc/meminfo: memFree=126730792/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=24296 memory=14344 CPUtime=0.29 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 1421 0 0 0 28 1 0 0 20 0 1 0 50312070 24879104 3586 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 6074 3586 1344 243 0 2323 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24296 KiB
Current children cumulated memory: 14344 KiB
[startup+0.700134 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 52002
/proc/meminfo: memFree=126730792/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=29460 memory=17160 CPUtime=0.68 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 2120 0 0 0 66 2 0 0 20 0 1 0 50312070 30167040 4290 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 7365 4290 1344 243 0 3614 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29460 KiB
Current children cumulated memory: 17160 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 52002
/proc/meminfo: memFree=126730792/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=37384 memory=22920 CPUtime=1.48 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 3548 0 0 0 145 3 0 0 20 0 1 0 50312070 38281216 5730 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 9346 5730 1344 243 0 5595 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37384 KiB
Current children cumulated memory: 22920 KiB
[startup+3.10549 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 52003
/proc/meminfo: memFree=126723132/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=40904 memory=29680 CPUtime=3.08 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 4729 0 0 0 301 7 0 0 20 0 1 0 50312070 41885696 7420 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 10226 7420 1344 243 0 6475 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40904 KiB
Current children cumulated memory: 29680 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 52003
/proc/meminfo: memFree=126711056/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=51032 memory=35676 CPUtime=6.26 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 5745 0 0 0 614 12 0 0 20 0 1 0 50312070 52256768 8919 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 12758 8919 1344 243 0 9007 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51032 KiB
Current children cumulated memory: 35676 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 52003
/proc/meminfo: memFree=126709040/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=55192 memory=41272 CPUtime=12.65 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 6621 0 0 0 1241 24 0 0 20 0 1 0 50312070 56516608 10318 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 13798 10318 1344 243 0 10047 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55192 KiB
Current children cumulated memory: 41272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 52004
/proc/meminfo: memFree=126662428/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=76088 memory=54268 CPUtime=25.4 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 9364 0 0 0 2495 45 0 0 20 0 1 0 50312070 77914112 13567 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 19022 13567 1344 243 0 15271 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 76088 KiB
Current children cumulated memory: 54268 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 52004
/proc/meminfo: memFree=126647852/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=81592 memory=61560 CPUtime=50.93 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 10664 0 0 0 5010 83 0 0 20 0 1 0 50312070 83550208 15390 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 20398 15390 1344 243 0 16647 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81592 KiB
Current children cumulated memory: 61560 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 52006
/proc/meminfo: memFree=126589576/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=85556 memory=64632 CPUtime=101.97 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 11460 0 0 0 10071 126 0 0 20 0 1 0 50312070 87609344 16158 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 21389 16158 1344 243 0 17638 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 85556 KiB
Current children cumulated memory: 64632 KiB
[startup+162.3 s]
/proc/loadavg: 4.43 4.20 4.12 5/265 52008
/proc/meminfo: memFree=126541396/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=86004 memory=65144 CPUtime=161.78 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 11587 0 0 0 16000 178 0 0 20 0 1 0 50312070 88068096 16286 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 21501 16286 1344 243 0 17750 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 86004 KiB
Current children cumulated memory: 65144 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/265 52010
/proc/meminfo: memFree=126492260/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=86636 memory=70648 CPUtime=221.6 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 11779 0 0 0 21942 218 0 0 20 0 1 0 50312070 88715264 17662 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 21659 17662 1344 243 0 17908 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 70648 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/265 52012
/proc/meminfo: memFree=126533056/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=87020 memory=71032 CPUtime=281.45 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 11896 0 0 0 27900 245 0 0 20 0 1 0 50312070 89108480 17758 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 21755 17758 1344 243 0 18004 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 87020 KiB
Current children cumulated memory: 71032 KiB
[startup+342.3 s]
/proc/loadavg: 4.34 4.23 4.13 5/263 52014
/proc/meminfo: memFree=126531420/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=88332 memory=71928 CPUtime=341.29 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 12149 0 0 0 33855 274 0 0 20 0 1 0 50312070 90451968 17982 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 22083 17982 1344 243 0 18332 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 88332 KiB
Current children cumulated memory: 71928 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/263 52016
/proc/meminfo: memFree=126523812/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=88856 memory=72440 CPUtime=401.14 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 12320 0 0 0 39811 303 0 0 20 0 1 0 50312070 90988544 18110 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 22214 18110 1344 243 0 18463 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 88856 KiB
Current children cumulated memory: 72440 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/265 52022
/proc/meminfo: memFree=126512692/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=89864 memory=72952 CPUtime=461 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 12508 0 0 0 45771 329 0 0 20 0 1 0 50312070 92020736 18238 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 22466 18238 1344 243 0 18715 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 109692 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 52136
/proc/meminfo: memFree=126363360/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=140212 memory=113592 CPUtime=2854.55 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 19366 0 0 0 284294 1161 0 0 20 0 1 0 50312070 143577088 28398 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 35053 28398 1344 243 0 31302 0
Current children cumulated CPU time: 2854.55 s
Current children cumulated vsize: 140212 KiB
Current children cumulated memory: 113592 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 52138
/proc/meminfo: memFree=126353024/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=142876 memory=117608 CPUtime=2914.38 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 19847 0 0 0 290264 1174 0 0 20 0 1 0 50312070 146305024 29402 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 35719 29402 1344 243 0 31968 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 142876 KiB
Current children cumulated memory: 117608 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 52140
/proc/meminfo: memFree=126350112/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=145020 memory=121316 CPUtime=2974.21 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 20261 0 0 0 296237 1184 0 0 20 0 1 0 50312070 148500480 30329 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 36255 30329 1344 243 0 32504 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 145020 KiB
Current children cumulated memory: 121316 KiB
[startup+3042.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 52148
/proc/meminfo: memFree=126353676/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=146188 memory=124452 CPUtime=3034.03 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 20541 0 0 0 302210 1193 0 0 20 0 1 0 50312070 149696512 31113 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 36547 31113 1344 243 0 32796 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 146188 KiB
Current children cumulated memory: 124452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 52150
/proc/meminfo: memFree=126348928/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=148192 memory=127272 CPUtime=3093.85 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 21135 0 0 0 308182 1203 0 0 20 0 1 0 50312070 151748608 31818 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 37048 31818 1344 243 0 33297 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 148192 KiB
Current children cumulated memory: 127272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 52152
/proc/meminfo: memFree=126328568/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=148960 memory=135236 CPUtime=3153.68 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 21664 0 0 0 314156 1212 0 0 20 0 1 0 50312070 152535040 33809 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 37240 33809 1344 243 0 33489 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 148960 KiB
Current children cumulated memory: 135236 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 52154
/proc/meminfo: memFree=126321040/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=180740 memory=138896 CPUtime=3213.5 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 22159 0 0 0 320129 1221 0 0 20 0 1 0 50312070 185077760 34724 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 45185 34724 1344 243 0 41434 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 180740 KiB
Current children cumulated memory: 138896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 52156
/proc/meminfo: memFree=126312816/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=183044 memory=142056 CPUtime=3273.32 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 22569 0 0 0 326103 1229 0 0 20 0 1 0 50312070 187437056 35514 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 45761 35514 1344 243 0 42010 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 183044 KiB
Current children cumulated memory: 142056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 52171
/proc/meminfo: memFree=126314532/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=184804 memory=144904 CPUtime=3333.14 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 22904 0 0 0 332076 1238 0 0 20 0 1 0 50312070 189239296 36226 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 46201 36226 1344 243 0 42450 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 184804 KiB
Current children cumulated memory: 144904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 52173
/proc/meminfo: memFree=126328640/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=186376 memory=145476 CPUtime=3392.97 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 23265 0 0 0 338051 1246 0 0 20 0 1 0 50312070 190849024 36369 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 46594 36369 1344 243 0 42843 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 186376 KiB
Current children cumulated memory: 145476 KiB
[startup+3462.3 s]
/proc/loadavg: 3.04 3.81 3.99 3/253 52239
/proc/meminfo: memFree=126550960/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=187724 memory=148016 CPUtime=3452.8 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 23636 0 0 0 344024 1256 0 0 20 0 1 0 50312070 192229376 37004 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 46931 37004 1344 243 0 43180 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 187724 KiB
Current children cumulated memory: 148016 KiB
[startup+3522.3 s]
/proc/loadavg: 2.50 3.51 3.88 3/253 52240
/proc/meminfo: memFree=126541352/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=190028 memory=151032 CPUtime=3512.63 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 24158 0 0 0 349999 1264 0 0 20 0 1 0 50312070 194588672 37758 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 47507 37758 1344 243 0 43756 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 190028 KiB
Current children cumulated memory: 151032 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 3.21 3.75 2/247 52273
/proc/meminfo: memFree=126697656/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=192884 memory=157084 CPUtime=3572.46 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 24743 0 0 0 355973 1273 0 0 20 0 1 0 50312070 197513216 39271 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 48221 39271 1344 243 0 44470 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 192884 KiB
Current children cumulated memory: 157084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 1.72 3.03 3.68 2/247 52274
/proc/meminfo: memFree=126689716/131249996 swapFree=33010684/33010684
[pid=52001] ppid=51998 vsize=193140 memory=160028 CPUtime=3600.09 cores=1,3
/proc/52001/stat : 52001 (pb-oll-rs) R 51998 52001 50515 0 -1 4194304 24808 0 0 0 358732 1277 0 0 20 0 1 0 50312070 197775360 40007 18446744073709551615 4218880 5211445 140721013017472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12296192 140721013025180 140721013025257 140721013025257 140721013030859 0
/proc/52001/statm: 48285 40007 1344 243 0 44534 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 193140 KiB
Current children cumulated memory: 160028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 52001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.33 s, system=12.7741 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.1
CPU user time (s): 3587.33
CPU system time (s): 12.7741
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 193140
Max. memory (cumulated for all children) (KiB): 160028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.33
system time used= 12.7741
maximum resident set size= 160284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24823
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= 155
involuntary context switches= 6025
# summary of solver processes directly reported to runsolver:
# pid: 52001
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.33
# total CPU system time (s): 12.7741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81198 second user time and 16.5325 second system time
The end
Begin job on nodeC017 at 2025-07-01 07:05:43
IDJOB=4489364
IDBENCH=147546
IDSOLVER=3345
FILE ID=nodeC017/4489364-1751346343
RUNJOBID= nodeC017-1751338915-50527
SLURM_JOB_ID= 9594401
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489364-1751346343/watcher-4489364-1751346343 -o /tmp/evaluation-result-4489364-1751346343/solver-4489364-1751346343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751338915-50527 --watchdog 3760 pb-oll-rs HOME/instance-4489364-1751346343.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=743586853
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.154
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.093
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3600.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3540.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
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 : 3619.317
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126730296 kB
MemAvailable: 129587824 kB
Buffers: 2380 kB
Cached: 3628088 kB
SwapCached: 0 kB
Active: 564380 kB
Inactive: 3322428 kB
Active(anon): 274408 kB
Inactive(anon): 12 kB
Active(file): 289972 kB
Inactive(file): 3322416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1660 kB
Writeback: 28 kB
AnonPages: 259336 kB
Mapped: 107180 kB
Shmem: 18080 kB
KReclaimable: 168360 kB
Slab: 257024 kB
SReclaimable: 168360 kB
SUnreclaim: 88664 kB
KernelStack: 4204 kB
PageTables: 3564 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 620308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC017 at 2025-07-01 08:05:53