0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] solving
0.00/0.07 c #variables 2470 #constraints 4744
0.00/0.07 c SMALL=int, LARGE=long long
0.00/0.07 c bounds - >= 0 @ 0.059793
0.00/0.07 c stratification level: 0
70.21/70.42 c bounds - >= 2 @ 0.062726
70.21/70.42 c bounds - >= 4 @ 0.063123
70.21/70.42 c bounds - >= 5 @ 0.063834
70.21/70.42 c bounds - >= 8 @ 0.064076
70.21/70.42 c bounds - >= 16 @ 0.073941
70.21/70.42 c #Conflicts: 1000 | #Constraints: 5748
70.21/70.42 c bounds - >= 32 @ 0.363021
70.21/70.42 c #Conflicts: 2000 | #Constraints: 6749
70.21/70.42 c INPROCESSING
70.21/70.42 c #Conflicts: 3000 | #Constraints: 6762
70.21/70.42 c #Conflicts: 4000 | #Constraints: 7762
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 5000 | #Constraints: 7176
70.21/70.42 c #Conflicts: 6000 | #Constraints: 8176
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 7000 | #Constraints: 7185
70.21/70.42 c #Conflicts: 8000 | #Constraints: 8185
70.21/70.42 c #Conflicts: 9000 | #Constraints: 9185
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 10000 | #Constraints: 7894
70.21/70.42 c #Conflicts: 11000 | #Constraints: 8894
70.21/70.42 c #Conflicts: 12000 | #Constraints: 9894
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 13000 | #Constraints: 8343
70.21/70.42 c #Conflicts: 14000 | #Constraints: 9343
70.21/70.42 c #Conflicts: 15000 | #Constraints: 10343
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 16000 | #Constraints: 8570
70.21/70.42 c #Conflicts: 17000 | #Constraints: 9570
70.21/70.42 c #Conflicts: 18000 | #Constraints: 10570
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 19000 | #Constraints: 8591
70.21/70.42 c #Conflicts: 20000 | #Constraints: 9591
70.21/70.42 c #Conflicts: 21000 | #Constraints: 10591
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 22000 | #Constraints: 8392
70.21/70.42 c #Conflicts: 23000 | #Constraints: 9392
70.21/70.42 c #Conflicts: 24000 | #Constraints: 10392
70.21/70.42 c #Conflicts: 25000 | #Constraints: 11392
70.21/70.42 c #Conflicts: 26000 | #Constraints: 12392
70.21/70.42 c #Conflicts: 27000 | #Constraints: 13392
70.21/70.42 c #Conflicts: 28000 | #Constraints: 14392
70.21/70.42 c #Conflicts: 29000 | #Constraints: 15392
70.21/70.42 c #Conflicts: 30000 | #Constraints: 16392
70.21/70.42 c #Conflicts: 31000 | #Constraints: 17392
70.21/70.42 c #Conflicts: 32000 | #Constraints: 18392
70.21/70.42 c #Conflicts: 33000 | #Constraints: 19392
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 34000 | #Constraints: 12946
70.21/70.42 c #Conflicts: 35000 | #Constraints: 13946
70.21/70.42 c #Conflicts: 36000 | #Constraints: 14946
70.21/70.42 c #Conflicts: 37000 | #Constraints: 15946
70.21/70.42 c #Conflicts: 38000 | #Constraints: 16946
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 39000 | #Constraints: 11880
70.21/70.42 c #Conflicts: 40000 | #Constraints: 12880
70.21/70.42 c #Conflicts: 41000 | #Constraints: 13880
70.21/70.42 c #Conflicts: 42000 | #Constraints: 14880
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 43000 | #Constraints: 10387
70.21/70.42 c #Conflicts: 44000 | #Constraints: 11387
70.21/70.42 c #Conflicts: 45000 | #Constraints: 12387
70.21/70.42 c #Conflicts: 46000 | #Constraints: 13387
70.21/70.42 c #Conflicts: 47000 | #Constraints: 14387
70.21/70.42 c #Conflicts: 48000 | #Constraints: 15387
70.21/70.42 c #Conflicts: 49000 | #Constraints: 16387
70.21/70.42 c #Conflicts: 50000 | #Constraints: 17387
70.21/70.42 c #Conflicts: 51000 | #Constraints: 18387
70.21/70.42 c #Conflicts: 52000 | #Constraints: 19387
70.21/70.42 c #Conflicts: 53000 | #Constraints: 20387
70.21/70.42 c #Conflicts: 54000 | #Constraints: 21387
70.21/70.42 c #Conflicts: 55000 | #Constraints: 22387
70.21/70.42 c #Conflicts: 56000 | #Constraints: 23387
70.21/70.42 c #Conflicts: 57000 | #Constraints: 24387
70.21/70.42 c #Conflicts: 58000 | #Constraints: 25387
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 59000 | #Constraints: 15703
70.21/70.42 c #Conflicts: 60000 | #Constraints: 16703
70.21/70.42 c #Conflicts: 61000 | #Constraints: 17703
70.21/70.42 c #Conflicts: 62000 | #Constraints: 18703
70.21/70.42 c #Conflicts: 63000 | #Constraints: 19703
70.21/70.42 c #Conflicts: 64000 | #Constraints: 20703
70.21/70.42 c #Conflicts: 65000 | #Constraints: 21703
70.21/70.42 c INPROCESSING
70.21/70.42 c GARBAGE COLLECT
70.21/70.42 c #Conflicts: 66000 | #Constraints: 14251
70.21/70.42 c #Conflicts: 67000 | #Constraints: 15251
70.21/70.42 c #Conflicts: 68000 | #Constraints: 16251
253.43/254.12 c #Conflicts: 69000 | #Constraints: 17251
253.43/254.12 c #Conflicts: 70000 | #Constraints: 18251
253.43/254.12 c #Conflicts: 71000 | #Constraints: 19251
253.43/254.12 c #Conflicts: 72000 | #Constraints: 20251
253.43/254.12 c #Conflicts: 73000 | #Constraints: 21251
253.43/254.12 c #Conflicts: 74000 | #Constraints: 22251
253.43/254.12 c #Conflicts: 75000 | #Constraints: 23251
253.43/254.12 c #Conflicts: 76000 | #Constraints: 24251
253.43/254.12 c #Conflicts: 77000 | #Constraints: 25251
253.43/254.12 c #Conflicts: 78000 | #Constraints: 26251
253.43/254.12 c #Conflicts: 79000 | #Constraints: 27251
253.43/254.12 c #Conflicts: 80000 | #Constraints: 28251
253.43/254.12 c #Conflicts: 81000 | #Constraints: 29251
253.43/254.12 c #Conflicts: 82000 | #Constraints: 30251
253.43/254.12 c #Conflicts: 83000 | #Constraints: 31251
253.43/254.12 c #Conflicts: 84000 | #Constraints: 32251
253.43/254.12 c INPROCESSING
253.43/254.12 c GARBAGE COLLECT
253.43/254.12 c #Conflicts: 85000 | #Constraints: 19539
253.43/254.12 c #Conflicts: 86000 | #Constraints: 20539
253.43/254.12 c #Conflicts: 87000 | #Constraints: 21539
253.43/254.12 c #Conflicts: 88000 | #Constraints: 22539
253.43/254.12 c #Conflicts: 89000 | #Constraints: 23539
253.43/254.12 c #Conflicts: 90000 | #Constraints: 24539
253.43/254.12 c #Conflicts: 91000 | #Constraints: 25539
253.43/254.12 c INPROCESSING
253.43/254.12 c GARBAGE COLLECT
253.43/254.12 c #Conflicts: 92000 | #Constraints: 16359
253.43/254.12 c #Conflicts: 93000 | #Constraints: 17359
253.43/254.12 c #Conflicts: 94000 | #Constraints: 18359
253.43/254.12 c #Conflicts: 95000 | #Constraints: 19359
253.43/254.12 c #Conflicts: 96000 | #Constraints: 20359
253.43/254.12 c #Conflicts: 97000 | #Constraints: 21359
253.43/254.12 c #Conflicts: 98000 | #Constraints: 22359
253.43/254.12 c #Conflicts: 99000 | #Constraints: 23359
253.43/254.12 c #Conflicts: 100000 | #Constraints: 24359
253.43/254.12 c #Conflicts: 101000 | #Constraints: 25359
253.43/254.12 c #Conflicts: 102000 | #Constraints: 26359
253.43/254.12 c #Conflicts: 103000 | #Constraints: 27359
253.43/254.12 c #Conflicts: 104000 | #Constraints: 28359
253.43/254.12 c #Conflicts: 105000 | #Constraints: 29359
253.43/254.12 c #Conflicts: 106000 | #Constraints: 30359
253.43/254.12 c #Conflicts: 107000 | #Constraints: 31359
253.43/254.12 c #Conflicts: 108000 | #Constraints: 32359
253.43/254.12 c #Conflicts: 109000 | #Constraints: 33359
253.43/254.12 c #Conflicts: 110000 | #Constraints: 34359
253.43/254.12 c #Conflicts: 111000 | #Constraints: 35359
253.43/254.12 c #Conflicts: 112000 | #Constraints: 36359
253.43/254.12 c #Conflicts: 113000 | #Constraints: 37359
253.43/254.12 c INPROCESSING
253.43/254.12 c GARBAGE COLLECT
253.43/254.12 c #Conflicts: 114000 | #Constraints: 21789
253.43/254.12 c #Conflicts: 115000 | #Constraints: 22789
253.43/254.12 c #Conflicts: 116000 | #Constraints: 23789
253.43/254.12 c #Conflicts: 117000 | #Constraints: 24789
253.43/254.12 c #Conflicts: 118000 | #Constraints: 25789
253.43/254.12 c #Conflicts: 119000 | #Constraints: 26789
253.43/254.12 c #Conflicts: 120000 | #Constraints: 27789
253.43/254.12 c #Conflicts: 121000 | #Constraints: 28789
253.43/254.12 c #Conflicts: 122000 | #Constraints: 29789
253.43/254.12 c INPROCESSING
253.43/254.12 c GARBAGE COLLECT
253.43/254.12 c #Conflicts: 123000 | #Constraints: 20034
253.43/254.12 c #Conflicts: 124000 | #Constraints: 21034
253.43/254.12 c #Conflicts: 125000 | #Constraints: 22034
253.43/254.12 c #Conflicts: 126000 | #Constraints: 23034
253.43/254.12 c #Conflicts: 127000 | #Constraints: 24034
253.43/254.12 c #Conflicts: 128000 | #Constraints: 25034
253.43/254.12 c #Conflicts: 129000 | #Constraints: 26034
253.43/254.12 c #Conflicts: 130000 | #Constraints: 27034
253.43/254.12 c #Conflicts: 131000 | #Constraints: 28034
253.43/254.12 c #Conflicts: 132000 | #Constraints: 29034
253.43/254.12 c #Conflicts: 133000 | #Constraints: 30034
253.43/254.12 c #Conflicts: 134000 | #Constraints: 31034
253.43/254.12 c #Conflicts: 135000 | #Constraints: 32034
253.43/254.12 c #Conflicts: 136000 | #Constraints: 33034
253.43/254.12 c #Conflicts: 137000 | #Constraints: 34034
253.43/254.12 c #Conflicts: 138000 | #Constraints: 35034
253.43/254.12 c #Conflicts: 139000 | #Constraints: 36034
253.43/254.12 c #Conflicts: 140000 | #Constraints: 37034
253.43/254.12 c #Conflicts: 141000 | #Constraints: 38034
253.43/254.12 c #Conflicts: 142000 | #Constraints: 39034
253.43/254.12 c #Conflicts: 143000 | #Constraints: 40034
253.43/254.12 c #Conflicts: 144000 | #Constraints: 41034
576.34/577.94 c #Conflicts: 145000 | #Constraints: 42034
576.34/577.94 c #Conflicts: 146000 | #Constraints: 43034
576.34/577.94 c #Conflicts: 147000 | #Constraints: 44034
576.34/577.94 c INPROCESSING
576.34/577.94 c GARBAGE COLLECT
576.34/577.94 c #Conflicts: 148000 | #Constraints: 25142
576.34/577.94 c #Conflicts: 149000 | #Constraints: 26142
576.34/577.94 c #Conflicts: 150000 | #Constraints: 27142
576.34/577.94 c #Conflicts: 151000 | #Constraints: 28142
576.34/577.94 c #Conflicts: 152000 | #Constraints: 29142
576.34/577.94 c #Conflicts: 153000 | #Constraints: 30142
576.34/577.94 c #Conflicts: 154000 | #Constraints: 31142
576.34/577.94 c #Conflicts: 155000 | #Constraints: 32142
576.34/577.94 c #Conflicts: 156000 | #Constraints: 33142
576.34/577.94 c #Conflicts: 157000 | #Constraints: 34142
576.34/577.94 c INPROCESSING
576.34/577.94 c GARBAGE COLLECT
576.34/577.94 c #Conflicts: 158000 | #Constraints: 23862
576.34/577.94 c #Conflicts: 159000 | #Constraints: 24862
576.34/577.94 c #Conflicts: 160000 | #Constraints: 25862
576.34/577.94 c #Conflicts: 161000 | #Constraints: 26862
576.34/577.94 c #Conflicts: 162000 | #Constraints: 27862
576.34/577.94 c #Conflicts: 163000 | #Constraints: 28862
576.34/577.94 c #Conflicts: 164000 | #Constraints: 29862
576.34/577.94 c #Conflicts: 165000 | #Constraints: 30862
576.34/577.94 c #Conflicts: 166000 | #Constraints: 31862
576.34/577.94 c #Conflicts: 167000 | #Constraints: 32862
576.34/577.94 c #Conflicts: 168000 | #Constraints: 33862
576.34/577.94 c #Conflicts: 169000 | #Constraints: 34862
576.34/577.94 c #Conflicts: 170000 | #Constraints: 35862
576.34/577.94 c #Conflicts: 171000 | #Constraints: 36862
576.34/577.94 c #Conflicts: 172000 | #Constraints: 37862
576.34/577.94 c #Conflicts: 173000 | #Constraints: 38862
576.34/577.94 c #Conflicts: 174000 | #Constraints: 39862
576.34/577.94 c #Conflicts: 175000 | #Constraints: 40862
576.34/577.94 c #Conflicts: 176000 | #Constraints: 41862
576.34/577.94 c #Conflicts: 177000 | #Constraints: 42862
576.34/577.94 c #Conflicts: 178000 | #Constraints: 43862
576.34/577.94 c #Conflicts: 179000 | #Constraints: 44862
576.34/577.94 c #Conflicts: 180000 | #Constraints: 45862
576.34/577.94 c #Conflicts: 181000 | #Constraints: 46862
576.34/577.94 c #Conflicts: 182000 | #Constraints: 47862
576.34/577.94 c #Conflicts: 183000 | #Constraints: 48862
576.34/577.94 c #Conflicts: 184000 | #Constraints: 49862
576.34/577.94 c #Conflicts: 185000 | #Constraints: 50862
576.34/577.94 c #Conflicts: 186000 | #Constraints: 51862
576.34/577.94 c INPROCESSING
576.34/577.94 c GARBAGE COLLECT
576.34/577.94 c #Conflicts: 187000 | #Constraints: 29347
576.34/577.94 c #Conflicts: 188000 | #Constraints: 30347
576.34/577.94 c #Conflicts: 189000 | #Constraints: 31347
576.34/577.94 c #Conflicts: 190000 | #Constraints: 32347
576.34/577.94 c #Conflicts: 191000 | #Constraints: 33347
576.34/577.94 c #Conflicts: 192000 | #Constraints: 34347
576.34/577.94 c #Conflicts: 193000 | #Constraints: 35347
576.34/577.94 c #Conflicts: 194000 | #Constraints: 36347
576.34/577.94 c #Conflicts: 195000 | #Constraints: 37347
576.34/577.94 c #Conflicts: 196000 | #Constraints: 38347
576.34/577.94 c #Conflicts: 197000 | #Constraints: 39347
576.34/577.94 c INPROCESSING
576.34/577.94 c GARBAGE COLLECT
576.34/577.94 c #Conflicts: 198000 | #Constraints: 28610
576.34/577.94 c #Conflicts: 199000 | #Constraints: 29610
576.34/577.94 c #Conflicts: 200000 | #Constraints: 30610
576.34/577.94 c #Conflicts: 201000 | #Constraints: 31610
576.34/577.94 c #Conflicts: 202000 | #Constraints: 32610
576.34/577.94 c #Conflicts: 203000 | #Constraints: 33610
576.34/577.94 c #Conflicts: 204000 | #Constraints: 34610
576.34/577.94 c #Conflicts: 205000 | #Constraints: 35610
576.34/577.94 c #Conflicts: 206000 | #Constraints: 36610
576.34/577.94 c #Conflicts: 207000 | #Constraints: 37610
576.34/577.94 c #Conflicts: 208000 | #Constraints: 38610
576.34/577.94 c #Conflicts: 209000 | #Constraints: 39610
576.34/577.94 c #Conflicts: 210000 | #Constraints: 40610
576.34/577.94 c #Conflicts: 211000 | #Constraints: 41610
576.34/577.94 c #Conflicts: 212000 | #Constraints: 42610
576.34/577.94 c #Conflicts: 213000 | #Constraints: 43610
576.34/577.94 c #Conflicts: 214000 | #Constraints: 44610
576.34/577.94 c #Conflicts: 215000 | #Constraints: 45610
576.34/577.94 c #Conflicts: 216000 | #Constraints: 46610
576.34/577.94 c #Conflicts: 217000 | #Constraints: 47610
576.34/577.94 c #Conflicts: 218000 | #Constraints: 48610
576.34/577.94 c #Conflicts: 219000 | #Constraints: 49610
576.34/577.94 c #Conflicts: 220000 | #Constraints: 50610
576.34/577.94 c #Conflicts: 221000 | #Constraints: 51610
1157.42/1160.70 c #Conflicts: 222000 | #Constraints: 52610
1157.42/1160.70 c #Conflicts: 223000 | #Constraints: 53610
1157.42/1160.70 c #Conflicts: 224000 | #Constraints: 54610
1157.42/1160.70 c #Conflicts: 225000 | #Constraints: 55610
1157.42/1160.70 c #Conflicts: 226000 | #Constraints: 56610
1157.42/1160.70 c #Conflicts: 227000 | #Constraints: 57610
1157.42/1160.70 c #Conflicts: 228000 | #Constraints: 58610
1157.42/1160.70 c INPROCESSING
1157.42/1160.70 c GARBAGE COLLECT
1157.42/1160.70 c #Conflicts: 229000 | #Constraints: 32320
1157.42/1160.70 c #Conflicts: 230000 | #Constraints: 33320
1157.42/1160.70 c #Conflicts: 231000 | #Constraints: 34320
1157.42/1160.70 c #Conflicts: 232000 | #Constraints: 35320
1157.42/1160.70 c #Conflicts: 233000 | #Constraints: 36320
1157.42/1160.70 c #Conflicts: 234000 | #Constraints: 37320
1157.42/1160.70 c #Conflicts: 235000 | #Constraints: 38320
1157.42/1160.70 c #Conflicts: 236000 | #Constraints: 39320
1157.42/1160.70 c #Conflicts: 237000 | #Constraints: 40320
1157.42/1160.70 c #Conflicts: 238000 | #Constraints: 41320
1157.42/1160.70 c #Conflicts: 239000 | #Constraints: 42320
1157.42/1160.70 c #Conflicts: 240000 | #Constraints: 43320
1157.42/1160.70 c #Conflicts: 241000 | #Constraints: 44320
1157.42/1160.70 c #Conflicts: 242000 | #Constraints: 45320
1157.42/1160.70 c #Conflicts: 243000 | #Constraints: 46320
1157.42/1160.70 c #Conflicts: 244000 | #Constraints: 47320
1157.42/1160.70 c #Conflicts: 245000 | #Constraints: 48320
1157.42/1160.70 c #Conflicts: 246000 | #Constraints: 49320
1157.42/1160.70 c #Conflicts: 247000 | #Constraints: 50320
1157.42/1160.70 c #Conflicts: 248000 | #Constraints: 51320
1157.42/1160.70 c #Conflicts: 249000 | #Constraints: 52320
1157.42/1160.70 c #Conflicts: 250000 | #Constraints: 53320
1157.42/1160.70 c #Conflicts: 251000 | #Constraints: 54320
1157.42/1160.70 c #Conflicts: 252000 | #Constraints: 55320
1157.42/1160.70 c #Conflicts: 253000 | #Constraints: 56320
1157.42/1160.70 c #Conflicts: 254000 | #Constraints: 57320
1157.42/1160.70 c #Conflicts: 255000 | #Constraints: 58320
1157.42/1160.70 c #Conflicts: 256000 | #Constraints: 59320
1157.42/1160.70 c #Conflicts: 257000 | #Constraints: 60320
1157.42/1160.70 c #Conflicts: 258000 | #Constraints: 61320
1157.42/1160.70 c #Conflicts: 259000 | #Constraints: 62320
1157.42/1160.70 c #Conflicts: 260000 | #Constraints: 63320
1157.42/1160.70 c #Conflicts: 261000 | #Constraints: 64320
1157.42/1160.70 c #Conflicts: 262000 | #Constraints: 65320
1157.42/1160.70 c INPROCESSING
1157.42/1160.70 c GARBAGE COLLECT
1157.42/1160.70 c #Conflicts: 263000 | #Constraints: 35982
1157.42/1160.70 c #Conflicts: 264000 | #Constraints: 36982
1157.42/1160.70 c #Conflicts: 265000 | #Constraints: 37982
1157.42/1160.70 c #Conflicts: 266000 | #Constraints: 38982
1157.42/1160.70 c #Conflicts: 267000 | #Constraints: 39982
1157.42/1160.70 c #Conflicts: 268000 | #Constraints: 40982
1157.42/1160.70 c #Conflicts: 269000 | #Constraints: 41982
1157.42/1160.70 c #Conflicts: 270000 | #Constraints: 42982
1157.42/1160.70 c #Conflicts: 271000 | #Constraints: 43982
1157.42/1160.70 c #Conflicts: 272000 | #Constraints: 44982
1157.42/1160.70 c #Conflicts: 273000 | #Constraints: 45982
1157.42/1160.70 c #Conflicts: 274000 | #Constraints: 46982
1157.42/1160.70 c #Conflicts: 275000 | #Constraints: 47982
1157.42/1160.70 c #Conflicts: 276000 | #Constraints: 48982
1157.42/1160.70 c #Conflicts: 277000 | #Constraints: 49982
1157.42/1160.70 c #Conflicts: 278000 | #Constraints: 50982
1157.42/1160.70 c #Conflicts: 279000 | #Constraints: 51982
1157.42/1160.70 c #Conflicts: 280000 | #Constraints: 52982
1157.42/1160.70 c #Conflicts: 281000 | #Constraints: 53982
1157.42/1160.70 c #Conflicts: 282000 | #Constraints: 54982
1157.42/1160.70 c #Conflicts: 283000 | #Constraints: 55982
1157.42/1160.70 c #Conflicts: 284000 | #Constraints: 56982
1157.42/1160.70 c #Conflicts: 285000 | #Constraints: 57982
1157.42/1160.70 c #Conflicts: 286000 | #Constraints: 58982
1157.42/1160.70 c #Conflicts: 287000 | #Constraints: 59982
1157.42/1160.70 c #Conflicts: 288000 | #Constraints: 60982
1157.42/1160.70 c #Conflicts: 289000 | #Constraints: 61982
1157.42/1160.70 c #Conflicts: 290000 | #Constraints: 62982
1157.42/1160.70 c #Conflicts: 291000 | #Constraints: 63982
1157.42/1160.70 c #Conflicts: 292000 | #Constraints: 64982
1157.42/1160.70 c #Conflicts: 293000 | #Constraints: 65982
1157.42/1160.70 c #Conflicts: 294000 | #Constraints: 66982
1157.42/1160.70 c #Conflicts: 295000 | #Constraints: 67982
1157.42/1160.70 c #Conflicts: 296000 | #Constraints: 68982
1157.42/1160.70 c #Conflicts: 297000 | #Constraints: 69982
1157.42/1160.70 c INPROCESSING
1157.42/1160.70 c GARBAGE COLLECT
1157.42/1160.70 c #Conflicts: 298000 | #Constraints: 39022
1930.49/1936.01 c #Conflicts: 299000 | #Constraints: 40022
1930.49/1936.01 c #Conflicts: 300000 | #Constraints: 41022
1930.49/1936.01 c #Conflicts: 301000 | #Constraints: 42022
1930.49/1936.01 c #Conflicts: 302000 | #Constraints: 43022
1930.49/1936.01 c #Conflicts: 303000 | #Constraints: 44022
1930.49/1936.01 c #Conflicts: 304000 | #Constraints: 45022
1930.49/1936.01 c #Conflicts: 305000 | #Constraints: 46022
1930.49/1936.01 c #Conflicts: 306000 | #Constraints: 47022
1930.49/1936.01 c #Conflicts: 307000 | #Constraints: 48022
1930.49/1936.01 c #Conflicts: 308000 | #Constraints: 49022
1930.49/1936.01 c #Conflicts: 309000 | #Constraints: 50022
1930.49/1936.01 c #Conflicts: 310000 | #Constraints: 51022
1930.49/1936.01 c #Conflicts: 311000 | #Constraints: 52022
1930.49/1936.01 c #Conflicts: 312000 | #Constraints: 53022
1930.49/1936.01 c #Conflicts: 313000 | #Constraints: 54022
1930.49/1936.01 c #Conflicts: 314000 | #Constraints: 55022
1930.49/1936.01 c #Conflicts: 315000 | #Constraints: 56022
1930.49/1936.01 c #Conflicts: 316000 | #Constraints: 57022
1930.49/1936.01 c #Conflicts: 317000 | #Constraints: 58022
1930.49/1936.01 c #Conflicts: 318000 | #Constraints: 59022
1930.49/1936.01 c #Conflicts: 319000 | #Constraints: 60022
1930.49/1936.01 c #Conflicts: 320000 | #Constraints: 61022
1930.49/1936.01 c #Conflicts: 321000 | #Constraints: 62022
1930.49/1936.01 c #Conflicts: 322000 | #Constraints: 63022
1930.49/1936.01 c #Conflicts: 323000 | #Constraints: 64022
1930.49/1936.01 c #Conflicts: 324000 | #Constraints: 65022
1930.49/1936.01 c #Conflicts: 325000 | #Constraints: 66022
1930.49/1936.01 c #Conflicts: 326000 | #Constraints: 67022
1930.49/1936.01 c #Conflicts: 327000 | #Constraints: 68022
1930.49/1936.01 c #Conflicts: 328000 | #Constraints: 69022
1930.49/1936.01 c #Conflicts: 329000 | #Constraints: 70022
1930.49/1936.01 c #Conflicts: 330000 | #Constraints: 71022
1930.49/1936.01 c #Conflicts: 331000 | #Constraints: 72022
1930.49/1936.01 c #Conflicts: 332000 | #Constraints: 73022
1930.49/1936.01 c #Conflicts: 333000 | #Constraints: 74022
1930.49/1936.01 c #Conflicts: 334000 | #Constraints: 75022
1930.49/1936.01 c #Conflicts: 335000 | #Constraints: 76022
1930.49/1936.01 c INPROCESSING
1930.49/1936.01 c GARBAGE COLLECT
1930.49/1936.01 c #Conflicts: 336000 | #Constraints: 43620
1930.49/1936.01 c #Conflicts: 337000 | #Constraints: 44620
1930.49/1936.01 c #Conflicts: 338000 | #Constraints: 45620
1930.49/1936.01 c #Conflicts: 339000 | #Constraints: 46620
1930.49/1936.01 c #Conflicts: 340000 | #Constraints: 47620
1930.49/1936.01 c #Conflicts: 341000 | #Constraints: 48620
1930.49/1936.01 c #Conflicts: 342000 | #Constraints: 49620
1930.49/1936.01 c #Conflicts: 343000 | #Constraints: 50620
1930.49/1936.01 c #Conflicts: 344000 | #Constraints: 51620
1930.49/1936.01 c #Conflicts: 345000 | #Constraints: 52620
1930.49/1936.01 c #Conflicts: 346000 | #Constraints: 53620
1930.49/1936.01 c #Conflicts: 347000 | #Constraints: 54620
1930.49/1936.01 c #Conflicts: 348000 | #Constraints: 55620
1930.49/1936.01 c #Conflicts: 349000 | #Constraints: 56620
1930.49/1936.01 c #Conflicts: 350000 | #Constraints: 57620
1930.49/1936.01 c #Conflicts: 351000 | #Constraints: 58620
1930.49/1936.01 c #Conflicts: 352000 | #Constraints: 59620
1930.49/1936.01 c #Conflicts: 353000 | #Constraints: 60620
1930.49/1936.01 c #Conflicts: 354000 | #Constraints: 61620
1930.49/1936.01 c #Conflicts: 355000 | #Constraints: 62620
1930.49/1936.01 c #Conflicts: 356000 | #Constraints: 63620
1930.49/1936.01 c #Conflicts: 357000 | #Constraints: 64620
1930.49/1936.01 c #Conflicts: 358000 | #Constraints: 65620
1930.49/1936.01 c #Conflicts: 359000 | #Constraints: 66620
1930.49/1936.01 c #Conflicts: 360000 | #Constraints: 67620
1930.49/1936.01 c #Conflicts: 361000 | #Constraints: 68620
1930.49/1936.01 c #Conflicts: 362000 | #Constraints: 69620
1930.49/1936.01 c #Conflicts: 363000 | #Constraints: 70620
1930.49/1936.01 c #Conflicts: 364000 | #Constraints: 71620
1930.49/1936.01 c #Conflicts: 365000 | #Constraints: 72620
1930.49/1936.01 c #Conflicts: 366000 | #Constraints: 73620
1930.49/1936.01 c #Conflicts: 367000 | #Constraints: 74620
1930.49/1936.01 c #Conflicts: 368000 | #Constraints: 75620
1930.49/1936.01 c #Conflicts: 369000 | #Constraints: 76620
1930.49/1936.01 c #Conflicts: 370000 | #Constraints: 77620
1930.49/1936.01 c #Conflicts: 371000 | #Constraints: 78620
1930.49/1936.01 c #Conflicts: 372000 | #Constraints: 79620
1930.49/1936.01 c #Conflicts: 373000 | #Constraints: 80620
1930.49/1936.01 c #Conflicts: 374000 | #Constraints: 81620
1930.49/1936.01 c INPROCESSING
1930.49/1936.01 c GARBAGE COLLECT
1930.49/1936.01 c #Conflicts: 375000 | #Constraints: 47411
2941.60/2950.18 c #Conflicts: 376000 | #Constraints: 48411
2941.60/2950.18 c #Conflicts: 377000 | #Constraints: 49411
2941.60/2950.18 c #Conflicts: 378000 | #Constraints: 50411
2941.60/2950.18 c #Conflicts: 379000 | #Constraints: 51411
2941.60/2950.18 c #Conflicts: 380000 | #Constraints: 52411
2941.60/2950.18 c #Conflicts: 381000 | #Constraints: 53411
2941.60/2950.18 c #Conflicts: 382000 | #Constraints: 54411
2941.60/2950.18 c #Conflicts: 383000 | #Constraints: 55411
2941.60/2950.18 c #Conflicts: 384000 | #Constraints: 56411
2941.60/2950.18 c #Conflicts: 385000 | #Constraints: 57411
2941.60/2950.18 c #Conflicts: 386000 | #Constraints: 58411
2941.60/2950.18 c #Conflicts: 387000 | #Constraints: 59411
2941.60/2950.18 c #Conflicts: 388000 | #Constraints: 60411
2941.60/2950.18 c #Conflicts: 389000 | #Constraints: 61411
2941.60/2950.18 c #Conflicts: 390000 | #Constraints: 62411
2941.60/2950.18 c #Conflicts: 391000 | #Constraints: 63411
2941.60/2950.18 c #Conflicts: 392000 | #Constraints: 64411
2941.60/2950.18 c #Conflicts: 393000 | #Constraints: 65411
2941.60/2950.18 c #Conflicts: 394000 | #Constraints: 66411
2941.60/2950.18 c #Conflicts: 395000 | #Constraints: 67411
2941.60/2950.18 c #Conflicts: 396000 | #Constraints: 68411
2941.60/2950.18 c #Conflicts: 397000 | #Constraints: 69411
2941.60/2950.18 c #Conflicts: 398000 | #Constraints: 70411
2941.60/2950.18 c #Conflicts: 399000 | #Constraints: 71411
2941.60/2950.18 c #Conflicts: 400000 | #Constraints: 72411
2941.60/2950.18 c #Conflicts: 401000 | #Constraints: 73411
2941.60/2950.18 c #Conflicts: 402000 | #Constraints: 74411
2941.60/2950.18 c #Conflicts: 403000 | #Constraints: 75411
2941.60/2950.18 c #Conflicts: 404000 | #Constraints: 76411
2941.60/2950.18 c #Conflicts: 405000 | #Constraints: 77411
2941.60/2950.18 c #Conflicts: 406000 | #Constraints: 78411
2941.60/2950.18 c #Conflicts: 407000 | #Constraints: 79411
2941.60/2950.18 c #Conflicts: 408000 | #Constraints: 80411
2941.60/2950.18 c #Conflicts: 409000 | #Constraints: 81411
2941.60/2950.18 c #Conflicts: 410000 | #Constraints: 82411
2941.60/2950.18 c #Conflicts: 411000 | #Constraints: 83411
2941.60/2950.18 c #Conflicts: 412000 | #Constraints: 84411
2941.60/2950.18 c #Conflicts: 413000 | #Constraints: 85411
2941.60/2950.18 c #Conflicts: 414000 | #Constraints: 86411
2941.60/2950.18 c #Conflicts: 415000 | #Constraints: 87411
2941.60/2950.18 c INPROCESSING
2941.60/2950.18 c GARBAGE COLLECT
2941.60/2950.18 c #Conflicts: 416000 | #Constraints: 51632
2941.60/2950.18 c #Conflicts: 417000 | #Constraints: 52632
2941.60/2950.18 c #Conflicts: 418000 | #Constraints: 53632
2941.60/2950.18 c #Conflicts: 419000 | #Constraints: 54632
2941.60/2950.18 c #Conflicts: 420000 | #Constraints: 55632
2941.60/2950.18 c #Conflicts: 421000 | #Constraints: 56632
2941.60/2950.18 c #Conflicts: 422000 | #Constraints: 57632
2941.60/2950.18 c #Conflicts: 423000 | #Constraints: 58632
2941.60/2950.18 c #Conflicts: 424000 | #Constraints: 59632
2941.60/2950.18 c #Conflicts: 425000 | #Constraints: 60632
2941.60/2950.18 c #Conflicts: 426000 | #Constraints: 61632
2941.60/2950.18 c #Conflicts: 427000 | #Constraints: 62632
2941.60/2950.18 c #Conflicts: 428000 | #Constraints: 63632
2941.60/2950.18 c #Conflicts: 429000 | #Constraints: 64632
2941.60/2950.18 c #Conflicts: 430000 | #Constraints: 65632
2941.60/2950.18 c #Conflicts: 431000 | #Constraints: 66632
2941.60/2950.18 c #Conflicts: 432000 | #Constraints: 67632
2941.60/2950.18 c #Conflicts: 433000 | #Constraints: 68632
2941.60/2950.18 c #Conflicts: 434000 | #Constraints: 69632
2941.60/2950.18 c #Conflicts: 435000 | #Constraints: 70632
2941.60/2950.18 c #Conflicts: 436000 | #Constraints: 71632
2941.60/2950.18 c #Conflicts: 437000 | #Constraints: 72632
2941.60/2950.18 c #Conflicts: 438000 | #Constraints: 73632
2941.60/2950.18 c #Conflicts: 439000 | #Constraints: 74632
2941.60/2950.18 c #Conflicts: 440000 | #Constraints: 75632
2941.60/2950.18 c #Conflicts: 441000 | #Constraints: 76632
2941.60/2950.18 c #Conflicts: 442000 | #Constraints: 77632
2941.60/2950.18 c #Conflicts: 443000 | #Constraints: 78632
2941.60/2950.18 c #Conflicts: 444000 | #Constraints: 79632
2941.60/2950.18 c #Conflicts: 445000 | #Constraints: 80632
2941.60/2950.18 c #Conflicts: 446000 | #Constraints: 81632
2941.60/2950.18 c #Conflicts: 447000 | #Constraints: 82632
2941.60/2950.18 c #Conflicts: 448000 | #Constraints: 83632
2941.60/2950.18 c #Conflicts: 449000 | #Constraints: 84632
2941.60/2950.18 c #Conflicts: 450000 | #Constraints: 85632
2941.60/2950.18 c #Conflicts: 451000 | #Constraints: 86632
2941.60/2950.18 c #Conflicts: 452000 | #Constraints: 87632
2941.60/2950.18 c #Conflicts: 453000 | #Constraints: 88632
3600.02/3610.50 c #Conflicts: 454000 | #Constraints: 89632
3600.02/3610.50 c #Conflicts: 455000 | #Constraints: 90632
3600.02/3610.50 c #Conflicts: 456000 | #Constraints: 91632
3600.02/3610.50 c #Conflicts: 457000 | #Constraints: 92632
3600.02/3610.50 c #Conflicts: 458000 | #Constraints: 93632
3600.02/3610.50 c #Conflicts: 459000 | #Constraints: 94632
3600.02/3610.50 c INPROCESSING
3600.02/3610.50 c GARBAGE COLLECT
3600.02/3610.50 c #Conflicts: 460000 | #Constraints: 57071
3600.02/3610.50 c #Conflicts: 461000 | #Constraints: 58071
3600.02/3610.50 c #Conflicts: 462000 | #Constraints: 59071
3600.02/3610.50 c #Conflicts: 463000 | #Constraints: 60071
3600.02/3610.50 c #Conflicts: 464000 | #Constraints: 61071
3600.02/3610.50 c #Conflicts: 465000 | #Constraints: 62071
3600.02/3610.50 c #Conflicts: 466000 | #Constraints: 63071
3600.02/3610.50 c #Conflicts: 467000 | #Constraints: 64071
3600.02/3610.50 c #Conflicts: 468000 | #Constraints: 65071
3600.02/3610.50 c #Conflicts: 469000 | #Constraints: 66071
3600.02/3610.50 c #Conflicts: 470000 | #Constraints: 67071
3600.02/3610.50 c #Conflicts: 471000 | #Constraints: 68071
3600.02/3610.50 c #Conflicts: 472000 | #Constraints: 69071
3600.02/3610.50 c #Conflicts: 473000 | #Constraints: 70071
3600.02/3610.50 c #Conflicts: 474000 | #Constraints: 71071
3600.02/3610.50 c #Conflicts: 475000 | #Constraints: 72071
3600.02/3610.50 c #Conflicts: 476000 | #Constraints: 73071
3600.02/3610.50 c #Conflicts: 477000 | #Constraints: 74071
3600.02/3610.50 c #Conflicts: 478000 | #Constraints: 75071
3600.02/3610.50 c #Conflicts: 479000 | #Constraints: 76071
3600.02/3610.50 c #Conflicts: 480000 | #Constraints: 77071
3600.02/3610.50 c #Conflicts: 481000 | #Constraints: 78071
3600.02/3610.50 c #Conflicts: 482000 | #Constraints: 79071
3600.02/3610.50 c #Conflicts: 483000 | #Constraints: 80071
3600.02/3610.50 c #Conflicts: 484000 | #Constraints: 81071
3600.02/3610.50 c #Conflicts: 485000 | #Constraints: 82071
3600.02/3610.50 c #Conflicts: 486000 | #Constraints: 83071
3600.02/3610.50 c #Conflicts: 487000 | #Constraints: 84071
3600.02/3610.50 c #Conflicts: 488000 | #Constraints: 85071
3600.02/3610.50 c #Conflicts: 489000 | #Constraints: 86071
3600.02/3610.50 c #Conflicts: 490000 | #Constraints: 87071
3600.02/3610.50 c #Conflicts: 491000 | #Constraints: 88071
3600.02/3610.50 c #Conflicts: 492000 | #Constraints: 89071
3600.02/3610.50 c #Conflicts: 493000 | #Constraints: 90071
3600.02/3610.50 c #Conflicts: 494000 | #Constraints: 91071
3600.02/3610.50 c #Conflicts: 495000 | #Constraints: 92071
3600.02/3610.50 c Program interrupted by user.
3600.02/3610.50 c cpu time 3593.85 s
3600.02/3610.50 c deterministic time 235420491338 2.35e+11
3600.02/3610.50 c optimization time 552.934 s
3600.02/3610.50 c total solve time 3040.85 s
3600.02/3610.50 c core-guided solve time 3040.85 s
3600.02/3610.50 c propagation time 3456.04 s
3600.02/3610.50 c conflict analysis time 126.29 s
3600.02/3610.50 c propagations 250770032
3600.02/3610.50 c resolve steps 2098347
3600.02/3610.50 c decisions 3508985
3600.02/3610.50 c conflicts 495612
3600.02/3610.50 c restarts 1022
3600.02/3610.50 c inprocessing phases 28
3600.02/3610.50 c input clauses 0
3600.02/3610.50 c input cardinalities 0
3600.02/3610.50 c input general constraints 4750
3600.02/3610.50 c input average constraint length 29.51
3600.02/3610.50 c input average constraint degree 474.83
3600.02/3610.50 c learned clauses 115102
3600.02/3610.50 c learned cardinalities 2
3600.02/3610.50 c learned general constraints 380508
3600.02/3610.50 c learned average constraint length 40.22
3600.02/3610.50 c learned average constraint degree 2432034.62
3600.02/3610.50 c watched constraints 384146
3600.02/3610.50 c counting constraints 1112
3600.02/3610.50 c gcd simplifications 1660
3600.02/3610.50 c detected cardinalities 2
3600.02/3610.50 c weakened non-implied lits 1633821
3600.02/3610.50 c weakened non-implying lits 468
3600.02/3610.50 c original variables 2470
3600.02/3610.50 c clausal propagations 134789
3600.02/3610.50 c cardinality propagations 2
3600.02/3610.50 c watched propagations 246171629
3600.02/3610.50 c counting propagations 4234234
3600.02/3610.50 c watch lookups 60211012070
3600.02/3610.50 c watch backjump lookups 59080981612
3600.02/3610.50 c watch checks 49235759454
3600.02/3610.50 c propagation checks 66309448645
3600.02/3610.50 c constraint additions 74236113
3600.02/3610.50 c trail pops 254774426
3600.02/3610.50 c formula constraints 4744
3600.02/3610.50 c learned constraints 495612
3600.02/3610.50 c bound constraints 6
3600.02/3610.50 c core-guided constraints 0
3600.02/3610.50 c encountered formula constraints 1843991
3600.02/3610.50 c encountered learned constraints 749968
3600.02/3610.50 c encountered bound constraints 0
3600.02/3610.50 c encountered core-guided constraints 0
3600.02/3610.50 c LP total time 0 s
3600.02/3610.50 c LP solve time 0 s
3600.02/3610.50 c LP constraints added 0
3600.02/3610.50 c LP constraints removed 0
3600.02/3610.50 c LP pivots internal 0
3600.02/3610.50 c LP pivots root 0
3600.02/3610.50 c LP calls 0
3600.02/3610.50 c LP optimalities 0
3600.02/3610.50 c LP no pivot count 0
3600.02/3610.50 c LP infeasibilities 0
3600.02/3610.50 c LP valid Farkas constraints 0
3600.02/3610.50 c LP learned Farkas constraints 0
3600.02/3610.50 c LP basis resets 0
3600.02/3610.50 c LP cycling count 0
3600.02/3610.50 c LP singular count 0
3600.02/3610.50 c LP no primal count 0
3600.02/3610.50 c LP no farkas count 0
3600.02/3610.50 c LP other issue count 0
3600.02/3610.50 c LP Gomory cuts 0
3600.02/3610.50 c LP learned cuts 0
3600.02/3610.50 c LP deleted cuts 0
3600.02/3610.50 c LP encountered Gomory constraints 0
3600.02/3610.50 c LP encountered Farkas constraints 0
3600.02/3610.50 c LP encountered learned Farkas constraints 0
3600.02/3610.50 c CG auxiliary variables introduced 0
3600.02/3610.50 c CG solutions found 0
3600.02/3610.50 c CG cores constructed 6
3600.02/3610.50 c CG core cardinality constraints returned 0
3600.02/3610.50 c CG unit cores 0
3600.02/3610.50 c CG single cores 6
3600.02/3610.50 c CG blocks removed during cardinality reduction 1
3600.02/3610.50 c CG first core best 0
3600.02/3610.50 c CG decision core best 0
3600.02/3610.50 c CG core reduction tie 0
3600.02/3610.50 c CG core degree average 1.00
3600.02/3610.50 c CG core slack average 4.17
3600.02/3610.50 c CG exhausted 0
3600.02/3610.50 c CG exhaust time 0 s
3600.02/3610.50 c CG trimmed 0
3600.02/3610.50 c CG trim time 0.000519 s
3600.02/3610.50 c CG minimized 0
3600.02/3610.50 c CG minimize time 0 s
3600.02/3610.50 c CG am1 prop time 0.000509 s
3600.02/3610.50 c CG # am1s reformulated 0
3600.02/3610.50 c CG lower bound derived from am1s 0
3600.02/3610.50 c CG # clausal cores 5
3600.02/3610.50 c CG # cardinality cores 0
3600.02/3610.50 c CG # pb cores 1
3600.02/3610.50 c CG # pb reforms 0
3600.02/3610.50 c CG # cores discarded because of pb reform 0
3600.02/3610.50 d LOWERBOUND 32
3600.02/3610.50 d NCORES 6
3600.02/3610.50 d NPBCORES 1
3600.02/3610.50 d NPBREFORM 0
3600.02/3610.50 d NTRIMMED 0
3600.02/3610.50 d NEXHAUSTED 0
3600.02/3610.50 d NAM1S 0
3600.02/3610.50 d AM1LB 0
3600.02/3610.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 (62916 MiB free)
memory of node 1: 64465 MiB (63891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490882-1751370450/watcher-4490882-1751370450 -o /tmp/evaluation-result-4490882-1751370450/solver-4490882-1751370450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49200 --watchdog 3760 pb-oll-rs HOME/instance-4490882-1751370450.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=50029, runsolver pid=50026
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850936/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=22584 memory=10588 CPUtime=0.09 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1001 0 0 0 9 0 0 0 20 0 1 0 52667490 23126016 2647 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 5646 2647 1312 243 0 1895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22584 KiB
Current children cumulated memory: 10588 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850936/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=22584 memory=10588 CPUtime=0.19 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1009 0 0 0 19 0 0 0 20 0 1 0 52667490 23126016 2647 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 5646 2647 1312 243 0 1895 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22584 KiB
Current children cumulated memory: 10588 KiB
[startup+0.305054 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850936/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=22584 memory=10588 CPUtime=0.29 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1009 0 0 0 29 0 0 0 20 0 1 0 52667490 23126016 2647 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 5646 2647 1312 243 0 1895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22584 KiB
Current children cumulated memory: 10588 KiB
[startup+0.700135 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850936/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=23012 memory=10972 CPUtime=0.68 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1097 0 0 0 67 1 0 0 20 0 1 0 52667490 23564288 2743 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 5753 2743 1312 243 0 2002 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23012 KiB
Current children cumulated memory: 10972 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129850000/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=23592 memory=13484 CPUtime=1.48 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1226 0 0 0 145 3 0 0 20 0 1 0 52667490 24158208 3371 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 5898 3371 1312 243 0 2147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 23592 KiB
Current children cumulated memory: 13484 KiB
[startup+3.10534 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 50030
/proc/meminfo: memFree=129849924/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=24072 memory=13996 CPUtime=3.08 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1370 0 0 0 303 5 0 0 20 0 1 0 52667490 24649728 3499 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 6018 3499 1312 243 0 2267 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 24072 KiB
Current children cumulated memory: 13996 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129849300/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=24400 memory=14380 CPUtime=6.27 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1459 0 0 0 617 10 0 0 20 0 1 0 52667490 24985600 3595 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 6100 3595 1312 243 0 2349 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 24400 KiB
Current children cumulated memory: 14380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129848044/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=25264 memory=15020 CPUtime=12.66 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 1651 0 0 0 1248 18 0 0 20 0 1 0 52667490 25870336 3755 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 6316 3755 1312 243 0 2565 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 25264 KiB
Current children cumulated memory: 15020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 50030
/proc/meminfo: memFree=129842516/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=30200 memory=18988 CPUtime=25.42 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 2640 0 0 0 2513 29 0 0 20 0 1 0 52667490 30924800 4747 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 7550 4747 1312 243 0 3799 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 30200 KiB
Current children cumulated memory: 18988 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 50031
/proc/meminfo: memFree=129831396/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=36848 memory=21932 CPUtime=50.96 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 3473 0 0 0 5046 50 0 0 20 0 1 0 52667490 37732352 5483 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 9212 5483 1312 243 0 5461 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 36848 KiB
Current children cumulated memory: 21932 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 50036
/proc/meminfo: memFree=129795824/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=39664 memory=27564 CPUtime=102.02 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 4260 0 0 0 10124 78 0 0 20 0 1 0 52667490 40615936 6891 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 9916 6891 1312 243 0 6165 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 39664 KiB
Current children cumulated memory: 27564 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 50042
/proc/meminfo: memFree=129799260/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=47868 memory=29484 CPUtime=161.86 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 4783 0 0 0 16082 104 0 0 20 0 1 0 52667490 49016832 7371 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 11967 7371 1312 243 0 8216 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 29484 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 50043
/proc/meminfo: memFree=129789348/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=49096 memory=31024 CPUtime=221.71 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 5305 0 0 0 22043 128 0 0 20 0 1 0 52667490 50274304 7756 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 12274 7756 1312 243 0 8523 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 31024 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 50045
/proc/meminfo: memFree=129764924/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=51580 memory=37640 CPUtime=281.55 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 5918 0 0 0 28010 145 0 0 20 0 1 0 52667490 52817920 9410 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 12895 9410 1312 243 0 9144 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 51580 KiB
Current children cumulated memory: 37640 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 50048
/proc/meminfo: memFree=129786344/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=51580 memory=39048 CPUtime=341.4 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 5921 0 0 0 33976 164 0 0 20 0 1 0 52667490 52817920 9762 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 12895 9762 1312 243 0 9144 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 51580 KiB
Current children cumulated memory: 39048 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 50050
/proc/meminfo: memFree=129784680/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=52752 memory=39816 CPUtime=401.23 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 6117 0 0 0 39945 178 0 0 20 0 1 0 52667490 54018048 9954 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 13188 9954 1312 243 0 9437 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 52752 KiB
Current children cumulated memory: 39816 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 50052
/proc/meminfo: memFree=129782608/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=54012 memory=41352 CPUtime=461.07 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 6530 0 0 0 45916 191 0 0 20 0 1 0 52667490 55308288 10338 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 13503 10338 1312 243 0 9752 0
################
# More data... #
################
Current children cumulated memory: 73520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 50223
/proc/meminfo: memFree=129463780/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=100560 memory=73520 CPUtime=2913.87 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 10726 0 0 0 290837 550 0 0 20 0 1 0 52667490 102973440 18380 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25140 18380 1312 243 0 21389 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 100560 KiB
Current children cumulated memory: 73520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 50225
/proc/meminfo: memFree=129464716/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=100844 memory=73776 CPUtime=2973.71 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 10764 0 0 0 296815 556 0 0 20 0 1 0 52667490 103264256 18444 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25211 18444 1312 243 0 21460 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 100844 KiB
Current children cumulated memory: 73776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 50227
/proc/meminfo: memFree=129458952/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=101868 memory=76360 CPUtime=3033.52 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 10903 0 0 0 302792 560 0 0 20 0 1 0 52667490 104312832 19090 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25467 19090 1312 243 0 21716 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 101868 KiB
Current children cumulated memory: 76360 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/263 50229
/proc/meminfo: memFree=129460368/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77256 CPUtime=3093.34 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11153 0 0 0 308767 567 0 0 20 0 1 0 52667490 105332736 19314 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19314 1312 243 0 21965 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77256 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 50233
/proc/meminfo: memFree=129459024/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77256 CPUtime=3153.16 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11153 0 0 0 314743 573 0 0 20 0 1 0 52667490 105332736 19314 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19314 1312 243 0 21965 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77256 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 50240
/proc/meminfo: memFree=129456648/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77256 CPUtime=3212.98 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11182 0 0 0 320719 579 0 0 20 0 1 0 52667490 105332736 19314 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19314 1312 243 0 21965 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 50242
/proc/meminfo: memFree=129448568/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77256 CPUtime=3272.8 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11182 0 0 0 326694 586 0 0 20 0 1 0 52667490 105332736 19314 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19314 1312 243 0 21965 0
Current children cumulated CPU time: 3272.8 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 50244
/proc/meminfo: memFree=129449500/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77256 CPUtime=3332.62 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11183 0 0 0 332670 592 0 0 20 0 1 0 52667490 105332736 19314 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19314 1312 243 0 21965 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 50247
/proc/meminfo: memFree=129450628/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77768 CPUtime=3392.44 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11184 0 0 0 338646 598 0 0 20 0 1 0 52667490 105332736 19442 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19442 1312 243 0 21965 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 50249
/proc/meminfo: memFree=129443108/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77768 CPUtime=3452.26 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11184 0 0 0 344622 604 0 0 20 0 1 0 52667490 105332736 19442 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19442 1312 243 0 21965 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 50251
/proc/meminfo: memFree=129441668/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77768 CPUtime=3512.08 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11186 0 0 0 350598 610 0 0 20 0 1 0 52667490 105332736 19442 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19442 1312 243 0 21965 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 50253
/proc/meminfo: memFree=129437532/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=102864 memory=77768 CPUtime=3571.9 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11186 0 0 0 356574 616 0 0 20 0 1 0 52667490 105332736 19442 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25716 19442 1312 243 0 21965 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 102864 KiB
Current children cumulated memory: 77768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.08 4.09 4.09 4/259 50263
/proc/meminfo: memFree=129500248/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=103148 memory=78024 CPUtime=3600.02 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11224 0 0 0 359384 618 0 0 20 0 1 0 52667490 105623552 19506 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25787 19506 1312 243 0 22036 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 103148 KiB
Current children cumulated memory: 78024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 50029 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.85 s, system=6.18144 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.08 4.09 4.09 4/259 50263
/proc/meminfo: memFree=129500248/131250000 swapFree=33010684/33010684
[pid=50029] ppid=50026 vsize=103148 memory=78024 CPUtime=3600.02 cores=1,3
/proc/50029/stat : 50029 (pb-oll-rs) R 50026 50029 49188 0 -1 4194304 11224 0 0 0 359384 618 0 0 20 0 1 0 52667490 105623552 19506 18446744073709551615 4218880 5211445 140725254203872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 26017792 140725254207900 140725254207977 140725254207977 140725254213579 0
/proc/50029/statm: 25787 19506 1312 243 0 22036 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 103148 KiB
Current children cumulated memory: 78024 KiB
Child status: 0
Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3593.85
CPU system time (s): 6.18144
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 103148
Max. memory (cumulated for all children) (KiB): 78024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.85
system time used= 6.18144
maximum resident set size= 78408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11240
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= 105
involuntary context switches= 5227
# summary of solver processes directly reported to runsolver:
# pid: 50029
# total CPU time (s): 3600.03
# total CPU user time (s): 3593.85
# total CPU system time (s): 6.18144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44296 second user time and 17.329 second system time
The end
Begin job on nodeC028 at 2025-07-01 13:47:30
IDJOB=4490882
IDBENCH=147630
IDSOLVER=3345
FILE ID=nodeC028/4490882-1751370450
RUNJOBID= nodeC028-1751363225-49200
SLURM_JOB_ID= 9598179
Free space on /tmp= 433048 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490882-1751370450/watcher-4490882-1751370450 -o /tmp/evaluation-result-4490882-1751370450/solver-4490882-1751370450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49200 --watchdog 3760 pb-oll-rs HOME/instance-4490882-1751370450.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4b13a1c6e78c10f4c6bdd1964b8d7c16
RANDOM SEED=2012186379
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.262
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3624.047
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3616.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.149
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3598.928
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3621.963
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129851356 kB
MemAvailable: 129734348 kB
Buffers: 3280 kB
Cached: 690472 kB
SwapCached: 0 kB
Active: 400240 kB
Inactive: 433668 kB
Active(anon): 158236 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 433668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12948 kB
Writeback: 0 kB
AnonPages: 143396 kB
Mapped: 107220 kB
Shmem: 18068 kB
KReclaimable: 93120 kB
Slab: 179540 kB
SReclaimable: 93120 kB
SUnreclaim: 86420 kB
KernelStack: 4304 kB
PageTables: 3400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 492264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433052 MiB
End job on nodeC028 at 2025-07-01 14:47:40