0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.10 c [STEP] preprocessing with Papilo
0.08/0.14 c [STEP] solving with SCIP
299.24/300.20 c [STEP] preprocessing done, loading into solver
299.24/300.22 c [STEP] solving
299.24/300.22 c #variables 2471 #constraints 4744
299.24/300.22 c SMALL=int, LARGE=long long
299.24/300.22 d SCIPUB 256
299.24/300.22 c bounds - >= 0 @ 299.111
299.24/300.22 c stratification level: 0
364.49/365.62 c bounds - >= 2 @ 299.113
364.49/365.62 c bounds - >= 4 @ 299.113
364.49/365.62 c bounds - >= 5 @ 299.114
364.49/365.62 c bounds - >= 8 @ 299.114
364.49/365.62 c bounds - >= 16 @ 299.124
364.49/365.62 c #Conflicts: 1000 | #Constraints: 5748
364.49/365.62 c bounds - >= 32 @ 299.416
364.49/365.62 c #Conflicts: 2000 | #Constraints: 6749
364.49/365.62 c INPROCESSING
364.49/365.62 c #Conflicts: 3000 | #Constraints: 6762
364.49/365.62 c #Conflicts: 4000 | #Constraints: 7762
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 5000 | #Constraints: 7176
364.49/365.62 c #Conflicts: 6000 | #Constraints: 8176
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 7000 | #Constraints: 7185
364.49/365.62 c #Conflicts: 8000 | #Constraints: 8185
364.49/365.62 c #Conflicts: 9000 | #Constraints: 9185
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 10000 | #Constraints: 7894
364.49/365.62 c #Conflicts: 11000 | #Constraints: 8894
364.49/365.62 c #Conflicts: 12000 | #Constraints: 9894
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 13000 | #Constraints: 8343
364.49/365.62 c #Conflicts: 14000 | #Constraints: 9343
364.49/365.62 c #Conflicts: 15000 | #Constraints: 10343
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 16000 | #Constraints: 8570
364.49/365.62 c #Conflicts: 17000 | #Constraints: 9570
364.49/365.62 c #Conflicts: 18000 | #Constraints: 10570
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 19000 | #Constraints: 8591
364.49/365.62 c #Conflicts: 20000 | #Constraints: 9591
364.49/365.62 c #Conflicts: 21000 | #Constraints: 10591
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 22000 | #Constraints: 8392
364.49/365.62 c #Conflicts: 23000 | #Constraints: 9392
364.49/365.62 c #Conflicts: 24000 | #Constraints: 10392
364.49/365.62 c #Conflicts: 25000 | #Constraints: 11392
364.49/365.62 c #Conflicts: 26000 | #Constraints: 12392
364.49/365.62 c #Conflicts: 27000 | #Constraints: 13392
364.49/365.62 c #Conflicts: 28000 | #Constraints: 14392
364.49/365.62 c #Conflicts: 29000 | #Constraints: 15392
364.49/365.62 c #Conflicts: 30000 | #Constraints: 16392
364.49/365.62 c #Conflicts: 31000 | #Constraints: 17392
364.49/365.62 c #Conflicts: 32000 | #Constraints: 18392
364.49/365.62 c #Conflicts: 33000 | #Constraints: 19392
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 34000 | #Constraints: 12946
364.49/365.62 c #Conflicts: 35000 | #Constraints: 13946
364.49/365.62 c #Conflicts: 36000 | #Constraints: 14946
364.49/365.62 c #Conflicts: 37000 | #Constraints: 15946
364.49/365.62 c #Conflicts: 38000 | #Constraints: 16946
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 39000 | #Constraints: 11880
364.49/365.62 c #Conflicts: 40000 | #Constraints: 12880
364.49/365.62 c #Conflicts: 41000 | #Constraints: 13880
364.49/365.62 c #Conflicts: 42000 | #Constraints: 14880
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 43000 | #Constraints: 10387
364.49/365.62 c #Conflicts: 44000 | #Constraints: 11387
364.49/365.62 c #Conflicts: 45000 | #Constraints: 12387
364.49/365.62 c #Conflicts: 46000 | #Constraints: 13387
364.49/365.62 c #Conflicts: 47000 | #Constraints: 14387
364.49/365.62 c #Conflicts: 48000 | #Constraints: 15387
364.49/365.62 c #Conflicts: 49000 | #Constraints: 16387
364.49/365.62 c #Conflicts: 50000 | #Constraints: 17387
364.49/365.62 c #Conflicts: 51000 | #Constraints: 18387
364.49/365.62 c #Conflicts: 52000 | #Constraints: 19387
364.49/365.62 c #Conflicts: 53000 | #Constraints: 20387
364.49/365.62 c #Conflicts: 54000 | #Constraints: 21387
364.49/365.62 c #Conflicts: 55000 | #Constraints: 22387
364.49/365.62 c #Conflicts: 56000 | #Constraints: 23387
364.49/365.62 c #Conflicts: 57000 | #Constraints: 24387
364.49/365.62 c #Conflicts: 58000 | #Constraints: 25387
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 59000 | #Constraints: 15703
364.49/365.62 c #Conflicts: 60000 | #Constraints: 16703
364.49/365.62 c #Conflicts: 61000 | #Constraints: 17703
364.49/365.62 c #Conflicts: 62000 | #Constraints: 18703
364.49/365.62 c #Conflicts: 63000 | #Constraints: 19703
364.49/365.62 c #Conflicts: 64000 | #Constraints: 20703
364.49/365.62 c #Conflicts: 65000 | #Constraints: 21703
364.49/365.62 c INPROCESSING
364.49/365.62 c GARBAGE COLLECT
364.49/365.62 c #Conflicts: 66000 | #Constraints: 14251
364.49/365.62 c #Conflicts: 67000 | #Constraints: 15251
364.49/365.62 c #Conflicts: 68000 | #Constraints: 16251
542.15/543.83 c #Conflicts: 69000 | #Constraints: 17251
542.15/543.83 c #Conflicts: 70000 | #Constraints: 18251
542.15/543.83 c #Conflicts: 71000 | #Constraints: 19251
542.15/543.83 c #Conflicts: 72000 | #Constraints: 20251
542.15/543.83 c #Conflicts: 73000 | #Constraints: 21251
542.15/543.83 c #Conflicts: 74000 | #Constraints: 22251
542.15/543.83 c #Conflicts: 75000 | #Constraints: 23251
542.15/543.83 c #Conflicts: 76000 | #Constraints: 24251
542.15/543.83 c #Conflicts: 77000 | #Constraints: 25251
542.15/543.83 c #Conflicts: 78000 | #Constraints: 26251
542.15/543.83 c #Conflicts: 79000 | #Constraints: 27251
542.15/543.83 c #Conflicts: 80000 | #Constraints: 28251
542.15/543.83 c #Conflicts: 81000 | #Constraints: 29251
542.15/543.83 c #Conflicts: 82000 | #Constraints: 30251
542.15/543.83 c #Conflicts: 83000 | #Constraints: 31251
542.15/543.83 c #Conflicts: 84000 | #Constraints: 32251
542.15/543.83 c INPROCESSING
542.15/543.83 c GARBAGE COLLECT
542.15/543.83 c #Conflicts: 85000 | #Constraints: 19539
542.15/543.83 c #Conflicts: 86000 | #Constraints: 20539
542.15/543.83 c #Conflicts: 87000 | #Constraints: 21539
542.15/543.83 c #Conflicts: 88000 | #Constraints: 22539
542.15/543.83 c #Conflicts: 89000 | #Constraints: 23539
542.15/543.83 c #Conflicts: 90000 | #Constraints: 24539
542.15/543.83 c #Conflicts: 91000 | #Constraints: 25539
542.15/543.83 c INPROCESSING
542.15/543.83 c GARBAGE COLLECT
542.15/543.83 c #Conflicts: 92000 | #Constraints: 16359
542.15/543.83 c #Conflicts: 93000 | #Constraints: 17359
542.15/543.83 c #Conflicts: 94000 | #Constraints: 18359
542.15/543.83 c #Conflicts: 95000 | #Constraints: 19359
542.15/543.83 c #Conflicts: 96000 | #Constraints: 20359
542.15/543.83 c #Conflicts: 97000 | #Constraints: 21359
542.15/543.83 c #Conflicts: 98000 | #Constraints: 22359
542.15/543.83 c #Conflicts: 99000 | #Constraints: 23359
542.15/543.83 c #Conflicts: 100000 | #Constraints: 24359
542.15/543.83 c #Conflicts: 101000 | #Constraints: 25359
542.15/543.83 c #Conflicts: 102000 | #Constraints: 26359
542.15/543.83 c #Conflicts: 103000 | #Constraints: 27359
542.15/543.83 c #Conflicts: 104000 | #Constraints: 28359
542.15/543.83 c #Conflicts: 105000 | #Constraints: 29359
542.15/543.83 c #Conflicts: 106000 | #Constraints: 30359
542.15/543.83 c #Conflicts: 107000 | #Constraints: 31359
542.15/543.83 c #Conflicts: 108000 | #Constraints: 32359
542.15/543.83 c #Conflicts: 109000 | #Constraints: 33359
542.15/543.83 c #Conflicts: 110000 | #Constraints: 34359
542.15/543.83 c #Conflicts: 111000 | #Constraints: 35359
542.15/543.83 c #Conflicts: 112000 | #Constraints: 36359
542.15/543.83 c #Conflicts: 113000 | #Constraints: 37359
542.15/543.83 c INPROCESSING
542.15/543.83 c GARBAGE COLLECT
542.15/543.83 c #Conflicts: 114000 | #Constraints: 21789
542.15/543.83 c #Conflicts: 115000 | #Constraints: 22789
542.15/543.83 c #Conflicts: 116000 | #Constraints: 23789
542.15/543.83 c #Conflicts: 117000 | #Constraints: 24789
542.15/543.83 c #Conflicts: 118000 | #Constraints: 25789
542.15/543.83 c #Conflicts: 119000 | #Constraints: 26789
542.15/543.83 c #Conflicts: 120000 | #Constraints: 27789
542.15/543.83 c #Conflicts: 121000 | #Constraints: 28789
542.15/543.83 c #Conflicts: 122000 | #Constraints: 29789
542.15/543.83 c INPROCESSING
542.15/543.83 c GARBAGE COLLECT
542.15/543.83 c #Conflicts: 123000 | #Constraints: 20034
542.15/543.83 c #Conflicts: 124000 | #Constraints: 21034
542.15/543.83 c #Conflicts: 125000 | #Constraints: 22034
542.15/543.83 c #Conflicts: 126000 | #Constraints: 23034
542.15/543.83 c #Conflicts: 127000 | #Constraints: 24034
542.15/543.83 c #Conflicts: 128000 | #Constraints: 25034
542.15/543.83 c #Conflicts: 129000 | #Constraints: 26034
542.15/543.83 c #Conflicts: 130000 | #Constraints: 27034
542.15/543.83 c #Conflicts: 131000 | #Constraints: 28034
542.15/543.83 c #Conflicts: 132000 | #Constraints: 29034
542.15/543.83 c #Conflicts: 133000 | #Constraints: 30034
542.15/543.83 c #Conflicts: 134000 | #Constraints: 31034
542.15/543.83 c #Conflicts: 135000 | #Constraints: 32034
542.15/543.83 c #Conflicts: 136000 | #Constraints: 33034
542.15/543.83 c #Conflicts: 137000 | #Constraints: 34034
542.15/543.83 c #Conflicts: 138000 | #Constraints: 35034
542.15/543.83 c #Conflicts: 139000 | #Constraints: 36034
542.15/543.83 c #Conflicts: 140000 | #Constraints: 37034
542.15/543.83 c #Conflicts: 141000 | #Constraints: 38034
542.15/543.83 c #Conflicts: 142000 | #Constraints: 39034
542.15/543.83 c #Conflicts: 143000 | #Constraints: 40034
542.15/543.83 c #Conflicts: 144000 | #Constraints: 41034
542.15/543.83 c #Conflicts: 145000 | #Constraints: 42034
838.87/841.58 c #Conflicts: 146000 | #Constraints: 43034
838.87/841.58 c #Conflicts: 147000 | #Constraints: 44034
838.87/841.58 c INPROCESSING
838.87/841.58 c GARBAGE COLLECT
838.87/841.58 c #Conflicts: 148000 | #Constraints: 25142
838.87/841.58 c #Conflicts: 149000 | #Constraints: 26142
838.87/841.58 c #Conflicts: 150000 | #Constraints: 27142
838.87/841.58 c #Conflicts: 151000 | #Constraints: 28142
838.87/841.58 c #Conflicts: 152000 | #Constraints: 29142
838.87/841.58 c #Conflicts: 153000 | #Constraints: 30142
838.87/841.58 c #Conflicts: 154000 | #Constraints: 31142
838.87/841.58 c #Conflicts: 155000 | #Constraints: 32142
838.87/841.58 c #Conflicts: 156000 | #Constraints: 33142
838.87/841.58 c #Conflicts: 157000 | #Constraints: 34142
838.87/841.58 c INPROCESSING
838.87/841.58 c GARBAGE COLLECT
838.87/841.58 c #Conflicts: 158000 | #Constraints: 23862
838.87/841.58 c #Conflicts: 159000 | #Constraints: 24862
838.87/841.58 c #Conflicts: 160000 | #Constraints: 25862
838.87/841.58 c #Conflicts: 161000 | #Constraints: 26862
838.87/841.58 c #Conflicts: 162000 | #Constraints: 27862
838.87/841.58 c #Conflicts: 163000 | #Constraints: 28862
838.87/841.58 c #Conflicts: 164000 | #Constraints: 29862
838.87/841.58 c #Conflicts: 165000 | #Constraints: 30862
838.87/841.58 c #Conflicts: 166000 | #Constraints: 31862
838.87/841.58 c #Conflicts: 167000 | #Constraints: 32862
838.87/841.58 c #Conflicts: 168000 | #Constraints: 33862
838.87/841.58 c #Conflicts: 169000 | #Constraints: 34862
838.87/841.58 c #Conflicts: 170000 | #Constraints: 35862
838.87/841.58 c #Conflicts: 171000 | #Constraints: 36862
838.87/841.58 c #Conflicts: 172000 | #Constraints: 37862
838.87/841.58 c #Conflicts: 173000 | #Constraints: 38862
838.87/841.58 c #Conflicts: 174000 | #Constraints: 39862
838.87/841.58 c #Conflicts: 175000 | #Constraints: 40862
838.87/841.58 c #Conflicts: 176000 | #Constraints: 41862
838.87/841.58 c #Conflicts: 177000 | #Constraints: 42862
838.87/841.58 c #Conflicts: 178000 | #Constraints: 43862
838.87/841.58 c #Conflicts: 179000 | #Constraints: 44862
838.87/841.58 c #Conflicts: 180000 | #Constraints: 45862
838.87/841.58 c #Conflicts: 181000 | #Constraints: 46862
838.87/841.58 c #Conflicts: 182000 | #Constraints: 47862
838.87/841.58 c #Conflicts: 183000 | #Constraints: 48862
838.87/841.58 c #Conflicts: 184000 | #Constraints: 49862
838.87/841.58 c #Conflicts: 185000 | #Constraints: 50862
838.87/841.58 c #Conflicts: 186000 | #Constraints: 51862
838.87/841.58 c INPROCESSING
838.87/841.58 c GARBAGE COLLECT
838.87/841.58 c #Conflicts: 187000 | #Constraints: 29347
838.87/841.58 c #Conflicts: 188000 | #Constraints: 30347
838.87/841.58 c #Conflicts: 189000 | #Constraints: 31347
838.87/841.58 c #Conflicts: 190000 | #Constraints: 32347
838.87/841.58 c #Conflicts: 191000 | #Constraints: 33347
838.87/841.58 c #Conflicts: 192000 | #Constraints: 34347
838.87/841.58 c #Conflicts: 193000 | #Constraints: 35347
838.87/841.58 c #Conflicts: 194000 | #Constraints: 36347
838.87/841.58 c #Conflicts: 195000 | #Constraints: 37347
838.87/841.58 c #Conflicts: 196000 | #Constraints: 38347
838.87/841.58 c #Conflicts: 197000 | #Constraints: 39347
838.87/841.58 c INPROCESSING
838.87/841.58 c GARBAGE COLLECT
838.87/841.58 c #Conflicts: 198000 | #Constraints: 28610
838.87/841.58 c #Conflicts: 199000 | #Constraints: 29610
838.87/841.58 c #Conflicts: 200000 | #Constraints: 30610
838.87/841.58 c #Conflicts: 201000 | #Constraints: 31610
838.87/841.58 c #Conflicts: 202000 | #Constraints: 32610
838.87/841.58 c #Conflicts: 203000 | #Constraints: 33610
838.87/841.58 c #Conflicts: 204000 | #Constraints: 34610
838.87/841.58 c #Conflicts: 205000 | #Constraints: 35610
838.87/841.58 c #Conflicts: 206000 | #Constraints: 36610
838.87/841.58 c #Conflicts: 207000 | #Constraints: 37610
838.87/841.58 c #Conflicts: 208000 | #Constraints: 38610
838.87/841.58 c #Conflicts: 209000 | #Constraints: 39610
838.87/841.58 c #Conflicts: 210000 | #Constraints: 40610
838.87/841.58 c #Conflicts: 211000 | #Constraints: 41610
838.87/841.58 c #Conflicts: 212000 | #Constraints: 42610
838.87/841.58 c #Conflicts: 213000 | #Constraints: 43610
838.87/841.58 c #Conflicts: 214000 | #Constraints: 44610
838.87/841.58 c #Conflicts: 215000 | #Constraints: 45610
838.87/841.58 c #Conflicts: 216000 | #Constraints: 46610
838.87/841.58 c #Conflicts: 217000 | #Constraints: 47610
838.87/841.58 c #Conflicts: 218000 | #Constraints: 48610
838.87/841.58 c #Conflicts: 219000 | #Constraints: 49610
838.87/841.58 c #Conflicts: 220000 | #Constraints: 50610
838.87/841.58 c #Conflicts: 221000 | #Constraints: 51610
1351.88/1356.16 c #Conflicts: 222000 | #Constraints: 52610
1351.88/1356.16 c #Conflicts: 223000 | #Constraints: 53610
1351.88/1356.16 c #Conflicts: 224000 | #Constraints: 54610
1351.88/1356.16 c #Conflicts: 225000 | #Constraints: 55610
1351.88/1356.16 c #Conflicts: 226000 | #Constraints: 56610
1351.88/1356.16 c #Conflicts: 227000 | #Constraints: 57610
1351.88/1356.16 c #Conflicts: 228000 | #Constraints: 58610
1351.88/1356.16 c INPROCESSING
1351.88/1356.16 c GARBAGE COLLECT
1351.88/1356.16 c #Conflicts: 229000 | #Constraints: 32320
1351.88/1356.16 c #Conflicts: 230000 | #Constraints: 33320
1351.88/1356.16 c #Conflicts: 231000 | #Constraints: 34320
1351.88/1356.16 c #Conflicts: 232000 | #Constraints: 35320
1351.88/1356.16 c #Conflicts: 233000 | #Constraints: 36320
1351.88/1356.16 c #Conflicts: 234000 | #Constraints: 37320
1351.88/1356.16 c #Conflicts: 235000 | #Constraints: 38320
1351.88/1356.16 c #Conflicts: 236000 | #Constraints: 39320
1351.88/1356.16 c #Conflicts: 237000 | #Constraints: 40320
1351.88/1356.16 c #Conflicts: 238000 | #Constraints: 41320
1351.88/1356.16 c #Conflicts: 239000 | #Constraints: 42320
1351.88/1356.16 c #Conflicts: 240000 | #Constraints: 43320
1351.88/1356.16 c #Conflicts: 241000 | #Constraints: 44320
1351.88/1356.16 c #Conflicts: 242000 | #Constraints: 45320
1351.88/1356.16 c #Conflicts: 243000 | #Constraints: 46320
1351.88/1356.16 c #Conflicts: 244000 | #Constraints: 47320
1351.88/1356.16 c #Conflicts: 245000 | #Constraints: 48320
1351.88/1356.16 c #Conflicts: 246000 | #Constraints: 49320
1351.88/1356.16 c #Conflicts: 247000 | #Constraints: 50320
1351.88/1356.16 c #Conflicts: 248000 | #Constraints: 51320
1351.88/1356.16 c #Conflicts: 249000 | #Constraints: 52320
1351.88/1356.16 c #Conflicts: 250000 | #Constraints: 53320
1351.88/1356.16 c #Conflicts: 251000 | #Constraints: 54320
1351.88/1356.16 c #Conflicts: 252000 | #Constraints: 55320
1351.88/1356.16 c #Conflicts: 253000 | #Constraints: 56320
1351.88/1356.16 c #Conflicts: 254000 | #Constraints: 57320
1351.88/1356.16 c #Conflicts: 255000 | #Constraints: 58320
1351.88/1356.16 c #Conflicts: 256000 | #Constraints: 59320
1351.88/1356.16 c #Conflicts: 257000 | #Constraints: 60320
1351.88/1356.16 c #Conflicts: 258000 | #Constraints: 61320
1351.88/1356.16 c #Conflicts: 259000 | #Constraints: 62320
1351.88/1356.16 c #Conflicts: 260000 | #Constraints: 63320
1351.88/1356.16 c #Conflicts: 261000 | #Constraints: 64320
1351.88/1356.16 c #Conflicts: 262000 | #Constraints: 65320
1351.88/1356.16 c INPROCESSING
1351.88/1356.16 c GARBAGE COLLECT
1351.88/1356.16 c #Conflicts: 263000 | #Constraints: 35982
1351.88/1356.16 c #Conflicts: 264000 | #Constraints: 36982
1351.88/1356.16 c #Conflicts: 265000 | #Constraints: 37982
1351.88/1356.16 c #Conflicts: 266000 | #Constraints: 38982
1351.88/1356.16 c #Conflicts: 267000 | #Constraints: 39982
1351.88/1356.16 c #Conflicts: 268000 | #Constraints: 40982
1351.88/1356.16 c #Conflicts: 269000 | #Constraints: 41982
1351.88/1356.16 c #Conflicts: 270000 | #Constraints: 42982
1351.88/1356.16 c #Conflicts: 271000 | #Constraints: 43982
1351.88/1356.16 c #Conflicts: 272000 | #Constraints: 44982
1351.88/1356.16 c #Conflicts: 273000 | #Constraints: 45982
1351.88/1356.16 c #Conflicts: 274000 | #Constraints: 46982
1351.88/1356.16 c #Conflicts: 275000 | #Constraints: 47982
1351.88/1356.16 c #Conflicts: 276000 | #Constraints: 48982
1351.88/1356.16 c #Conflicts: 277000 | #Constraints: 49982
1351.88/1356.16 c #Conflicts: 278000 | #Constraints: 50982
1351.88/1356.16 c #Conflicts: 279000 | #Constraints: 51982
1351.88/1356.16 c #Conflicts: 280000 | #Constraints: 52982
1351.88/1356.16 c #Conflicts: 281000 | #Constraints: 53982
1351.88/1356.16 c #Conflicts: 282000 | #Constraints: 54982
1351.88/1356.16 c #Conflicts: 283000 | #Constraints: 55982
1351.88/1356.16 c #Conflicts: 284000 | #Constraints: 56982
1351.88/1356.16 c #Conflicts: 285000 | #Constraints: 57982
1351.88/1356.16 c #Conflicts: 286000 | #Constraints: 58982
1351.88/1356.16 c #Conflicts: 287000 | #Constraints: 59982
1351.88/1356.16 c #Conflicts: 288000 | #Constraints: 60982
1351.88/1356.16 c #Conflicts: 289000 | #Constraints: 61982
1351.88/1356.16 c #Conflicts: 290000 | #Constraints: 62982
1351.88/1356.16 c #Conflicts: 291000 | #Constraints: 63982
1351.88/1356.16 c #Conflicts: 292000 | #Constraints: 64982
1351.88/1356.16 c #Conflicts: 293000 | #Constraints: 65982
1351.88/1356.16 c #Conflicts: 294000 | #Constraints: 66982
1351.88/1356.16 c #Conflicts: 295000 | #Constraints: 67982
1351.88/1356.16 c #Conflicts: 296000 | #Constraints: 68982
1351.88/1356.16 c #Conflicts: 297000 | #Constraints: 69982
1351.88/1356.16 c INPROCESSING
1351.88/1356.16 c GARBAGE COLLECT
1351.88/1356.16 c #Conflicts: 298000 | #Constraints: 39022
2052.14/2058.63 c #Conflicts: 299000 | #Constraints: 40022
2052.14/2058.63 c #Conflicts: 300000 | #Constraints: 41022
2052.14/2058.63 c #Conflicts: 301000 | #Constraints: 42022
2052.14/2058.63 c #Conflicts: 302000 | #Constraints: 43022
2052.14/2058.63 c #Conflicts: 303000 | #Constraints: 44022
2052.14/2058.63 c #Conflicts: 304000 | #Constraints: 45022
2052.14/2058.63 c #Conflicts: 305000 | #Constraints: 46022
2052.14/2058.63 c #Conflicts: 306000 | #Constraints: 47022
2052.14/2058.63 c #Conflicts: 307000 | #Constraints: 48022
2052.14/2058.63 c #Conflicts: 308000 | #Constraints: 49022
2052.14/2058.63 c #Conflicts: 309000 | #Constraints: 50022
2052.14/2058.63 c #Conflicts: 310000 | #Constraints: 51022
2052.14/2058.63 c #Conflicts: 311000 | #Constraints: 52022
2052.14/2058.63 c #Conflicts: 312000 | #Constraints: 53022
2052.14/2058.63 c #Conflicts: 313000 | #Constraints: 54022
2052.14/2058.63 c #Conflicts: 314000 | #Constraints: 55022
2052.14/2058.63 c #Conflicts: 315000 | #Constraints: 56022
2052.14/2058.63 c #Conflicts: 316000 | #Constraints: 57022
2052.14/2058.63 c #Conflicts: 317000 | #Constraints: 58022
2052.14/2058.63 c #Conflicts: 318000 | #Constraints: 59022
2052.14/2058.63 c #Conflicts: 319000 | #Constraints: 60022
2052.14/2058.63 c #Conflicts: 320000 | #Constraints: 61022
2052.14/2058.63 c #Conflicts: 321000 | #Constraints: 62022
2052.14/2058.63 c #Conflicts: 322000 | #Constraints: 63022
2052.14/2058.63 c #Conflicts: 323000 | #Constraints: 64022
2052.14/2058.63 c #Conflicts: 324000 | #Constraints: 65022
2052.14/2058.63 c #Conflicts: 325000 | #Constraints: 66022
2052.14/2058.63 c #Conflicts: 326000 | #Constraints: 67022
2052.14/2058.63 c #Conflicts: 327000 | #Constraints: 68022
2052.14/2058.63 c #Conflicts: 328000 | #Constraints: 69022
2052.14/2058.63 c #Conflicts: 329000 | #Constraints: 70022
2052.14/2058.63 c #Conflicts: 330000 | #Constraints: 71022
2052.14/2058.63 c #Conflicts: 331000 | #Constraints: 72022
2052.14/2058.63 c #Conflicts: 332000 | #Constraints: 73022
2052.14/2058.63 c #Conflicts: 333000 | #Constraints: 74022
2052.14/2058.63 c #Conflicts: 334000 | #Constraints: 75022
2052.14/2058.63 c #Conflicts: 335000 | #Constraints: 76022
2052.14/2058.63 c INPROCESSING
2052.14/2058.63 c GARBAGE COLLECT
2052.14/2058.63 c #Conflicts: 336000 | #Constraints: 43620
2052.14/2058.63 c #Conflicts: 337000 | #Constraints: 44620
2052.14/2058.63 c #Conflicts: 338000 | #Constraints: 45620
2052.14/2058.63 c #Conflicts: 339000 | #Constraints: 46620
2052.14/2058.63 c #Conflicts: 340000 | #Constraints: 47620
2052.14/2058.63 c #Conflicts: 341000 | #Constraints: 48620
2052.14/2058.63 c #Conflicts: 342000 | #Constraints: 49620
2052.14/2058.63 c #Conflicts: 343000 | #Constraints: 50620
2052.14/2058.63 c #Conflicts: 344000 | #Constraints: 51620
2052.14/2058.63 c #Conflicts: 345000 | #Constraints: 52620
2052.14/2058.63 c #Conflicts: 346000 | #Constraints: 53620
2052.14/2058.63 c #Conflicts: 347000 | #Constraints: 54620
2052.14/2058.63 c #Conflicts: 348000 | #Constraints: 55620
2052.14/2058.63 c #Conflicts: 349000 | #Constraints: 56620
2052.14/2058.63 c #Conflicts: 350000 | #Constraints: 57620
2052.14/2058.63 c #Conflicts: 351000 | #Constraints: 58620
2052.14/2058.63 c #Conflicts: 352000 | #Constraints: 59620
2052.14/2058.63 c #Conflicts: 353000 | #Constraints: 60620
2052.14/2058.63 c #Conflicts: 354000 | #Constraints: 61620
2052.14/2058.63 c #Conflicts: 355000 | #Constraints: 62620
2052.14/2058.63 c #Conflicts: 356000 | #Constraints: 63620
2052.14/2058.63 c #Conflicts: 357000 | #Constraints: 64620
2052.14/2058.63 c #Conflicts: 358000 | #Constraints: 65620
2052.14/2058.63 c #Conflicts: 359000 | #Constraints: 66620
2052.14/2058.63 c #Conflicts: 360000 | #Constraints: 67620
2052.14/2058.63 c #Conflicts: 361000 | #Constraints: 68620
2052.14/2058.63 c #Conflicts: 362000 | #Constraints: 69620
2052.14/2058.63 c #Conflicts: 363000 | #Constraints: 70620
2052.14/2058.63 c #Conflicts: 364000 | #Constraints: 71620
2052.14/2058.63 c #Conflicts: 365000 | #Constraints: 72620
2052.14/2058.63 c #Conflicts: 366000 | #Constraints: 73620
2052.14/2058.63 c #Conflicts: 367000 | #Constraints: 74620
2052.14/2058.63 c #Conflicts: 368000 | #Constraints: 75620
2052.14/2058.63 c #Conflicts: 369000 | #Constraints: 76620
2052.14/2058.63 c #Conflicts: 370000 | #Constraints: 77620
2052.14/2058.63 c #Conflicts: 371000 | #Constraints: 78620
2052.14/2058.63 c #Conflicts: 372000 | #Constraints: 79620
2052.14/2058.63 c #Conflicts: 373000 | #Constraints: 80620
2052.14/2058.63 c #Conflicts: 374000 | #Constraints: 81620
2052.14/2058.63 c INPROCESSING
2052.14/2058.63 c GARBAGE COLLECT
2052.14/2058.63 c #Conflicts: 375000 | #Constraints: 47411
2968.98/2978.47 c #Conflicts: 376000 | #Constraints: 48411
2968.98/2978.47 c #Conflicts: 377000 | #Constraints: 49411
2968.98/2978.47 c #Conflicts: 378000 | #Constraints: 50411
2968.98/2978.47 c #Conflicts: 379000 | #Constraints: 51411
2968.98/2978.47 c #Conflicts: 380000 | #Constraints: 52411
2968.98/2978.47 c #Conflicts: 381000 | #Constraints: 53411
2968.98/2978.47 c #Conflicts: 382000 | #Constraints: 54411
2968.98/2978.47 c #Conflicts: 383000 | #Constraints: 55411
2968.98/2978.47 c #Conflicts: 384000 | #Constraints: 56411
2968.98/2978.47 c #Conflicts: 385000 | #Constraints: 57411
2968.98/2978.47 c #Conflicts: 386000 | #Constraints: 58411
2968.98/2978.47 c #Conflicts: 387000 | #Constraints: 59411
2968.98/2978.47 c #Conflicts: 388000 | #Constraints: 60411
2968.98/2978.47 c #Conflicts: 389000 | #Constraints: 61411
2968.98/2978.47 c #Conflicts: 390000 | #Constraints: 62411
2968.98/2978.47 c #Conflicts: 391000 | #Constraints: 63411
2968.98/2978.47 c #Conflicts: 392000 | #Constraints: 64411
2968.98/2978.47 c #Conflicts: 393000 | #Constraints: 65411
2968.98/2978.47 c #Conflicts: 394000 | #Constraints: 66411
2968.98/2978.47 c #Conflicts: 395000 | #Constraints: 67411
2968.98/2978.47 c #Conflicts: 396000 | #Constraints: 68411
2968.98/2978.47 c #Conflicts: 397000 | #Constraints: 69411
2968.98/2978.47 c #Conflicts: 398000 | #Constraints: 70411
2968.98/2978.47 c #Conflicts: 399000 | #Constraints: 71411
2968.98/2978.47 c #Conflicts: 400000 | #Constraints: 72411
2968.98/2978.47 c #Conflicts: 401000 | #Constraints: 73411
2968.98/2978.47 c #Conflicts: 402000 | #Constraints: 74411
2968.98/2978.47 c #Conflicts: 403000 | #Constraints: 75411
2968.98/2978.47 c #Conflicts: 404000 | #Constraints: 76411
2968.98/2978.47 c #Conflicts: 405000 | #Constraints: 77411
2968.98/2978.47 c #Conflicts: 406000 | #Constraints: 78411
2968.98/2978.47 c #Conflicts: 407000 | #Constraints: 79411
2968.98/2978.47 c #Conflicts: 408000 | #Constraints: 80411
2968.98/2978.47 c #Conflicts: 409000 | #Constraints: 81411
2968.98/2978.47 c #Conflicts: 410000 | #Constraints: 82411
2968.98/2978.47 c #Conflicts: 411000 | #Constraints: 83411
2968.98/2978.47 c #Conflicts: 412000 | #Constraints: 84411
2968.98/2978.47 c #Conflicts: 413000 | #Constraints: 85411
2968.98/2978.47 c #Conflicts: 414000 | #Constraints: 86411
2968.98/2978.47 c #Conflicts: 415000 | #Constraints: 87411
2968.98/2978.47 c INPROCESSING
2968.98/2978.47 c GARBAGE COLLECT
2968.98/2978.47 c #Conflicts: 416000 | #Constraints: 51632
2968.98/2978.47 c #Conflicts: 417000 | #Constraints: 52632
2968.98/2978.47 c #Conflicts: 418000 | #Constraints: 53632
2968.98/2978.47 c #Conflicts: 419000 | #Constraints: 54632
2968.98/2978.47 c #Conflicts: 420000 | #Constraints: 55632
2968.98/2978.47 c #Conflicts: 421000 | #Constraints: 56632
2968.98/2978.47 c #Conflicts: 422000 | #Constraints: 57632
2968.98/2978.47 c #Conflicts: 423000 | #Constraints: 58632
2968.98/2978.47 c #Conflicts: 424000 | #Constraints: 59632
2968.98/2978.47 c #Conflicts: 425000 | #Constraints: 60632
2968.98/2978.47 c #Conflicts: 426000 | #Constraints: 61632
2968.98/2978.47 c #Conflicts: 427000 | #Constraints: 62632
2968.98/2978.47 c #Conflicts: 428000 | #Constraints: 63632
2968.98/2978.47 c #Conflicts: 429000 | #Constraints: 64632
2968.98/2978.47 c #Conflicts: 430000 | #Constraints: 65632
2968.98/2978.47 c #Conflicts: 431000 | #Constraints: 66632
2968.98/2978.47 c #Conflicts: 432000 | #Constraints: 67632
2968.98/2978.47 c #Conflicts: 433000 | #Constraints: 68632
2968.98/2978.47 c #Conflicts: 434000 | #Constraints: 69632
2968.98/2978.47 c #Conflicts: 435000 | #Constraints: 70632
2968.98/2978.47 c #Conflicts: 436000 | #Constraints: 71632
2968.98/2978.47 c #Conflicts: 437000 | #Constraints: 72632
2968.98/2978.47 c #Conflicts: 438000 | #Constraints: 73632
2968.98/2978.47 c #Conflicts: 439000 | #Constraints: 74632
2968.98/2978.47 c #Conflicts: 440000 | #Constraints: 75632
2968.98/2978.47 c #Conflicts: 441000 | #Constraints: 76632
2968.98/2978.47 c #Conflicts: 442000 | #Constraints: 77632
2968.98/2978.47 c #Conflicts: 443000 | #Constraints: 78632
2968.98/2978.47 c #Conflicts: 444000 | #Constraints: 79632
2968.98/2978.47 c #Conflicts: 445000 | #Constraints: 80632
2968.98/2978.47 c #Conflicts: 446000 | #Constraints: 81632
2968.98/2978.47 c #Conflicts: 447000 | #Constraints: 82632
2968.98/2978.47 c #Conflicts: 448000 | #Constraints: 83632
2968.98/2978.47 c #Conflicts: 449000 | #Constraints: 84632
2968.98/2978.47 c #Conflicts: 450000 | #Constraints: 85632
2968.98/2978.47 c #Conflicts: 451000 | #Constraints: 86632
2968.98/2978.47 c #Conflicts: 452000 | #Constraints: 87632
2968.98/2978.47 c #Conflicts: 453000 | #Constraints: 88632
3600.03/3611.50 c #Conflicts: 454000 | #Constraints: 89632
3600.03/3611.50 c #Conflicts: 455000 | #Constraints: 90632
3600.03/3611.50 c #Conflicts: 456000 | #Constraints: 91632
3600.03/3611.50 c #Conflicts: 457000 | #Constraints: 92632
3600.03/3611.50 c #Conflicts: 458000 | #Constraints: 93632
3600.03/3611.50 c #Conflicts: 459000 | #Constraints: 94632
3600.03/3611.50 c INPROCESSING
3600.03/3611.50 c GARBAGE COLLECT
3600.03/3611.50 c #Conflicts: 460000 | #Constraints: 57071
3600.03/3611.50 c #Conflicts: 461000 | #Constraints: 58071
3600.03/3611.50 c #Conflicts: 462000 | #Constraints: 59071
3600.03/3611.50 c #Conflicts: 463000 | #Constraints: 60071
3600.03/3611.50 c #Conflicts: 464000 | #Constraints: 61071
3600.03/3611.50 c #Conflicts: 465000 | #Constraints: 62071
3600.03/3611.50 c #Conflicts: 466000 | #Constraints: 63071
3600.03/3611.50 c #Conflicts: 467000 | #Constraints: 64071
3600.03/3611.50 c #Conflicts: 468000 | #Constraints: 65071
3600.03/3611.50 c #Conflicts: 469000 | #Constraints: 66071
3600.03/3611.50 c #Conflicts: 470000 | #Constraints: 67071
3600.03/3611.50 c #Conflicts: 471000 | #Constraints: 68071
3600.03/3611.50 c #Conflicts: 472000 | #Constraints: 69071
3600.03/3611.50 c #Conflicts: 473000 | #Constraints: 70071
3600.03/3611.50 c #Conflicts: 474000 | #Constraints: 71071
3600.03/3611.50 c #Conflicts: 475000 | #Constraints: 72071
3600.03/3611.50 c #Conflicts: 476000 | #Constraints: 73071
3600.03/3611.50 c #Conflicts: 477000 | #Constraints: 74071
3600.03/3611.50 c #Conflicts: 478000 | #Constraints: 75071
3600.03/3611.50 c #Conflicts: 479000 | #Constraints: 76071
3600.03/3611.50 c #Conflicts: 480000 | #Constraints: 77071
3600.03/3611.50 c #Conflicts: 481000 | #Constraints: 78071
3600.03/3611.50 c #Conflicts: 482000 | #Constraints: 79071
3600.03/3611.50 c #Conflicts: 483000 | #Constraints: 80071
3600.03/3611.50 c #Conflicts: 484000 | #Constraints: 81071
3600.03/3611.50 c #Conflicts: 485000 | #Constraints: 82071
3600.03/3611.50 c #Conflicts: 486000 | #Constraints: 83071
3600.03/3611.50 c #Conflicts: 487000 | #Constraints: 84071
3600.03/3611.50 c #Conflicts: 488000 | #Constraints: 85071
3600.03/3611.50 c #Conflicts: 489000 | #Constraints: 86071
3600.03/3611.50 c #Conflicts: 490000 | #Constraints: 87071
3600.03/3611.50 c #Conflicts: 491000 | #Constraints: 88071
3600.03/3611.50 c #Conflicts: 492000 | #Constraints: 89071
3600.03/3611.50 c #Conflicts: 493000 | #Constraints: 90071
3600.03/3611.50 c #Conflicts: 494000 | #Constraints: 91071
3600.03/3611.50 c #Conflicts: 495000 | #Constraints: 92071
3600.03/3611.50 c #Conflicts: 496000 | #Constraints: 93071
3600.03/3611.50 c #Conflicts: 497000 | #Constraints: 94071
3600.03/3611.50 c Program interrupted by user.
3600.03/3611.50 c cpu time 3593.36 s
3600.03/3611.50 c deterministic time 237173040422 2.37e+11
3600.03/3611.50 c optimization time 535.156 s
3600.03/3611.50 c total solve time 2759.09 s
3600.03/3611.50 c core-guided solve time 2759.09 s
3600.03/3611.50 c propagation time 3168.43 s
3600.03/3611.50 c conflict analysis time 115.063 s
3600.03/3611.50 c propagations 251659838
3600.03/3611.50 c resolve steps 2105768
3600.03/3611.50 c decisions 3521980
3600.03/3611.50 c conflicts 497203
3600.03/3611.50 c restarts 1022
3600.03/3611.50 c inprocessing phases 28
3600.03/3611.50 c input clauses 0
3600.03/3611.50 c input cardinalities 0
3600.03/3611.50 c input general constraints 4750
3600.03/3611.50 c input average constraint length 29.51
3600.03/3611.50 c input average constraint degree 474.83
3600.03/3611.50 c learned clauses 115420
3600.03/3611.50 c learned cardinalities 2
3600.03/3611.50 c learned general constraints 381780
3600.03/3611.50 c learned average constraint length 40.24
3600.03/3611.50 c learned average constraint degree 2443907.25
3600.03/3611.50 c watched constraints 385415
3600.03/3611.50 c counting constraints 1115
3600.03/3611.50 c gcd simplifications 1671
3600.03/3611.50 c detected cardinalities 2
3600.03/3611.50 c weakened non-implied lits 1637946
3600.03/3611.50 c weakened non-implying lits 468
3600.03/3611.50 c original variables 2470
3600.03/3611.50 c clausal propagations 135387
3600.03/3611.50 c cardinality propagations 2
3600.03/3611.50 c watched propagations 247041629
3600.03/3611.50 c counting propagations 4252832
3600.03/3611.50 c watch lookups 60673303434
3600.03/3611.50 c watch backjump lookups 59534983025
3600.03/3611.50 c watch checks 49624923707
3600.03/3611.50 c propagation checks 66754468218
3600.03/3611.50 c constraint additions 74501791
3600.03/3611.50 c trail pops 255678428
3600.03/3611.50 c formula constraints 4744
3600.03/3611.50 c learned constraints 497202
3600.03/3611.50 c bound constraints 6
3600.03/3611.50 c core-guided constraints 0
3600.03/3611.50 c encountered formula constraints 1849575
3600.03/3611.50 c encountered learned constraints 753396
3600.03/3611.50 c encountered bound constraints 0
3600.03/3611.50 c encountered core-guided constraints 0
3600.03/3611.50 c LP total time 0 s
3600.03/3611.50 c LP solve time 0 s
3600.03/3611.50 c LP constraints added 0
3600.03/3611.50 c LP constraints removed 0
3600.03/3611.50 c LP pivots internal 0
3600.03/3611.50 c LP pivots root 0
3600.03/3611.50 c LP calls 0
3600.03/3611.50 c LP optimalities 0
3600.03/3611.50 c LP no pivot count 0
3600.03/3611.50 c LP infeasibilities 0
3600.03/3611.50 c LP valid Farkas constraints 0
3600.03/3611.50 c LP learned Farkas constraints 0
3600.03/3611.50 c LP basis resets 0
3600.03/3611.50 c LP cycling count 0
3600.03/3611.50 c LP singular count 0
3600.03/3611.50 c LP no primal count 0
3600.03/3611.50 c LP no farkas count 0
3600.03/3611.50 c LP other issue count 0
3600.03/3611.50 c LP Gomory cuts 0
3600.03/3611.50 c LP learned cuts 0
3600.03/3611.50 c LP deleted cuts 0
3600.03/3611.50 c LP encountered Gomory constraints 0
3600.03/3611.50 c LP encountered Farkas constraints 0
3600.03/3611.50 c LP encountered learned Farkas constraints 0
3600.03/3611.50 c CG auxiliary variables introduced 0
3600.03/3611.50 c CG solutions found 0
3600.03/3611.50 c CG cores constructed 6
3600.03/3611.50 c CG core cardinality constraints returned 0
3600.03/3611.50 c CG unit cores 0
3600.03/3611.50 c CG single cores 6
3600.03/3611.50 c CG blocks removed during cardinality reduction 1
3600.03/3611.50 c CG first core best 0
3600.03/3611.50 c CG decision core best 0
3600.03/3611.50 c CG core reduction tie 0
3600.03/3611.50 c CG core degree average 1.00
3600.03/3611.50 c CG core slack average 4.17
3600.03/3611.50 c CG exhausted 0
3600.03/3611.50 c CG exhaust time 0 s
3600.03/3611.50 c CG trimmed 0
3600.03/3611.50 c CG trim time 0.000494 s
3600.03/3611.50 c CG minimized 0
3600.03/3611.50 c CG minimize time 0 s
3600.03/3611.50 c CG am1 prop time 0.000234 s
3600.03/3611.50 c CG # am1s reformulated 0
3600.03/3611.50 c CG lower bound derived from am1s 0
3600.03/3611.50 c CG # clausal cores 5
3600.03/3611.50 c CG # cardinality cores 0
3600.03/3611.50 c CG # pb cores 1
3600.03/3611.50 c CG # pb reforms 0
3600.03/3611.50 c CG # cores discarded because of pb reform 0
3600.03/3611.50 d LOWERBOUND 32
3600.03/3611.50 d NCORES 6
3600.03/3611.50 d NPBCORES 1
3600.03/3611.50 d NPBREFORM 0
3600.03/3611.50 d NTRIMMED 0
3600.03/3611.50 d NEXHAUSTED 0
3600.03/3611.50 d NAM1S 0
3600.03/3611.50 d AM1LB 0
3600.03/3611.50 c [Papilo Statistics]
3600.03/3611.50 c prepro time 0.0420016s
3600.03/3611.50 c # tsx applied 2366
3600.03/3611.50 c # tsx conflicts 0
3600.03/3611.50 c # bound changes 0
3600.03/3611.50 c # side changes 2366
3600.03/3611.50 c # coef changes 0
3600.03/3611.50 c # rounds 2
3600.03/3611.50 c # deted vars 0
3600.03/3611.50 c # deted constrs 2366
3600.03/3611.50 c # consecutive rounds of only bound changes 0
3600.03/3611.50 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 (61492 MiB free)
memory of node 1: 64465 MiB (61766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490877-1751379378/watcher-4490877-1751379378 -o /tmp/evaluation-result-4490877-1751379378/solver-4490877-1751379378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60448 --watchdog 3760 mixed-bag HOME/instance-4490877-1751379378.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60833, runsolver pid=60828
[startup+0.100062 s]*
/proc/loadavg: 4.12 4.09 4.09 4/262 60847
/proc/meminfo: memFree=126183008/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=113176 memory=30060 CPUtime=0.08 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 6089 0 0 0 7 1 0 0 20 0 1 0 53616609 115892224 7515 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 28294 7515 2208 2842 0 9988 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113176 KiB
Current children cumulated memory: 30060 KiB
[startup+0.205497 s]*
/proc/loadavg: 4.12 4.09 4.09 4/260 60848
/proc/meminfo: memFree=126127240/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=148760 memory=69868 CPUtime=0.18 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 14297 0 0 0 16 2 0 0 20 0 1 0 53616609 152330240 17467 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 37190 17467 4064 2842 0 18884 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 148760 KiB
Current children cumulated memory: 69868 KiB
[startup+0.305268 s]*
/proc/loadavg: 4.12 4.09 4.09 5/262 60859
/proc/meminfo: memFree=126103808/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=164308 memory=81744 CPUtime=0.28 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 16214 0 0 0 25 3 0 0 20 0 1 0 53616609 168251392 20436 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 41077 20436 4096 2842 0 22771 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 164308 KiB
Current children cumulated memory: 81744 KiB
[startup+0.700174 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 60869
/proc/meminfo: memFree=126011568/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=225020 memory=137004 CPUtime=0.67 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 29408 0 0 0 62 5 0 0 20 0 1 0 53616609 230420480 34251 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 56255 34251 4288 2842 0 37949 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 225020 KiB
Current children cumulated memory: 137004 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125931704/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=277972 memory=187308 CPUtime=1.47 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 42005 0 0 0 140 7 0 0 20 0 1 0 53616609 284643328 46827 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 69493 46827 4288 2842 0 51187 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 277972 KiB
Current children cumulated memory: 187308 KiB
[startup+3.10516 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125755852/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=292416 memory=203436 CPUtime=3.07 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 46016 0 0 0 299 8 0 0 20 0 1 0 53616609 299433984 50859 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 73104 50859 4288 2842 0 54798 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 292416 KiB
Current children cumulated memory: 203436 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 60878
/proc/meminfo: memFree=125728092/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=292876 memory=203820 CPUtime=6.25 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 46126 0 0 0 617 8 0 0 20 0 1 0 53616609 299905024 50955 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 73219 50955 4288 2842 0 54913 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 292876 KiB
Current children cumulated memory: 203820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 61084
/proc/meminfo: memFree=126540552/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=297972 memory=209068 CPUtime=12.61 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 47423 0 0 0 1252 9 0 0 20 0 1 0 53616609 305123328 52267 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 74493 52267 4288 2842 0 56187 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 297972 KiB
Current children cumulated memory: 209068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.00 4.07 4.08 5/264 61283
/proc/meminfo: memFree=126297524/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=297972 memory=209068 CPUtime=25.34 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 47423 0 0 0 2522 12 0 0 20 0 1 0 53616609 305123328 52267 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 74493 52267 4288 2842 0 56187 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 297972 KiB
Current children cumulated memory: 209068 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 61285
/proc/meminfo: memFree=126220544/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=297972 memory=210092 CPUtime=50.85 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 47707 0 0 0 5073 12 0 0 20 0 1 0 53616609 305123328 52523 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 74493 52523 4288 2842 0 56187 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 297972 KiB
Current children cumulated memory: 210092 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 61287
/proc/meminfo: memFree=126078472/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=299392 memory=220460 CPUtime=101.9 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 48083 0 0 0 10177 13 0 0 20 0 1 0 53616609 306577408 55115 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 74848 55115 4288 2842 0 56542 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 299392 KiB
Current children cumulated memory: 220460 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/265 61289
/proc/meminfo: memFree=126015032/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=318564 memory=241708 CPUtime=161.73 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 53076 0 0 0 16159 14 0 0 20 0 1 0 53616609 326209536 60427 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 79641 60427 4288 2842 0 61335 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 318564 KiB
Current children cumulated memory: 241708 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/265 61291
/proc/meminfo: memFree=125920612/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=339208 memory=264620 CPUtime=221.56 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 58221 0 0 0 22141 15 0 0 20 0 1 0 53616609 347348992 66155 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 84802 66155 4288 2842 0 66496 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 339208 KiB
Current children cumulated memory: 264620 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 61293
/proc/meminfo: memFree=125830092/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=354296 memory=280236 CPUtime=281.39 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 62269 0 0 0 28123 16 0 0 20 0 1 0 53616609 362799104 70059 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 88574 70059 4288 2842 0 70268 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 354296 KiB
Current children cumulated memory: 280236 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 61295
/proc/meminfo: memFree=125813056/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=344256 memory=279208 CPUtime=341.25 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 64494 0 0 0 34064 61 0 0 20 0 1 0 53616609 352518144 69802 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 86064 69802 4448 2842 0 67758 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 344256 KiB
Current children cumulated memory: 279208 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 61298
/proc/meminfo: memFree=125763812/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=348676 memory=283432 CPUtime=401.09 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 65042 0 0 0 40012 97 0 0 20 0 1 0 53616609 357044224 70858 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 87169 70858 4448 2842 0 68863 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 348676 KiB
Current children cumulated memory: 283432 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/265 61302
/proc/meminfo: memFree=125776100/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=355856 memory=285224 CPUtime=460.9 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 65536 0 0 0 45957 133 0 0 20 0 1 0 53616609 364396544 71306 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 88964 71306 4448 2842 0 70658 0
################
# More data... #
################
Current children cumulated memory: 304044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 61433
/proc/meminfo: memFree=125732544/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=304044 CPUtime=2913.05 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66894 0 0 0 290712 593 0 0 20 0 1 0 53616609 395776000 76011 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 76011 4448 2842 0 78319 0
Current children cumulated CPU time: 2913.05 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 304044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/265 61442
/proc/meminfo: memFree=125728760/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=306112 CPUtime=2972.86 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66895 0 0 0 296687 599 0 0 20 0 1 0 53616609 395776000 76528 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 76528 4448 2842 0 78319 0
Current children cumulated CPU time: 2972.86 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 306112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 61444
/proc/meminfo: memFree=125728776/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=306112 CPUtime=3032.68 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66895 0 0 0 302662 606 0 0 20 0 1 0 53616609 395776000 76528 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 76528 4448 2842 0 78319 0
Current children cumulated CPU time: 3032.68 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 306112 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 61445
/proc/meminfo: memFree=125728624/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3092.48 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66905 0 0 0 308636 612 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 61447
/proc/meminfo: memFree=125728468/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3152.29 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66905 0 0 0 314609 620 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 61450
/proc/meminfo: memFree=125728556/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3212.09 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66905 0 0 0 320582 627 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3212.09 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 61453
/proc/meminfo: memFree=125728412/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3271.89 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66905 0 0 0 326556 633 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 61455
/proc/meminfo: memFree=125728300/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3331.69 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66980 0 0 0 332530 639 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 61457
/proc/meminfo: memFree=125728344/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3391.5 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66980 0 0 0 338504 646 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 61459
/proc/meminfo: memFree=125722992/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3451.31 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66982 0 0 0 344479 652 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 61462
/proc/meminfo: memFree=125723856/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3511.11 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66983 0 0 0 350453 658 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 61471
/proc/meminfo: memFree=125723680/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3570.92 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66983 0 0 0 356427 665 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 61473
/proc/meminfo: memFree=125723800/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3600.03 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66984 0 0 0 359336 667 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 60833 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.36 s, system=6.67846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 61473
/proc/meminfo: memFree=125723800/131249992 swapFree=33010684/33010684
[pid=60833] ppid=60828 vsize=386500 memory=308160 CPUtime=3600.03 cores=0,2
/proc/60833/stat : 60833 (mixed-bag) R 60828 60833 60438 0 -1 4194304 66984 0 0 0 359336 667 0 0 20 0 1 0 53616609 395776000 77040 18446744073709551615 4235264 15874749 140722905005904 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24072192 140722905008540 140722905008617 140722905008617 140722905014219 0
/proc/60833/statm: 96625 77040 4448 2842 0 78319 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 386500 KiB
Current children cumulated memory: 308160 KiB
Child status: 0
Real time (s): 3611.5
CPU time (s): 3600.04
CPU user time (s): 3593.36
CPU system time (s): 6.67846
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 386500
Max. memory (cumulated for all children) (KiB): 308160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.36
system time used= 6.67846
maximum resident set size= 308928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67014
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= 177
involuntary context switches= 4597
# summary of solver processes directly reported to runsolver:
# pid: 60833
# total CPU time (s): 3600.04
# total CPU user time (s): 3593.36
# total CPU system time (s): 6.67846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63963 second user time and 15.8104 second system time
The end
Begin job on nodeC025 at 2025-07-01 16:16:18
IDJOB=4490877
IDBENCH=147630
IDSOLVER=3340
FILE ID=nodeC025/4490877-1751379378
RUNJOBID= nodeC025-1751375766-60448
SLURM_JOB_ID= 9598215
Free space on /tmp= 433024 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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-4490877-1751379378/watcher-4490877-1751379378 -o /tmp/evaluation-result-4490877-1751379378/solver-4490877-1751379378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60448 --watchdog 3760 mixed-bag HOME/instance-4490877-1751379378.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=2022374849
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3584.008
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.713
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3698.708
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3746.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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.846
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3599.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
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 : 3604.983
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126209940 kB
MemAvailable: 129010144 kB
Buffers: 3280 kB
Cached: 3598372 kB
SwapCached: 0 kB
Active: 1161320 kB
Inactive: 3258668 kB
Active(anon): 836432 kB
Inactive(anon): 0 kB
Active(file): 324888 kB
Inactive(file): 3258668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32560 kB
Writeback: 4 kB
AnonPages: 818216 kB
Mapped: 117612 kB
Shmem: 18084 kB
KReclaimable: 111776 kB
Slab: 200552 kB
SReclaimable: 111776 kB
SUnreclaim: 88776 kB
KernelStack: 4192 kB
PageTables: 4696 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1136108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 757760 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC025 at 2025-07-01 17:16:30