0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.28/0.36 c #variables 1272 #constraints 94227
0.28/0.36 c objective is ce32
0.48/0.54 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.48/0.54 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.48/0.54 c GLOBAL bounds - >= -1272 @ 0.358235
0.48/0.54 c GLOBAL bounds - >= -1272 @ 0.359561
0.48/0.54 c GLOBAL bounds - >= -1272 @ 0.360461
0.48/0.54 c GLOBAL bounds - >= -1272 @ 0.360479
0.48/0.55 c GLOBAL bounds - >= -1272 @ 0.368719
0.48/0.56 c GLOBAL bounds - >= -1272 @ 0.378987
0.48/0.57 c GLOBAL bounds - >= -1272 @ 0.380026
0.48/0.57 c GLOBAL bounds - >= -1272 @ 0.380436
0.48/0.57 c GLOBAL bounds - >= -1272 @ 0.381603
0.48/0.58 c GLOBAL bounds - >= -1272 @ 0.388404
0.48/0.58 c GLOBAL bounds - >= -1272 @ 0.388418
0.48/0.59 c GLOBAL bounds - >= -1272 @ 0.40089
0.58/0.60 c GLOBAL bounds - >= -1272 @ 0.412366
0.58/0.60 c GLOBAL bounds - >= -1272 @ 0.412767
0.58/0.60 c GLOBAL bounds - >= -1272 @ 0.414591
0.58/0.68 c GLOBAL bounds - >= -1272 @ 0.489757
0.67/0.79 c GLOBAL bounds - >= -1272 @ 0.593988
0.67/0.79 c GLOBAL bounds - >= -1272 @ 0.597438
0.67/0.79 c GLOBAL bounds - >= -1272 @ 0.599832
0.77/0.80 c GLOBAL bounds - >= -1272 @ 0.606573
0.77/0.80 c GLOBAL bounds - >= -1272 @ 0.609381
0.77/0.80 c GLOBAL bounds - >= -1272 @ 0.610973
0.77/0.81 c GLOBAL bounds - >= -1272 @ 0.615144
0.77/0.81 c GLOBAL bounds - >= -1272 @ 0.6175
0.77/0.81 c GLOBAL bounds - >= -1272 @ 0.619121
0.77/0.81 c GLOBAL bounds - >= -1272 @ 0.621362
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.622825
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.624128
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.625032
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.626979
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.628902
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.630127
0.77/0.82 c GLOBAL bounds - >= -1272 @ 0.631008
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.631553
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.632347
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.633578
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.634118
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.634893
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.636382
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.637599
0.77/0.83 c GLOBAL bounds - >= -1272 @ 0.638496
0.77/0.85 c GLOBAL bounds - >= -1272 @ 0.65245
0.77/0.85 c GLOBAL bounds - >= -1272 @ 0.654366
106.17/106.59 c #Conflicts: 1000 | #Constraints: 95309
106.17/106.59 c #Conflicts: 2000 | #Constraints: 96309
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 3000 | #Constraints: 96314
106.17/106.59 c #Conflicts: 4000 | #Constraints: 97314
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 5000 | #Constraints: 96719
106.17/106.59 c #Conflicts: 6000 | #Constraints: 97719
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 7000 | #Constraints: 96721
106.17/106.59 c #Conflicts: 8000 | #Constraints: 97721
106.17/106.59 c #Conflicts: 9000 | #Constraints: 98721
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 10000 | #Constraints: 97421
106.17/106.59 c #Conflicts: 11000 | #Constraints: 98421
106.17/106.59 c #Conflicts: 12000 | #Constraints: 99421
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 13000 | #Constraints: 97872
106.17/106.59 c #Conflicts: 14000 | #Constraints: 98872
106.17/106.59 c #Conflicts: 15000 | #Constraints: 99872
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 16000 | #Constraints: 98094
106.17/106.59 c #Conflicts: 17000 | #Constraints: 99094
106.17/106.59 c #Conflicts: 18000 | #Constraints: 100094
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 19000 | #Constraints: 98109
106.17/106.59 c #Conflicts: 20000 | #Constraints: 99109
106.17/106.59 c #Conflicts: 21000 | #Constraints: 100109
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 22000 | #Constraints: 97919
106.17/106.59 c #Conflicts: 23000 | #Constraints: 98919
106.17/106.59 c #Conflicts: 24000 | #Constraints: 99919
106.17/106.59 c #Conflicts: 25000 | #Constraints: 100919
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 26000 | #Constraints: 98520
106.17/106.59 c #Conflicts: 27000 | #Constraints: 99520
106.17/106.59 c #Conflicts: 28000 | #Constraints: 100520
106.17/106.59 c #Conflicts: 29000 | #Constraints: 101520
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 30000 | #Constraints: 98925
106.17/106.59 c #Conflicts: 31000 | #Constraints: 99925
106.17/106.59 c #Conflicts: 32000 | #Constraints: 100925
106.17/106.59 c #Conflicts: 33000 | #Constraints: 101925
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c #Conflicts: 34000 | #Constraints: 99124
106.17/106.59 c #Conflicts: 35000 | #Constraints: 100124
106.17/106.59 c #Conflicts: 36000 | #Constraints: 101124
106.17/106.59 c #Conflicts: 37000 | #Constraints: 102124
106.17/106.59 c INPROCESSING
106.17/106.59 c GARBAGE COLLECT
106.17/106.59 c GLOBAL bounds - >= -1272 @ 105.846
478.50/480.11 c #Conflicts: 38000 | #Constraints: 99125
478.50/480.11 c #Conflicts: 39000 | #Constraints: 100125
478.50/480.11 c #Conflicts: 40000 | #Constraints: 101125
478.50/480.11 c #Conflicts: 41000 | #Constraints: 102125
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 42000 | #Constraints: 98929
478.50/480.11 c #Conflicts: 43000 | #Constraints: 99929
478.50/480.11 c #Conflicts: 44000 | #Constraints: 100929
478.50/480.11 c #Conflicts: 45000 | #Constraints: 101929
478.50/480.11 c #Conflicts: 46000 | #Constraints: 102929
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 47000 | #Constraints: 99528
478.50/480.11 c #Conflicts: 48000 | #Constraints: 100528
478.50/480.11 c #Conflicts: 49000 | #Constraints: 101528
478.50/480.11 c #Conflicts: 50000 | #Constraints: 102528
478.50/480.11 c #Conflicts: 51000 | #Constraints: 103528
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 52000 | #Constraints: 99929
478.50/480.11 c #Conflicts: 53000 | #Constraints: 100929
478.50/480.11 c #Conflicts: 54000 | #Constraints: 101929
478.50/480.11 c #Conflicts: 55000 | #Constraints: 102929
478.50/480.11 c #Conflicts: 56000 | #Constraints: 103929
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 57000 | #Constraints: 100130
478.50/480.11 c #Conflicts: 58000 | #Constraints: 101130
478.50/480.11 c #Conflicts: 59000 | #Constraints: 102130
478.50/480.11 c #Conflicts: 60000 | #Constraints: 103130
478.50/480.11 c #Conflicts: 61000 | #Constraints: 104130
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 62000 | #Constraints: 100130
478.50/480.11 c #Conflicts: 63000 | #Constraints: 101130
478.50/480.11 c #Conflicts: 64000 | #Constraints: 102130
478.50/480.11 c #Conflicts: 65000 | #Constraints: 103130
478.50/480.11 c #Conflicts: 66000 | #Constraints: 104130
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 67000 | #Constraints: 99929
478.50/480.11 c #Conflicts: 68000 | #Constraints: 100929
478.50/480.11 c #Conflicts: 69000 | #Constraints: 101929
478.50/480.11 c #Conflicts: 70000 | #Constraints: 102929
478.50/480.11 c #Conflicts: 71000 | #Constraints: 103929
478.50/480.11 c #Conflicts: 72000 | #Constraints: 104929
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 73000 | #Constraints: 100527
478.50/480.11 c #Conflicts: 74000 | #Constraints: 101527
478.50/480.11 c #Conflicts: 75000 | #Constraints: 102527
478.50/480.11 c #Conflicts: 76000 | #Constraints: 103527
478.50/480.11 c #Conflicts: 77000 | #Constraints: 104527
478.50/480.11 c #Conflicts: 78000 | #Constraints: 105527
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 79000 | #Constraints: 100928
478.50/480.11 c #Conflicts: 80000 | #Constraints: 101928
478.50/480.11 c #Conflicts: 81000 | #Constraints: 102928
478.50/480.11 c #Conflicts: 82000 | #Constraints: 103928
478.50/480.11 c #Conflicts: 83000 | #Constraints: 104928
478.50/480.11 c #Conflicts: 84000 | #Constraints: 105928
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 85000 | #Constraints: 101131
478.50/480.11 c #Conflicts: 86000 | #Constraints: 102131
478.50/480.11 c #Conflicts: 87000 | #Constraints: 103131
478.50/480.11 c #Conflicts: 88000 | #Constraints: 104131
478.50/480.11 c #Conflicts: 89000 | #Constraints: 105131
478.50/480.11 c #Conflicts: 90000 | #Constraints: 106131
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 91000 | #Constraints: 101127
478.50/480.11 c #Conflicts: 92000 | #Constraints: 102127
478.50/480.11 c #Conflicts: 93000 | #Constraints: 103127
478.50/480.11 c #Conflicts: 94000 | #Constraints: 104127
478.50/480.11 c #Conflicts: 95000 | #Constraints: 105127
478.50/480.11 c #Conflicts: 96000 | #Constraints: 106127
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 97000 | #Constraints: 100934
478.50/480.11 c #Conflicts: 98000 | #Constraints: 101934
478.50/480.11 c #Conflicts: 99000 | #Constraints: 102934
478.50/480.11 c #Conflicts: 100000 | #Constraints: 103934
478.50/480.11 c #Conflicts: 101000 | #Constraints: 104934
478.50/480.11 c #Conflicts: 102000 | #Constraints: 105934
478.50/480.11 c #Conflicts: 103000 | #Constraints: 106934
478.50/480.11 c INPROCESSING
478.50/480.11 c GARBAGE COLLECT
478.50/480.11 c #Conflicts: 104000 | #Constraints: 101531
478.50/480.11 c #Conflicts: 105000 | #Constraints: 102531
478.50/480.11 c #Conflicts: 106000 | #Constraints: 103531
478.50/480.11 c #Conflicts: 107000 | #Constraints: 104531
478.50/480.11 c #Conflicts: 108000 | #Constraints: 105531
478.50/480.11 c #Conflicts: 109000 | #Constraints: 106531
938.85/941.83 c #Conflicts: 110000 | #Constraints: 107531
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 111000 | #Constraints: 101931
938.85/941.83 c #Conflicts: 112000 | #Constraints: 102931
938.85/941.83 c #Conflicts: 113000 | #Constraints: 103931
938.85/941.83 c #Conflicts: 114000 | #Constraints: 104931
938.85/941.83 c #Conflicts: 115000 | #Constraints: 105931
938.85/941.83 c #Conflicts: 116000 | #Constraints: 106931
938.85/941.83 c #Conflicts: 117000 | #Constraints: 107931
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 118000 | #Constraints: 102130
938.85/941.83 c #Conflicts: 119000 | #Constraints: 103130
938.85/941.83 c #Conflicts: 120000 | #Constraints: 104130
938.85/941.83 c #Conflicts: 121000 | #Constraints: 105130
938.85/941.83 c #Conflicts: 122000 | #Constraints: 106130
938.85/941.83 c #Conflicts: 123000 | #Constraints: 107130
938.85/941.83 c #Conflicts: 124000 | #Constraints: 108130
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 125000 | #Constraints: 102129
938.85/941.83 c #Conflicts: 126000 | #Constraints: 103129
938.85/941.83 c #Conflicts: 127000 | #Constraints: 104129
938.85/941.83 c #Conflicts: 128000 | #Constraints: 105129
938.85/941.83 c #Conflicts: 129000 | #Constraints: 106129
938.85/941.83 c #Conflicts: 130000 | #Constraints: 107129
938.85/941.83 c #Conflicts: 131000 | #Constraints: 108129
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 132000 | #Constraints: 101927
938.85/941.83 c #Conflicts: 133000 | #Constraints: 102927
938.85/941.83 c #Conflicts: 134000 | #Constraints: 103927
938.85/941.83 c #Conflicts: 135000 | #Constraints: 104927
938.85/941.83 c #Conflicts: 136000 | #Constraints: 105927
938.85/941.83 c #Conflicts: 137000 | #Constraints: 106927
938.85/941.83 c #Conflicts: 138000 | #Constraints: 107927
938.85/941.83 c #Conflicts: 139000 | #Constraints: 108927
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 140000 | #Constraints: 102529
938.85/941.83 c #Conflicts: 141000 | #Constraints: 103529
938.85/941.83 c #Conflicts: 142000 | #Constraints: 104529
938.85/941.83 c #Conflicts: 143000 | #Constraints: 105529
938.85/941.83 c #Conflicts: 144000 | #Constraints: 106529
938.85/941.83 c #Conflicts: 145000 | #Constraints: 107529
938.85/941.83 c #Conflicts: 146000 | #Constraints: 108529
938.85/941.83 c #Conflicts: 147000 | #Constraints: 109529
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 148000 | #Constraints: 102930
938.85/941.83 c #Conflicts: 149000 | #Constraints: 103930
938.85/941.83 c #Conflicts: 150000 | #Constraints: 104930
938.85/941.83 c #Conflicts: 151000 | #Constraints: 105930
938.85/941.83 c #Conflicts: 152000 | #Constraints: 106930
938.85/941.83 c #Conflicts: 153000 | #Constraints: 107930
938.85/941.83 c #Conflicts: 154000 | #Constraints: 108930
938.85/941.83 c #Conflicts: 155000 | #Constraints: 109930
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 156000 | #Constraints: 103131
938.85/941.83 c #Conflicts: 157000 | #Constraints: 104131
938.85/941.83 c #Conflicts: 158000 | #Constraints: 105131
938.85/941.83 c #Conflicts: 159000 | #Constraints: 106131
938.85/941.83 c #Conflicts: 160000 | #Constraints: 107131
938.85/941.83 c #Conflicts: 161000 | #Constraints: 108131
938.85/941.83 c #Conflicts: 162000 | #Constraints: 109131
938.85/941.83 c #Conflicts: 163000 | #Constraints: 110131
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 164000 | #Constraints: 103130
938.85/941.83 c #Conflicts: 165000 | #Constraints: 104130
938.85/941.83 c #Conflicts: 166000 | #Constraints: 105130
938.85/941.83 c #Conflicts: 167000 | #Constraints: 106130
938.85/941.83 c #Conflicts: 168000 | #Constraints: 107130
938.85/941.83 c #Conflicts: 169000 | #Constraints: 108130
938.85/941.83 c #Conflicts: 170000 | #Constraints: 109130
938.85/941.83 c #Conflicts: 171000 | #Constraints: 110130
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 172000 | #Constraints: 102930
938.85/941.83 c #Conflicts: 173000 | #Constraints: 103930
938.85/941.83 c #Conflicts: 174000 | #Constraints: 104930
938.85/941.83 c #Conflicts: 175000 | #Constraints: 105930
938.85/941.83 c #Conflicts: 176000 | #Constraints: 106930
938.85/941.83 c #Conflicts: 177000 | #Constraints: 107930
938.85/941.83 c #Conflicts: 178000 | #Constraints: 108930
938.85/941.83 c #Conflicts: 179000 | #Constraints: 109930
938.85/941.83 c #Conflicts: 180000 | #Constraints: 110930
938.85/941.83 c INPROCESSING
938.85/941.83 c GARBAGE COLLECT
938.85/941.83 c #Conflicts: 181000 | #Constraints: 103530
1522.00/1526.71 c #Conflicts: 182000 | #Constraints: 104530
1522.00/1526.71 c #Conflicts: 183000 | #Constraints: 105530
1522.00/1526.71 c #Conflicts: 184000 | #Constraints: 106530
1522.00/1526.71 c #Conflicts: 185000 | #Constraints: 107530
1522.00/1526.71 c #Conflicts: 186000 | #Constraints: 108530
1522.00/1526.71 c #Conflicts: 187000 | #Constraints: 109530
1522.00/1526.71 c #Conflicts: 188000 | #Constraints: 110530
1522.00/1526.71 c #Conflicts: 189000 | #Constraints: 111530
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 190000 | #Constraints: 103930
1522.00/1526.71 c #Conflicts: 191000 | #Constraints: 104930
1522.00/1526.71 c #Conflicts: 192000 | #Constraints: 105930
1522.00/1526.71 c #Conflicts: 193000 | #Constraints: 106930
1522.00/1526.71 c #Conflicts: 194000 | #Constraints: 107930
1522.00/1526.71 c #Conflicts: 195000 | #Constraints: 108930
1522.00/1526.71 c #Conflicts: 196000 | #Constraints: 109930
1522.00/1526.71 c #Conflicts: 197000 | #Constraints: 110930
1522.00/1526.71 c #Conflicts: 198000 | #Constraints: 111930
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 199000 | #Constraints: 104130
1522.00/1526.71 c #Conflicts: 200000 | #Constraints: 105130
1522.00/1526.71 c #Conflicts: 201000 | #Constraints: 106130
1522.00/1526.71 c #Conflicts: 202000 | #Constraints: 107130
1522.00/1526.71 c #Conflicts: 203000 | #Constraints: 108130
1522.00/1526.71 c #Conflicts: 204000 | #Constraints: 109130
1522.00/1526.71 c #Conflicts: 205000 | #Constraints: 110130
1522.00/1526.71 c #Conflicts: 206000 | #Constraints: 111130
1522.00/1526.71 c #Conflicts: 207000 | #Constraints: 112130
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 208000 | #Constraints: 104126
1522.00/1526.71 c #Conflicts: 209000 | #Constraints: 105126
1522.00/1526.71 c #Conflicts: 210000 | #Constraints: 106126
1522.00/1526.71 c #Conflicts: 211000 | #Constraints: 107126
1522.00/1526.71 c #Conflicts: 212000 | #Constraints: 108126
1522.00/1526.71 c #Conflicts: 213000 | #Constraints: 109126
1522.00/1526.71 c #Conflicts: 214000 | #Constraints: 110126
1522.00/1526.71 c #Conflicts: 215000 | #Constraints: 111126
1522.00/1526.71 c #Conflicts: 216000 | #Constraints: 112126
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 217000 | #Constraints: 103926
1522.00/1526.71 c #Conflicts: 218000 | #Constraints: 104926
1522.00/1526.71 c #Conflicts: 219000 | #Constraints: 105926
1522.00/1526.71 c #Conflicts: 220000 | #Constraints: 106926
1522.00/1526.71 c #Conflicts: 221000 | #Constraints: 107926
1522.00/1526.71 c #Conflicts: 222000 | #Constraints: 108926
1522.00/1526.71 c #Conflicts: 223000 | #Constraints: 109926
1522.00/1526.71 c #Conflicts: 224000 | #Constraints: 110926
1522.00/1526.71 c #Conflicts: 225000 | #Constraints: 111926
1522.00/1526.71 c #Conflicts: 226000 | #Constraints: 112926
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 227000 | #Constraints: 104527
1522.00/1526.71 c #Conflicts: 228000 | #Constraints: 105527
1522.00/1526.71 c #Conflicts: 229000 | #Constraints: 106527
1522.00/1526.71 c #Conflicts: 230000 | #Constraints: 107527
1522.00/1526.71 c #Conflicts: 231000 | #Constraints: 108527
1522.00/1526.71 c #Conflicts: 232000 | #Constraints: 109527
1522.00/1526.71 c #Conflicts: 233000 | #Constraints: 110527
1522.00/1526.71 c #Conflicts: 234000 | #Constraints: 111527
1522.00/1526.71 c #Conflicts: 235000 | #Constraints: 112527
1522.00/1526.71 c #Conflicts: 236000 | #Constraints: 113527
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 237000 | #Constraints: 104929
1522.00/1526.71 c #Conflicts: 238000 | #Constraints: 105929
1522.00/1526.71 c #Conflicts: 239000 | #Constraints: 106929
1522.00/1526.71 c #Conflicts: 240000 | #Constraints: 107929
1522.00/1526.71 c #Conflicts: 241000 | #Constraints: 108929
1522.00/1526.71 c #Conflicts: 242000 | #Constraints: 109929
1522.00/1526.71 c #Conflicts: 243000 | #Constraints: 110929
1522.00/1526.71 c #Conflicts: 244000 | #Constraints: 111929
1522.00/1526.71 c #Conflicts: 245000 | #Constraints: 112929
1522.00/1526.71 c #Conflicts: 246000 | #Constraints: 113929
1522.00/1526.71 c INPROCESSING
1522.00/1526.71 c GARBAGE COLLECT
1522.00/1526.71 c #Conflicts: 247000 | #Constraints: 105130
1522.00/1526.71 c #Conflicts: 248000 | #Constraints: 106130
1522.00/1526.71 c #Conflicts: 249000 | #Constraints: 107130
1522.00/1526.71 c #Conflicts: 250000 | #Constraints: 108130
1522.00/1526.71 c #Conflicts: 251000 | #Constraints: 109130
1522.00/1526.71 c #Conflicts: 252000 | #Constraints: 110130
1522.00/1526.71 c #Conflicts: 253000 | #Constraints: 111130
1522.00/1526.71 c #Conflicts: 254000 | #Constraints: 112130
1522.00/1526.71 c #Conflicts: 255000 | #Constraints: 113130
2169.88/2176.64 c #Conflicts: 256000 | #Constraints: 114130
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 257000 | #Constraints: 105134
2169.88/2176.64 c #Conflicts: 258000 | #Constraints: 106134
2169.88/2176.64 c #Conflicts: 259000 | #Constraints: 107134
2169.88/2176.64 c #Conflicts: 260000 | #Constraints: 108134
2169.88/2176.64 c #Conflicts: 261000 | #Constraints: 109134
2169.88/2176.64 c #Conflicts: 262000 | #Constraints: 110134
2169.88/2176.64 c #Conflicts: 263000 | #Constraints: 111134
2169.88/2176.64 c #Conflicts: 264000 | #Constraints: 112134
2169.88/2176.64 c #Conflicts: 265000 | #Constraints: 113134
2169.88/2176.64 c #Conflicts: 266000 | #Constraints: 114134
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 267000 | #Constraints: 104934
2169.88/2176.64 c #Conflicts: 268000 | #Constraints: 105934
2169.88/2176.64 c #Conflicts: 269000 | #Constraints: 106934
2169.88/2176.64 c #Conflicts: 270000 | #Constraints: 107934
2169.88/2176.64 c #Conflicts: 271000 | #Constraints: 108934
2169.88/2176.64 c #Conflicts: 272000 | #Constraints: 109934
2169.88/2176.64 c #Conflicts: 273000 | #Constraints: 110934
2169.88/2176.64 c #Conflicts: 274000 | #Constraints: 111934
2169.88/2176.64 c #Conflicts: 275000 | #Constraints: 112934
2169.88/2176.64 c #Conflicts: 276000 | #Constraints: 113934
2169.88/2176.64 c #Conflicts: 277000 | #Constraints: 114934
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 278000 | #Constraints: 105532
2169.88/2176.64 c #Conflicts: 279000 | #Constraints: 106532
2169.88/2176.64 c #Conflicts: 280000 | #Constraints: 107532
2169.88/2176.64 c #Conflicts: 281000 | #Constraints: 108532
2169.88/2176.64 c #Conflicts: 282000 | #Constraints: 109532
2169.88/2176.64 c #Conflicts: 283000 | #Constraints: 110532
2169.88/2176.64 c #Conflicts: 284000 | #Constraints: 111532
2169.88/2176.64 c #Conflicts: 285000 | #Constraints: 112532
2169.88/2176.64 c #Conflicts: 286000 | #Constraints: 113532
2169.88/2176.64 c #Conflicts: 287000 | #Constraints: 114532
2169.88/2176.64 c #Conflicts: 288000 | #Constraints: 115532
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 289000 | #Constraints: 105933
2169.88/2176.64 c #Conflicts: 290000 | #Constraints: 106933
2169.88/2176.64 c #Conflicts: 291000 | #Constraints: 107933
2169.88/2176.64 c #Conflicts: 292000 | #Constraints: 108933
2169.88/2176.64 c #Conflicts: 293000 | #Constraints: 109933
2169.88/2176.64 c #Conflicts: 294000 | #Constraints: 110933
2169.88/2176.64 c #Conflicts: 295000 | #Constraints: 111933
2169.88/2176.64 c #Conflicts: 296000 | #Constraints: 112933
2169.88/2176.64 c #Conflicts: 297000 | #Constraints: 113933
2169.88/2176.64 c #Conflicts: 298000 | #Constraints: 114933
2169.88/2176.64 c #Conflicts: 299000 | #Constraints: 115933
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 300000 | #Constraints: 106133
2169.88/2176.64 c #Conflicts: 301000 | #Constraints: 107133
2169.88/2176.64 c #Conflicts: 302000 | #Constraints: 108133
2169.88/2176.64 c #Conflicts: 303000 | #Constraints: 109133
2169.88/2176.64 c #Conflicts: 304000 | #Constraints: 110133
2169.88/2176.64 c #Conflicts: 305000 | #Constraints: 111133
2169.88/2176.64 c #Conflicts: 306000 | #Constraints: 112133
2169.88/2176.64 c #Conflicts: 307000 | #Constraints: 113133
2169.88/2176.64 c #Conflicts: 308000 | #Constraints: 114133
2169.88/2176.64 c #Conflicts: 309000 | #Constraints: 115133
2169.88/2176.64 c #Conflicts: 310000 | #Constraints: 116133
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 311000 | #Constraints: 106131
2169.88/2176.64 c #Conflicts: 312000 | #Constraints: 107131
2169.88/2176.64 c #Conflicts: 313000 | #Constraints: 108131
2169.88/2176.64 c #Conflicts: 314000 | #Constraints: 109131
2169.88/2176.64 c #Conflicts: 315000 | #Constraints: 110131
2169.88/2176.64 c #Conflicts: 316000 | #Constraints: 111131
2169.88/2176.64 c #Conflicts: 317000 | #Constraints: 112131
2169.88/2176.64 c #Conflicts: 318000 | #Constraints: 113131
2169.88/2176.64 c #Conflicts: 319000 | #Constraints: 114131
2169.88/2176.64 c #Conflicts: 320000 | #Constraints: 115131
2169.88/2176.64 c #Conflicts: 321000 | #Constraints: 116131
2169.88/2176.64 c INPROCESSING
2169.88/2176.64 c GARBAGE COLLECT
2169.88/2176.64 c #Conflicts: 322000 | #Constraints: 105929
2169.88/2176.64 c #Conflicts: 323000 | #Constraints: 106929
2169.88/2176.64 c #Conflicts: 324000 | #Constraints: 107929
2169.88/2176.64 c #Conflicts: 325000 | #Constraints: 108929
2169.88/2176.64 c #Conflicts: 326000 | #Constraints: 109929
2169.88/2176.64 c #Conflicts: 327000 | #Constraints: 110929
2169.88/2176.64 c #Conflicts: 328000 | #Constraints: 111929
2169.88/2176.64 c #Conflicts: 329000 | #Constraints: 112929
2169.88/2176.64 c #Conflicts: 330000 | #Constraints: 113929
2887.26/2896.28 c #Conflicts: 331000 | #Constraints: 114929
2887.26/2896.28 c #Conflicts: 332000 | #Constraints: 115929
2887.26/2896.28 c #Conflicts: 333000 | #Constraints: 116929
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 334000 | #Constraints: 106523
2887.26/2896.28 c #Conflicts: 335000 | #Constraints: 107523
2887.26/2896.28 c #Conflicts: 336000 | #Constraints: 108523
2887.26/2896.28 c #Conflicts: 337000 | #Constraints: 109523
2887.26/2896.28 c #Conflicts: 338000 | #Constraints: 110523
2887.26/2896.28 c #Conflicts: 339000 | #Constraints: 111523
2887.26/2896.28 c #Conflicts: 340000 | #Constraints: 112523
2887.26/2896.28 c #Conflicts: 341000 | #Constraints: 113523
2887.26/2896.28 c #Conflicts: 342000 | #Constraints: 114523
2887.26/2896.28 c #Conflicts: 343000 | #Constraints: 115523
2887.26/2896.28 c #Conflicts: 344000 | #Constraints: 116523
2887.26/2896.28 c #Conflicts: 345000 | #Constraints: 117523
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 346000 | #Constraints: 106928
2887.26/2896.28 c #Conflicts: 347000 | #Constraints: 107928
2887.26/2896.28 c #Conflicts: 348000 | #Constraints: 108928
2887.26/2896.28 c #Conflicts: 349000 | #Constraints: 109928
2887.26/2896.28 c #Conflicts: 350000 | #Constraints: 110928
2887.26/2896.28 c #Conflicts: 351000 | #Constraints: 111928
2887.26/2896.28 c #Conflicts: 352000 | #Constraints: 112928
2887.26/2896.28 c #Conflicts: 353000 | #Constraints: 113928
2887.26/2896.28 c #Conflicts: 354000 | #Constraints: 114928
2887.26/2896.28 c #Conflicts: 355000 | #Constraints: 115928
2887.26/2896.28 c #Conflicts: 356000 | #Constraints: 116928
2887.26/2896.28 c #Conflicts: 357000 | #Constraints: 117928
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 358000 | #Constraints: 107132
2887.26/2896.28 c #Conflicts: 359000 | #Constraints: 108132
2887.26/2896.28 c #Conflicts: 360000 | #Constraints: 109132
2887.26/2896.28 c #Conflicts: 361000 | #Constraints: 110132
2887.26/2896.28 c #Conflicts: 362000 | #Constraints: 111132
2887.26/2896.28 c #Conflicts: 363000 | #Constraints: 112132
2887.26/2896.28 c #Conflicts: 364000 | #Constraints: 113132
2887.26/2896.28 c #Conflicts: 365000 | #Constraints: 114132
2887.26/2896.28 c #Conflicts: 366000 | #Constraints: 115132
2887.26/2896.28 c #Conflicts: 367000 | #Constraints: 116132
2887.26/2896.28 c #Conflicts: 368000 | #Constraints: 117132
2887.26/2896.28 c #Conflicts: 369000 | #Constraints: 118132
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 370000 | #Constraints: 107129
2887.26/2896.28 c #Conflicts: 371000 | #Constraints: 108129
2887.26/2896.28 c #Conflicts: 372000 | #Constraints: 109129
2887.26/2896.28 c #Conflicts: 373000 | #Constraints: 110129
2887.26/2896.28 c #Conflicts: 374000 | #Constraints: 111129
2887.26/2896.28 c #Conflicts: 375000 | #Constraints: 112129
2887.26/2896.28 c #Conflicts: 376000 | #Constraints: 113129
2887.26/2896.28 c #Conflicts: 377000 | #Constraints: 114129
2887.26/2896.28 c #Conflicts: 378000 | #Constraints: 115129
2887.26/2896.28 c #Conflicts: 379000 | #Constraints: 116129
2887.26/2896.28 c #Conflicts: 380000 | #Constraints: 117129
2887.26/2896.28 c #Conflicts: 381000 | #Constraints: 118129
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 382000 | #Constraints: 106928
2887.26/2896.28 c #Conflicts: 383000 | #Constraints: 107928
2887.26/2896.28 c #Conflicts: 384000 | #Constraints: 108928
2887.26/2896.28 c #Conflicts: 385000 | #Constraints: 109928
2887.26/2896.28 c #Conflicts: 386000 | #Constraints: 110928
2887.26/2896.28 c #Conflicts: 387000 | #Constraints: 111928
2887.26/2896.28 c #Conflicts: 388000 | #Constraints: 112928
2887.26/2896.28 c #Conflicts: 389000 | #Constraints: 113928
2887.26/2896.28 c #Conflicts: 390000 | #Constraints: 114928
2887.26/2896.28 c #Conflicts: 391000 | #Constraints: 115928
2887.26/2896.28 c #Conflicts: 392000 | #Constraints: 116928
2887.26/2896.28 c #Conflicts: 393000 | #Constraints: 117928
2887.26/2896.28 c #Conflicts: 394000 | #Constraints: 118928
2887.26/2896.28 c INPROCESSING
2887.26/2896.28 c GARBAGE COLLECT
2887.26/2896.28 c #Conflicts: 395000 | #Constraints: 107526
2887.26/2896.28 c #Conflicts: 396000 | #Constraints: 108526
2887.26/2896.28 c #Conflicts: 397000 | #Constraints: 109526
2887.26/2896.28 c #Conflicts: 398000 | #Constraints: 110526
2887.26/2896.28 c #Conflicts: 399000 | #Constraints: 111526
2887.26/2896.28 c #Conflicts: 400000 | #Constraints: 112526
2887.26/2896.28 c #Conflicts: 401000 | #Constraints: 113526
2887.26/2896.28 c #Conflicts: 402000 | #Constraints: 114526
2887.26/2896.28 c #Conflicts: 403000 | #Constraints: 115526
2887.26/2896.28 c #Conflicts: 404000 | #Constraints: 116526
2887.26/2896.28 c #Conflicts: 405000 | #Constraints: 117526
3600.01/3611.11 c #Conflicts: 406000 | #Constraints: 118526
3600.01/3611.11 c #Conflicts: 407000 | #Constraints: 119526
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 408000 | #Constraints: 107927
3600.01/3611.11 c #Conflicts: 409000 | #Constraints: 108927
3600.01/3611.11 c #Conflicts: 410000 | #Constraints: 109927
3600.01/3611.11 c #Conflicts: 411000 | #Constraints: 110927
3600.01/3611.11 c #Conflicts: 412000 | #Constraints: 111927
3600.01/3611.11 c #Conflicts: 413000 | #Constraints: 112927
3600.01/3611.11 c #Conflicts: 414000 | #Constraints: 113927
3600.01/3611.11 c #Conflicts: 415000 | #Constraints: 114927
3600.01/3611.11 c #Conflicts: 416000 | #Constraints: 115927
3600.01/3611.11 c #Conflicts: 417000 | #Constraints: 116927
3600.01/3611.11 c #Conflicts: 418000 | #Constraints: 117927
3600.01/3611.11 c #Conflicts: 419000 | #Constraints: 118927
3600.01/3611.11 c #Conflicts: 420000 | #Constraints: 119927
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 421000 | #Constraints: 108128
3600.01/3611.11 c #Conflicts: 422000 | #Constraints: 109128
3600.01/3611.11 c #Conflicts: 423000 | #Constraints: 110128
3600.01/3611.11 c #Conflicts: 424000 | #Constraints: 111128
3600.01/3611.11 c #Conflicts: 425000 | #Constraints: 112128
3600.01/3611.11 c #Conflicts: 426000 | #Constraints: 113128
3600.01/3611.11 c #Conflicts: 427000 | #Constraints: 114128
3600.01/3611.11 c #Conflicts: 428000 | #Constraints: 115128
3600.01/3611.11 c #Conflicts: 429000 | #Constraints: 116128
3600.01/3611.11 c #Conflicts: 430000 | #Constraints: 117128
3600.01/3611.11 c #Conflicts: 431000 | #Constraints: 118128
3600.01/3611.11 c #Conflicts: 432000 | #Constraints: 119128
3600.01/3611.11 c #Conflicts: 433000 | #Constraints: 120128
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 434000 | #Constraints: 108131
3600.01/3611.11 c #Conflicts: 435000 | #Constraints: 109131
3600.01/3611.11 c #Conflicts: 436000 | #Constraints: 110131
3600.01/3611.11 c #Conflicts: 437000 | #Constraints: 111131
3600.01/3611.11 c #Conflicts: 438000 | #Constraints: 112131
3600.01/3611.11 c #Conflicts: 439000 | #Constraints: 113131
3600.01/3611.11 c #Conflicts: 440000 | #Constraints: 114131
3600.01/3611.11 c #Conflicts: 441000 | #Constraints: 115131
3600.01/3611.11 c #Conflicts: 442000 | #Constraints: 116131
3600.01/3611.11 c #Conflicts: 443000 | #Constraints: 117131
3600.01/3611.11 c #Conflicts: 444000 | #Constraints: 118131
3600.01/3611.11 c #Conflicts: 445000 | #Constraints: 119131
3600.01/3611.11 c #Conflicts: 446000 | #Constraints: 120131
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 447000 | #Constraints: 107929
3600.01/3611.11 c #Conflicts: 448000 | #Constraints: 108929
3600.01/3611.11 c #Conflicts: 449000 | #Constraints: 109929
3600.01/3611.11 c #Conflicts: 450000 | #Constraints: 110929
3600.01/3611.11 c #Conflicts: 451000 | #Constraints: 111929
3600.01/3611.11 c #Conflicts: 452000 | #Constraints: 112929
3600.01/3611.11 c #Conflicts: 453000 | #Constraints: 113929
3600.01/3611.11 c #Conflicts: 454000 | #Constraints: 114929
3600.01/3611.11 c #Conflicts: 455000 | #Constraints: 115929
3600.01/3611.11 c #Conflicts: 456000 | #Constraints: 116929
3600.01/3611.11 c #Conflicts: 457000 | #Constraints: 117929
3600.01/3611.11 c #Conflicts: 458000 | #Constraints: 118929
3600.01/3611.11 c #Conflicts: 459000 | #Constraints: 119929
3600.01/3611.11 c #Conflicts: 460000 | #Constraints: 120929
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 461000 | #Constraints: 108525
3600.01/3611.11 c #Conflicts: 462000 | #Constraints: 109525
3600.01/3611.11 c #Conflicts: 463000 | #Constraints: 110525
3600.01/3611.11 c #Conflicts: 464000 | #Constraints: 111525
3600.01/3611.11 c #Conflicts: 465000 | #Constraints: 112525
3600.01/3611.11 c #Conflicts: 466000 | #Constraints: 113525
3600.01/3611.11 c #Conflicts: 467000 | #Constraints: 114525
3600.01/3611.11 c #Conflicts: 468000 | #Constraints: 115525
3600.01/3611.11 c #Conflicts: 469000 | #Constraints: 116525
3600.01/3611.11 c #Conflicts: 470000 | #Constraints: 117525
3600.01/3611.11 c #Conflicts: 471000 | #Constraints: 118525
3600.01/3611.11 c #Conflicts: 472000 | #Constraints: 119525
3600.01/3611.11 c cpu time 3596.43 s
3600.01/3611.11 c deterministic time 1 1.00e+00
3600.01/3611.11 c optimization time 3596.18 s
3600.01/3611.11 c total solve time 0 s
3600.01/3611.11 c core-guided solve time 0 s
3600.01/3611.11 c propagation time 0.028104 s
3600.01/3611.11 c conflict analysis time 0 s
3600.01/3611.11 c propagations 0
3600.01/3611.11 c resolve steps 0
3600.01/3611.11 c decisions 0
3600.01/3611.11 c conflicts 0
3600.01/3611.11 c restarts 0
3600.01/3611.11 c inprocessing phases 0
3600.01/3611.11 c garbage collections 0 ,( -nan )
3600.01/3611.11 c input clauses 94227 ,( 100.00 )
3600.01/3611.11 c input cardinalities 0 ,( 0.00 )
3600.01/3611.11 c input general constraints 0 ,( 0.00 )
3600.01/3611.11 c input average constraint length 2.00
3600.01/3611.11 c input average constraint degree 1.00
3600.01/3611.11 c learned clauses 0 ,( 0.00 )
3600.01/3611.11 c learned cardinalities 0 ,( 0.00 )
3600.01/3611.11 c learned general constraints 0 ,( 0.00 )
3600.01/3611.11 c learned average constraint length 0.00
3600.01/3611.11 c learned average constraint degree 0.00
3600.01/3611.11 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3611.11 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3611.11 c watched constraints 0 ,( -nan )
3600.01/3611.11 c counting constraints 0 ,( -nan )
3600.01/3611.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3611.11 c gcd simplifications 0
3600.01/3611.11 c detected cardinalities 0
3600.01/3611.11 c weakened non-implied lits 0
3600.01/3611.11 c weakened non-implying lits 0
3600.01/3611.11 c original variables 1272
3600.01/3611.11 c clausal propagations 0
3600.01/3611.11 c cardinality propagations 0
3600.01/3611.11 c watched propagations 0
3600.01/3611.11 c counting propagations 0
3600.01/3611.11 c watch lookups 0
3600.01/3611.11 c watch backjump lookups 0
3600.01/3611.11 c watch checks 0
3600.01/3611.11 c propagation checks 0
3600.01/3611.11 c constraint additions 0
3600.01/3611.11 c trail pops 0
3600.01/3611.11 c formula constraints 94227
3600.01/3611.11 c learned constraints 0
3600.01/3611.11 c bound constraints 0
3600.01/3611.11 c core-guided constraints 0
3600.01/3611.11 c encountered formula constraints 0
3600.01/3611.11 c encountered learned constraints 0
3600.01/3611.11 c encountered bound constraints 0
3600.01/3611.11 c encountered core-guided constraints 0
3600.01/3611.11 c LP total time 0 s
3600.01/3611.11 c LP solve time 0 s
3600.01/3611.11 c LP constraints added 0
3600.01/3611.11 c LP constraints removed 0
3600.01/3611.11 c LP pivots internal 0
3600.01/3611.11 c LP pivots root 0
3600.01/3611.11 c LP calls 0
3600.01/3611.11 c LP optimalities 0
3600.01/3611.11 c LP no pivot count 0
3600.01/3611.11 c LP infeasibilities 0
3600.01/3611.11 c LP valid Farkas constraints 0
3600.01/3611.11 c LP learned Farkas constraints 0
3600.01/3611.11 c LP basis resets 0
3600.01/3611.11 c LP cycling count 0
3600.01/3611.11 c LP singular count 0
3600.01/3611.11 c LP no primal count 0
3600.01/3611.11 c LP no farkas count 0
3600.01/3611.11 c LP other issue count 0
3600.01/3611.11 c LP Gomory cuts 0
3600.01/3611.11 c LP learned cuts 0
3600.01/3611.11 c LP deleted cuts 0
3600.01/3611.11 c LP encountered Gomory constraints 0
3600.01/3611.11 c LP encountered Farkas constraints 0
3600.01/3611.11 c LP encountered learned Farkas constraints 0
3600.01/3611.11 c CG auxiliary variables introduced 0
3600.01/3611.11 c CG solutions found 0
3600.01/3611.11 c CG cores constructed 0
3600.01/3611.11 c CG core cardinality constraints returned 0
3600.01/3611.11 c CG unit cores 0
3600.01/3611.11 c CG single cores 0
3600.01/3611.11 c CG blocks removed during cardinality reduction 0
3600.01/3611.11 c CG first core best 0
3600.01/3611.11 c CG decision core best 0
3600.01/3611.11 c CG core reduction tie 0
3600.01/3611.11 c CG core degree average 0.00
3600.01/3611.11 c CG core slack average 0.00
3600.01/3611.11 c CG core upper bound improvements 0
3600.01/3611.11 c STR number of successful calls 0
3600.01/3611.11 c STR number of unsuccessful calls 0
3600.01/3611.11 c STR number of inconclusive calls 0
3600.01/3611.11 c STR number of successful attempts 0
3600.01/3611.11 c STR number of unsuccessful attempts 0
3600.01/3611.11 c STR number of inconclusive attempts 0
3600.01/3611.11 c STR average degree increase per successful call inf
3600.01/3611.11 c STR average degree increase per successful attempt inf
3600.01/3611.11 c STR total number of conflicts for successful attempts 0
3600.01/3611.11 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.11 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.11 c STR average number of conflicts per successful attempt inf
3600.01/3611.11 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.11 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.11 c AVG.sumWPerc -nan
3600.01/3611.11 c bigint constraints 0
3600.01/3611.11 s UNKNOWN
3600.01/3611.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59994 MiB free)
memory of node 1: 64465 MiB (61346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484860-1751295846/watcher-4484860-1751295846 -o /tmp/evaluation-result-4484860-1751295846/solver-4484860-1751295846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39125 --watchdog 3760 run-opt.sh HOME/instance-4484860-1751295846.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39647, runsolver pid=39644
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 39649
/proc/meminfo: memFree=124248632/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=58364 memory=13116 CPUtime=0.07 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 1163 0 0 0 5 2 0 0 20 0 1 0 45259118 59764736 3279 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 14591 3279 1888 1147 0 2018 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62556 KiB
Current children cumulated memory: 16188 KiB
[startup+0.205511 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 39649
/proc/meminfo: memFree=124246112/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=61668 memory=18192 CPUtime=0.18 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 2070 0 0 0 13 5 0 0 20 0 1 0 45259118 63148032 4548 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 15417 4548 1888 1147 0 2844 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 21264 KiB
[startup+0.305173 s]*
/proc/loadavg: 4.10 4.09 4.09 5/269 39649
/proc/meminfo: memFree=124222104/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=169144 memory=61660 CPUtime=0.28 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 6627 0 0 0 21 7 0 0 20 0 1 0 45259118 173203456 15415 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 42286 15415 2240 1147 0 29713 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 173336 KiB
Current children cumulated memory: 64732 KiB
[startup+0.700188 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39649
/proc/meminfo: memFree=124127440/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=203280 memory=142804 CPUtime=0.67 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 23685 0 0 0 50 17 0 0 20 0 1 0 45259118 208158720 35701 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 50820 35701 2336 1147 0 38247 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 207472 KiB
Current children cumulated memory: 145876 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39649
/proc/meminfo: memFree=124127796/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=203280 memory=142804 CPUtime=1.47 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 23688 0 0 0 129 18 0 0 20 0 1 0 45259118 208158720 35701 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 50820 35701 2336 1147 0 38247 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 207472 KiB
Current children cumulated memory: 145876 KiB
[startup+3.10557 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 39650
/proc/meminfo: memFree=124120264/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=203280 memory=142804 CPUtime=3.07 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 23689 0 0 0 288 19 0 0 20 0 1 0 45259118 208158720 35701 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 50820 35701 2336 1147 0 38247 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 207472 KiB
Current children cumulated memory: 145876 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 39650
/proc/meminfo: memFree=124100228/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=203280 memory=143060 CPUtime=6.26 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 23762 0 0 0 604 22 0 0 20 0 1 0 45259118 208158720 35765 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 50820 35765 2336 1147 0 38247 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207472 KiB
Current children cumulated memory: 146132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 39650
/proc/meminfo: memFree=124041832/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=252600 memory=179336 CPUtime=12.64 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 24139 0 0 0 1240 24 0 0 20 0 1 0 45259118 258662400 44834 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 63150 44834 2336 1147 0 50577 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 256792 KiB
Current children cumulated memory: 182408 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 39650
/proc/meminfo: memFree=124004968/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=252600 memory=185488 CPUtime=25.4 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 24144 0 0 0 2513 27 0 0 20 0 1 0 45259118 258662400 46372 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 63150 46372 2336 1147 0 50577 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 256792 KiB
Current children cumulated memory: 188560 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 39650
/proc/meminfo: memFree=123978864/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=283420 memory=196860 CPUtime=50.94 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 24433 0 0 0 5061 33 0 0 20 0 1 0 45259118 290222080 49215 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 70855 49215 2336 1147 0 58282 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 287612 KiB
Current children cumulated memory: 199932 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 39657
/proc/meminfo: memFree=123935708/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=285464 memory=206976 CPUtime=101.98 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 24945 0 0 0 10157 41 0 0 20 0 1 0 45259118 292315136 51744 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 71366 51744 2336 1147 0 58793 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 289656 KiB
Current children cumulated memory: 210048 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/269 39705
/proc/meminfo: memFree=124223644/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=292664 memory=219964 CPUtime=161.78 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 26652 0 0 0 16128 50 0 0 20 0 1 0 45259118 299687936 54991 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 73166 54991 2336 1147 0 60593 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 296856 KiB
Current children cumulated memory: 223036 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 39707
/proc/meminfo: memFree=124177484/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=309240 memory=243920 CPUtime=221.58 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 30115 0 0 0 22098 60 0 0 20 0 1 0 45259118 316661760 60980 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 77310 60980 2336 1147 0 64737 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/39649/statm: 135354 115120 2336 1147 0 122781 0
Current children cumulated CPU time: 3092.69 s
Current children cumulated vsize: 545608 KiB
Current children cumulated memory: 463552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 39850
/proc/meminfo: memFree=123174444/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=541416 memory=460736 CPUtime=3152.52 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 56651 0 0 0 314913 339 0 0 20 0 1 0 45259118 554409984 115184 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 135354 115184 2336 1147 0 122781 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 545608 KiB
Current children cumulated memory: 463808 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/266 39852
/proc/meminfo: memFree=123166596/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=543468 memory=464832 CPUtime=3212.35 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 57165 0 0 0 320893 342 0 0 20 0 1 0 45259118 556511232 116208 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 135867 116208 2336 1147 0 123294 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 547660 KiB
Current children cumulated memory: 467904 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.13 4.10 5/266 39854
/proc/meminfo: memFree=123158176/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=543468 memory=464832 CPUtime=3272.17 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 57165 0 0 0 326872 345 0 0 20 0 1 0 45259118 556511232 116208 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 135867 116208 2336 1147 0 123294 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 547660 KiB
Current children cumulated memory: 467904 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/267 39859
/proc/meminfo: memFree=123154944/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=545520 memory=470980 CPUtime=3331.99 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 57680 0 0 0 332851 348 0 0 20 0 1 0 45259118 558612480 117745 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136380 117745 2336 1147 0 123807 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 549712 KiB
Current children cumulated memory: 474052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 39861
/proc/meminfo: memFree=123131980/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=545520 memory=470980 CPUtime=3391.81 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 57680 0 0 0 338831 350 0 0 20 0 1 0 45259118 558612480 117745 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136380 117745 2336 1147 0 123807 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 549712 KiB
Current children cumulated memory: 474052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/267 39874
/proc/meminfo: memFree=123143320/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=545520 memory=470980 CPUtime=3451.64 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 57680 0 0 0 344812 352 0 0 20 0 1 0 45259118 558612480 117745 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136380 117745 2336 1147 0 123807 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 549712 KiB
Current children cumulated memory: 474052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 39876
/proc/meminfo: memFree=123143328/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=547828 memory=473284 CPUtime=3511.47 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 58257 0 0 0 350791 356 0 0 20 0 1 0 45259118 560975872 118321 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136957 118321 2336 1147 0 124384 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 552020 KiB
Current children cumulated memory: 476356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 39878
/proc/meminfo: memFree=123135016/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=547828 memory=473284 CPUtime=3571.29 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 58257 0 0 0 356771 358 0 0 20 0 1 0 45259118 560975872 118321 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136957 118321 2336 1147 0 124384 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 552020 KiB
Current children cumulated memory: 476356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.11 4.10 4.09 3/254 39941
/proc/meminfo: memFree=124211508/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=547828 memory=473284 CPUtime=3600.01 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 58257 0 0 0 359642 359 0 0 20 0 1 0 45259118 560975872 118321 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136957 118321 2336 1147 0 124384 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 552020 KiB
Current children cumulated memory: 476356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 39647 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002041 s
[startup+3611.13 s]
# the end of solver process 39649 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3596.44 s, system=3.60015 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.11 4.10 4.09 3/254 39941
/proc/meminfo: memFree=124211508/131249992 swapFree=33010160/33010684
[pid=39647] ppid=39644 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39647/stat : 39647 (run-opt.sh) S 39644 39647 39107 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 45259117 4292608 768 18446744073709551615 93905957150720 93905958045253 140736141617056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93905958284304 93905958332048 93905972989952 140736141621613 140736141621736 140736141621736 140736141627338 0
/proc/39647/statm: 1048 768 704 219 0 110 0
[pid=39649] ppid=39647 vsize=547828 memory=473284 CPUtime=3600.01 cores=5,7
/proc/39649/stat : 39649 (roundingsat) R 39647 39647 39107 0 -1 4194304 58257 0 0 0 359642 359 0 0 20 0 1 0 45259118 560975872 118321 18446744073709551615 4227072 8923433 140721986879072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32980992 140721986881954 140721986882088 140721986882088 140721986887658 0
/proc/39649/statm: 136957 118321 2336 1147 0 124384 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 552020 KiB
Current children cumulated memory: 476356 KiB
Child status: 2
Real time (s): 3611.13
CPU time (s): 3600.04
CPU user time (s): 3596.44
CPU system time (s): 3.60015
CPU usage (%): 99.6931
Max. virtual memory (cumulated for all children) (KiB): 552020
Max. memory (cumulated for all children) (KiB): 476356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.44
system time used= 3.60015
maximum resident set size= 473540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58512
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= 279
involuntary context switches= 19428
# summary of solver processes directly reported to runsolver:
# pid: 39647,39649
# total CPU time (s): 3600.04
# total CPU user time (s): 3596.44
# total CPU system time (s): 3.60015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.01282 second user time and 14.8601 second system time
The end
Begin job on nodeC035 at 2025-06-30 17:04:06
IDJOB=4484860
IDBENCH=146672
IDSOLVER=3350
FILE ID=nodeC035/4484860-1751295846
RUNJOBID= nodeC035-1751292233-39125
SLURM_JOB_ID= 9594262
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484860-1751295846/watcher-4484860-1751295846 -o /tmp/evaluation-result-4484860-1751295846/solver-4484860-1751295846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751292233-39125 --watchdog 3760 run-opt.sh HOME/instance-4484860-1751295846.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=869255825
nodeC035 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 : 3599.771
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 : 6999.51
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 : 3599.747
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 : 6999.51
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 : 3597.997
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 : 6999.51
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 : 3598.658
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 : 6999.51
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 : 3599.753
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 : 6999.51
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 : 3599.689
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 : 6999.51
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 : 3071.084
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 : 6999.51
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 : 3668.722
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 : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124252516 kB
MemAvailable: 128905112 kB
Buffers: 1840 kB
Cached: 5406072 kB
SwapCached: 8 kB
Active: 1148020 kB
Inactive: 5126616 kB
Active(anon): 873148 kB
Inactive(anon): 11624 kB
Active(file): 274872 kB
Inactive(file): 5114992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29120 kB
Writeback: 52 kB
AnonPages: 869640 kB
Mapped: 116144 kB
Shmem: 18048 kB
KReclaimable: 203940 kB
Slab: 292960 kB
SReclaimable: 203940 kB
SUnreclaim: 89020 kB
KernelStack: 4304 kB
PageTables: 4944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1376944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 284672 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC035 at 2025-06-30 18:04:17