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.05 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.30/300.16 c [STEP] preprocessing done, loading into solver
299.30/300.19 c [STEP] solving
299.30/300.19 c #variables 10769 #constraints 12046
299.30/300.19 c SMALL=int, LARGE=long long
299.30/300.19 d SCIPUB 5330
299.30/300.19 c bounds - >= 0 @ 299.238
299.30/300.19 c stratification level: 3
391.16/392.24 c bounds - >= 142 @ 299.276
391.16/392.24 c bounds - >= 145 @ 299.279
391.16/392.24 c bounds - >= 148 @ 299.28
391.16/392.24 c bounds - >= 157 @ 299.281
391.16/392.24 c bounds - >= 160 @ 299.283
391.16/392.24 c bounds - >= 163 @ 299.284
391.16/392.24 c bounds - >= 169 @ 299.286
391.16/392.24 c bounds - >= 172 @ 299.288
391.16/392.24 c bounds - >= 176 @ 299.289
391.16/392.24 c bounds - >= 180 @ 299.292
391.16/392.24 c bounds - >= 183 @ 299.292
391.16/392.24 c bounds - >= 187 @ 299.294
391.16/392.24 c bounds - >= 190 @ 299.296
391.16/392.24 c bounds - >= 193 @ 299.297
391.16/392.24 c bounds - >= 196 @ 299.299
391.16/392.24 c bounds - >= 199 @ 299.3
391.16/392.24 c bounds - >= 202 @ 299.301
391.16/392.24 c bounds - >= 205 @ 299.303
391.16/392.24 c bounds - >= 208 @ 299.306
391.16/392.24 c bounds - >= 214 @ 299.306
391.16/392.24 c bounds - >= 217 @ 299.308
391.16/392.24 c bounds - >= 220 @ 299.31
391.16/392.24 c bounds - >= 223 @ 299.312
391.16/392.24 c bounds - >= 226 @ 299.315
391.16/392.24 c bounds - >= 235 @ 299.317
391.16/392.24 c bounds - >= 238 @ 299.318
391.16/392.24 c bounds - >= 241 @ 299.319
391.16/392.24 c bounds - >= 244 @ 299.321
391.16/392.24 c bounds - >= 247 @ 299.323
391.16/392.24 c bounds - >= 250 @ 299.325
391.16/392.24 c bounds - >= 253 @ 299.328
391.16/392.24 c bounds - >= 256 @ 299.329
391.16/392.24 c bounds - >= 259 @ 299.33
391.16/392.24 c bounds - >= 262 @ 299.332
391.16/392.24 c bounds - >= 268 @ 299.332
391.16/392.24 c bounds - >= 271 @ 299.334
391.16/392.24 c bounds - >= 274 @ 299.335
391.16/392.24 c bounds - >= 277 @ 299.338
391.16/392.24 c bounds - >= 283 @ 299.34
391.16/392.24 c bounds - >= 286 @ 299.341
391.16/392.24 c bounds - >= 289 @ 299.343
391.16/392.24 c bounds - >= 292 @ 299.344
391.16/392.24 c bounds - >= 298 @ 299.345
391.16/392.24 c bounds - >= 301 @ 299.346
391.16/392.24 c bounds - >= 304 @ 299.346
391.16/392.24 c bounds - >= 307 @ 299.348
391.16/392.24 c bounds - >= 310 @ 299.351
391.16/392.24 c bounds - >= 313 @ 299.352
391.16/392.24 c bounds - >= 316 @ 299.353
391.16/392.24 c bounds - >= 319 @ 299.355
391.16/392.24 c bounds - >= 322 @ 299.358
391.16/392.24 c bounds - >= 328 @ 299.361
391.16/392.24 c bounds - >= 331 @ 299.364
391.16/392.24 c bounds - >= 334 @ 299.365
391.16/392.24 c bounds - >= 337 @ 299.367
391.16/392.24 c bounds - >= 340 @ 299.368
391.16/392.24 c bounds - >= 343 @ 299.371
391.16/392.24 c bounds - >= 346 @ 299.372
391.16/392.24 c bounds - >= 349 @ 299.373
391.16/392.24 c bounds - >= 352 @ 299.375
391.16/392.24 c bounds - >= 355 @ 299.377
391.16/392.24 c bounds - >= 358 @ 299.38
391.16/392.24 c bounds - >= 361 @ 299.38
391.16/392.24 c bounds - >= 364 @ 299.384
391.16/392.24 c bounds - >= 367 @ 299.385
391.16/392.24 c bounds - >= 370 @ 299.388
391.16/392.24 c bounds - >= 373 @ 299.389
391.16/392.24 c bounds - >= 376 @ 299.391
391.16/392.24 c bounds - >= 379 @ 299.394
391.16/392.24 c bounds - >= 382 @ 299.395
391.16/392.24 c bounds - >= 385 @ 299.396
391.16/392.24 c bounds - >= 388 @ 299.399
391.16/392.24 c bounds - >= 391 @ 299.401
391.16/392.24 c bounds - >= 394 @ 299.404
391.16/392.25 c bounds - >= 397 @ 299.405
391.16/392.25 c bounds - >= 400 @ 299.407
391.16/392.25 c bounds - >= 406 @ 299.408
391.16/392.25 c bounds - >= 409 @ 299.41
391.16/392.25 c bounds - >= 412 @ 299.411
391.16/392.25 c bounds - >= 415 @ 299.415
391.16/392.25 c bounds - >= 418 @ 299.418
391.16/392.25 c bounds - >= 421 @ 299.421
391.16/392.25 c bounds - >= 424 @ 299.425
391.16/392.25 c bounds - >= 427 @ 299.427
391.16/392.25 c bounds - >= 430 @ 299.43
391.16/392.25 c bounds - >= 433 @ 299.431
391.16/392.25 c bounds - >= 436 @ 299.433
391.16/392.25 c bounds - >= 439 @ 299.438
391.16/392.25 c bounds - >= 442 @ 299.44
391.16/392.25 c bounds - >= 445 @ 299.444
391.16/392.25 c bounds - >= 448 @ 299.445
391.16/392.25 c bounds - >= 451 @ 299.448
391.16/392.25 c bounds - >= 454 @ 299.449
391.16/392.25 c bounds - >= 457 @ 299.452
391.16/392.25 c bounds - >= 460 @ 299.453
391.16/392.25 c bounds - >= 466 @ 299.456
391.16/392.25 c bounds - >= 469 @ 299.459
391.16/392.25 c bounds - >= 472 @ 299.462
391.16/392.25 c bounds - >= 475 @ 299.463
391.16/392.25 c bounds - >= 478 @ 299.467
391.16/392.25 c bounds - >= 481 @ 299.468
391.16/392.25 c bounds - >= 484 @ 299.472
391.16/392.25 c bounds - >= 487 @ 299.475
391.16/392.25 c bounds - >= 490 @ 299.479
391.16/392.25 c #Conflicts: 1000 | #Constraints: 13216
391.16/392.25 c #Conflicts: 2000 | #Constraints: 14216
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 3000 | #Constraints: 14103
391.16/392.25 c #Conflicts: 4000 | #Constraints: 15103
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 5000 | #Constraints: 14500
391.16/392.25 c #Conflicts: 6000 | #Constraints: 15500
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 7000 | #Constraints: 14502
391.16/392.25 c #Conflicts: 8000 | #Constraints: 15502
391.16/392.25 c #Conflicts: 9000 | #Constraints: 16502
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 10000 | #Constraints: 15215
391.16/392.25 c #Conflicts: 11000 | #Constraints: 16215
391.16/392.25 c #Conflicts: 12000 | #Constraints: 17215
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 13000 | #Constraints: 15658
391.16/392.25 c #Conflicts: 14000 | #Constraints: 16658
391.16/392.25 c #Conflicts: 15000 | #Constraints: 17658
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 16000 | #Constraints: 15893
391.16/392.25 c #Conflicts: 17000 | #Constraints: 16893
391.16/392.25 c #Conflicts: 18000 | #Constraints: 17893
391.16/392.25 c INPROCESSING
391.16/392.25 c GARBAGE COLLECT
391.16/392.25 c #Conflicts: 19000 | #Constraints: 15905
994.50/997.07 c #Conflicts: 20000 | #Constraints: 16905
994.50/997.07 c #Conflicts: 21000 | #Constraints: 17905
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 22000 | #Constraints: 15736
994.50/997.07 c #Conflicts: 23000 | #Constraints: 16736
994.50/997.07 c #Conflicts: 24000 | #Constraints: 17736
994.50/997.07 c #Conflicts: 25000 | #Constraints: 18736
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 26000 | #Constraints: 16333
994.50/997.07 c #Conflicts: 27000 | #Constraints: 17333
994.50/997.07 c #Conflicts: 28000 | #Constraints: 18333
994.50/997.07 c #Conflicts: 29000 | #Constraints: 19333
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 30000 | #Constraints: 16725
994.50/997.07 c #Conflicts: 31000 | #Constraints: 17725
994.50/997.07 c #Conflicts: 32000 | #Constraints: 18725
994.50/997.07 c #Conflicts: 33000 | #Constraints: 19725
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 34000 | #Constraints: 16933
994.50/997.07 c #Conflicts: 35000 | #Constraints: 17933
994.50/997.07 c #Conflicts: 36000 | #Constraints: 18933
994.50/997.07 c #Conflicts: 37000 | #Constraints: 19933
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 38000 | #Constraints: 16952
994.50/997.07 c #Conflicts: 39000 | #Constraints: 17952
994.50/997.07 c #Conflicts: 40000 | #Constraints: 18952
994.50/997.07 c #Conflicts: 41000 | #Constraints: 19952
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 42000 | #Constraints: 16733
994.50/997.07 c #Conflicts: 43000 | #Constraints: 17733
994.50/997.07 c #Conflicts: 44000 | #Constraints: 18733
994.50/997.07 c #Conflicts: 45000 | #Constraints: 19733
994.50/997.07 c #Conflicts: 46000 | #Constraints: 20733
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 47000 | #Constraints: 17342
994.50/997.07 c #Conflicts: 48000 | #Constraints: 18342
994.50/997.07 c #Conflicts: 49000 | #Constraints: 19342
994.50/997.07 c #Conflicts: 50000 | #Constraints: 20342
994.50/997.07 c #Conflicts: 51000 | #Constraints: 21342
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 52000 | #Constraints: 17744
994.50/997.07 c #Conflicts: 53000 | #Constraints: 18744
994.50/997.07 c #Conflicts: 54000 | #Constraints: 19744
994.50/997.07 c #Conflicts: 55000 | #Constraints: 20744
994.50/997.07 c #Conflicts: 56000 | #Constraints: 21744
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 57000 | #Constraints: 17950
994.50/997.07 c #Conflicts: 58000 | #Constraints: 18950
994.50/997.07 c #Conflicts: 59000 | #Constraints: 19950
994.50/997.07 c #Conflicts: 60000 | #Constraints: 20950
994.50/997.07 c #Conflicts: 61000 | #Constraints: 21950
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 62000 | #Constraints: 17939
994.50/997.07 c #Conflicts: 63000 | #Constraints: 18939
994.50/997.07 c #Conflicts: 64000 | #Constraints: 19939
994.50/997.07 c #Conflicts: 65000 | #Constraints: 20939
994.50/997.07 c #Conflicts: 66000 | #Constraints: 21939
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 67000 | #Constraints: 17746
994.50/997.07 c #Conflicts: 68000 | #Constraints: 18746
994.50/997.07 c #Conflicts: 69000 | #Constraints: 19746
994.50/997.07 c #Conflicts: 70000 | #Constraints: 20746
994.50/997.07 c #Conflicts: 71000 | #Constraints: 21746
994.50/997.07 c #Conflicts: 72000 | #Constraints: 22746
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 73000 | #Constraints: 18335
994.50/997.07 c #Conflicts: 74000 | #Constraints: 19335
994.50/997.07 c #Conflicts: 75000 | #Constraints: 20335
994.50/997.07 c #Conflicts: 76000 | #Constraints: 21335
994.50/997.07 c #Conflicts: 77000 | #Constraints: 22335
994.50/997.07 c #Conflicts: 78000 | #Constraints: 23335
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 79000 | #Constraints: 18733
994.50/997.07 c #Conflicts: 80000 | #Constraints: 19733
994.50/997.07 c #Conflicts: 81000 | #Constraints: 20733
994.50/997.07 c #Conflicts: 82000 | #Constraints: 21733
994.50/997.07 c #Conflicts: 83000 | #Constraints: 22733
994.50/997.07 c #Conflicts: 84000 | #Constraints: 23733
994.50/997.07 c INPROCESSING
994.50/997.07 c GARBAGE COLLECT
994.50/997.07 c #Conflicts: 85000 | #Constraints: 18952
994.50/997.07 c #Conflicts: 86000 | #Constraints: 19952
994.50/997.07 c #Conflicts: 87000 | #Constraints: 20952
994.50/997.07 c #Conflicts: 88000 | #Constraints: 21952
994.50/997.07 c #Conflicts: 89000 | #Constraints: 22952
1620.80/1624.82 c #Conflicts: 90000 | #Constraints: 23952
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 91000 | #Constraints: 18952
1620.80/1624.82 c #Conflicts: 92000 | #Constraints: 19952
1620.80/1624.82 c #Conflicts: 93000 | #Constraints: 20952
1620.80/1624.82 c #Conflicts: 94000 | #Constraints: 21952
1620.80/1624.82 c #Conflicts: 95000 | #Constraints: 22952
1620.80/1624.82 c #Conflicts: 96000 | #Constraints: 23952
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 97000 | #Constraints: 18769
1620.80/1624.82 c #Conflicts: 98000 | #Constraints: 19769
1620.80/1624.82 c #Conflicts: 99000 | #Constraints: 20769
1620.80/1624.82 c #Conflicts: 100000 | #Constraints: 21769
1620.80/1624.82 c #Conflicts: 101000 | #Constraints: 22769
1620.80/1624.82 c #Conflicts: 102000 | #Constraints: 23769
1620.80/1624.82 c #Conflicts: 103000 | #Constraints: 24769
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 104000 | #Constraints: 19339
1620.80/1624.82 c #Conflicts: 105000 | #Constraints: 20339
1620.80/1624.82 c #Conflicts: 106000 | #Constraints: 21339
1620.80/1624.82 c #Conflicts: 107000 | #Constraints: 22339
1620.80/1624.82 c #Conflicts: 108000 | #Constraints: 23339
1620.80/1624.82 c #Conflicts: 109000 | #Constraints: 24339
1620.80/1624.82 c #Conflicts: 110000 | #Constraints: 25339
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 111000 | #Constraints: 19780
1620.80/1624.82 c #Conflicts: 112000 | #Constraints: 20780
1620.80/1624.82 c #Conflicts: 113000 | #Constraints: 21780
1620.80/1624.82 c #Conflicts: 114000 | #Constraints: 22780
1620.80/1624.82 c #Conflicts: 115000 | #Constraints: 23780
1620.80/1624.82 c #Conflicts: 116000 | #Constraints: 24780
1620.80/1624.82 c #Conflicts: 117000 | #Constraints: 25780
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 118000 | #Constraints: 20053
1620.80/1624.82 c #Conflicts: 119000 | #Constraints: 21053
1620.80/1624.82 c #Conflicts: 120000 | #Constraints: 22053
1620.80/1624.82 c #Conflicts: 121000 | #Constraints: 23053
1620.80/1624.82 c #Conflicts: 122000 | #Constraints: 24053
1620.80/1624.82 c #Conflicts: 123000 | #Constraints: 25053
1620.80/1624.82 c #Conflicts: 124000 | #Constraints: 26053
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 125000 | #Constraints: 20053
1620.80/1624.82 c #Conflicts: 126000 | #Constraints: 21053
1620.80/1624.82 c #Conflicts: 127000 | #Constraints: 22053
1620.80/1624.82 c #Conflicts: 128000 | #Constraints: 23053
1620.80/1624.82 c #Conflicts: 129000 | #Constraints: 24053
1620.80/1624.82 c #Conflicts: 130000 | #Constraints: 25053
1620.80/1624.82 c #Conflicts: 131000 | #Constraints: 26053
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 132000 | #Constraints: 19895
1620.80/1624.82 c #Conflicts: 133000 | #Constraints: 20895
1620.80/1624.82 c #Conflicts: 134000 | #Constraints: 21895
1620.80/1624.82 c #Conflicts: 135000 | #Constraints: 22895
1620.80/1624.82 c #Conflicts: 136000 | #Constraints: 23895
1620.80/1624.82 c #Conflicts: 137000 | #Constraints: 24895
1620.80/1624.82 c #Conflicts: 138000 | #Constraints: 25895
1620.80/1624.82 c #Conflicts: 139000 | #Constraints: 26895
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 140000 | #Constraints: 20535
1620.80/1624.82 c #Conflicts: 141000 | #Constraints: 21535
1620.80/1624.82 c #Conflicts: 142000 | #Constraints: 22535
1620.80/1624.82 c #Conflicts: 143000 | #Constraints: 23535
1620.80/1624.82 c #Conflicts: 144000 | #Constraints: 24535
1620.80/1624.82 c #Conflicts: 145000 | #Constraints: 25535
1620.80/1624.82 c #Conflicts: 146000 | #Constraints: 26535
1620.80/1624.82 c #Conflicts: 147000 | #Constraints: 27535
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 148000 | #Constraints: 20979
1620.80/1624.82 c #Conflicts: 149000 | #Constraints: 21979
1620.80/1624.82 c #Conflicts: 150000 | #Constraints: 22979
1620.80/1624.82 c #Conflicts: 151000 | #Constraints: 23979
1620.80/1624.82 c #Conflicts: 152000 | #Constraints: 24979
1620.80/1624.82 c #Conflicts: 153000 | #Constraints: 25979
1620.80/1624.82 c #Conflicts: 154000 | #Constraints: 26979
1620.80/1624.82 c #Conflicts: 155000 | #Constraints: 27979
1620.80/1624.82 c INPROCESSING
1620.80/1624.82 c GARBAGE COLLECT
1620.80/1624.82 c #Conflicts: 156000 | #Constraints: 21223
1620.80/1624.82 c #Conflicts: 157000 | #Constraints: 22223
1620.80/1624.82 c #Conflicts: 158000 | #Constraints: 23223
1620.80/1624.82 c #Conflicts: 159000 | #Constraints: 24223
1620.80/1624.82 c #Conflicts: 160000 | #Constraints: 25223
1620.80/1624.82 c #Conflicts: 161000 | #Constraints: 26223
2229.53/2235.03 c #Conflicts: 162000 | #Constraints: 27223
2229.53/2235.03 c #Conflicts: 163000 | #Constraints: 28223
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 164000 | #Constraints: 21229
2229.53/2235.03 c #Conflicts: 165000 | #Constraints: 22229
2229.53/2235.03 c #Conflicts: 166000 | #Constraints: 23229
2229.53/2235.03 c #Conflicts: 167000 | #Constraints: 24229
2229.53/2235.03 c #Conflicts: 168000 | #Constraints: 25229
2229.53/2235.03 c #Conflicts: 169000 | #Constraints: 26229
2229.53/2235.03 c #Conflicts: 170000 | #Constraints: 27229
2229.53/2235.03 c #Conflicts: 171000 | #Constraints: 28229
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 172000 | #Constraints: 21007
2229.53/2235.03 c #Conflicts: 173000 | #Constraints: 22007
2229.53/2235.03 c #Conflicts: 174000 | #Constraints: 23007
2229.53/2235.03 c #Conflicts: 175000 | #Constraints: 24007
2229.53/2235.03 c #Conflicts: 176000 | #Constraints: 25007
2229.53/2235.03 c #Conflicts: 177000 | #Constraints: 26007
2229.53/2235.03 c #Conflicts: 178000 | #Constraints: 27007
2229.53/2235.03 c #Conflicts: 179000 | #Constraints: 28007
2229.53/2235.03 c #Conflicts: 180000 | #Constraints: 29007
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 181000 | #Constraints: 21603
2229.53/2235.03 c #Conflicts: 182000 | #Constraints: 22603
2229.53/2235.03 c #Conflicts: 183000 | #Constraints: 23603
2229.53/2235.03 c #Conflicts: 184000 | #Constraints: 24603
2229.53/2235.03 c #Conflicts: 185000 | #Constraints: 25603
2229.53/2235.03 c #Conflicts: 186000 | #Constraints: 26603
2229.53/2235.03 c #Conflicts: 187000 | #Constraints: 27603
2229.53/2235.03 c #Conflicts: 188000 | #Constraints: 28603
2229.53/2235.03 c #Conflicts: 189000 | #Constraints: 29603
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 190000 | #Constraints: 22011
2229.53/2235.03 c #Conflicts: 191000 | #Constraints: 23011
2229.53/2235.03 c #Conflicts: 192000 | #Constraints: 24011
2229.53/2235.03 c #Conflicts: 193000 | #Constraints: 25011
2229.53/2235.03 c #Conflicts: 194000 | #Constraints: 26011
2229.53/2235.03 c #Conflicts: 195000 | #Constraints: 27011
2229.53/2235.03 c #Conflicts: 196000 | #Constraints: 28011
2229.53/2235.03 c #Conflicts: 197000 | #Constraints: 29011
2229.53/2235.03 c #Conflicts: 198000 | #Constraints: 30011
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 199000 | #Constraints: 22217
2229.53/2235.03 c #Conflicts: 200000 | #Constraints: 23217
2229.53/2235.03 c #Conflicts: 201000 | #Constraints: 24217
2229.53/2235.03 c #Conflicts: 202000 | #Constraints: 25217
2229.53/2235.03 c #Conflicts: 203000 | #Constraints: 26217
2229.53/2235.03 c #Conflicts: 204000 | #Constraints: 27217
2229.53/2235.03 c #Conflicts: 205000 | #Constraints: 28217
2229.53/2235.03 c #Conflicts: 206000 | #Constraints: 29217
2229.53/2235.03 c #Conflicts: 207000 | #Constraints: 30217
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 208000 | #Constraints: 22214
2229.53/2235.03 c #Conflicts: 209000 | #Constraints: 23214
2229.53/2235.03 c #Conflicts: 210000 | #Constraints: 24214
2229.53/2235.03 c #Conflicts: 211000 | #Constraints: 25214
2229.53/2235.03 c #Conflicts: 212000 | #Constraints: 26214
2229.53/2235.03 c #Conflicts: 213000 | #Constraints: 27214
2229.53/2235.03 c #Conflicts: 214000 | #Constraints: 28214
2229.53/2235.03 c #Conflicts: 215000 | #Constraints: 29214
2229.53/2235.03 c #Conflicts: 216000 | #Constraints: 30214
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 217000 | #Constraints: 22013
2229.53/2235.03 c #Conflicts: 218000 | #Constraints: 23013
2229.53/2235.03 c #Conflicts: 219000 | #Constraints: 24013
2229.53/2235.03 c #Conflicts: 220000 | #Constraints: 25013
2229.53/2235.03 c #Conflicts: 221000 | #Constraints: 26013
2229.53/2235.03 c #Conflicts: 222000 | #Constraints: 27013
2229.53/2235.03 c #Conflicts: 223000 | #Constraints: 28013
2229.53/2235.03 c #Conflicts: 224000 | #Constraints: 29013
2229.53/2235.03 c #Conflicts: 225000 | #Constraints: 30013
2229.53/2235.03 c #Conflicts: 226000 | #Constraints: 31013
2229.53/2235.03 c INPROCESSING
2229.53/2235.03 c GARBAGE COLLECT
2229.53/2235.03 c #Conflicts: 227000 | #Constraints: 22613
2229.53/2235.03 c #Conflicts: 228000 | #Constraints: 23613
2229.53/2235.03 c #Conflicts: 229000 | #Constraints: 24613
2229.53/2235.03 c #Conflicts: 230000 | #Constraints: 25613
2229.53/2235.03 c #Conflicts: 231000 | #Constraints: 26613
2229.53/2235.03 c #Conflicts: 232000 | #Constraints: 27613
2229.53/2235.03 c #Conflicts: 233000 | #Constraints: 28613
2229.53/2235.03 c #Conflicts: 234000 | #Constraints: 29613
2229.53/2235.03 c #Conflicts: 235000 | #Constraints: 30613
3117.21/3125.03 c #Conflicts: 236000 | #Constraints: 31613
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 237000 | #Constraints: 23001
3117.21/3125.03 c #Conflicts: 238000 | #Constraints: 24001
3117.21/3125.03 c #Conflicts: 239000 | #Constraints: 25001
3117.21/3125.03 c #Conflicts: 240000 | #Constraints: 26001
3117.21/3125.03 c #Conflicts: 241000 | #Constraints: 27001
3117.21/3125.03 c #Conflicts: 242000 | #Constraints: 28001
3117.21/3125.03 c #Conflicts: 243000 | #Constraints: 29001
3117.21/3125.03 c #Conflicts: 244000 | #Constraints: 30001
3117.21/3125.03 c #Conflicts: 245000 | #Constraints: 31001
3117.21/3125.03 c #Conflicts: 246000 | #Constraints: 32001
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 247000 | #Constraints: 23204
3117.21/3125.03 c #Conflicts: 248000 | #Constraints: 24204
3117.21/3125.03 c #Conflicts: 249000 | #Constraints: 25204
3117.21/3125.03 c #Conflicts: 250000 | #Constraints: 26204
3117.21/3125.03 c #Conflicts: 251000 | #Constraints: 27204
3117.21/3125.03 c #Conflicts: 252000 | #Constraints: 28204
3117.21/3125.03 c #Conflicts: 253000 | #Constraints: 29204
3117.21/3125.03 c #Conflicts: 254000 | #Constraints: 30204
3117.21/3125.03 c #Conflicts: 255000 | #Constraints: 31204
3117.21/3125.03 c #Conflicts: 256000 | #Constraints: 32204
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 257000 | #Constraints: 23220
3117.21/3125.03 c #Conflicts: 258000 | #Constraints: 24220
3117.21/3125.03 c #Conflicts: 259000 | #Constraints: 25220
3117.21/3125.03 c #Conflicts: 260000 | #Constraints: 26220
3117.21/3125.03 c #Conflicts: 261000 | #Constraints: 27220
3117.21/3125.03 c #Conflicts: 262000 | #Constraints: 28220
3117.21/3125.03 c #Conflicts: 263000 | #Constraints: 29220
3117.21/3125.03 c #Conflicts: 264000 | #Constraints: 30220
3117.21/3125.03 c #Conflicts: 265000 | #Constraints: 31220
3117.21/3125.03 c #Conflicts: 266000 | #Constraints: 32220
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 267000 | #Constraints: 23015
3117.21/3125.03 c #Conflicts: 268000 | #Constraints: 24015
3117.21/3125.03 c #Conflicts: 269000 | #Constraints: 25015
3117.21/3125.03 c #Conflicts: 270000 | #Constraints: 26015
3117.21/3125.03 c #Conflicts: 271000 | #Constraints: 27015
3117.21/3125.03 c #Conflicts: 272000 | #Constraints: 28015
3117.21/3125.03 c #Conflicts: 273000 | #Constraints: 29015
3117.21/3125.03 c #Conflicts: 274000 | #Constraints: 30015
3117.21/3125.03 c #Conflicts: 275000 | #Constraints: 31015
3117.21/3125.03 c #Conflicts: 276000 | #Constraints: 32015
3117.21/3125.03 c #Conflicts: 277000 | #Constraints: 33015
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 278000 | #Constraints: 23614
3117.21/3125.03 c #Conflicts: 279000 | #Constraints: 24614
3117.21/3125.03 c #Conflicts: 280000 | #Constraints: 25614
3117.21/3125.03 c #Conflicts: 281000 | #Constraints: 26614
3117.21/3125.03 c #Conflicts: 282000 | #Constraints: 27614
3117.21/3125.03 c #Conflicts: 283000 | #Constraints: 28614
3117.21/3125.03 c #Conflicts: 284000 | #Constraints: 29614
3117.21/3125.03 c #Conflicts: 285000 | #Constraints: 30614
3117.21/3125.03 c #Conflicts: 286000 | #Constraints: 31614
3117.21/3125.03 c #Conflicts: 287000 | #Constraints: 32614
3117.21/3125.03 c #Conflicts: 288000 | #Constraints: 33614
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 289000 | #Constraints: 24000
3117.21/3125.03 c #Conflicts: 290000 | #Constraints: 25000
3117.21/3125.03 c #Conflicts: 291000 | #Constraints: 26000
3117.21/3125.03 c #Conflicts: 292000 | #Constraints: 27000
3117.21/3125.03 c #Conflicts: 293000 | #Constraints: 28000
3117.21/3125.03 c #Conflicts: 294000 | #Constraints: 29000
3117.21/3125.03 c #Conflicts: 295000 | #Constraints: 30000
3117.21/3125.03 c #Conflicts: 296000 | #Constraints: 31000
3117.21/3125.03 c #Conflicts: 297000 | #Constraints: 32000
3117.21/3125.03 c #Conflicts: 298000 | #Constraints: 33000
3117.21/3125.03 c #Conflicts: 299000 | #Constraints: 34000
3117.21/3125.03 c INPROCESSING
3117.21/3125.03 c GARBAGE COLLECT
3117.21/3125.03 c #Conflicts: 300000 | #Constraints: 24191
3117.21/3125.03 c #Conflicts: 301000 | #Constraints: 25191
3117.21/3125.03 c #Conflicts: 302000 | #Constraints: 26191
3117.21/3125.03 c #Conflicts: 303000 | #Constraints: 27191
3117.21/3125.03 c #Conflicts: 304000 | #Constraints: 28191
3117.21/3125.03 c #Conflicts: 305000 | #Constraints: 29191
3117.21/3125.03 c #Conflicts: 306000 | #Constraints: 30191
3117.21/3125.03 c #Conflicts: 307000 | #Constraints: 31191
3117.21/3125.03 c #Conflicts: 308000 | #Constraints: 32191
3117.21/3125.03 c #Conflicts: 309000 | #Constraints: 33191
3600.00/3609.15 c #Conflicts: 310000 | #Constraints: 34191
3600.00/3609.15 c INPROCESSING
3600.00/3609.15 c GARBAGE COLLECT
3600.00/3609.15 c #Conflicts: 311000 | #Constraints: 24157
3600.00/3609.15 c #Conflicts: 312000 | #Constraints: 25157
3600.00/3609.15 c #Conflicts: 313000 | #Constraints: 26157
3600.00/3609.15 c #Conflicts: 314000 | #Constraints: 27157
3600.00/3609.15 c #Conflicts: 315000 | #Constraints: 28157
3600.00/3609.15 c #Conflicts: 316000 | #Constraints: 29157
3600.00/3609.15 c #Conflicts: 317000 | #Constraints: 30157
3600.00/3609.15 c #Conflicts: 318000 | #Constraints: 31157
3600.00/3609.15 c #Conflicts: 319000 | #Constraints: 32157
3600.00/3609.15 c #Conflicts: 320000 | #Constraints: 33157
3600.00/3609.15 c #Conflicts: 321000 | #Constraints: 34157
3600.00/3609.15 c INPROCESSING
3600.00/3609.15 c GARBAGE COLLECT
3600.00/3609.15 c #Conflicts: 322000 | #Constraints: 23918
3600.00/3609.15 c #Conflicts: 323000 | #Constraints: 24918
3600.00/3609.15 c #Conflicts: 324000 | #Constraints: 25918
3600.00/3609.15 c #Conflicts: 325000 | #Constraints: 26918
3600.00/3609.15 c #Conflicts: 326000 | #Constraints: 27918
3600.00/3609.15 c #Conflicts: 327000 | #Constraints: 28918
3600.00/3609.15 c #Conflicts: 328000 | #Constraints: 29918
3600.00/3609.15 c #Conflicts: 329000 | #Constraints: 30918
3600.00/3609.15 c #Conflicts: 330000 | #Constraints: 31918
3600.00/3609.15 c #Conflicts: 331000 | #Constraints: 32918
3600.00/3609.15 c #Conflicts: 332000 | #Constraints: 33918
3600.00/3609.15 c #Conflicts: 333000 | #Constraints: 34918
3600.00/3609.15 c INPROCESSING
3600.00/3609.15 c GARBAGE COLLECT
3600.00/3609.15 c #Conflicts: 334000 | #Constraints: 24508
3600.00/3609.15 c #Conflicts: 335000 | #Constraints: 25508
3600.00/3609.15 c #Conflicts: 336000 | #Constraints: 26508
3600.00/3609.15 c #Conflicts: 337000 | #Constraints: 27508
3600.00/3609.15 c #Conflicts: 338000 | #Constraints: 28508
3600.00/3609.15 c #Conflicts: 339000 | #Constraints: 29508
3600.00/3609.15 c #Conflicts: 340000 | #Constraints: 30508
3600.00/3609.15 c #Conflicts: 341000 | #Constraints: 31508
3600.00/3609.15 c #Conflicts: 342000 | #Constraints: 32508
3600.00/3609.15 c #Conflicts: 343000 | #Constraints: 33508
3600.00/3609.15 c #Conflicts: 344000 | #Constraints: 34508
3600.00/3609.15 c #Conflicts: 345000 | #Constraints: 35508
3600.00/3609.15 c INPROCESSING
3600.00/3609.15 c GARBAGE COLLECT
3600.00/3609.15 c #Conflicts: 346000 | #Constraints: 24923
3600.00/3609.15 c #Conflicts: 347000 | #Constraints: 25923
3600.00/3609.15 c #Conflicts: 348000 | #Constraints: 26923
3600.00/3609.15 c #Conflicts: 349000 | #Constraints: 27923
3600.00/3609.15 c #Conflicts: 350000 | #Constraints: 28923
3600.00/3609.15 c #Conflicts: 351000 | #Constraints: 29923
3600.00/3609.15 c #Conflicts: 352000 | #Constraints: 30923
3600.00/3609.15 c #Conflicts: 353000 | #Constraints: 31923
3600.00/3609.15 c #Conflicts: 354000 | #Constraints: 32923
3600.00/3609.15 c #Conflicts: 355000 | #Constraints: 33923
3600.00/3609.15 c #Conflicts: 356000 | #Constraints: 34923
3600.00/3609.15 c Program interrupted by user.
3600.00/3609.15 c cpu time 3584.8 s
3600.00/3609.15 c deterministic time 294473367025 2.94e+11
3600.00/3609.15 c optimization time 114.774 s
3600.00/3609.15 c total solve time 3170.79 s
3600.00/3609.15 c core-guided solve time 3170.79 s
3600.00/3609.15 c propagation time 2067.69 s
3600.00/3609.15 c conflict analysis time 557.071 s
3600.00/3609.15 c propagations 151579443
3600.00/3609.15 c resolve steps 1119645
3600.00/3609.15 c decisions 14058439
3600.00/3609.15 c conflicts 356476
3600.00/3609.15 c restarts 851
3600.00/3609.15 c inprocessing phases 50
3600.00/3609.15 c input clauses 10281
3600.00/3609.15 c input cardinalities 1803
3600.00/3609.15 c input general constraints 105
3600.00/3609.15 c input average constraint length 96.53
3600.00/3609.15 c input average constraint degree 5.70
3600.00/3609.15 c learned clauses 26954
3600.00/3609.15 c learned cardinalities 2782
3600.00/3609.15 c learned general constraints 326768
3600.00/3609.15 c learned average constraint length 6517.53
3600.00/3609.15 c learned average constraint degree 148897.13
3600.00/3609.15 c watched constraints 43855
3600.00/3609.15 c counting constraints 283018
3600.00/3609.15 c gcd simplifications 2026
3600.00/3609.15 c detected cardinalities 8
3600.00/3609.15 c weakened non-implied lits 223281110
3600.00/3609.15 c weakened non-implying lits 7329
3600.00/3609.15 c original variables 10772
3600.00/3609.15 c clausal propagations 11957706
3600.00/3609.15 c cardinality propagations 9103267
3600.00/3609.15 c watched propagations 1551067
3600.00/3609.15 c counting propagations 122765766
3600.00/3609.15 c watch lookups 40719019928
3600.00/3609.15 c watch backjump lookups 40699379012
3600.00/3609.15 c watch checks 27981959466
3600.00/3609.15 c propagation checks 180533905860
3600.00/3609.15 c constraint additions 4207470519
3600.00/3609.15 c trail pops 165994357
3600.00/3609.15 c formula constraints 12046
3600.00/3609.15 c learned constraints 356504
3600.00/3609.15 c bound constraints 105
3600.00/3609.15 c core-guided constraints 38
3600.00/3609.15 c encountered formula constraints 873294
3600.00/3609.15 c encountered learned constraints 602596
3600.00/3609.15 c encountered bound constraints 177
3600.00/3609.15 c encountered core-guided constraints 54
3600.00/3609.15 c LP total time 0 s
3600.00/3609.15 c LP solve time 0 s
3600.00/3609.15 c LP constraints added 0
3600.00/3609.15 c LP constraints removed 0
3600.00/3609.15 c LP pivots internal 0
3600.00/3609.15 c LP pivots root 0
3600.00/3609.15 c LP calls 0
3600.00/3609.15 c LP optimalities 0
3600.00/3609.15 c LP no pivot count 0
3600.00/3609.15 c LP infeasibilities 0
3600.00/3609.15 c LP valid Farkas constraints 0
3600.00/3609.15 c LP learned Farkas constraints 0
3600.00/3609.15 c LP basis resets 0
3600.00/3609.15 c LP cycling count 0
3600.00/3609.15 c LP singular count 0
3600.00/3609.15 c LP no primal count 0
3600.00/3609.15 c LP no farkas count 0
3600.00/3609.15 c LP other issue count 0
3600.00/3609.15 c LP Gomory cuts 0
3600.00/3609.15 c LP learned cuts 0
3600.00/3609.15 c LP deleted cuts 0
3600.00/3609.15 c LP encountered Gomory constraints 0
3600.00/3609.15 c LP encountered Farkas constraints 0
3600.00/3609.15 c LP encountered learned Farkas constraints 0
3600.00/3609.15 c CG auxiliary variables introduced 38
3600.00/3609.15 c CG solutions found 0
3600.00/3609.15 c CG cores constructed 104
3600.00/3609.15 c CG core cardinality constraints returned 10
3600.00/3609.15 c CG unit cores 0
3600.00/3609.15 c CG single cores 102
3600.00/3609.15 c CG blocks removed during cardinality reduction 0
3600.00/3609.15 c CG first core best 0
3600.00/3609.15 c CG decision core best 2
3600.00/3609.15 c CG core reduction tie 0
3600.00/3609.15 c CG core degree average 1.12
3600.00/3609.15 c CG core slack average 5.15
3600.00/3609.15 c CG exhausted 0
3600.00/3609.15 c CG exhaust time 0 s
3600.00/3609.15 c CG trimmed 0
3600.00/3609.15 c CG trim time 0.000746 s
3600.00/3609.15 c CG minimized 0
3600.00/3609.15 c CG minimize time 0 s
3600.00/3609.15 c CG am1 prop time 0.00641 s
3600.00/3609.15 c CG # am1s reformulated 38
3600.00/3609.15 c CG lower bound derived from am1s 138
3600.00/3609.15 c CG # clausal cores 96
3600.00/3609.15 c CG # cardinality cores 10
3600.00/3609.15 c CG # pb cores 0
3600.00/3609.15 c CG # pb reforms 0
3600.00/3609.15 c CG # cores discarded because of pb reform 0
3600.00/3609.15 d LOWERBOUND 490
3600.00/3609.15 d NCORES 104
3600.00/3609.15 d NPBCORES 0
3600.00/3609.15 d NPBREFORM 0
3600.00/3609.15 d NTRIMMED 0
3600.00/3609.15 d NEXHAUSTED 0
3600.00/3609.15 d NAM1S 38
3600.00/3609.15 d AM1LB 138
3600.00/3609.15 c [Papilo Statistics]
3600.00/3609.15 c prepro time 0.0180032s
3600.00/3609.15 c # tsx applied 3
3600.00/3609.15 c # tsx conflicts 0
3600.00/3609.15 c # bound changes 3
3600.00/3609.15 c # side changes 0
3600.00/3609.15 c # coef changes 0
3600.00/3609.15 c # rounds 2
3600.00/3609.15 c # deted vars 4
3600.00/3609.15 c # deted constrs 5
3600.00/3609.15 c # consecutive rounds of only bound changes 0
3600.10/3609.23 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 (60571 MiB free)
memory of node 1: 64465 MiB (61249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484437-1751279907/watcher-4484437-1751279907 -o /tmp/evaluation-result-4484437-1751279907/solver-4484437-1751279907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40747 --watchdog 3760 mixed-bag HOME/instance-4484437-1751279907.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40857, runsolver pid=40854
[startup+0.100064 s]*
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124709804/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=132792 memory=59260 CPUtime=0.09 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 13142 0 0 0 7 2 0 0 20 0 1 0 43669365 135979008 14815 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 33198 14815 4000 2842 0 14892 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 132792 KiB
Current children cumulated memory: 59260 KiB
[startup+0.205747 s]*
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124677548/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=162464 memory=87100 CPUtime=0.2 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 21718 0 0 0 16 4 0 0 20 0 1 0 43669365 166363136 21775 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 40616 21775 4064 2842 0 22310 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 162464 KiB
Current children cumulated memory: 87100 KiB
[startup+0.305564 s]*
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124669736/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=169296 memory=93372 CPUtime=0.29 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 23248 0 0 0 25 4 0 0 20 0 1 0 43669365 173359104 23343 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 42324 23343 4096 2842 0 24018 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 169296 KiB
Current children cumulated memory: 93372 KiB
[startup+0.700211 s]
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124669736/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=170560 memory=94524 CPUtime=0.68 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 23531 0 0 0 64 4 0 0 20 0 1 0 43669365 174653440 23631 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 42640 23631 4128 2842 0 24334 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 170560 KiB
Current children cumulated memory: 94524 KiB
[startup+1.50018 s]
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124669736/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=171428 memory=95292 CPUtime=1.48 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 23726 0 0 0 144 4 0 0 20 0 1 0 43669365 175542272 23823 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 42857 23823 4128 2842 0 24551 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 171428 KiB
Current children cumulated memory: 95292 KiB
[startup+3.10541 s]
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124627804/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=227576 memory=133496 CPUtime=3.08 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 34711 0 0 0 302 6 0 0 20 0 1 0 43669365 233037824 33374 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 56894 33374 4288 2842 0 38588 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 227576 KiB
Current children cumulated memory: 133496 KiB
[startup+6.30017 s]
/proc/loadavg: 4.03 3.83 4.69 5/266 40858
/proc/meminfo: memFree=124606132/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=236532 memory=142200 CPUtime=6.26 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 36908 0 0 0 620 6 0 0 20 0 1 0 43669365 242208768 35550 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 59133 35550 4288 2842 0 40827 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 236532 KiB
Current children cumulated memory: 142200 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 3.85 4.69 5/266 40858
/proc/meminfo: memFree=124572704/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=289624 memory=193780 CPUtime=12.64 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 40070 0 0 0 1257 7 0 0 20 0 1 0 43669365 296574976 48445 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 72406 48445 4320 2842 0 54100 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 289624 KiB
Current children cumulated memory: 193780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 3.86 4.68 5/266 40858
/proc/meminfo: memFree=124516844/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=320768 memory=223604 CPUtime=25.41 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 47702 0 0 0 2532 9 0 0 20 0 1 0 43669365 328466432 55901 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 80192 55901 4320 2842 0 61886 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 320768 KiB
Current children cumulated memory: 223604 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 3.87 4.66 5/265 40859
/proc/meminfo: memFree=124499584/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=333528 memory=236788 CPUtime=50.94 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 50971 0 0 0 5085 9 0 0 20 0 1 0 43669365 341532672 59197 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 83382 59197 4320 2842 0 65076 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 333528 KiB
Current children cumulated memory: 236788 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.91 4.63 5/264 40867
/proc/meminfo: memFree=124434504/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=390440 memory=289140 CPUtime=102 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 64099 0 0 0 10187 13 0 0 20 0 1 0 43669365 399810560 72285 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 97610 72285 4320 2842 0 79304 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 390440 KiB
Current children cumulated memory: 289140 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.94 4.59 5/264 40869
/proc/meminfo: memFree=124298868/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=390496 memory=291040 CPUtime=161.84 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 66978 0 0 0 16171 13 0 0 20 0 1 0 43669365 399867904 72760 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 97624 72760 4320 2842 0 79318 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 390496 KiB
Current children cumulated memory: 291040 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.97 4.56 5/264 40871
/proc/meminfo: memFree=124058056/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=390496 memory=291040 CPUtime=221.68 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 66996 0 0 0 22155 13 0 0 20 0 1 0 43669365 399867904 72760 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 97624 72760 4320 2842 0 79318 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 390496 KiB
Current children cumulated memory: 291040 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.99 4.53 5/263 40874
/proc/meminfo: memFree=123872636/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=390496 memory=291040 CPUtime=281.53 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 67000 0 0 0 28140 13 0 0 20 0 1 0 43669365 399867904 72760 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 97624 72760 4320 2842 0 79318 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 390496 KiB
Current children cumulated memory: 291040 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.01 4.50 5/263 40876
/proc/meminfo: memFree=123442600/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=765896 memory=604004 CPUtime=341.38 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 96651 0 0 0 34037 101 0 0 20 0 1 0 43669365 784277504 151001 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 191474 151001 4480 2842 0 173168 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 765896 KiB
Current children cumulated memory: 604004 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.04 4.47 5/263 40878
/proc/meminfo: memFree=123024756/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=1276244 memory=909496 CPUtime=401.23 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 150086 0 0 0 39966 157 0 0 20 0 1 0 43669365 1306873856 227374 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 319061 227374 4480 2842 0 300755 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1276244 KiB
Current children cumulated memory: 909496 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.04 4.45 5/263 40880
/proc/meminfo: memFree=122812780/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=1309548 memory=1038804 CPUtime=461.1 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 165538 0 0 0 45898 212 0 0 20 0 1 0 43669365 1340977152 259701 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 327387 259701 4480 2842 0 309081 0
################
# More data... #
################
Current children cumulated memory: 3020976 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/263 41054
/proc/meminfo: memFree=118991048/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4112704 memory=3147172 CPUtime=2915.06 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 534325 0 0 0 290178 1328 0 0 20 0 1 0 43669365 4211408896 786793 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1028176 786793 4480 2842 0 1009870 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 4112704 KiB
Current children cumulated memory: 3147172 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/264 41058
/proc/meminfo: memFree=118829480/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4127736 memory=3174860 CPUtime=2974.87 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 537721 0 0 0 296138 1349 0 0 20 0 1 0 43669365 4226801664 793715 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1031934 793715 4480 2842 0 1013628 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 4127736 KiB
Current children cumulated memory: 3174860 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/264 41060
/proc/meminfo: memFree=118837080/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4139332 memory=3222740 CPUtime=3034.71 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 541528 0 0 0 302101 1370 0 0 20 0 1 0 43669365 4238675968 805685 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1034833 805685 4480 2842 0 1016527 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 4139332 KiB
Current children cumulated memory: 3222740 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/265 41068
/proc/meminfo: memFree=118736404/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4139332 memory=3222996 CPUtime=3094.56 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 541586 0 0 0 308066 1390 0 0 20 0 1 0 43669365 4238675968 805749 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1034833 805749 4480 2842 0 1016527 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 4139332 KiB
Current children cumulated memory: 3222996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/265 41070
/proc/meminfo: memFree=118575736/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4170820 memory=3314940 CPUtime=3154.41 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 550356 0 0 0 314031 1410 0 0 20 0 1 0 43669365 4270919680 828735 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1042705 828735 4480 2842 0 1024399 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 4170820 KiB
Current children cumulated memory: 3314940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/265 41072
/proc/meminfo: memFree=118439020/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193276 memory=3416544 CPUtime=3214.25 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560421 0 0 0 320000 1425 0 0 20 0 1 0 43669365 4293914624 854136 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048319 854136 4480 2842 0 1030013 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 4193276 KiB
Current children cumulated memory: 3416544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/264 41074
/proc/meminfo: memFree=118387388/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3274.1 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560506 0 0 0 325971 1439 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/263 41076
/proc/meminfo: memFree=118343760/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3333.94 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560507 0 0 0 331936 1458 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/264 41170
/proc/meminfo: memFree=123679696/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3393.77 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560507 0 0 0 337906 1471 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/263 41172
/proc/meminfo: memFree=123380220/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3453.6 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560540 0 0 0 343875 1485 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3453.6 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/263 41174
/proc/meminfo: memFree=123297212/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3513.44 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560591 0 0 0 349842 1502 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/263 41176
/proc/meminfo: memFree=123172968/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3573.26 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560601 0 0 0 355810 1516 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.10 4.11 4.13 5/263 41177
/proc/meminfo: memFree=123138220/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=4193608 memory=3416800 CPUtime=3600 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560610 0 0 0 358476 1524 0 0 20 0 1 0 43669365 4294254592 854200 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 1048402 854200 4480 2842 0 1030096 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4193608 KiB
Current children cumulated memory: 3416800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.26 s]
# the end of solver process 40857 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.81 s, system=15.3531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 4.10 4.11 4.13 5/263 41177
/proc/meminfo: memFree=123138220/131250000 swapFree=33010684/33010684
[pid=40857] ppid=40854 vsize=2945324 memory=2373496 CPUtime=3600.1 cores=4,6
/proc/40857/stat : 40857 (mixed-bag) R 40854 40857 40736 0 -1 4194304 560620 0 0 0 358481 1529 0 0 20 0 1 0 43669365 3016011776 593374 18446744073709551615 4235264 15874749 140731804178608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 51531776 140731804187036 140731804187113 140731804187113 140731804192715 0
/proc/40857/statm: 736331 593374 4608 2842 0 718025 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2945324 KiB
Current children cumulated memory: 2373496 KiB
Child status: 0
Real time (s): 3609.26
CPU time (s): 3600.16
CPU user time (s): 3584.81
CPU system time (s): 15.3531
CPU usage (%): 99.748
Max. virtual memory (cumulated for all children) (KiB): 4193608
Max. memory (cumulated for all children) (KiB): 3416800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.81
system time used= 15.3531
maximum resident set size= 3417312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560638
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= 158
involuntary context switches= 2941
# summary of solver processes directly reported to runsolver:
# pid: 40857
# total CPU time (s): 3600.16
# total CPU user time (s): 3584.81
# total CPU system time (s): 15.3531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81147 second user time and 15.8855 second system time
The end
Begin job on nodeC026 at 2025-06-30 12:38:27
IDJOB=4484437
IDBENCH=146657
IDSOLVER=3340
FILE ID=nodeC026/4484437-1751279907
RUNJOBID= nodeC026-1751279693-40747
SLURM_JOB_ID= 9594219
Free space on /tmp= 432992 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484437-1751279907/watcher-4484437-1751279907 -o /tmp/evaluation-result-4484437-1751279907/solver-4484437-1751279907 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751279693-40747 --watchdog 3760 mixed-bag HOME/instance-4484437-1751279907.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=1119648545
nodeC026 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.603
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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.59
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 : 3529.554
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.59
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 : 3592.617
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.900
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.59
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.517
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.59
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 : 3608.542
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.59
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 : 3638.771
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124745336 kB
MemAvailable: 125831124 kB
Buffers: 3280 kB
Cached: 1882648 kB
SwapCached: 0 kB
Active: 4240304 kB
Inactive: 1624824 kB
Active(anon): 3997280 kB
Inactive(anon): 0 kB
Active(file): 243024 kB
Inactive(file): 1624824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15884 kB
Writeback: 16 kB
AnonPages: 3979232 kB
Mapped: 137084 kB
Shmem: 18080 kB
KReclaimable: 114360 kB
Slab: 201596 kB
SReclaimable: 114360 kB
SUnreclaim: 87236 kB
KernelStack: 4320 kB
PageTables: 11328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5052696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 653312 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC026 at 2025-06-30 13:38:37