0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.20/0.26 c [STEP] preprocessing with Papilo
0.30/0.37 c [STEP] solving with SCIP
299.33/300.47 c [STEP] preprocessing done, loading into solver
299.33/300.49 c [STEP] solving
299.33/300.49 c #variables 2471 #constraints 4744
299.33/300.49 c SMALL=int, LARGE=long long
299.33/300.49 d SCIPUB 256
299.33/300.49 c bounds - >= 0 @ 299.209
299.33/300.49 c stratification level: 0
370.33/371.61 c bounds - >= 2 @ 299.211
370.33/371.61 c bounds - >= 4 @ 299.212
370.33/371.61 c bounds - >= 5 @ 299.212
370.33/371.61 c bounds - >= 8 @ 299.213
370.33/371.61 c bounds - >= 16 @ 299.222
370.33/371.61 c #Conflicts: 1000 | #Constraints: 5748
370.33/371.61 c bounds - >= 32 @ 299.507
370.33/371.61 c #Conflicts: 2000 | #Constraints: 6749
370.33/371.61 c INPROCESSING
370.33/371.61 c #Conflicts: 3000 | #Constraints: 6762
370.33/371.61 c #Conflicts: 4000 | #Constraints: 7762
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 5000 | #Constraints: 7176
370.33/371.61 c #Conflicts: 6000 | #Constraints: 8176
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 7000 | #Constraints: 7185
370.33/371.61 c #Conflicts: 8000 | #Constraints: 8185
370.33/371.61 c #Conflicts: 9000 | #Constraints: 9185
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 10000 | #Constraints: 7894
370.33/371.61 c #Conflicts: 11000 | #Constraints: 8894
370.33/371.61 c #Conflicts: 12000 | #Constraints: 9894
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 13000 | #Constraints: 8343
370.33/371.61 c #Conflicts: 14000 | #Constraints: 9343
370.33/371.61 c #Conflicts: 15000 | #Constraints: 10343
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 16000 | #Constraints: 8570
370.33/371.61 c #Conflicts: 17000 | #Constraints: 9570
370.33/371.61 c #Conflicts: 18000 | #Constraints: 10570
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 19000 | #Constraints: 8591
370.33/371.61 c #Conflicts: 20000 | #Constraints: 9591
370.33/371.61 c #Conflicts: 21000 | #Constraints: 10591
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 22000 | #Constraints: 8392
370.33/371.61 c #Conflicts: 23000 | #Constraints: 9392
370.33/371.61 c #Conflicts: 24000 | #Constraints: 10392
370.33/371.61 c #Conflicts: 25000 | #Constraints: 11392
370.33/371.61 c #Conflicts: 26000 | #Constraints: 12392
370.33/371.61 c #Conflicts: 27000 | #Constraints: 13392
370.33/371.61 c #Conflicts: 28000 | #Constraints: 14392
370.33/371.61 c #Conflicts: 29000 | #Constraints: 15392
370.33/371.61 c #Conflicts: 30000 | #Constraints: 16392
370.33/371.61 c #Conflicts: 31000 | #Constraints: 17392
370.33/371.61 c #Conflicts: 32000 | #Constraints: 18392
370.33/371.61 c #Conflicts: 33000 | #Constraints: 19392
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 34000 | #Constraints: 12946
370.33/371.61 c #Conflicts: 35000 | #Constraints: 13946
370.33/371.61 c #Conflicts: 36000 | #Constraints: 14946
370.33/371.61 c #Conflicts: 37000 | #Constraints: 15946
370.33/371.61 c #Conflicts: 38000 | #Constraints: 16946
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 39000 | #Constraints: 11880
370.33/371.61 c #Conflicts: 40000 | #Constraints: 12880
370.33/371.61 c #Conflicts: 41000 | #Constraints: 13880
370.33/371.61 c #Conflicts: 42000 | #Constraints: 14880
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 43000 | #Constraints: 10387
370.33/371.61 c #Conflicts: 44000 | #Constraints: 11387
370.33/371.61 c #Conflicts: 45000 | #Constraints: 12387
370.33/371.61 c #Conflicts: 46000 | #Constraints: 13387
370.33/371.61 c #Conflicts: 47000 | #Constraints: 14387
370.33/371.61 c #Conflicts: 48000 | #Constraints: 15387
370.33/371.61 c #Conflicts: 49000 | #Constraints: 16387
370.33/371.61 c #Conflicts: 50000 | #Constraints: 17387
370.33/371.61 c #Conflicts: 51000 | #Constraints: 18387
370.33/371.61 c #Conflicts: 52000 | #Constraints: 19387
370.33/371.61 c #Conflicts: 53000 | #Constraints: 20387
370.33/371.61 c #Conflicts: 54000 | #Constraints: 21387
370.33/371.61 c #Conflicts: 55000 | #Constraints: 22387
370.33/371.61 c #Conflicts: 56000 | #Constraints: 23387
370.33/371.61 c #Conflicts: 57000 | #Constraints: 24387
370.33/371.61 c #Conflicts: 58000 | #Constraints: 25387
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 59000 | #Constraints: 15703
370.33/371.61 c #Conflicts: 60000 | #Constraints: 16703
370.33/371.61 c #Conflicts: 61000 | #Constraints: 17703
370.33/371.61 c #Conflicts: 62000 | #Constraints: 18703
370.33/371.61 c #Conflicts: 63000 | #Constraints: 19703
370.33/371.61 c #Conflicts: 64000 | #Constraints: 20703
370.33/371.61 c #Conflicts: 65000 | #Constraints: 21703
370.33/371.61 c INPROCESSING
370.33/371.61 c GARBAGE COLLECT
370.33/371.61 c #Conflicts: 66000 | #Constraints: 14251
370.33/371.61 c #Conflicts: 67000 | #Constraints: 15251
370.33/371.61 c #Conflicts: 68000 | #Constraints: 16251
561.59/563.55 c #Conflicts: 69000 | #Constraints: 17251
561.59/563.55 c #Conflicts: 70000 | #Constraints: 18251
561.59/563.55 c #Conflicts: 71000 | #Constraints: 19251
561.59/563.55 c #Conflicts: 72000 | #Constraints: 20251
561.59/563.55 c #Conflicts: 73000 | #Constraints: 21251
561.59/563.55 c #Conflicts: 74000 | #Constraints: 22251
561.59/563.55 c #Conflicts: 75000 | #Constraints: 23251
561.59/563.55 c #Conflicts: 76000 | #Constraints: 24251
561.59/563.55 c #Conflicts: 77000 | #Constraints: 25251
561.59/563.55 c #Conflicts: 78000 | #Constraints: 26251
561.59/563.55 c #Conflicts: 79000 | #Constraints: 27251
561.59/563.55 c #Conflicts: 80000 | #Constraints: 28251
561.59/563.55 c #Conflicts: 81000 | #Constraints: 29251
561.59/563.55 c #Conflicts: 82000 | #Constraints: 30251
561.59/563.55 c #Conflicts: 83000 | #Constraints: 31251
561.59/563.55 c #Conflicts: 84000 | #Constraints: 32251
561.59/563.55 c INPROCESSING
561.59/563.55 c GARBAGE COLLECT
561.59/563.55 c #Conflicts: 85000 | #Constraints: 19539
561.59/563.55 c #Conflicts: 86000 | #Constraints: 20539
561.59/563.55 c #Conflicts: 87000 | #Constraints: 21539
561.59/563.55 c #Conflicts: 88000 | #Constraints: 22539
561.59/563.55 c #Conflicts: 89000 | #Constraints: 23539
561.59/563.55 c #Conflicts: 90000 | #Constraints: 24539
561.59/563.55 c #Conflicts: 91000 | #Constraints: 25539
561.59/563.55 c INPROCESSING
561.59/563.55 c GARBAGE COLLECT
561.59/563.55 c #Conflicts: 92000 | #Constraints: 16359
561.59/563.55 c #Conflicts: 93000 | #Constraints: 17359
561.59/563.55 c #Conflicts: 94000 | #Constraints: 18359
561.59/563.55 c #Conflicts: 95000 | #Constraints: 19359
561.59/563.55 c #Conflicts: 96000 | #Constraints: 20359
561.59/563.55 c #Conflicts: 97000 | #Constraints: 21359
561.59/563.55 c #Conflicts: 98000 | #Constraints: 22359
561.59/563.55 c #Conflicts: 99000 | #Constraints: 23359
561.59/563.55 c #Conflicts: 100000 | #Constraints: 24359
561.59/563.55 c #Conflicts: 101000 | #Constraints: 25359
561.59/563.55 c #Conflicts: 102000 | #Constraints: 26359
561.59/563.55 c #Conflicts: 103000 | #Constraints: 27359
561.59/563.55 c #Conflicts: 104000 | #Constraints: 28359
561.59/563.55 c #Conflicts: 105000 | #Constraints: 29359
561.59/563.55 c #Conflicts: 106000 | #Constraints: 30359
561.59/563.55 c #Conflicts: 107000 | #Constraints: 31359
561.59/563.55 c #Conflicts: 108000 | #Constraints: 32359
561.59/563.55 c #Conflicts: 109000 | #Constraints: 33359
561.59/563.55 c #Conflicts: 110000 | #Constraints: 34359
561.59/563.55 c #Conflicts: 111000 | #Constraints: 35359
561.59/563.55 c #Conflicts: 112000 | #Constraints: 36359
561.59/563.55 c #Conflicts: 113000 | #Constraints: 37359
561.59/563.55 c INPROCESSING
561.59/563.55 c GARBAGE COLLECT
561.59/563.55 c #Conflicts: 114000 | #Constraints: 21789
561.59/563.55 c #Conflicts: 115000 | #Constraints: 22789
561.59/563.55 c #Conflicts: 116000 | #Constraints: 23789
561.59/563.55 c #Conflicts: 117000 | #Constraints: 24789
561.59/563.55 c #Conflicts: 118000 | #Constraints: 25789
561.59/563.55 c #Conflicts: 119000 | #Constraints: 26789
561.59/563.55 c #Conflicts: 120000 | #Constraints: 27789
561.59/563.55 c #Conflicts: 121000 | #Constraints: 28789
561.59/563.55 c #Conflicts: 122000 | #Constraints: 29789
561.59/563.55 c INPROCESSING
561.59/563.55 c GARBAGE COLLECT
561.59/563.55 c #Conflicts: 123000 | #Constraints: 20034
561.59/563.55 c #Conflicts: 124000 | #Constraints: 21034
561.59/563.55 c #Conflicts: 125000 | #Constraints: 22034
561.59/563.55 c #Conflicts: 126000 | #Constraints: 23034
561.59/563.55 c #Conflicts: 127000 | #Constraints: 24034
561.59/563.55 c #Conflicts: 128000 | #Constraints: 25034
561.59/563.55 c #Conflicts: 129000 | #Constraints: 26034
561.59/563.55 c #Conflicts: 130000 | #Constraints: 27034
561.59/563.55 c #Conflicts: 131000 | #Constraints: 28034
561.59/563.55 c #Conflicts: 132000 | #Constraints: 29034
561.59/563.55 c #Conflicts: 133000 | #Constraints: 30034
561.59/563.55 c #Conflicts: 134000 | #Constraints: 31034
561.59/563.55 c #Conflicts: 135000 | #Constraints: 32034
561.59/563.55 c #Conflicts: 136000 | #Constraints: 33034
561.59/563.55 c #Conflicts: 137000 | #Constraints: 34034
561.59/563.55 c #Conflicts: 138000 | #Constraints: 35034
561.59/563.55 c #Conflicts: 139000 | #Constraints: 36034
561.59/563.55 c #Conflicts: 140000 | #Constraints: 37034
561.59/563.55 c #Conflicts: 141000 | #Constraints: 38034
561.59/563.55 c #Conflicts: 142000 | #Constraints: 39034
561.59/563.55 c #Conflicts: 143000 | #Constraints: 40034
561.59/563.55 c #Conflicts: 144000 | #Constraints: 41034
561.59/563.55 c #Conflicts: 145000 | #Constraints: 42034
860.40/863.46 c #Conflicts: 146000 | #Constraints: 43034
860.40/863.46 c #Conflicts: 147000 | #Constraints: 44034
860.40/863.46 c INPROCESSING
860.40/863.46 c GARBAGE COLLECT
860.40/863.46 c #Conflicts: 148000 | #Constraints: 25142
860.40/863.46 c #Conflicts: 149000 | #Constraints: 26142
860.40/863.46 c #Conflicts: 150000 | #Constraints: 27142
860.40/863.46 c #Conflicts: 151000 | #Constraints: 28142
860.40/863.46 c #Conflicts: 152000 | #Constraints: 29142
860.40/863.46 c #Conflicts: 153000 | #Constraints: 30142
860.40/863.46 c #Conflicts: 154000 | #Constraints: 31142
860.40/863.46 c #Conflicts: 155000 | #Constraints: 32142
860.40/863.46 c #Conflicts: 156000 | #Constraints: 33142
860.40/863.46 c #Conflicts: 157000 | #Constraints: 34142
860.40/863.46 c INPROCESSING
860.40/863.46 c GARBAGE COLLECT
860.40/863.46 c #Conflicts: 158000 | #Constraints: 23862
860.40/863.46 c #Conflicts: 159000 | #Constraints: 24862
860.40/863.46 c #Conflicts: 160000 | #Constraints: 25862
860.40/863.46 c #Conflicts: 161000 | #Constraints: 26862
860.40/863.46 c #Conflicts: 162000 | #Constraints: 27862
860.40/863.46 c #Conflicts: 163000 | #Constraints: 28862
860.40/863.46 c #Conflicts: 164000 | #Constraints: 29862
860.40/863.46 c #Conflicts: 165000 | #Constraints: 30862
860.40/863.46 c #Conflicts: 166000 | #Constraints: 31862
860.40/863.46 c #Conflicts: 167000 | #Constraints: 32862
860.40/863.46 c #Conflicts: 168000 | #Constraints: 33862
860.40/863.46 c #Conflicts: 169000 | #Constraints: 34862
860.40/863.46 c #Conflicts: 170000 | #Constraints: 35862
860.40/863.46 c #Conflicts: 171000 | #Constraints: 36862
860.40/863.46 c #Conflicts: 172000 | #Constraints: 37862
860.40/863.46 c #Conflicts: 173000 | #Constraints: 38862
860.40/863.46 c #Conflicts: 174000 | #Constraints: 39862
860.40/863.46 c #Conflicts: 175000 | #Constraints: 40862
860.40/863.46 c #Conflicts: 176000 | #Constraints: 41862
860.40/863.46 c #Conflicts: 177000 | #Constraints: 42862
860.40/863.46 c #Conflicts: 178000 | #Constraints: 43862
860.40/863.46 c #Conflicts: 179000 | #Constraints: 44862
860.40/863.46 c #Conflicts: 180000 | #Constraints: 45862
860.40/863.46 c #Conflicts: 181000 | #Constraints: 46862
860.40/863.46 c #Conflicts: 182000 | #Constraints: 47862
860.40/863.46 c #Conflicts: 183000 | #Constraints: 48862
860.40/863.46 c #Conflicts: 184000 | #Constraints: 49862
860.40/863.46 c #Conflicts: 185000 | #Constraints: 50862
860.40/863.46 c #Conflicts: 186000 | #Constraints: 51862
860.40/863.46 c INPROCESSING
860.40/863.46 c GARBAGE COLLECT
860.40/863.46 c #Conflicts: 187000 | #Constraints: 29347
860.40/863.46 c #Conflicts: 188000 | #Constraints: 30347
860.40/863.46 c #Conflicts: 189000 | #Constraints: 31347
860.40/863.46 c #Conflicts: 190000 | #Constraints: 32347
860.40/863.46 c #Conflicts: 191000 | #Constraints: 33347
860.40/863.46 c #Conflicts: 192000 | #Constraints: 34347
860.40/863.46 c #Conflicts: 193000 | #Constraints: 35347
860.40/863.46 c #Conflicts: 194000 | #Constraints: 36347
860.40/863.46 c #Conflicts: 195000 | #Constraints: 37347
860.40/863.46 c #Conflicts: 196000 | #Constraints: 38347
860.40/863.46 c #Conflicts: 197000 | #Constraints: 39347
860.40/863.46 c INPROCESSING
860.40/863.46 c GARBAGE COLLECT
860.40/863.46 c #Conflicts: 198000 | #Constraints: 28610
860.40/863.46 c #Conflicts: 199000 | #Constraints: 29610
860.40/863.46 c #Conflicts: 200000 | #Constraints: 30610
860.40/863.46 c #Conflicts: 201000 | #Constraints: 31610
860.40/863.46 c #Conflicts: 202000 | #Constraints: 32610
860.40/863.46 c #Conflicts: 203000 | #Constraints: 33610
860.40/863.46 c #Conflicts: 204000 | #Constraints: 34610
860.40/863.46 c #Conflicts: 205000 | #Constraints: 35610
860.40/863.46 c #Conflicts: 206000 | #Constraints: 36610
860.40/863.46 c #Conflicts: 207000 | #Constraints: 37610
860.40/863.46 c #Conflicts: 208000 | #Constraints: 38610
860.40/863.46 c #Conflicts: 209000 | #Constraints: 39610
860.40/863.46 c #Conflicts: 210000 | #Constraints: 40610
860.40/863.46 c #Conflicts: 211000 | #Constraints: 41610
860.40/863.46 c #Conflicts: 212000 | #Constraints: 42610
860.40/863.46 c #Conflicts: 213000 | #Constraints: 43610
860.40/863.46 c #Conflicts: 214000 | #Constraints: 44610
860.40/863.46 c #Conflicts: 215000 | #Constraints: 45610
860.40/863.46 c #Conflicts: 216000 | #Constraints: 46610
860.40/863.46 c #Conflicts: 217000 | #Constraints: 47610
860.40/863.46 c #Conflicts: 218000 | #Constraints: 48610
860.40/863.46 c #Conflicts: 219000 | #Constraints: 49610
860.40/863.46 c #Conflicts: 220000 | #Constraints: 50610
860.40/863.46 c #Conflicts: 221000 | #Constraints: 51610
1415.28/1420.18 c #Conflicts: 222000 | #Constraints: 52610
1415.28/1420.18 c #Conflicts: 223000 | #Constraints: 53610
1415.28/1420.18 c #Conflicts: 224000 | #Constraints: 54610
1415.28/1420.18 c #Conflicts: 225000 | #Constraints: 55610
1415.28/1420.18 c #Conflicts: 226000 | #Constraints: 56610
1415.28/1420.18 c #Conflicts: 227000 | #Constraints: 57610
1415.28/1420.18 c #Conflicts: 228000 | #Constraints: 58610
1415.28/1420.18 c INPROCESSING
1415.28/1420.18 c GARBAGE COLLECT
1415.28/1420.18 c #Conflicts: 229000 | #Constraints: 32320
1415.28/1420.18 c #Conflicts: 230000 | #Constraints: 33320
1415.28/1420.18 c #Conflicts: 231000 | #Constraints: 34320
1415.28/1420.18 c #Conflicts: 232000 | #Constraints: 35320
1415.28/1420.18 c #Conflicts: 233000 | #Constraints: 36320
1415.28/1420.18 c #Conflicts: 234000 | #Constraints: 37320
1415.28/1420.18 c #Conflicts: 235000 | #Constraints: 38320
1415.28/1420.18 c #Conflicts: 236000 | #Constraints: 39320
1415.28/1420.18 c #Conflicts: 237000 | #Constraints: 40320
1415.28/1420.18 c #Conflicts: 238000 | #Constraints: 41320
1415.28/1420.18 c #Conflicts: 239000 | #Constraints: 42320
1415.28/1420.18 c #Conflicts: 240000 | #Constraints: 43320
1415.28/1420.18 c #Conflicts: 241000 | #Constraints: 44320
1415.28/1420.18 c #Conflicts: 242000 | #Constraints: 45320
1415.28/1420.18 c #Conflicts: 243000 | #Constraints: 46320
1415.28/1420.18 c #Conflicts: 244000 | #Constraints: 47320
1415.28/1420.18 c #Conflicts: 245000 | #Constraints: 48320
1415.28/1420.18 c #Conflicts: 246000 | #Constraints: 49320
1415.28/1420.18 c #Conflicts: 247000 | #Constraints: 50320
1415.28/1420.18 c #Conflicts: 248000 | #Constraints: 51320
1415.28/1420.18 c #Conflicts: 249000 | #Constraints: 52320
1415.28/1420.18 c #Conflicts: 250000 | #Constraints: 53320
1415.28/1420.18 c #Conflicts: 251000 | #Constraints: 54320
1415.28/1420.18 c #Conflicts: 252000 | #Constraints: 55320
1415.28/1420.18 c #Conflicts: 253000 | #Constraints: 56320
1415.28/1420.18 c #Conflicts: 254000 | #Constraints: 57320
1415.28/1420.18 c #Conflicts: 255000 | #Constraints: 58320
1415.28/1420.18 c #Conflicts: 256000 | #Constraints: 59320
1415.28/1420.18 c #Conflicts: 257000 | #Constraints: 60320
1415.28/1420.18 c #Conflicts: 258000 | #Constraints: 61320
1415.28/1420.18 c #Conflicts: 259000 | #Constraints: 62320
1415.28/1420.18 c #Conflicts: 260000 | #Constraints: 63320
1415.28/1420.18 c #Conflicts: 261000 | #Constraints: 64320
1415.28/1420.18 c #Conflicts: 262000 | #Constraints: 65320
1415.28/1420.18 c INPROCESSING
1415.28/1420.18 c GARBAGE COLLECT
1415.28/1420.18 c #Conflicts: 263000 | #Constraints: 35982
1415.28/1420.18 c #Conflicts: 264000 | #Constraints: 36982
1415.28/1420.18 c #Conflicts: 265000 | #Constraints: 37982
1415.28/1420.18 c #Conflicts: 266000 | #Constraints: 38982
1415.28/1420.18 c #Conflicts: 267000 | #Constraints: 39982
1415.28/1420.18 c #Conflicts: 268000 | #Constraints: 40982
1415.28/1420.18 c #Conflicts: 269000 | #Constraints: 41982
1415.28/1420.18 c #Conflicts: 270000 | #Constraints: 42982
1415.28/1420.18 c #Conflicts: 271000 | #Constraints: 43982
1415.28/1420.18 c #Conflicts: 272000 | #Constraints: 44982
1415.28/1420.18 c #Conflicts: 273000 | #Constraints: 45982
1415.28/1420.18 c #Conflicts: 274000 | #Constraints: 46982
1415.28/1420.18 c #Conflicts: 275000 | #Constraints: 47982
1415.28/1420.18 c #Conflicts: 276000 | #Constraints: 48982
1415.28/1420.18 c #Conflicts: 277000 | #Constraints: 49982
1415.28/1420.18 c #Conflicts: 278000 | #Constraints: 50982
1415.28/1420.18 c #Conflicts: 279000 | #Constraints: 51982
1415.28/1420.18 c #Conflicts: 280000 | #Constraints: 52982
1415.28/1420.18 c #Conflicts: 281000 | #Constraints: 53982
1415.28/1420.18 c #Conflicts: 282000 | #Constraints: 54982
1415.28/1420.18 c #Conflicts: 283000 | #Constraints: 55982
1415.28/1420.18 c #Conflicts: 284000 | #Constraints: 56982
1415.28/1420.18 c #Conflicts: 285000 | #Constraints: 57982
1415.28/1420.18 c #Conflicts: 286000 | #Constraints: 58982
1415.28/1420.18 c #Conflicts: 287000 | #Constraints: 59982
1415.28/1420.18 c #Conflicts: 288000 | #Constraints: 60982
1415.28/1420.18 c #Conflicts: 289000 | #Constraints: 61982
1415.28/1420.18 c #Conflicts: 290000 | #Constraints: 62982
1415.28/1420.18 c #Conflicts: 291000 | #Constraints: 63982
1415.28/1420.18 c #Conflicts: 292000 | #Constraints: 64982
1415.28/1420.18 c #Conflicts: 293000 | #Constraints: 65982
1415.28/1420.18 c #Conflicts: 294000 | #Constraints: 66982
1415.28/1420.18 c #Conflicts: 295000 | #Constraints: 67982
1415.28/1420.18 c #Conflicts: 296000 | #Constraints: 68982
1415.28/1420.18 c #Conflicts: 297000 | #Constraints: 69982
1415.28/1420.18 c INPROCESSING
1415.28/1420.18 c GARBAGE COLLECT
1415.28/1420.18 c #Conflicts: 298000 | #Constraints: 39022
2120.56/2127.12 c #Conflicts: 299000 | #Constraints: 40022
2120.56/2127.12 c #Conflicts: 300000 | #Constraints: 41022
2120.56/2127.12 c #Conflicts: 301000 | #Constraints: 42022
2120.56/2127.12 c #Conflicts: 302000 | #Constraints: 43022
2120.56/2127.12 c #Conflicts: 303000 | #Constraints: 44022
2120.56/2127.12 c #Conflicts: 304000 | #Constraints: 45022
2120.56/2127.12 c #Conflicts: 305000 | #Constraints: 46022
2120.56/2127.12 c #Conflicts: 306000 | #Constraints: 47022
2120.56/2127.12 c #Conflicts: 307000 | #Constraints: 48022
2120.56/2127.12 c #Conflicts: 308000 | #Constraints: 49022
2120.56/2127.12 c #Conflicts: 309000 | #Constraints: 50022
2120.56/2127.12 c #Conflicts: 310000 | #Constraints: 51022
2120.56/2127.12 c #Conflicts: 311000 | #Constraints: 52022
2120.56/2127.12 c #Conflicts: 312000 | #Constraints: 53022
2120.56/2127.12 c #Conflicts: 313000 | #Constraints: 54022
2120.56/2127.12 c #Conflicts: 314000 | #Constraints: 55022
2120.56/2127.12 c #Conflicts: 315000 | #Constraints: 56022
2120.56/2127.12 c #Conflicts: 316000 | #Constraints: 57022
2120.56/2127.12 c #Conflicts: 317000 | #Constraints: 58022
2120.56/2127.12 c #Conflicts: 318000 | #Constraints: 59022
2120.56/2127.12 c #Conflicts: 319000 | #Constraints: 60022
2120.56/2127.12 c #Conflicts: 320000 | #Constraints: 61022
2120.56/2127.12 c #Conflicts: 321000 | #Constraints: 62022
2120.56/2127.12 c #Conflicts: 322000 | #Constraints: 63022
2120.56/2127.12 c #Conflicts: 323000 | #Constraints: 64022
2120.56/2127.12 c #Conflicts: 324000 | #Constraints: 65022
2120.56/2127.12 c #Conflicts: 325000 | #Constraints: 66022
2120.56/2127.12 c #Conflicts: 326000 | #Constraints: 67022
2120.56/2127.12 c #Conflicts: 327000 | #Constraints: 68022
2120.56/2127.12 c #Conflicts: 328000 | #Constraints: 69022
2120.56/2127.12 c #Conflicts: 329000 | #Constraints: 70022
2120.56/2127.12 c #Conflicts: 330000 | #Constraints: 71022
2120.56/2127.12 c #Conflicts: 331000 | #Constraints: 72022
2120.56/2127.12 c #Conflicts: 332000 | #Constraints: 73022
2120.56/2127.12 c #Conflicts: 333000 | #Constraints: 74022
2120.56/2127.12 c #Conflicts: 334000 | #Constraints: 75022
2120.56/2127.12 c #Conflicts: 335000 | #Constraints: 76022
2120.56/2127.12 c INPROCESSING
2120.56/2127.12 c GARBAGE COLLECT
2120.56/2127.12 c #Conflicts: 336000 | #Constraints: 43620
2120.56/2127.12 c #Conflicts: 337000 | #Constraints: 44620
2120.56/2127.12 c #Conflicts: 338000 | #Constraints: 45620
2120.56/2127.12 c #Conflicts: 339000 | #Constraints: 46620
2120.56/2127.12 c #Conflicts: 340000 | #Constraints: 47620
2120.56/2127.12 c #Conflicts: 341000 | #Constraints: 48620
2120.56/2127.12 c #Conflicts: 342000 | #Constraints: 49620
2120.56/2127.12 c #Conflicts: 343000 | #Constraints: 50620
2120.56/2127.12 c #Conflicts: 344000 | #Constraints: 51620
2120.56/2127.12 c #Conflicts: 345000 | #Constraints: 52620
2120.56/2127.12 c #Conflicts: 346000 | #Constraints: 53620
2120.56/2127.12 c #Conflicts: 347000 | #Constraints: 54620
2120.56/2127.12 c #Conflicts: 348000 | #Constraints: 55620
2120.56/2127.12 c #Conflicts: 349000 | #Constraints: 56620
2120.56/2127.12 c #Conflicts: 350000 | #Constraints: 57620
2120.56/2127.12 c #Conflicts: 351000 | #Constraints: 58620
2120.56/2127.12 c #Conflicts: 352000 | #Constraints: 59620
2120.56/2127.12 c #Conflicts: 353000 | #Constraints: 60620
2120.56/2127.12 c #Conflicts: 354000 | #Constraints: 61620
2120.56/2127.12 c #Conflicts: 355000 | #Constraints: 62620
2120.56/2127.12 c #Conflicts: 356000 | #Constraints: 63620
2120.56/2127.12 c #Conflicts: 357000 | #Constraints: 64620
2120.56/2127.12 c #Conflicts: 358000 | #Constraints: 65620
2120.56/2127.12 c #Conflicts: 359000 | #Constraints: 66620
2120.56/2127.12 c #Conflicts: 360000 | #Constraints: 67620
2120.56/2127.12 c #Conflicts: 361000 | #Constraints: 68620
2120.56/2127.12 c #Conflicts: 362000 | #Constraints: 69620
2120.56/2127.12 c #Conflicts: 363000 | #Constraints: 70620
2120.56/2127.12 c #Conflicts: 364000 | #Constraints: 71620
2120.56/2127.12 c #Conflicts: 365000 | #Constraints: 72620
2120.56/2127.12 c #Conflicts: 366000 | #Constraints: 73620
2120.56/2127.12 c #Conflicts: 367000 | #Constraints: 74620
2120.56/2127.12 c #Conflicts: 368000 | #Constraints: 75620
2120.56/2127.12 c #Conflicts: 369000 | #Constraints: 76620
2120.56/2127.12 c #Conflicts: 370000 | #Constraints: 77620
2120.56/2127.12 c #Conflicts: 371000 | #Constraints: 78620
2120.56/2127.12 c #Conflicts: 372000 | #Constraints: 79620
2120.56/2127.12 c #Conflicts: 373000 | #Constraints: 80620
2120.56/2127.12 c #Conflicts: 374000 | #Constraints: 81620
2120.56/2127.12 c INPROCESSING
2120.56/2127.12 c GARBAGE COLLECT
2120.56/2127.12 c #Conflicts: 375000 | #Constraints: 47411
3020.12/3028.94 c #Conflicts: 376000 | #Constraints: 48411
3020.12/3028.94 c #Conflicts: 377000 | #Constraints: 49411
3020.12/3028.94 c #Conflicts: 378000 | #Constraints: 50411
3020.12/3028.94 c #Conflicts: 379000 | #Constraints: 51411
3020.12/3028.94 c #Conflicts: 380000 | #Constraints: 52411
3020.12/3028.94 c #Conflicts: 381000 | #Constraints: 53411
3020.12/3028.94 c #Conflicts: 382000 | #Constraints: 54411
3020.12/3028.94 c #Conflicts: 383000 | #Constraints: 55411
3020.12/3028.94 c #Conflicts: 384000 | #Constraints: 56411
3020.12/3028.94 c #Conflicts: 385000 | #Constraints: 57411
3020.12/3028.94 c #Conflicts: 386000 | #Constraints: 58411
3020.12/3028.94 c #Conflicts: 387000 | #Constraints: 59411
3020.12/3028.94 c #Conflicts: 388000 | #Constraints: 60411
3020.12/3028.94 c #Conflicts: 389000 | #Constraints: 61411
3020.12/3028.94 c #Conflicts: 390000 | #Constraints: 62411
3020.12/3028.94 c #Conflicts: 391000 | #Constraints: 63411
3020.12/3028.94 c #Conflicts: 392000 | #Constraints: 64411
3020.12/3028.94 c #Conflicts: 393000 | #Constraints: 65411
3020.12/3028.94 c #Conflicts: 394000 | #Constraints: 66411
3020.12/3028.94 c #Conflicts: 395000 | #Constraints: 67411
3020.12/3028.94 c #Conflicts: 396000 | #Constraints: 68411
3020.12/3028.94 c #Conflicts: 397000 | #Constraints: 69411
3020.12/3028.94 c #Conflicts: 398000 | #Constraints: 70411
3020.12/3028.94 c #Conflicts: 399000 | #Constraints: 71411
3020.12/3028.94 c #Conflicts: 400000 | #Constraints: 72411
3020.12/3028.94 c #Conflicts: 401000 | #Constraints: 73411
3020.12/3028.94 c #Conflicts: 402000 | #Constraints: 74411
3020.12/3028.94 c #Conflicts: 403000 | #Constraints: 75411
3020.12/3028.94 c #Conflicts: 404000 | #Constraints: 76411
3020.12/3028.94 c #Conflicts: 405000 | #Constraints: 77411
3020.12/3028.94 c #Conflicts: 406000 | #Constraints: 78411
3020.12/3028.94 c #Conflicts: 407000 | #Constraints: 79411
3020.12/3028.94 c #Conflicts: 408000 | #Constraints: 80411
3020.12/3028.94 c #Conflicts: 409000 | #Constraints: 81411
3020.12/3028.94 c #Conflicts: 410000 | #Constraints: 82411
3020.12/3028.94 c #Conflicts: 411000 | #Constraints: 83411
3020.12/3028.94 c #Conflicts: 412000 | #Constraints: 84411
3020.12/3028.94 c #Conflicts: 413000 | #Constraints: 85411
3020.12/3028.94 c #Conflicts: 414000 | #Constraints: 86411
3020.12/3028.94 c #Conflicts: 415000 | #Constraints: 87411
3020.12/3028.94 c INPROCESSING
3020.12/3028.94 c GARBAGE COLLECT
3020.12/3028.94 c #Conflicts: 416000 | #Constraints: 51632
3020.12/3028.94 c #Conflicts: 417000 | #Constraints: 52632
3020.12/3028.94 c #Conflicts: 418000 | #Constraints: 53632
3020.12/3028.94 c #Conflicts: 419000 | #Constraints: 54632
3020.12/3028.94 c #Conflicts: 420000 | #Constraints: 55632
3020.12/3028.94 c #Conflicts: 421000 | #Constraints: 56632
3020.12/3028.94 c #Conflicts: 422000 | #Constraints: 57632
3020.12/3028.94 c #Conflicts: 423000 | #Constraints: 58632
3020.12/3028.94 c #Conflicts: 424000 | #Constraints: 59632
3020.12/3028.94 c #Conflicts: 425000 | #Constraints: 60632
3020.12/3028.94 c #Conflicts: 426000 | #Constraints: 61632
3020.12/3028.94 c #Conflicts: 427000 | #Constraints: 62632
3020.12/3028.94 c #Conflicts: 428000 | #Constraints: 63632
3020.12/3028.94 c #Conflicts: 429000 | #Constraints: 64632
3020.12/3028.94 c #Conflicts: 430000 | #Constraints: 65632
3020.12/3028.94 c #Conflicts: 431000 | #Constraints: 66632
3020.12/3028.94 c #Conflicts: 432000 | #Constraints: 67632
3020.12/3028.94 c #Conflicts: 433000 | #Constraints: 68632
3020.12/3028.94 c #Conflicts: 434000 | #Constraints: 69632
3020.12/3028.94 c #Conflicts: 435000 | #Constraints: 70632
3020.12/3028.94 c #Conflicts: 436000 | #Constraints: 71632
3020.12/3028.94 c #Conflicts: 437000 | #Constraints: 72632
3020.12/3028.94 c #Conflicts: 438000 | #Constraints: 73632
3020.12/3028.94 c #Conflicts: 439000 | #Constraints: 74632
3020.12/3028.94 c #Conflicts: 440000 | #Constraints: 75632
3020.12/3028.94 c #Conflicts: 441000 | #Constraints: 76632
3020.12/3028.94 c #Conflicts: 442000 | #Constraints: 77632
3020.12/3028.94 c #Conflicts: 443000 | #Constraints: 78632
3020.12/3028.94 c #Conflicts: 444000 | #Constraints: 79632
3020.12/3028.94 c #Conflicts: 445000 | #Constraints: 80632
3020.12/3028.94 c #Conflicts: 446000 | #Constraints: 81632
3020.12/3028.94 c #Conflicts: 447000 | #Constraints: 82632
3020.12/3028.94 c #Conflicts: 448000 | #Constraints: 83632
3020.12/3028.94 c #Conflicts: 449000 | #Constraints: 84632
3020.12/3028.94 c #Conflicts: 450000 | #Constraints: 85632
3020.12/3028.94 c #Conflicts: 451000 | #Constraints: 86632
3020.12/3028.94 c #Conflicts: 452000 | #Constraints: 87632
3020.12/3028.94 c #Conflicts: 453000 | #Constraints: 88632
3600.09/3610.30 c #Conflicts: 454000 | #Constraints: 89632
3600.09/3610.30 c #Conflicts: 455000 | #Constraints: 90632
3600.09/3610.30 c #Conflicts: 456000 | #Constraints: 91632
3600.09/3610.30 c #Conflicts: 457000 | #Constraints: 92632
3600.09/3610.30 c #Conflicts: 458000 | #Constraints: 93632
3600.09/3610.30 c #Conflicts: 459000 | #Constraints: 94632
3600.09/3610.30 c INPROCESSING
3600.09/3610.30 c GARBAGE COLLECT
3600.09/3610.30 c #Conflicts: 460000 | #Constraints: 57071
3600.09/3610.30 c #Conflicts: 461000 | #Constraints: 58071
3600.09/3610.30 c #Conflicts: 462000 | #Constraints: 59071
3600.09/3610.30 c #Conflicts: 463000 | #Constraints: 60071
3600.09/3610.30 c #Conflicts: 464000 | #Constraints: 61071
3600.09/3610.30 c #Conflicts: 465000 | #Constraints: 62071
3600.09/3610.30 c #Conflicts: 466000 | #Constraints: 63071
3600.09/3610.30 c #Conflicts: 467000 | #Constraints: 64071
3600.09/3610.30 c #Conflicts: 468000 | #Constraints: 65071
3600.09/3610.30 c #Conflicts: 469000 | #Constraints: 66071
3600.09/3610.30 c #Conflicts: 470000 | #Constraints: 67071
3600.09/3610.30 c #Conflicts: 471000 | #Constraints: 68071
3600.09/3610.30 c #Conflicts: 472000 | #Constraints: 69071
3600.09/3610.30 c #Conflicts: 473000 | #Constraints: 70071
3600.09/3610.30 c #Conflicts: 474000 | #Constraints: 71071
3600.09/3610.30 c #Conflicts: 475000 | #Constraints: 72071
3600.09/3610.30 c #Conflicts: 476000 | #Constraints: 73071
3600.09/3610.30 c #Conflicts: 477000 | #Constraints: 74071
3600.09/3610.30 c #Conflicts: 478000 | #Constraints: 75071
3600.09/3610.30 c #Conflicts: 479000 | #Constraints: 76071
3600.09/3610.30 c #Conflicts: 480000 | #Constraints: 77071
3600.09/3610.30 c #Conflicts: 481000 | #Constraints: 78071
3600.09/3610.30 c #Conflicts: 482000 | #Constraints: 79071
3600.09/3610.30 c #Conflicts: 483000 | #Constraints: 80071
3600.09/3610.30 c #Conflicts: 484000 | #Constraints: 81071
3600.09/3610.30 c #Conflicts: 485000 | #Constraints: 82071
3600.09/3610.30 c #Conflicts: 486000 | #Constraints: 83071
3600.09/3610.30 c #Conflicts: 487000 | #Constraints: 84071
3600.09/3610.30 c #Conflicts: 488000 | #Constraints: 85071
3600.09/3610.30 c #Conflicts: 489000 | #Constraints: 86071
3600.09/3610.30 c #Conflicts: 490000 | #Constraints: 87071
3600.09/3610.30 c #Conflicts: 491000 | #Constraints: 88071
3600.09/3610.30 c #Conflicts: 492000 | #Constraints: 89071
3600.09/3610.30 c #Conflicts: 493000 | #Constraints: 90071
3600.09/3610.30 c #Conflicts: 494000 | #Constraints: 91071
3600.09/3610.30 c Program interrupted by user.
3600.09/3610.30 c cpu time 3593.46 s
3600.09/3610.30 c deterministic time 234571577345 2.35e+11
3600.09/3610.30 c optimization time 484.53 s
3600.09/3610.30 c total solve time 2809.72 s
3600.09/3610.30 c core-guided solve time 2809.72 s
3600.09/3610.30 c propagation time 3173.71 s
3600.09/3610.30 c conflict analysis time 109.762 s
3600.09/3610.30 c propagations 250372118
3600.09/3610.30 c resolve steps 2094468
3600.09/3610.30 c decisions 3502995
3600.09/3610.30 c conflicts 494789
3600.09/3610.30 c restarts 1022
3600.09/3610.30 c inprocessing phases 28
3600.09/3610.30 c input clauses 0
3600.09/3610.30 c input cardinalities 0
3600.09/3610.30 c input general constraints 4750
3600.09/3610.30 c input average constraint length 29.51
3600.09/3610.30 c input average constraint degree 474.83
3600.09/3610.30 c learned clauses 114943
3600.09/3610.30 c learned cardinalities 2
3600.09/3610.30 c learned general constraints 379844
3600.09/3610.30 c learned average constraint length 40.22
3600.09/3610.30 c learned average constraint degree 2427989.31
3600.09/3610.30 c watched constraints 383484
3600.09/3610.30 c counting constraints 1110
3600.09/3610.30 c gcd simplifications 1655
3600.09/3610.30 c detected cardinalities 2
3600.09/3610.30 c weakened non-implied lits 1631535
3600.09/3610.30 c weakened non-implying lits 468
3600.09/3610.30 c original variables 2470
3600.09/3610.30 c clausal propagations 134517
3600.09/3610.30 c cardinality propagations 2
3600.09/3610.30 c watched propagations 245781774
3600.09/3610.30 c counting propagations 4226758
3600.09/3610.30 c watch lookups 59981053751
3600.09/3610.30 c watch backjump lookups 58854072786
3600.09/3610.30 c watch checks 49063987921
3600.09/3610.30 c propagation checks 66090120579
3600.09/3610.30 c constraint additions 74098620
3600.09/3610.30 c trail pops 254368574
3600.09/3610.30 c formula constraints 4744
3600.09/3610.30 c learned constraints 494789
3600.09/3610.30 c bound constraints 6
3600.09/3610.30 c core-guided constraints 0
3600.09/3610.30 c encountered formula constraints 1841026
3600.09/3610.30 c encountered learned constraints 748231
3600.09/3610.30 c encountered bound constraints 0
3600.09/3610.30 c encountered core-guided constraints 0
3600.09/3610.30 c LP total time 0 s
3600.09/3610.30 c LP solve time 0 s
3600.09/3610.30 c LP constraints added 0
3600.09/3610.30 c LP constraints removed 0
3600.09/3610.30 c LP pivots internal 0
3600.09/3610.30 c LP pivots root 0
3600.09/3610.30 c LP calls 0
3600.09/3610.30 c LP optimalities 0
3600.09/3610.30 c LP no pivot count 0
3600.09/3610.30 c LP infeasibilities 0
3600.09/3610.30 c LP valid Farkas constraints 0
3600.09/3610.30 c LP learned Farkas constraints 0
3600.09/3610.30 c LP basis resets 0
3600.09/3610.30 c LP cycling count 0
3600.09/3610.30 c LP singular count 0
3600.09/3610.30 c LP no primal count 0
3600.09/3610.30 c LP no farkas count 0
3600.09/3610.30 c LP other issue count 0
3600.09/3610.30 c LP Gomory cuts 0
3600.09/3610.30 c LP learned cuts 0
3600.09/3610.30 c LP deleted cuts 0
3600.09/3610.30 c LP encountered Gomory constraints 0
3600.09/3610.30 c LP encountered Farkas constraints 0
3600.09/3610.30 c LP encountered learned Farkas constraints 0
3600.09/3610.30 c CG auxiliary variables introduced 0
3600.09/3610.30 c CG solutions found 0
3600.09/3610.30 c CG cores constructed 6
3600.09/3610.30 c CG core cardinality constraints returned 0
3600.09/3610.30 c CG unit cores 0
3600.09/3610.30 c CG single cores 6
3600.09/3610.30 c CG blocks removed during cardinality reduction 1
3600.09/3610.30 c CG first core best 0
3600.09/3610.30 c CG decision core best 0
3600.09/3610.30 c CG core reduction tie 0
3600.09/3610.30 c CG core degree average 1.00
3600.09/3610.30 c CG core slack average 4.17
3600.09/3610.30 c CG exhausted 0
3600.09/3610.30 c CG exhaust time 0 s
3600.09/3610.30 c CG trimmed 0
3600.09/3610.30 c CG trim time 0.000504 s
3600.09/3610.30 c CG minimized 0
3600.09/3610.30 c CG minimize time 0 s
3600.09/3610.30 c CG am1 prop time 0.00068 s
3600.09/3610.30 c CG # am1s reformulated 0
3600.09/3610.30 c CG lower bound derived from am1s 0
3600.09/3610.30 c CG # clausal cores 5
3600.09/3610.30 c CG # cardinality cores 0
3600.09/3610.30 c CG # pb cores 1
3600.09/3610.30 c CG # pb reforms 0
3600.09/3610.30 c CG # cores discarded because of pb reform 0
3600.09/3610.30 d LOWERBOUND 32
3600.09/3610.30 d NCORES 6
3600.09/3610.30 d NPBCORES 1
3600.09/3610.30 d NPBREFORM 0
3600.09/3610.30 d NTRIMMED 0
3600.09/3610.30 d NEXHAUSTED 0
3600.09/3610.30 d NAM1S 0
3600.09/3610.30 d AM1LB 0
3600.09/3610.30 c [Papilo Statistics]
3600.09/3610.30 c prepro time 0.11234s
3600.09/3610.30 c # tsx applied 2366
3600.09/3610.30 c # tsx conflicts 0
3600.09/3610.30 c # bound changes 0
3600.09/3610.30 c # side changes 2366
3600.09/3610.30 c # coef changes 0
3600.09/3610.30 c # rounds 2
3600.09/3610.30 c # deted vars 0
3600.09/3610.30 c # deted constrs 2366
3600.09/3610.30 c # consecutive rounds of only bound changes 0
3600.09/3610.30 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: 63794 MiB (57467 MiB free)
memory of node 1: 64507 MiB (62361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528947-1752257853/watcher-4528947-1752257853 -o /tmp/evaluation-result-4528947-1752257853/solver-4528947-1752257853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4528947-1752257853.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=117515, runsolver pid=117512
[startup+0.100071 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122702036/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=82132 memory=12264 CPUtime=0.08 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 1610 0 0 0 8 0 0 0 20 0 1 0 141465132 84103168 3066 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 20533 3066 2208 2834 0 3285 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 12264 KiB
[startup+0.213317 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122700072/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=88276 memory=15900 CPUtime=0.2 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 2511 0 0 0 19 1 0 0 20 0 1 0 141465132 90394624 3975 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 22069 3975 2208 2834 0 4821 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88276 KiB
Current children cumulated memory: 15900 KiB
[startup+0.31325 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122684196/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=113384 memory=32924 CPUtime=0.3 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 6650 0 0 0 28 2 0 0 20 0 1 0 141465132 116105216 8231 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 28346 8231 2368 2834 0 10551 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113384 KiB
Current children cumulated memory: 32924 KiB
[startup+0.700351 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122645456/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=157132 memory=77772 CPUtime=0.67 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 15739 0 0 0 62 5 0 0 20 0 1 0 141465132 160903168 19443 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 39283 19443 4096 2834 0 21488 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157132 KiB
Current children cumulated memory: 77772 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122590204/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=221048 memory=133580 CPUtime=1.47 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 29540 0 0 0 138 9 0 0 20 0 1 0 141465132 226353152 33395 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 55262 33395 4320 2834 0 37467 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 221048 KiB
Current children cumulated memory: 133580 KiB
[startup+3.11294 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122533756/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=275776 memory=185348 CPUtime=3.08 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 42019 0 0 0 296 12 0 0 20 0 1 0 141465132 282394624 46337 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 68944 46337 4320 2834 0 51149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 275776 KiB
Current children cumulated memory: 185348 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 117516
/proc/meminfo: memFree=122509816/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=293616 memory=204932 CPUtime=6.26 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 46916 0 0 0 613 13 0 0 20 0 1 0 141465132 300662784 51233 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 73404 51233 4320 2834 0 55609 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 293616 KiB
Current children cumulated memory: 204932 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117516
/proc/meminfo: memFree=122446080/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=300328 memory=211844 CPUtime=12.63 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 48619 0 0 0 1250 13 0 0 20 0 1 0 141465132 307535872 52961 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 75082 52961 4320 2834 0 57287 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 300328 KiB
Current children cumulated memory: 211844 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 117516
/proc/meminfo: memFree=122413572/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=300328 memory=211844 CPUtime=25.39 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 48622 0 0 0 2526 13 0 0 20 0 1 0 141465132 307535872 52961 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 75082 52961 4320 2834 0 57287 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 300328 KiB
Current children cumulated memory: 211844 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 117517
/proc/meminfo: memFree=122373756/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=300328 memory=212740 CPUtime=50.92 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 48860 0 0 0 5079 13 0 0 20 0 1 0 141465132 307535872 53185 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 75082 53185 4320 2834 0 57287 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 300328 KiB
Current children cumulated memory: 212740 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/251 117519
/proc/meminfo: memFree=122309260/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=326148 memory=237828 CPUtime=101.93 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 55378 0 0 0 10178 15 0 0 20 0 1 0 141465132 333975552 59457 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 81537 59457 4320 2834 0 63742 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 326148 KiB
Current children cumulated memory: 237828 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/252 117522
/proc/meminfo: memFree=122193092/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=370056 memory=280792 CPUtime=161.72 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 69006 0 0 0 16154 18 0 0 20 0 1 0 141465132 378937344 70198 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 92514 70198 4320 2834 0 74719 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 370056 KiB
Current children cumulated memory: 280792 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 117523
/proc/meminfo: memFree=122133388/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=421164 memory=329688 CPUtime=221.52 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 81372 0 0 0 22132 20 0 0 20 0 1 0 141465132 431271936 82422 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 105291 82422 4320 2834 0 87496 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 421164 KiB
Current children cumulated memory: 329688 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 117526
/proc/meminfo: memFree=122049176/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=421164 memory=331864 CPUtime=281.3 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 81928 0 0 0 28110 20 0 0 20 0 1 0 141465132 431271936 82966 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 105291 82966 4320 2834 0 87496 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 421164 KiB
Current children cumulated memory: 331864 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 117528
/proc/meminfo: memFree=122014888/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=443972 memory=361480 CPUtime=341.12 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 91497 0 0 0 34049 63 0 0 20 0 1 0 141465132 454627328 90370 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 110993 90370 4480 2834 0 93198 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 443972 KiB
Current children cumulated memory: 361480 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 117531
/proc/meminfo: memFree=122010568/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=448392 memory=365360 CPUtime=400.93 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 91941 0 0 0 39995 98 0 0 20 0 1 0 141465132 459153408 91340 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 112098 91340 4480 2834 0 94303 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 448392 KiB
Current children cumulated memory: 365360 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 117533
/proc/meminfo: memFree=122013940/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=448392 memory=366256 CPUtime=460.74 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 92180 0 0 0 45944 130 0 0 20 0 1 0 141465132 459153408 91564 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 112098 91564 4480 2834 0 94303 0
Current children cumulated CPU time: 460.74 s
################
# More data... #
################
Current children cumulated memory: 405212 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/250 117708
/proc/meminfo: memFree=124723748/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=406364 CPUtime=2913.79 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93162 0 0 0 290779 600 0 0 20 0 1 0 141465132 497885184 101591 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 101591 4480 2834 0 103759 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 406364 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/251 117713
/proc/meminfo: memFree=124723796/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=406364 CPUtime=2973.64 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93162 0 0 0 296758 606 0 0 20 0 1 0 141465132 497885184 101591 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 101591 4480 2834 0 103759 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 406364 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/251 117719
/proc/meminfo: memFree=124723884/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=406364 CPUtime=3033.49 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93162 0 0 0 302739 610 0 0 20 0 1 0 141465132 497885184 101591 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 101591 4480 2834 0 103759 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 406364 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/251 117721
/proc/meminfo: memFree=124711720/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3093.34 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93163 0 0 0 308717 617 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/251 117723
/proc/meminfo: memFree=124711744/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3153.19 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93163 0 0 0 314697 622 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 117725
/proc/meminfo: memFree=124707664/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3213.05 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93163 0 0 0 320676 629 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/250 117727
/proc/meminfo: memFree=124711820/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3272.9 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93163 0 0 0 326655 635 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.57 4.28 4.15 5/250 117729
/proc/meminfo: memFree=124718772/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3332.75 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93228 0 0 0 332634 641 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.24 4.15 5/251 117732
/proc/meminfo: memFree=124726604/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3392.6 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93249 0 0 0 338614 646 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/251 117734
/proc/meminfo: memFree=124726376/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3452.45 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93250 0 0 0 344595 650 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/251 117736
/proc/meminfo: memFree=124726408/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3512.3 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93251 0 0 0 350576 654 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.16 4.13 5/251 117740
/proc/meminfo: memFree=124726464/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3572.15 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93251 0 0 0 356555 660 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/250 117831
/proc/meminfo: memFree=124604364/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3600.09 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93252 0 0 0 359346 663 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 117515 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.47 s, system=6.63295 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/250 117831
/proc/meminfo: memFree=124604364/131382112 swapFree=33010160/33010684
[pid=117515] ppid=117512 vsize=486216 memory=408436 CPUtime=3600.09 cores=4,6
/proc/117515/stat : 117515 (mixed-bag) R 117512 117515 116989 0 -1 4194304 93252 0 0 0 359346 663 0 0 20 0 1 0 141465132 497885184 102109 18446744073709551615 4235264 15840557 140729168555120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 33792000 140729168562586 140729168562663 140729168562663 140729168568267 0
/proc/117515/statm: 121554 102109 4480 2834 0 103759 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 486216 KiB
Current children cumulated memory: 408436 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3593.47
CPU system time (s): 6.63295
CPU usage (%): 99.7173
Max. virtual memory (cumulated for all children) (KiB): 486216
Max. memory (cumulated for all children) (KiB): 408436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.47
system time used= 6.63295
maximum resident set size= 409460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93304
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= 143
involuntary context switches= 2331
# summary of solver processes directly reported to runsolver:
# pid: 117515
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.47
# total CPU system time (s): 6.63295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7006 second user time and 34.6849 second system time
The end
Begin job on nodeC009 at 2025-07-11 20:17:33
IDJOB=4528947
IDBENCH=147630
IDSOLVER=3386
FILE ID=nodeC009/4528947-1752257853
RUNJOBID= nodeC009-1752254228-117005
SLURM_JOB_ID= 9682591
Free space on /tmp= 431172 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528947-1752257853/watcher-4528947-1752257853 -o /tmp/evaluation-result-4528947-1752257853/solver-4528947-1752257853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117005 --watchdog 3760 mixed-bag HOME/instance-4528947-1752257853.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=762245398
nodeC009 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 : 0xb00001f
cpu MHz : 3491.849
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.415
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.327
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.233
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.476
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122705252 kB
MemAvailable: 125683096 kB
Buffers: 2144 kB
Cached: 3708808 kB
SwapCached: 24 kB
Active: 4932088 kB
Inactive: 3025912 kB
Active(anon): 4260804 kB
Inactive(anon): 4180 kB
Active(file): 671284 kB
Inactive(file): 3021732 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16448 kB
Writeback: 28 kB
AnonPages: 4248928 kB
Mapped: 139248 kB
Shmem: 17936 kB
KReclaimable: 248528 kB
Slab: 339184 kB
SReclaimable: 248528 kB
SUnreclaim: 90656 kB
KernelStack: 4016 kB
PageTables: 11836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5009060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2779136 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431104 MiB
End job on nodeC009 at 2025-07-11 21:17:44