0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.08/0.19 c [STEP] preprocessing with Papilo
0.19/0.30 c [STEP] solving with SCIP
299.65/300.70 c [STEP] preprocessing done, loading into solver
299.76/300.84 c [STEP] solving
299.76/300.84 c #variables 21306 #constraints 79710
299.76/300.84 c SMALL=int, LARGE=long long
299.76/300.84 d SCIPUB 23
299.76/300.84 c bounds - >= 0 @ 299.427
299.76/300.84 c stratification level: 0
700.29/702.49 c bounds - >= 1 @ 299.461
700.29/702.49 c bounds - >= 2 @ 299.462
700.29/702.49 c bounds - >= 3 @ 299.463
700.29/702.49 c bounds - >= 4 @ 299.475
700.29/702.49 c bounds - >= 5 @ 299.478
700.29/702.49 c bounds - >= 6 @ 299.485
700.29/702.49 c #Conflicts: 1000 | #Constraints: 80719
700.29/702.49 c #Conflicts: 2000 | #Constraints: 81719
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 3000 | #Constraints: 81724
700.29/702.49 c #Conflicts: 4000 | #Constraints: 82724
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 5000 | #Constraints: 82134
700.29/702.49 c #Conflicts: 6000 | #Constraints: 83134
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 7000 | #Constraints: 82135
700.29/702.49 c #Conflicts: 8000 | #Constraints: 83135
700.29/702.49 c #Conflicts: 9000 | #Constraints: 84135
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 10000 | #Constraints: 82836
700.29/702.49 c #Conflicts: 11000 | #Constraints: 83836
700.29/702.49 c #Conflicts: 12000 | #Constraints: 84836
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 13000 | #Constraints: 83288
700.29/702.49 c #Conflicts: 14000 | #Constraints: 84288
700.29/702.49 c #Conflicts: 15000 | #Constraints: 85288
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 16000 | #Constraints: 83517
700.29/702.49 c #Conflicts: 17000 | #Constraints: 84517
700.29/702.49 c #Conflicts: 18000 | #Constraints: 85517
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 19000 | #Constraints: 83569
700.29/702.49 c #Conflicts: 20000 | #Constraints: 84569
700.29/702.49 c #Conflicts: 21000 | #Constraints: 85569
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 22000 | #Constraints: 83355
700.29/702.49 c #Conflicts: 23000 | #Constraints: 84355
700.29/702.49 c #Conflicts: 24000 | #Constraints: 85355
700.29/702.49 c #Conflicts: 25000 | #Constraints: 86355
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 26000 | #Constraints: 83956
700.29/702.49 c #Conflicts: 27000 | #Constraints: 84956
700.29/702.49 c #Conflicts: 28000 | #Constraints: 85956
700.29/702.49 c #Conflicts: 29000 | #Constraints: 86956
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 30000 | #Constraints: 84361
700.29/702.49 c #Conflicts: 31000 | #Constraints: 85361
700.29/702.49 c #Conflicts: 32000 | #Constraints: 86361
700.29/702.49 c #Conflicts: 33000 | #Constraints: 87361
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 34000 | #Constraints: 84559
700.29/702.49 c #Conflicts: 35000 | #Constraints: 85559
700.29/702.49 c #Conflicts: 36000 | #Constraints: 86559
700.29/702.49 c #Conflicts: 37000 | #Constraints: 87559
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 38000 | #Constraints: 84572
700.29/702.49 c #Conflicts: 39000 | #Constraints: 85572
700.29/702.49 c #Conflicts: 40000 | #Constraints: 86572
700.29/702.49 c #Conflicts: 41000 | #Constraints: 87572
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 42000 | #Constraints: 84374
700.29/702.49 c #Conflicts: 43000 | #Constraints: 85374
700.29/702.49 c #Conflicts: 44000 | #Constraints: 86374
700.29/702.49 c #Conflicts: 45000 | #Constraints: 87374
700.29/702.49 c #Conflicts: 46000 | #Constraints: 88374
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 47000 | #Constraints: 84970
700.29/702.49 c #Conflicts: 48000 | #Constraints: 85970
700.29/702.49 c #Conflicts: 49000 | #Constraints: 86970
700.29/702.49 c #Conflicts: 50000 | #Constraints: 87970
700.29/702.49 c #Conflicts: 51000 | #Constraints: 88970
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 52000 | #Constraints: 85363
700.29/702.49 c #Conflicts: 53000 | #Constraints: 86363
700.29/702.49 c #Conflicts: 54000 | #Constraints: 87363
700.29/702.49 c #Conflicts: 55000 | #Constraints: 88363
700.29/702.49 c #Conflicts: 56000 | #Constraints: 89363
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 57000 | #Constraints: 85558
700.29/702.49 c #Conflicts: 58000 | #Constraints: 86558
700.29/702.49 c #Conflicts: 59000 | #Constraints: 87558
700.29/702.49 c #Conflicts: 60000 | #Constraints: 88558
700.29/702.49 c #Conflicts: 61000 | #Constraints: 89558
700.29/702.49 c INPROCESSING
700.29/702.49 c GARBAGE COLLECT
700.29/702.49 c #Conflicts: 62000 | #Constraints: 85584
700.29/702.49 c #Conflicts: 63000 | #Constraints: 86584
700.29/702.49 c #Conflicts: 64000 | #Constraints: 87584
700.29/702.49 c #Conflicts: 65000 | #Constraints: 88584
1301.48/1305.16 c #Conflicts: 66000 | #Constraints: 89584
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 67000 | #Constraints: 85375
1301.48/1305.16 c #Conflicts: 68000 | #Constraints: 86375
1301.48/1305.16 c #Conflicts: 69000 | #Constraints: 87375
1301.48/1305.16 c #Conflicts: 70000 | #Constraints: 88375
1301.48/1305.16 c #Conflicts: 71000 | #Constraints: 89375
1301.48/1305.16 c #Conflicts: 72000 | #Constraints: 90375
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 73000 | #Constraints: 85973
1301.48/1305.16 c #Conflicts: 74000 | #Constraints: 86973
1301.48/1305.16 c #Conflicts: 75000 | #Constraints: 87973
1301.48/1305.16 c #Conflicts: 76000 | #Constraints: 88973
1301.48/1305.16 c #Conflicts: 77000 | #Constraints: 89973
1301.48/1305.16 c #Conflicts: 78000 | #Constraints: 90973
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 79000 | #Constraints: 86366
1301.48/1305.16 c #Conflicts: 80000 | #Constraints: 87366
1301.48/1305.16 c #Conflicts: 81000 | #Constraints: 88366
1301.48/1305.16 c #Conflicts: 82000 | #Constraints: 89366
1301.48/1305.16 c #Conflicts: 83000 | #Constraints: 90366
1301.48/1305.16 c #Conflicts: 84000 | #Constraints: 91366
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 85000 | #Constraints: 86564
1301.48/1305.16 c #Conflicts: 86000 | #Constraints: 87564
1301.48/1305.16 c #Conflicts: 87000 | #Constraints: 88564
1301.48/1305.16 c #Conflicts: 88000 | #Constraints: 89564
1301.48/1305.16 c #Conflicts: 89000 | #Constraints: 90564
1301.48/1305.16 c #Conflicts: 90000 | #Constraints: 91564
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 91000 | #Constraints: 86621
1301.48/1305.16 c #Conflicts: 92000 | #Constraints: 87621
1301.48/1305.16 c #Conflicts: 93000 | #Constraints: 88621
1301.48/1305.16 c #Conflicts: 94000 | #Constraints: 89621
1301.48/1305.16 c #Conflicts: 95000 | #Constraints: 90621
1301.48/1305.16 c #Conflicts: 96000 | #Constraints: 91621
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 97000 | #Constraints: 86388
1301.48/1305.16 c #Conflicts: 98000 | #Constraints: 87388
1301.48/1305.16 c #Conflicts: 99000 | #Constraints: 88388
1301.48/1305.16 c #Conflicts: 100000 | #Constraints: 89388
1301.48/1305.16 c #Conflicts: 101000 | #Constraints: 90388
1301.48/1305.16 c #Conflicts: 102000 | #Constraints: 91388
1301.48/1305.16 c #Conflicts: 103000 | #Constraints: 92388
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 104000 | #Constraints: 86973
1301.48/1305.16 c #Conflicts: 105000 | #Constraints: 87973
1301.48/1305.16 c #Conflicts: 106000 | #Constraints: 88973
1301.48/1305.16 c #Conflicts: 107000 | #Constraints: 89973
1301.48/1305.16 c #Conflicts: 108000 | #Constraints: 90973
1301.48/1305.16 c #Conflicts: 109000 | #Constraints: 91973
1301.48/1305.16 c #Conflicts: 110000 | #Constraints: 92973
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 111000 | #Constraints: 87373
1301.48/1305.16 c #Conflicts: 112000 | #Constraints: 88373
1301.48/1305.16 c #Conflicts: 113000 | #Constraints: 89373
1301.48/1305.16 c #Conflicts: 114000 | #Constraints: 90373
1301.48/1305.16 c #Conflicts: 115000 | #Constraints: 91373
1301.48/1305.16 c #Conflicts: 116000 | #Constraints: 92373
1301.48/1305.16 c #Conflicts: 117000 | #Constraints: 93373
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 118000 | #Constraints: 87564
1301.48/1305.16 c #Conflicts: 119000 | #Constraints: 88564
1301.48/1305.16 c #Conflicts: 120000 | #Constraints: 89564
1301.48/1305.16 c #Conflicts: 121000 | #Constraints: 90564
1301.48/1305.16 c #Conflicts: 122000 | #Constraints: 91564
1301.48/1305.16 c #Conflicts: 123000 | #Constraints: 92564
1301.48/1305.16 c #Conflicts: 124000 | #Constraints: 93564
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 125000 | #Constraints: 87565
1301.48/1305.16 c #Conflicts: 126000 | #Constraints: 88565
1301.48/1305.16 c #Conflicts: 127000 | #Constraints: 89565
1301.48/1305.16 c #Conflicts: 128000 | #Constraints: 90565
1301.48/1305.16 c #Conflicts: 129000 | #Constraints: 91565
1301.48/1305.16 c #Conflicts: 130000 | #Constraints: 92565
1301.48/1305.16 c #Conflicts: 131000 | #Constraints: 93565
1301.48/1305.16 c INPROCESSING
1301.48/1305.16 c GARBAGE COLLECT
1301.48/1305.16 c #Conflicts: 132000 | #Constraints: 87371
1301.48/1305.16 c #Conflicts: 133000 | #Constraints: 88371
1301.48/1305.16 c #Conflicts: 134000 | #Constraints: 89371
1301.48/1305.16 c #Conflicts: 135000 | #Constraints: 90371
1301.48/1305.16 c #Conflicts: 136000 | #Constraints: 91371
1301.48/1305.16 c #Conflicts: 137000 | #Constraints: 92371
1945.59/1950.84 c #Conflicts: 138000 | #Constraints: 93371
1945.59/1950.84 c #Conflicts: 139000 | #Constraints: 94371
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 140000 | #Constraints: 87986
1945.59/1950.84 c #Conflicts: 141000 | #Constraints: 88986
1945.59/1950.84 c #Conflicts: 142000 | #Constraints: 89986
1945.59/1950.84 c #Conflicts: 143000 | #Constraints: 90986
1945.59/1950.84 c #Conflicts: 144000 | #Constraints: 91986
1945.59/1950.84 c #Conflicts: 145000 | #Constraints: 92986
1945.59/1950.84 c #Conflicts: 146000 | #Constraints: 93986
1945.59/1950.84 c #Conflicts: 147000 | #Constraints: 94986
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 148000 | #Constraints: 88454
1945.59/1950.84 c #Conflicts: 149000 | #Constraints: 89454
1945.59/1950.84 c #Conflicts: 150000 | #Constraints: 90454
1945.59/1950.84 c #Conflicts: 151000 | #Constraints: 91454
1945.59/1950.84 c #Conflicts: 152000 | #Constraints: 92454
1945.59/1950.84 c #Conflicts: 153000 | #Constraints: 93454
1945.59/1950.84 c #Conflicts: 154000 | #Constraints: 94454
1945.59/1950.84 c #Conflicts: 155000 | #Constraints: 95454
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 156000 | #Constraints: 88629
1945.59/1950.84 c #Conflicts: 157000 | #Constraints: 89629
1945.59/1950.84 c #Conflicts: 158000 | #Constraints: 90629
1945.59/1950.84 c #Conflicts: 159000 | #Constraints: 91629
1945.59/1950.84 c #Conflicts: 160000 | #Constraints: 92629
1945.59/1950.84 c #Conflicts: 161000 | #Constraints: 93629
1945.59/1950.84 c #Conflicts: 162000 | #Constraints: 94629
1945.59/1950.84 c #Conflicts: 163000 | #Constraints: 95629
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 164000 | #Constraints: 88606
1945.59/1950.84 c #Conflicts: 165000 | #Constraints: 89606
1945.59/1950.84 c #Conflicts: 166000 | #Constraints: 90606
1945.59/1950.84 c #Conflicts: 167000 | #Constraints: 91606
1945.59/1950.84 c #Conflicts: 168000 | #Constraints: 92606
1945.59/1950.84 c #Conflicts: 169000 | #Constraints: 93606
1945.59/1950.84 c #Conflicts: 170000 | #Constraints: 94606
1945.59/1950.84 c #Conflicts: 171000 | #Constraints: 95606
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 172000 | #Constraints: 88383
1945.59/1950.84 c #Conflicts: 173000 | #Constraints: 89383
1945.59/1950.84 c #Conflicts: 174000 | #Constraints: 90383
1945.59/1950.84 c #Conflicts: 175000 | #Constraints: 91383
1945.59/1950.84 c #Conflicts: 176000 | #Constraints: 92383
1945.59/1950.84 c #Conflicts: 177000 | #Constraints: 93383
1945.59/1950.84 c #Conflicts: 178000 | #Constraints: 94383
1945.59/1950.84 c #Conflicts: 179000 | #Constraints: 95383
1945.59/1950.84 c #Conflicts: 180000 | #Constraints: 96383
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 181000 | #Constraints: 88972
1945.59/1950.84 c #Conflicts: 182000 | #Constraints: 89972
1945.59/1950.84 c #Conflicts: 183000 | #Constraints: 90972
1945.59/1950.84 c #Conflicts: 184000 | #Constraints: 91972
1945.59/1950.84 c #Conflicts: 185000 | #Constraints: 92972
1945.59/1950.84 c #Conflicts: 186000 | #Constraints: 93972
1945.59/1950.84 c #Conflicts: 187000 | #Constraints: 94972
1945.59/1950.84 c #Conflicts: 188000 | #Constraints: 95972
1945.59/1950.84 c #Conflicts: 189000 | #Constraints: 96972
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 190000 | #Constraints: 89373
1945.59/1950.84 c #Conflicts: 191000 | #Constraints: 90373
1945.59/1950.84 c #Conflicts: 192000 | #Constraints: 91373
1945.59/1950.84 c #Conflicts: 193000 | #Constraints: 92373
1945.59/1950.84 c #Conflicts: 194000 | #Constraints: 93373
1945.59/1950.84 c #Conflicts: 195000 | #Constraints: 94373
1945.59/1950.84 c #Conflicts: 196000 | #Constraints: 95373
1945.59/1950.84 c #Conflicts: 197000 | #Constraints: 96373
1945.59/1950.84 c #Conflicts: 198000 | #Constraints: 97373
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 199000 | #Constraints: 89574
1945.59/1950.84 c #Conflicts: 200000 | #Constraints: 90574
1945.59/1950.84 c #Conflicts: 201000 | #Constraints: 91574
1945.59/1950.84 c #Conflicts: 202000 | #Constraints: 92574
1945.59/1950.84 c #Conflicts: 203000 | #Constraints: 93574
1945.59/1950.84 c #Conflicts: 204000 | #Constraints: 94574
1945.59/1950.84 c #Conflicts: 205000 | #Constraints: 95574
1945.59/1950.84 c #Conflicts: 206000 | #Constraints: 96574
1945.59/1950.84 c #Conflicts: 207000 | #Constraints: 97574
1945.59/1950.84 c INPROCESSING
1945.59/1950.84 c GARBAGE COLLECT
1945.59/1950.84 c #Conflicts: 208000 | #Constraints: 89572
1945.59/1950.84 c #Conflicts: 209000 | #Constraints: 90572
1945.59/1950.84 c #Conflicts: 210000 | #Constraints: 91572
2748.65/2756.08 c #Conflicts: 211000 | #Constraints: 92572
2748.65/2756.08 c #Conflicts: 212000 | #Constraints: 93572
2748.65/2756.08 c #Conflicts: 213000 | #Constraints: 94572
2748.65/2756.08 c #Conflicts: 214000 | #Constraints: 95572
2748.65/2756.08 c #Conflicts: 215000 | #Constraints: 96572
2748.65/2756.08 c #Conflicts: 216000 | #Constraints: 97572
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 217000 | #Constraints: 89370
2748.65/2756.08 c #Conflicts: 218000 | #Constraints: 90370
2748.65/2756.08 c #Conflicts: 219000 | #Constraints: 91370
2748.65/2756.08 c #Conflicts: 220000 | #Constraints: 92370
2748.65/2756.08 c #Conflicts: 221000 | #Constraints: 93370
2748.65/2756.08 c #Conflicts: 222000 | #Constraints: 94370
2748.65/2756.08 c #Conflicts: 223000 | #Constraints: 95370
2748.65/2756.08 c #Conflicts: 224000 | #Constraints: 96370
2748.65/2756.08 c #Conflicts: 225000 | #Constraints: 97370
2748.65/2756.08 c #Conflicts: 226000 | #Constraints: 98370
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 227000 | #Constraints: 89985
2748.65/2756.08 c #Conflicts: 228000 | #Constraints: 90985
2748.65/2756.08 c #Conflicts: 229000 | #Constraints: 91985
2748.65/2756.08 c #Conflicts: 230000 | #Constraints: 92985
2748.65/2756.08 c #Conflicts: 231000 | #Constraints: 93985
2748.65/2756.08 c #Conflicts: 232000 | #Constraints: 94985
2748.65/2756.08 c #Conflicts: 233000 | #Constraints: 95985
2748.65/2756.08 c #Conflicts: 234000 | #Constraints: 96985
2748.65/2756.08 c #Conflicts: 235000 | #Constraints: 97985
2748.65/2756.08 c #Conflicts: 236000 | #Constraints: 98985
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 237000 | #Constraints: 90379
2748.65/2756.08 c #Conflicts: 238000 | #Constraints: 91379
2748.65/2756.08 c #Conflicts: 239000 | #Constraints: 92379
2748.65/2756.08 c #Conflicts: 240000 | #Constraints: 93379
2748.65/2756.08 c #Conflicts: 241000 | #Constraints: 94379
2748.65/2756.08 c #Conflicts: 242000 | #Constraints: 95379
2748.65/2756.08 c #Conflicts: 243000 | #Constraints: 96379
2748.65/2756.08 c #Conflicts: 244000 | #Constraints: 97379
2748.65/2756.08 c #Conflicts: 245000 | #Constraints: 98379
2748.65/2756.08 c #Conflicts: 246000 | #Constraints: 99379
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 247000 | #Constraints: 90575
2748.65/2756.08 c #Conflicts: 248000 | #Constraints: 91575
2748.65/2756.08 c #Conflicts: 249000 | #Constraints: 92575
2748.65/2756.08 c #Conflicts: 250000 | #Constraints: 93575
2748.65/2756.08 c #Conflicts: 251000 | #Constraints: 94575
2748.65/2756.08 c #Conflicts: 252000 | #Constraints: 95575
2748.65/2756.08 c #Conflicts: 253000 | #Constraints: 96575
2748.65/2756.08 c #Conflicts: 254000 | #Constraints: 97575
2748.65/2756.08 c #Conflicts: 255000 | #Constraints: 98575
2748.65/2756.08 c #Conflicts: 256000 | #Constraints: 99575
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 257000 | #Constraints: 90575
2748.65/2756.08 c #Conflicts: 258000 | #Constraints: 91575
2748.65/2756.08 c #Conflicts: 259000 | #Constraints: 92575
2748.65/2756.08 c #Conflicts: 260000 | #Constraints: 93575
2748.65/2756.08 c #Conflicts: 261000 | #Constraints: 94575
2748.65/2756.08 c #Conflicts: 262000 | #Constraints: 95575
2748.65/2756.08 c #Conflicts: 263000 | #Constraints: 96575
2748.65/2756.08 c #Conflicts: 264000 | #Constraints: 97575
2748.65/2756.08 c #Conflicts: 265000 | #Constraints: 98575
2748.65/2756.08 c #Conflicts: 266000 | #Constraints: 99575
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 267000 | #Constraints: 90394
2748.65/2756.08 c #Conflicts: 268000 | #Constraints: 91394
2748.65/2756.08 c #Conflicts: 269000 | #Constraints: 92394
2748.65/2756.08 c #Conflicts: 270000 | #Constraints: 93394
2748.65/2756.08 c #Conflicts: 271000 | #Constraints: 94394
2748.65/2756.08 c #Conflicts: 272000 | #Constraints: 95394
2748.65/2756.08 c #Conflicts: 273000 | #Constraints: 96394
2748.65/2756.08 c #Conflicts: 274000 | #Constraints: 97394
2748.65/2756.08 c #Conflicts: 275000 | #Constraints: 98394
2748.65/2756.08 c #Conflicts: 276000 | #Constraints: 99394
2748.65/2756.08 c #Conflicts: 277000 | #Constraints: 100394
2748.65/2756.08 c INPROCESSING
2748.65/2756.08 c GARBAGE COLLECT
2748.65/2756.08 c #Conflicts: 278000 | #Constraints: 90978
2748.65/2756.08 c #Conflicts: 279000 | #Constraints: 91978
2748.65/2756.08 c #Conflicts: 280000 | #Constraints: 92978
2748.65/2756.08 c #Conflicts: 281000 | #Constraints: 93978
2748.65/2756.08 c #Conflicts: 282000 | #Constraints: 94978
2748.65/2756.08 c #Conflicts: 283000 | #Constraints: 95978
2748.65/2756.08 c #Conflicts: 284000 | #Constraints: 96978
2748.65/2756.08 c #Conflicts: 285000 | #Constraints: 97978
3582.63/3592.28 c #Conflicts: 286000 | #Constraints: 98978
3582.63/3592.28 c #Conflicts: 287000 | #Constraints: 99978
3582.63/3592.28 c #Conflicts: 288000 | #Constraints: 100978
3582.63/3592.28 c INPROCESSING
3582.63/3592.28 c GARBAGE COLLECT
3582.63/3592.28 c #Conflicts: 289000 | #Constraints: 91371
3582.63/3592.28 c #Conflicts: 290000 | #Constraints: 92371
3582.63/3592.28 c #Conflicts: 291000 | #Constraints: 93371
3582.63/3592.28 c #Conflicts: 292000 | #Constraints: 94371
3582.63/3592.28 c #Conflicts: 293000 | #Constraints: 95371
3582.63/3592.28 c #Conflicts: 294000 | #Constraints: 96371
3582.63/3592.28 c #Conflicts: 295000 | #Constraints: 97371
3582.63/3592.28 c #Conflicts: 296000 | #Constraints: 98371
3582.63/3592.28 c #Conflicts: 297000 | #Constraints: 99371
3582.63/3592.28 c #Conflicts: 298000 | #Constraints: 100371
3582.63/3592.28 c #Conflicts: 299000 | #Constraints: 101371
3582.63/3592.28 c INPROCESSING
3582.63/3592.28 c GARBAGE COLLECT
3582.63/3592.28 c #Conflicts: 300000 | #Constraints: 91569
3582.63/3592.28 c #Conflicts: 301000 | #Constraints: 92569
3582.63/3592.28 c #Conflicts: 302000 | #Constraints: 93569
3582.63/3592.28 c #Conflicts: 303000 | #Constraints: 94569
3582.63/3592.28 c #Conflicts: 304000 | #Constraints: 95569
3582.63/3592.28 c #Conflicts: 305000 | #Constraints: 96569
3582.63/3592.28 c #Conflicts: 306000 | #Constraints: 97569
3582.63/3592.28 c #Conflicts: 307000 | #Constraints: 98569
3582.63/3592.28 c #Conflicts: 308000 | #Constraints: 99569
3582.63/3592.28 c #Conflicts: 309000 | #Constraints: 100569
3582.63/3592.28 c #Conflicts: 310000 | #Constraints: 101569
3582.63/3592.28 c INPROCESSING
3582.63/3592.28 c GARBAGE COLLECT
3582.63/3592.28 c #Conflicts: 311000 | #Constraints: 91576
3582.63/3592.28 c #Conflicts: 312000 | #Constraints: 92576
3582.63/3592.28 c #Conflicts: 313000 | #Constraints: 93576
3582.63/3592.28 c #Conflicts: 314000 | #Constraints: 94576
3582.63/3592.28 c #Conflicts: 315000 | #Constraints: 95576
3582.63/3592.28 c #Conflicts: 316000 | #Constraints: 96576
3582.63/3592.28 c #Conflicts: 317000 | #Constraints: 97576
3582.63/3592.28 c #Conflicts: 318000 | #Constraints: 98576
3582.63/3592.28 c #Conflicts: 319000 | #Constraints: 99576
3582.63/3592.28 c #Conflicts: 320000 | #Constraints: 100576
3582.63/3592.28 c #Conflicts: 321000 | #Constraints: 101576
3582.63/3592.28 c INPROCESSING
3582.63/3592.28 c GARBAGE COLLECT
3582.63/3592.29 c #Conflicts: 322000 | #Constraints: 91390
3582.63/3592.29 c #Conflicts: 323000 | #Constraints: 92390
3582.63/3592.29 c #Conflicts: 324000 | #Constraints: 93390
3582.63/3592.29 c #Conflicts: 325000 | #Constraints: 94390
3582.63/3592.29 c #Conflicts: 326000 | #Constraints: 95390
3582.63/3592.29 c #Conflicts: 327000 | #Constraints: 96390
3582.63/3592.29 c #Conflicts: 328000 | #Constraints: 97390
3582.63/3592.29 c #Conflicts: 329000 | #Constraints: 98390
3582.63/3592.29 c #Conflicts: 330000 | #Constraints: 99390
3582.63/3592.29 c #Conflicts: 331000 | #Constraints: 100390
3582.63/3592.29 c #Conflicts: 332000 | #Constraints: 101390
3582.63/3592.29 c #Conflicts: 333000 | #Constraints: 102390
3582.63/3592.29 c INPROCESSING
3582.63/3592.29 c GARBAGE COLLECT
3582.63/3592.29 c #Conflicts: 334000 | #Constraints: 91998
3582.63/3592.29 c #Conflicts: 335000 | #Constraints: 92998
3582.63/3592.29 c #Conflicts: 336000 | #Constraints: 93998
3582.63/3592.29 c #Conflicts: 337000 | #Constraints: 94998
3582.63/3592.29 c #Conflicts: 338000 | #Constraints: 95998
3582.63/3592.29 c #Conflicts: 339000 | #Constraints: 96998
3582.63/3592.29 c #Conflicts: 340000 | #Constraints: 97998
3582.63/3592.29 c #Conflicts: 341000 | #Constraints: 98998
3582.63/3592.29 c #Conflicts: 342000 | #Constraints: 99998
3582.63/3592.29 c #Conflicts: 343000 | #Constraints: 100998
3582.63/3592.29 c #Conflicts: 344000 | #Constraints: 101998
3582.63/3592.29 c #Conflicts: 345000 | #Constraints: 102998
3582.63/3592.29 c INPROCESSING
3582.63/3592.29 c GARBAGE COLLECT
3582.63/3592.29 c #Conflicts: 346000 | #Constraints: 92389
3582.63/3592.29 c #Conflicts: 347000 | #Constraints: 93389
3582.63/3592.29 c #Conflicts: 348000 | #Constraints: 94389
3582.63/3592.29 c #Conflicts: 349000 | #Constraints: 95389
3582.63/3592.29 c #Conflicts: 350000 | #Constraints: 96389
3582.63/3592.29 c #Conflicts: 351000 | #Constraints: 97389
3582.63/3592.29 c #Conflicts: 352000 | #Constraints: 98389
3582.63/3592.29 c #Conflicts: 353000 | #Constraints: 99389
3582.63/3592.29 c #Conflicts: 354000 | #Constraints: 100389
3582.63/3592.29 c #Conflicts: 355000 | #Constraints: 101389
3582.63/3592.29 c #Conflicts: 356000 | #Constraints: 102389
3582.63/3592.29 c #Conflicts: 357000 | #Constraints: 103389
3582.63/3592.29 c INPROCESSING
3582.63/3592.29 c GARBAGE COLLECT
3582.63/3592.29 c #Conflicts: 358000 | #Constraints: 92579
3582.63/3592.29 c #Conflicts: 359000 | #Constraints: 93579
3600.08/3609.70 c #Conflicts: 360000 | #Constraints: 94579
3600.08/3609.70 c #Conflicts: 361000 | #Constraints: 95579
3600.08/3609.70 c Program interrupted by user.
3600.08/3609.70 c cpu time 3594.12 s
3600.08/3609.70 c deterministic time 1308872041211 1.31e+12
3600.08/3609.70 c optimization time 29.4553 s
3600.08/3609.70 c total solve time 3265.24 s
3600.08/3609.70 c core-guided solve time 3265.24 s
3600.08/3609.70 c propagation time 2419.46 s
3600.08/3609.70 c conflict analysis time 796.932 s
3600.08/3609.70 c propagations 479079829
3600.08/3609.70 c resolve steps 11794166
3600.08/3609.70 c decisions 4220011
3600.08/3609.70 c conflicts 361137
3600.08/3609.70 c restarts 863
3600.08/3609.70 c inprocessing phases 51
3600.08/3609.70 c input clauses 79710
3600.08/3609.70 c input cardinalities 7
3600.08/3609.70 c input general constraints 0
3600.08/3609.70 c input average constraint length 2.65
3600.08/3609.70 c input average constraint degree 1.03
3600.08/3609.70 c learned clauses 192580
3600.08/3609.70 c learned cardinalities 1338
3600.08/3609.70 c learned general constraints 167221
3600.08/3609.70 c learned average constraint length 4793.36
3600.08/3609.70 c learned average constraint degree 3200286.79
3600.08/3609.70 c watched constraints 161594
3600.08/3609.70 c counting constraints 5627
3600.08/3609.70 c gcd simplifications 3625
3600.08/3609.70 c detected cardinalities 1
3600.08/3609.70 c weakened non-implied lits 196305683
3600.08/3609.70 c weakened non-implying lits 45511
3600.08/3609.70 c original variables 21320
3600.08/3609.70 c clausal propagations 442917167
3600.08/3609.70 c cardinality propagations 1866976
3600.08/3609.70 c watched propagations 24169394
3600.08/3609.70 c counting propagations 8536302
3600.08/3609.70 c watch lookups 4681007061
3600.08/3609.70 c watch backjump lookups 3099128645
3600.08/3609.70 c watch checks 1170794715524
3600.08/3609.70 c propagation checks 124124462910
3600.08/3609.70 c constraint additions 5205782332
3600.08/3609.70 c trail pops 483644898
3600.08/3609.70 c formula constraints 79710
3600.08/3609.70 c learned constraints 361139
3600.08/3609.70 c bound constraints 7
3600.08/3609.70 c core-guided constraints 0
3600.08/3609.70 c encountered formula constraints 10874392
3600.08/3609.70 c encountered learned constraints 1280864
3600.08/3609.70 c encountered bound constraints 47
3600.08/3609.70 c encountered core-guided constraints 0
3600.08/3609.70 c LP total time 0 s
3600.08/3609.70 c LP solve time 0 s
3600.08/3609.70 c LP constraints added 0
3600.08/3609.70 c LP constraints removed 0
3600.08/3609.70 c LP pivots internal 0
3600.08/3609.70 c LP pivots root 0
3600.08/3609.70 c LP calls 0
3600.08/3609.70 c LP optimalities 0
3600.08/3609.70 c LP no pivot count 0
3600.08/3609.70 c LP infeasibilities 0
3600.08/3609.70 c LP valid Farkas constraints 0
3600.08/3609.70 c LP learned Farkas constraints 0
3600.08/3609.70 c LP basis resets 0
3600.08/3609.70 c LP cycling count 0
3600.08/3609.70 c LP singular count 0
3600.08/3609.70 c LP no primal count 0
3600.08/3609.70 c LP no farkas count 0
3600.08/3609.70 c LP other issue count 0
3600.08/3609.70 c LP Gomory cuts 0
3600.08/3609.70 c LP learned cuts 0
3600.08/3609.70 c LP deleted cuts 0
3600.08/3609.70 c LP encountered Gomory constraints 0
3600.08/3609.70 c LP encountered Farkas constraints 0
3600.08/3609.70 c LP encountered learned Farkas constraints 0
3600.08/3609.70 c CG auxiliary variables introduced 0
3600.08/3609.70 c CG solutions found 0
3600.08/3609.70 c CG cores constructed 6
3600.08/3609.70 c CG core cardinality constraints returned 0
3600.08/3609.70 c CG unit cores 0
3600.08/3609.70 c CG single cores 6
3600.08/3609.70 c CG blocks removed during cardinality reduction 0
3600.08/3609.70 c CG first core best 0
3600.08/3609.70 c CG decision core best 0
3600.08/3609.70 c CG core reduction tie 0
3600.08/3609.70 c CG core degree average 1.00
3600.08/3609.70 c CG core slack average 88.67
3600.08/3609.70 c CG exhausted 0
3600.08/3609.70 c CG exhaust time 0 s
3600.08/3609.70 c CG trimmed 0
3600.08/3609.70 c CG trim time 0.002322 s
3600.08/3609.70 c CG minimized 0
3600.08/3609.70 c CG minimize time 0 s
3600.08/3609.70 c CG am1 prop time 0.005009 s
3600.08/3609.70 c CG # am1s reformulated 0
3600.08/3609.70 c CG lower bound derived from am1s 0
3600.08/3609.70 c CG # clausal cores 6
3600.08/3609.70 c CG # cardinality cores 0
3600.08/3609.70 c CG # pb cores 0
3600.08/3609.70 c CG # pb reforms 0
3600.08/3609.70 c CG # cores discarded because of pb reform 0
3600.08/3609.70 d LOWERBOUND 6
3600.08/3609.70 d NCORES 6
3600.08/3609.70 d NPBCORES 0
3600.08/3609.70 d NPBREFORM 0
3600.08/3609.70 d NTRIMMED 0
3600.08/3609.70 d NEXHAUSTED 0
3600.08/3609.70 d NAM1S 0
3600.08/3609.70 d AM1LB 0
3600.08/3609.70 c [Papilo Statistics]
3600.08/3609.70 c prepro time 0.107336s
3600.08/3609.70 c # tsx applied 32
3600.08/3609.70 c # tsx conflicts 0
3600.08/3609.70 c # bound changes 5
3600.08/3609.70 c # side changes 20
3600.08/3609.70 c # coef changes 71
3600.08/3609.70 c # rounds 2
3600.08/3609.70 c # deted vars 15
3600.08/3609.70 c # deted constrs 36
3600.08/3609.70 c # consecutive rounds of only bound changes 0
3600.08/3609.70 s UNKNOWN
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 (59385 MiB free)
memory of node 1: 64465 MiB (58246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529014-1752258620/watcher-4529014-1752258620 -o /tmp/evaluation-result-4529014-1752258620/solver-4529014-1752258620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118200 --watchdog 3760 mixed-bag HOME/instance-4529014-1752258620.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118547, runsolver pid=118544
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.12 4.09 4/261 118557
/proc/meminfo: memFree=120453588/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=91516 memory=19816 CPUtime=0.08 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 3556 0 0 0 8 0 0 0 20 0 1 0 141541465 93712384 4954 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 22879 4954 2144 2834 0 5631 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 91516 KiB
Current children cumulated memory: 19816 KiB
[startup+0.205665 s]*
/proc/loadavg: 4.13 4.12 4.09 3/257 118565
/proc/meminfo: memFree=120972808/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=143176 memory=64452 CPUtime=0.19 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 11790 0 0 0 16 3 0 0 20 0 1 0 141541465 146612224 16113 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 35794 16113 2240 2834 0 17999 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143176 KiB
Current children cumulated memory: 64452 KiB
[startup+0.305564 s]*
/proc/loadavg: 4.13 4.12 4.09 4/257 118574
/proc/meminfo: memFree=120911536/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=138556 memory=65560 CPUtime=0.29 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 12171 0 0 0 26 3 0 0 20 0 1 0 141541465 141881344 16390 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 34639 16390 3616 2834 0 16844 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 138556 KiB
Current children cumulated memory: 65560 KiB
[startup+0.70019 s]
/proc/loadavg: 4.13 4.12 4.09 3/258 118582
/proc/meminfo: memFree=120733180/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=329912 memory=253672 CPUtime=0.67 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 55763 0 0 0 57 10 0 0 20 0 1 0 141541465 337829888 63418 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 82478 63418 4000 2834 0 64683 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 329912 KiB
Current children cumulated memory: 253672 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 4/260 118587
/proc/meminfo: memFree=120603900/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=338288 memory=262004 CPUtime=1.47 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 65477 0 0 0 135 12 0 0 20 0 1 0 141541465 346406912 65501 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 84572 65501 4064 2834 0 66777 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 338288 KiB
Current children cumulated memory: 262004 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 118624
/proc/meminfo: memFree=119417216/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=471780 memory=360396 CPUtime=3.07 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 89019 0 0 0 291 16 0 0 20 0 1 0 141541465 483102720 90099 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 117945 90099 4256 2834 0 100150 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 471780 KiB
Current children cumulated memory: 360396 KiB
[startup+6.30012 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118625
/proc/meminfo: memFree=118828944/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=649228 memory=538564 CPUtime=6.26 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 123004 0 0 0 604 22 0 0 20 0 1 0 141541465 664809472 134641 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 162307 134641 4288 2834 0 144512 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 649228 KiB
Current children cumulated memory: 538564 KiB
[startup+12.7001 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118625
/proc/meminfo: memFree=118436076/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=649228 memory=539588 CPUtime=12.64 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 123305 0 0 0 1242 22 0 0 20 0 1 0 141541465 664809472 134897 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 162307 134897 4288 2834 0 144512 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 649228 KiB
Current children cumulated memory: 539588 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 118626
/proc/meminfo: memFree=118287040/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=746940 memory=591080 CPUtime=25.39 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 133635 0 0 0 2515 24 0 0 20 0 1 0 141541465 764866560 147770 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 186735 147770 4288 2834 0 168940 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 746940 KiB
Current children cumulated memory: 591080 KiB
[startup+51.1051 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 118626
/proc/meminfo: memFree=117522236/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=758708 memory=598248 CPUtime=50.9 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 135429 0 0 0 5066 24 0 0 20 0 1 0 141541465 776916992 149562 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 189677 149562 4288 2834 0 171882 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 758708 KiB
Current children cumulated memory: 598248 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 118628
/proc/meminfo: memFree=117500040/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=762080 memory=600936 CPUtime=101.92 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 136192 0 0 0 10167 25 0 0 20 0 1 0 141541465 780369920 150234 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 190520 150234 4288 2834 0 172725 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 762080 KiB
Current children cumulated memory: 600936 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.16 4.10 5/265 118630
/proc/meminfo: memFree=117446868/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=780540 memory=619240 CPUtime=161.71 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 140768 0 0 0 16145 26 0 0 20 0 1 0 141541465 799272960 154810 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 195135 154810 4288 2834 0 177340 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 780540 KiB
Current children cumulated memory: 619240 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 118632
/proc/meminfo: memFree=117221780/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=936152 memory=775272 CPUtime=221.51 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 179846 0 0 0 22119 32 0 0 20 0 1 0 141541465 958619648 193818 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 234038 193818 4288 2834 0 216243 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 936152 KiB
Current children cumulated memory: 775272 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 118634
/proc/meminfo: memFree=117177664/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=936152 memory=775400 CPUtime=281.32 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 179886 0 0 0 28100 32 0 0 20 0 1 0 141541465 958619648 193850 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 234038 193850 4288 2834 0 216243 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 936152 KiB
Current children cumulated memory: 775400 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 118636
/proc/meminfo: memFree=117058428/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=964688 memory=800664 CPUtime=341.14 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 182912 0 0 0 34058 56 0 0 20 0 1 0 141541465 987840512 200166 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 241172 200166 4480 2834 0 223377 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 964688 KiB
Current children cumulated memory: 800664 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 118638
/proc/meminfo: memFree=116897544/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=964688 memory=837928 CPUtime=400.98 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 183043 0 0 0 40024 74 0 0 20 0 1 0 141541465 987840512 209482 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 241172 209482 4480 2834 0 223377 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 964688 KiB
Current children cumulated memory: 837928 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 118641
/proc/meminfo: memFree=116856156/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1046076 memory=846596 CPUtime=460.83 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 183793 0 0 0 45994 89 0 0 20 0 1 0 141541465 1071181824 211649 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 261519 211649 4480 2834 0 243724 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 1191008 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/262 118772
/proc/meminfo: memFree=115573144/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1191008 CPUtime=2914.51 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186304 0 0 0 290954 497 0 0 20 0 1 0 141541465 1426698240 297752 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 297752 4480 2834 0 330520 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1191008 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/262 118774
/proc/meminfo: memFree=115572808/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1191008 CPUtime=2974.35 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186304 0 0 0 296928 507 0 0 20 0 1 0 141541465 1426698240 297752 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 297752 4480 2834 0 330520 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1191008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/264 118784
/proc/meminfo: memFree=115543592/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1191008 CPUtime=3034.19 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186304 0 0 0 302903 516 0 0 20 0 1 0 141541465 1426698240 297752 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 297752 4480 2834 0 330520 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1191008 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 118787
/proc/meminfo: memFree=115532288/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1191008 CPUtime=3094.03 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186345 0 0 0 308882 521 0 0 20 0 1 0 141541465 1426698240 297752 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 297752 4480 2834 0 330520 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1191008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/265 118789
/proc/meminfo: memFree=115453640/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1227872 CPUtime=3153.88 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186436 0 0 0 314857 531 0 0 20 0 1 0 141541465 1426698240 306968 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 306968 4480 2834 0 330520 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1227872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 118792
/proc/meminfo: memFree=115449884/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1227872 CPUtime=3213.71 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186436 0 0 0 320835 536 0 0 20 0 1 0 141541465 1426698240 306968 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 306968 4480 2834 0 330520 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1227872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 118794
/proc/meminfo: memFree=115456904/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1227872 CPUtime=3273.55 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186483 0 0 0 326814 541 0 0 20 0 1 0 141541465 1426698240 306968 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 306968 4480 2834 0 330520 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1227872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/263 118796
/proc/meminfo: memFree=115429932/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3333.4 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186514 0 0 0 332791 549 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/262 118798
/proc/meminfo: memFree=115427656/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3393.23 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186514 0 0 0 338763 560 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/263 118801
/proc/meminfo: memFree=115424964/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3453.08 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186539 0 0 0 344738 570 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/263 118803
/proc/meminfo: memFree=115427116/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3512.92 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186539 0 0 0 350712 580 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/263 118805
/proc/meminfo: memFree=115426988/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3572.76 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186541 0 0 0 356685 591 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 118813
/proc/meminfo: memFree=115427020/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3600.08 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186591 0 0 0 359411 597 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 118547 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.12 s, system=5.98424 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 118813
/proc/meminfo: memFree=115427020/131250000 swapFree=33009904/33010684
[pid=118547] ppid=118544 vsize=1393260 memory=1254496 CPUtime=3600.08 cores=4,6
/proc/118547/stat : 118547 (mixed-bag) R 118544 118547 118184 0 -1 4194304 186591 0 0 0 359411 597 0 0 20 0 1 0 141541465 1426698240 313624 18446744073709551615 4235264 15840557 140730759002704 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 48345088 140730759010714 140730759010791 140730759010791 140730759016395 0
/proc/118547/statm: 348315 313624 4480 2834 0 330520 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1393260 KiB
Current children cumulated memory: 1254496 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.11
CPU user time (s): 3594.12
CPU system time (s): 5.98424
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 1393260
Max. memory (cumulated for all children) (KiB): 1254496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.12
system time used= 5.98424
maximum resident set size= 1255264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186625
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= 184
involuntary context switches= 1398
# summary of solver processes directly reported to runsolver:
# pid: 118547
# total CPU time (s): 3600.11
# total CPU user time (s): 3594.12
# total CPU system time (s): 5.98424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80395 second user time and 15.6787 second system time
The end
Begin job on nodeC033 at 2025-07-11 20:30:20
IDJOB=4529014
IDBENCH=148189
IDSOLVER=3386
FILE ID=nodeC033/4529014-1752258620
RUNJOBID= nodeC033-1752255008-118200
SLURM_JOB_ID= 9682592
Free space on /tmp= 429708 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529014-1752258620/watcher-4529014-1752258620 -o /tmp/evaluation-result-4529014-1752258620/solver-4529014-1752258620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118200 --watchdog 3760 mixed-bag HOME/instance-4529014-1752258620.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5bd9df7c04c5af36994bd737db01c977
RANDOM SEED=2074152350
nodeC033 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 : 3601.933
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.13
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 : 3656.972
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.13
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.234
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.13
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 : 3599.917
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.13
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.067
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.13
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.754
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.362
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.13
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 : 3542.518
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120455452 kB
MemAvailable: 129080260 kB
Buffers: 2128 kB
Cached: 9346148 kB
SwapCached: 68 kB
Active: 1389356 kB
Inactive: 8624240 kB
Active(anon): 678004 kB
Inactive(anon): 5388 kB
Active(file): 711352 kB
Inactive(file): 8618852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 35044 kB
Writeback: 4 kB
AnonPages: 668320 kB
Mapped: 120352 kB
Shmem: 18028 kB
KReclaimable: 267684 kB
Slab: 363456 kB
SReclaimable: 267684 kB
SUnreclaim: 95772 kB
KernelStack: 4192 kB
PageTables: 4328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 999208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 120832 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429692 MiB
End job on nodeC033 at 2025-07-11 21:30:30