| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | UNSAT | 501.336 | 502.818 |
| Name | PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
| MD5SUM | 76d76a6e9366419c7968e5756d4a65f6 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.727783 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 20605 |
| Total number of constraints | 59851 |
| Number of constraints which are clauses | 58675 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 41 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 134 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
26.18/26.37 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529780-1752253260.opb 26.18/26.37 c Solving mode: decision 26.18/26.37 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 26.18/26.37 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 26.18/26.37 c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints 26.18/26.37 c presolving: 26.18/26.37 c (round 1, fast) 16 del vars, 7 del conss, 0 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 0 upgd conss, 0 impls, 39560 clqs 26.18/26.37 c (round 2, medium) 732 del vars, 35 del conss, 0 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 0 upgd conss, 0 impls, 38153 clqs 26.18/26.37 c (round 3, fast) 732 del vars, 1446 del conss, 0 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 0 upgd conss, 0 impls, 38155 clqs 26.18/26.37 c (round 4, exhaustive) 732 del vars, 1447 del conss, 0 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 58402 upgd conss, 0 impls, 38155 clqs 26.18/26.37 c (round 5, exhaustive) 733 del vars, 58664 del conss, 19071 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 58402 upgd conss, 0 impls, 38153 clqs 26.18/26.37 c (round 6, exhaustive) 906 del vars, 58664 del conss, 19071 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 58403 upgd conss, 0 impls, 54383 clqs 26.18/26.37 c (round 7, fast) 929 del vars, 58687 del conss, 19071 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 54338 clqs 26.18/26.37 c (round 8, exhaustive) 967 del vars, 58737 del conss, 19121 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 54261 clqs 26.18/26.37 c (round 9, exhaustive) 968 del vars, 58784 del conss, 19159 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 54278 clqs 26.18/26.37 c (round 10, fast) 968 del vars, 58820 del conss, 19159 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 54279 clqs 26.18/26.37 c (round 11, exhaustive) 996 del vars, 58851 del conss, 19160 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 54209 clqs 26.18/26.37 c (round 12, exhaustive) 1153 del vars, 58854 del conss, 19161 add conss, 1 chg bounds, 588 chg sides, 1199 chg coeffs, 58440 upgd conss, 0 impls, 56252 clqs 26.18/26.37 c (round 13, exhaustive) 1175 del vars, 58872 del conss, 19165 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 58441 upgd conss, 0 impls, 56200 clqs 26.18/26.37 c (round 14, exhaustive) 1175 del vars, 58888 del conss, 19180 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 58441 upgd conss, 0 impls, 56203 clqs 26.18/26.37 c (round 15, exhaustive) 1337 del vars, 58889 del conss, 19180 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 58441 upgd conss, 0 impls, 61079 clqs 26.18/26.37 c (round 16, fast) 1488 del vars, 59040 del conss, 19180 add conss, 1 chg bounds, 588 chg sides, 1364 chg coeffs, 58454 upgd conss, 0 impls, 60808 clqs 26.18/26.37 c (round 17, exhaustive) 1497 del vars, 59062 del conss, 19202 add conss, 1 chg bounds, 588 chg sides, 1364 chg coeffs, 58454 upgd conss, 0 impls, 60781 clqs 26.18/26.37 c (round 18, exhaustive) 1497 del vars, 59074 del conss, 19211 add conss, 1 chg bounds, 588 chg sides, 1364 chg coeffs, 58454 upgd conss, 0 impls, 60799 clqs 26.18/26.37 c (round 19, exhaustive) 1524 del vars, 59077 del conss, 19211 add conss, 1 chg bounds, 588 chg sides, 1364 chg coeffs, 58454 upgd conss, 0 impls, 125267 clqs 26.18/26.37 c (round 20, exhaustive) 1554 del vars, 59135 del conss, 19266 add conss, 1 chg bounds, 588 chg sides, 1367 chg coeffs, 58457 upgd conss, 0 impls, 125086 clqs 26.18/26.37 c (round 21, exhaustive) 1554 del vars, 59162 del conss, 19293 add conss, 1 chg bounds, 588 chg sides, 1367 chg coeffs, 58457 upgd conss, 0 impls, 125117 clqs 26.18/26.37 c (round 22, exhaustive) 1710 del vars, 59163 del conss, 19293 add conss, 1 chg bounds, 588 chg sides, 1367 chg coeffs, 58457 upgd conss, 0 impls, 147544 clqs 26.18/26.37 c (round 23, exhaustive) 1728 del vars, 59196 del conss, 19313 add conss, 1 chg bounds, 588 chg sides, 1380 chg coeffs, 58459 upgd conss, 0 impls, 147412 clqs 26.18/26.37 c (round 24, exhaustive) 2034 del vars, 59201 del conss, 19318 add conss, 1 chg bounds, 588 chg sides, 1380 chg coeffs, 58459 upgd conss, 0 impls, 146608 clqs 26.18/26.37 c (round 25, fast) 2058 del vars, 59225 del conss, 19318 add conss, 1 chg bounds, 588 chg sides, 1404 chg coeffs, 58463 upgd conss, 0 impls, 146441 clqs 26.18/26.37 c (round 26, exhaustive) 2058 del vars, 59251 del conss, 19344 add conss, 1 chg bounds, 588 chg sides, 1404 chg coeffs, 58463 upgd conss, 0 impls, 146444 clqs 26.18/26.37 c (round 27, exhaustive) 2159 del vars, 59259 del conss, 19344 add conss, 1 chg bounds, 588 chg sides, 1404 chg coeffs, 58463 upgd conss, 0 impls, 145308 clqs 26.18/26.37 c (round 28, fast) 2249 del vars, 59352 del conss, 19344 add conss, 1 chg bounds, 588 chg sides, 1494 chg coeffs, 58472 upgd conss, 0 impls, 144998 clqs 26.18/26.37 c (round 29, exhaustive) 2283 del vars, 59358 del conss, 19350 add conss, 1 chg bounds, 588 chg sides, 1494 chg coeffs, 58472 upgd conss, 0 impls, 148841 clqs 26.18/26.37 c (round 30, fast) 2304 del vars, 59380 del conss, 19350 add conss, 1 chg bounds, 588 chg sides, 1515 chg coeffs, 58487 upgd conss, 0 impls, 148769 clqs 26.18/26.37 c (round 31, exhaustive) 2475 del vars, 59381 del conss, 19351 add conss, 1 chg bounds, 588 chg sides, 1515 chg coeffs, 58487 upgd conss, 0 impls, 147420 clqs 26.18/26.37 c (round 32, fast) 2498 del vars, 59404 del conss, 19351 add conss, 1 chg bounds, 588 chg sides, 1538 chg coeffs, 58495 upgd conss, 0 impls, 147276 clqs 26.18/26.37 c (round 33, exhaustive) 2548 del vars, 59404 del conss, 19351 add conss, 1 chg bounds, 588 chg sides, 1538 chg coeffs, 58495 upgd conss, 0 impls, 148853 clqs 26.18/26.37 c (round 34, fast) 2580 del vars, 59436 del conss, 19351 add conss, 1 chg bounds, 588 chg sides, 1570 chg coeffs, 58511 upgd conss, 0 impls, 148566 clqs 26.18/26.37 c (round 35, exhaustive) 2682 del vars, 59438 del conss, 19353 add conss, 1 chg bounds, 588 chg sides, 1570 chg coeffs, 58511 upgd conss, 0 impls, 148286 clqs 26.18/26.37 c (round 36, exhaustive) 2815 del vars, 59446 del conss, 19353 add conss, 1 chg bounds, 588 chg sides, 1578 chg coeffs, 58512 upgd conss, 0 impls, 148182 clqs 26.18/26.37 c (round 37, exhaustive) 2850 del vars, 59456 del conss, 19353 add conss, 1 chg bounds, 588 chg sides, 1588 chg coeffs, 58513 upgd conss, 0 impls, 149115 clqs 26.18/26.37 c (round 38, exhaustive) 2850 del vars, 59478 del conss, 19372 add conss, 1 chg bounds, 588 chg sides, 1589 chg coeffs, 58513 upgd conss, 0 impls, 149115 clqs 26.18/26.37 c (11.3s) probing: 1000/19873 (5.0%) - 1478 fixings, 115 aggregations, 1397103 implications, 0 bound changes 26.18/26.37 c (round 39, exhaustive) 2883 del vars, 59480 del conss, 19372 add conss, 1 chg bounds, 588 chg sides, 1589 chg coeffs, 58513 upgd conss, 0 impls, 148280 clqs 26.18/26.37 c (round 40, fast) 2890 del vars, 59496 del conss, 19372 add conss, 1 chg bounds, 588 chg sides, 1605 chg coeffs, 58529 upgd conss, 0 impls, 148259 clqs 26.18/26.37 c (17.6s) probing: 2000/19873 (10.1%) - 1491 fixings, 129 aggregations, 2065930 implications, 0 bound changes 26.18/26.37 c (round 41, exhaustive) 2916 del vars, 59503 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1605 chg coeffs, 58529 upgd conss, 0 impls, 148221 clqs 26.18/26.37 c (round 42, fast) 2916 del vars, 59516 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1618 chg coeffs, 58542 upgd conss, 0 impls, 148222 clqs 26.18/26.37 c (round 43, exhaustive) 2948 del vars, 59516 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1618 chg coeffs, 58542 upgd conss, 0 impls, 147747 clqs 26.18/26.37 c (round 44, fast) 2948 del vars, 59532 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1634 chg coeffs, 58558 upgd conss, 0 impls, 147747 clqs 26.18/26.37 c (round 45, exhaustive) 2976 del vars, 59532 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1634 chg coeffs, 58558 upgd conss, 0 impls, 148391 clqs 26.18/26.37 c (round 46, fast) 2976 del vars, 59546 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1648 chg coeffs, 58572 upgd conss, 0 impls, 148391 clqs 26.18/26.37 c (22.8s) probing: 3000/19873 (15.1%) - 1530 fixings, 168 aggregations, 2929067 implications, 0 bound changes 54.19/54.41 c (round 47, exhaustive) 3002 del vars, 59546 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1648 chg coeffs, 58572 upgd conss, 0 impls, 148102 clqs 54.19/54.41 c (round 48, fast) 3002 del vars, 59558 del conss, 19379 add conss, 1 chg bounds, 588 chg sides, 1660 chg coeffs, 58584 upgd conss, 0 impls, 148102 clqs 54.19/54.41 c (27.6s) probing: 4000/19873 (20.1%) - 1546 fixings, 186 aggregations, 3693254 implications, 0 bound changes 54.19/54.41 c (round 49, exhaustive) 3030 del vars, 59560 del conss, 19381 add conss, 1 chg bounds, 588 chg sides, 1660 chg coeffs, 58584 upgd conss, 0 impls, 148137 clqs 54.19/54.41 c (round 50, fast) 3030 del vars, 59575 del conss, 19381 add conss, 1 chg bounds, 588 chg sides, 1674 chg coeffs, 58598 upgd conss, 0 impls, 148138 clqs 54.19/54.41 c (32.5s) probing: 5000/19873 (25.2%) - 1568 fixings, 203 aggregations, 4571989 implications, 0 bound changes 54.19/54.41 c (round 51, exhaustive) 3056 del vars, 59576 del conss, 19382 add conss, 1 chg bounds, 588 chg sides, 1674 chg coeffs, 58598 upgd conss, 0 impls, 148922 clqs 54.19/54.41 c (round 52, fast) 3064 del vars, 59590 del conss, 19382 add conss, 1 chg bounds, 588 chg sides, 1688 chg coeffs, 58608 upgd conss, 0 impls, 148859 clqs 54.19/54.41 c (round 53, exhaustive) 3091 del vars, 59592 del conss, 19384 add conss, 1 chg bounds, 588 chg sides, 1688 chg coeffs, 58608 upgd conss, 0 impls, 149056 clqs 54.19/54.41 c (round 54, fast) 3109 del vars, 59610 del conss, 19384 add conss, 1 chg bounds, 588 chg sides, 1706 chg coeffs, 58617 upgd conss, 0 impls, 148908 clqs 54.19/54.41 c (round 55, exhaustive) 3135 del vars, 59610 del conss, 19384 add conss, 1 chg bounds, 588 chg sides, 1706 chg coeffs, 58617 upgd conss, 0 impls, 149068 clqs 54.19/54.41 c (round 56, fast) 3151 del vars, 59626 del conss, 19384 add conss, 1 chg bounds, 588 chg sides, 1722 chg coeffs, 58625 upgd conss, 0 impls, 148952 clqs 54.19/54.41 c (round 57, exhaustive) 3178 del vars, 59628 del conss, 19386 add conss, 1 chg bounds, 588 chg sides, 1722 chg coeffs, 58625 upgd conss, 0 impls, 149036 clqs 54.19/54.41 c (round 58, fast) 3194 del vars, 59644 del conss, 19386 add conss, 1 chg bounds, 588 chg sides, 1738 chg coeffs, 58633 upgd conss, 0 impls, 148870 clqs 54.19/54.41 c (round 59, exhaustive) 3222 del vars, 59647 del conss, 19389 add conss, 1 chg bounds, 588 chg sides, 1738 chg coeffs, 58633 upgd conss, 0 impls, 149000 clqs 54.19/54.41 c (round 60, fast) 3240 del vars, 59666 del conss, 19389 add conss, 1 chg bounds, 588 chg sides, 1756 chg coeffs, 58642 upgd conss, 0 impls, 148826 clqs 54.19/54.41 c (round 61, exhaustive) 3267 del vars, 59667 del conss, 19390 add conss, 1 chg bounds, 588 chg sides, 1756 chg coeffs, 58642 upgd conss, 0 impls, 148982 clqs 54.19/54.41 c (round 62, fast) 3285 del vars, 59683 del conss, 19390 add conss, 1 chg bounds, 588 chg sides, 1772 chg coeffs, 58650 upgd conss, 0 impls, 148794 clqs 54.19/54.41 c (round 63, exhaustive) 3310 del vars, 59686 del conss, 19393 add conss, 1 chg bounds, 588 chg sides, 1772 chg coeffs, 58650 upgd conss, 0 impls, 149058 clqs 54.19/54.41 c (round 64, fast) 3326 del vars, 59702 del conss, 19393 add conss, 1 chg bounds, 588 chg sides, 1788 chg coeffs, 58658 upgd conss, 0 impls, 148921 clqs 54.19/54.41 c (round 65, exhaustive) 3353 del vars, 59703 del conss, 19394 add conss, 1 chg bounds, 588 chg sides, 1788 chg coeffs, 58658 upgd conss, 0 impls, 148992 clqs 54.19/54.41 c (round 66, fast) 3373 del vars, 59721 del conss, 19394 add conss, 1 chg bounds, 588 chg sides, 1806 chg coeffs, 58667 upgd conss, 0 impls, 148771 clqs 54.19/54.41 c (round 67, exhaustive) 3398 del vars, 59721 del conss, 19394 add conss, 1 chg bounds, 588 chg sides, 1806 chg coeffs, 58667 upgd conss, 0 impls, 149086 clqs 54.19/54.41 c (round 68, fast) 3414 del vars, 59737 del conss, 19394 add conss, 1 chg bounds, 588 chg sides, 1822 chg coeffs, 58675 upgd conss, 0 impls, 148945 clqs 54.19/54.41 c (round 69, exhaustive) 3441 del vars, 59738 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1822 chg coeffs, 58675 upgd conss, 0 impls, 149077 clqs 54.19/54.41 c (round 70, fast) 3461 del vars, 59754 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1838 chg coeffs, 58684 upgd conss, 0 impls, 148924 clqs 54.19/54.41 c (round 71, exhaustive) 3488 del vars, 59754 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1838 chg coeffs, 58684 upgd conss, 0 impls, 149083 clqs 54.19/54.41 c (round 72, fast) 3508 del vars, 59772 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1856 chg coeffs, 58693 upgd conss, 0 impls, 148942 clqs 54.19/54.41 c (round 73, exhaustive) 3536 del vars, 59772 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1856 chg coeffs, 58693 upgd conss, 0 impls, 148980 clqs 54.19/54.41 c (round 74, fast) 3554 del vars, 59790 del conss, 19395 add conss, 1 chg bounds, 588 chg sides, 1874 chg coeffs, 58702 upgd conss, 0 impls, 148785 clqs 54.19/54.41 c (round 75, exhaustive) 3581 del vars, 59791 del conss, 19396 add conss, 1 chg bounds, 588 chg sides, 1874 chg coeffs, 58702 upgd conss, 0 impls, 149002 clqs 54.19/54.41 c (round 76, fast) 3601 del vars, 59809 del conss, 19396 add conss, 1 chg bounds, 588 chg sides, 1892 chg coeffs, 58711 upgd conss, 0 impls, 148800 clqs 54.19/54.41 c (round 77, exhaustive) 3626 del vars, 59809 del conss, 19396 add conss, 1 chg bounds, 588 chg sides, 1892 chg coeffs, 58711 upgd conss, 0 impls, 149076 clqs 54.19/54.41 c (round 78, fast) 3640 del vars, 59823 del conss, 19396 add conss, 1 chg bounds, 588 chg sides, 1906 chg coeffs, 58718 upgd conss, 0 impls, 148946 clqs 54.19/54.41 c (round 79, exhaustive) 3665 del vars, 59827 del conss, 19400 add conss, 1 chg bounds, 588 chg sides, 1906 chg coeffs, 58718 upgd conss, 0 impls, 149077 clqs 54.19/54.41 c (round 80, fast) 3681 del vars, 59843 del conss, 19400 add conss, 1 chg bounds, 588 chg sides, 1922 chg coeffs, 58726 upgd conss, 0 impls, 148935 clqs 54.19/54.41 c (46.4s) probing: 6000/19873 (30.2%) - 1927 fixings, 220 aggregations, 7577229 implications, 0 bound changes 54.19/54.41 c (round 81, exhaustive) 3707 del vars, 59844 del conss, 19401 add conss, 1 chg bounds, 588 chg sides, 1922 chg coeffs, 58726 upgd conss, 0 impls, 149022 clqs 54.19/54.41 c (round 82, fast) 3723 del vars, 59860 del conss, 19401 add conss, 1 chg bounds, 588 chg sides, 1938 chg coeffs, 58734 upgd conss, 0 impls, 148844 clqs 54.19/54.41 c (round 83, exhaustive) 3750 del vars, 59862 del conss, 19403 add conss, 1 chg bounds, 588 chg sides, 1938 chg coeffs, 58734 upgd conss, 0 impls, 149017 clqs 54.19/54.41 c (round 84, fast) 3766 del vars, 59876 del conss, 19403 add conss, 1 chg bounds, 588 chg sides, 1952 chg coeffs, 58741 upgd conss, 0 impls, 148870 clqs 54.19/54.41 c (round 85, exhaustive) 3792 del vars, 59882 del conss, 19409 add conss, 1 chg bounds, 588 chg sides, 1952 chg coeffs, 58741 upgd conss, 0 impls, 149053 clqs 54.19/54.41 c (round 86, fast) 3808 del vars, 59898 del conss, 19409 add conss, 1 chg bounds, 588 chg sides, 1968 chg coeffs, 58749 upgd conss, 0 impls, 148914 clqs 54.19/54.41 c (round 87, exhaustive) 3835 del vars, 59900 del conss, 19411 add conss, 1 chg bounds, 588 chg sides, 1968 chg coeffs, 58749 upgd conss, 0 impls, 149049 clqs 54.19/54.41 c (round 88, fast) 3855 del vars, 59918 del conss, 19411 add conss, 1 chg bounds, 588 chg sides, 1986 chg coeffs, 58758 upgd conss, 0 impls, 148898 clqs 54.19/54.41 c (round 89, exhaustive) 3882 del vars, 59918 del conss, 19411 add conss, 1 chg bounds, 588 chg sides, 1986 chg coeffs, 58758 upgd conss, 0 impls, 148987 clqs 54.19/54.41 c (round 90, fast) 3896 del vars, 59932 del conss, 19411 add conss, 1 chg bounds, 588 chg sides, 2000 chg coeffs, 58765 upgd conss, 0 impls, 148809 clqs 54.19/54.41 c (round 91, exhaustive) 3896 del vars, 59940 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2000 chg coeffs, 58765 upgd conss, 0 impls, 148816 clqs 54.19/54.41 c (round 92, exhaustive) 3923 del vars, 59940 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2000 chg coeffs, 58765 upgd conss, 0 impls, 149048 clqs 54.19/54.41 c (round 93, fast) 3943 del vars, 59958 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2018 chg coeffs, 58774 upgd conss, 0 impls, 148764 clqs 54.19/54.41 c (round 94, exhaustive) 3969 del vars, 59958 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2018 chg coeffs, 58774 upgd conss, 0 impls, 149028 clqs 54.19/54.41 c (round 95, fast) 3983 del vars, 59972 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2032 chg coeffs, 58782 upgd conss, 0 impls, 148927 clqs 436.51/437.87 c (round 96, exhaustive) 4010 del vars, 59972 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2032 chg coeffs, 58782 upgd conss, 0 impls, 149035 clqs 436.51/437.87 c (round 97, fast) 4028 del vars, 59990 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2050 chg coeffs, 58791 upgd conss, 0 impls, 148876 clqs 436.51/437.87 c (round 98, exhaustive) 4055 del vars, 59990 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2050 chg coeffs, 58791 upgd conss, 0 impls, 149037 clqs 436.51/437.87 c (round 99, fast) 4075 del vars, 60006 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2065 chg coeffs, 58800 upgd conss, 0 impls, 148876 clqs 436.51/437.87 c (58.4s) probing: 7000/19873 (35.2%) - 2152 fixings, 239 aggregations, 9455667 implications, 0 bound changes 436.51/437.87 c (round 100, exhaustive) 4100 del vars, 60006 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2065 chg coeffs, 58800 upgd conss, 0 impls, 149010 clqs 436.51/437.87 c (round 101, fast) 4112 del vars, 60019 del conss, 19419 add conss, 1 chg bounds, 588 chg sides, 2077 chg coeffs, 58806 upgd conss, 0 impls, 148882 clqs 436.51/437.87 c (63.9s) probing: 8000/19873 (40.3%) - 2168 fixings, 246 aggregations, 10075114 implications, 0 bound changes 436.51/437.87 c (round 102, exhaustive) 4137 del vars, 60025 del conss, 19425 add conss, 1 chg bounds, 588 chg sides, 2077 chg coeffs, 58806 upgd conss, 0 impls, 149015 clqs 436.51/437.87 c (round 103, fast) 4147 del vars, 60036 del conss, 19425 add conss, 1 chg bounds, 588 chg sides, 2087 chg coeffs, 58816 upgd conss, 0 impls, 148961 clqs 436.51/437.87 c (round 104, exhaustive) 4344 del vars, 60040 del conss, 19429 add conss, 1 chg bounds, 588 chg sides, 2087 chg coeffs, 58816 upgd conss, 0 impls, 147437 clqs 436.51/437.87 c (round 105, fast) 4362 del vars, 60064 del conss, 19429 add conss, 1 chg bounds, 588 chg sides, 2105 chg coeffs, 58818 upgd conss, 0 impls, 147302 clqs 436.51/437.87 c (round 106, exhaustive) 4388 del vars, 60064 del conss, 19429 add conss, 1 chg bounds, 588 chg sides, 2105 chg coeffs, 58818 upgd conss, 0 impls, 148782 clqs 436.51/437.87 c (round 107, fast) 4398 del vars, 60075 del conss, 19429 add conss, 1 chg bounds, 588 chg sides, 2114 chg coeffs, 58827 upgd conss, 0 impls, 148632 clqs 436.51/437.87 c (round 108, exhaustive) 4398 del vars, 60083 del conss, 19437 add conss, 1 chg bounds, 588 chg sides, 2114 chg coeffs, 58827 upgd conss, 0 impls, 148641 clqs 436.51/437.87 c (69.5s) probing: 9000/19873 (45.3%) - 2390 fixings, 257 aggregations, 10804298 implications, 0 bound changes 436.51/437.87 c (79.2s) probing: 10000/19873 (50.3%) - 2392 fixings, 257 aggregations, 12881541 implications, 0 bound changes 436.51/437.87 c (89.1s) probing: 11000/19873 (55.4%) - 2399 fixings, 257 aggregations, 15029295 implications, 0 bound changes 436.51/437.87 c (98.5s) probing: 12000/19873 (60.4%) - 2400 fixings, 258 aggregations, 17021492 implications, 0 bound changes 436.51/437.87 c (108.2s) probing: 13000/19873 (65.4%) - 2406 fixings, 258 aggregations, 19088789 implications, 0 bound changes 436.51/437.87 c (round 109, exhaustive) 4423 del vars, 60083 del conss, 19437 add conss, 1 chg bounds, 588 chg sides, 2114 chg coeffs, 58827 upgd conss, 0 impls, 149085 clqs 436.51/437.87 c (round 110, fast) 4441 del vars, 60103 del conss, 19437 add conss, 1 chg bounds, 588 chg sides, 2134 chg coeffs, 58847 upgd conss, 0 impls, 148941 clqs 436.51/437.87 c (118.4s) probing: 14000/19873 (70.4%) - 2408 fixings, 259 aggregations, 21277272 implications, 0 bound changes 436.51/437.87 c (128.4s) probing: 15000/19873 (75.5%) - 2413 fixings, 259 aggregations, 23453000 implications, 0 bound changes 436.51/437.87 c (137.7s) probing: 16000/19873 (80.5%) - 2417 fixings, 259 aggregations, 25412383 implications, 0 bound changes 436.51/437.87 c (round 111, exhaustive) 4466 del vars, 60104 del conss, 19438 add conss, 1 chg bounds, 588 chg sides, 2134 chg coeffs, 58847 upgd conss, 0 impls, 148491 clqs 436.51/437.87 c (round 112, fast) 4474 del vars, 60143 del conss, 19438 add conss, 1 chg bounds, 588 chg sides, 2143 chg coeffs, 58871 upgd conss, 0 impls, 148422 clqs 436.51/437.87 c (round 113, exhaustive) 4499 del vars, 60143 del conss, 19438 add conss, 1 chg bounds, 588 chg sides, 2143 chg coeffs, 58871 upgd conss, 0 impls, 148044 clqs 436.51/437.87 c (round 114, fast) 4499 del vars, 60193 del conss, 19438 add conss, 1 chg bounds, 588 chg sides, 2143 chg coeffs, 58896 upgd conss, 0 impls, 148044 clqs 436.51/437.87 c (146.5s) probing: 17000/19873 (85.5%) - 2458 fixings, 260 aggregations, 27027538 implications, 0 bound changes 436.51/437.87 c (146.5s) probing: 17015/19873 (85.6%) - 2458 fixings, 260 aggregations, 27027538 implications, 0 bound changes 436.51/437.87 c (146.5s) probing aborted: 50/50 successive totally useless probings 436.51/437.87 c (146.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 436.51/437.87 c (146.5s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02) 436.51/437.87 c dynamic symmetry handling statistics: 436.51/437.87 c orbitopal reduction: no components 436.51/437.87 c orbital reduction: no components 436.51/437.87 c lexicographic reduction: 1 permutations with support sizes 1076 436.51/437.87 c handled 1 out of 1 symmetry components 436.51/437.87 c presolving (115 rounds: 115 fast, 68 medium, 67 exhaustive): 436.51/437.87 c 4500 deleted vars, 60194 deleted constraints, 19439 added constraints, 1 tightened bounds, 0 added holes, 588 changed sides, 2143 changed coefficients 436.51/437.87 c 0 implications, 149266 cliques 436.51/437.87 c presolved problem has 16135 variables (16135 bin, 0 int, 0 impl, 0 cont) and 17109 constraints 436.51/437.87 c 1176 constraints of type <knapsack> 436.51/437.87 c 704 constraints of type <setppc> 436.51/437.87 c 15227 constraints of type <and> 436.51/437.87 c 2 constraints of type <logicor> 436.51/437.87 c transformed objective value is always integral (scale: 1) 436.51/437.87 c Presolving Time: 146.50 436.51/437.87 c 436.51/437.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 436.51/437.87 c 147s| 1 | 0 | 2133 | - | 363M | 0 | 16k| 17k| 32k| 0 | 0 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 150s| 1 | 0 | 9325 | - | 373M | 0 | 16k| 17k| 32k| 609 | 1 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 153s| 1 | 0 | 13250 | - | 380M | 0 | 16k| 17k| 33k|1384 | 2 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 155s| 1 | 0 | 17898 | - | 392M | 0 | 16k| 17k| 34k|2143 | 3 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 158s| 1 | 0 | 22579 | - | 402M | 0 | 16k| 17k| 35k|3000 | 4 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 162s| 1 | 0 | 28202 | - | 415M | 0 | 16k| 17k| 36k|3701 | 5 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 166s| 1 | 0 | 33612 | - | 422M | 0 | 16k| 17k| 36k|4426 | 6 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 172s| 1 | 0 | 40687 | - | 435M | 0 | 16k| 17k| 37k|5094 | 7 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 177s| 1 | 0 | 47105 | - | 449M | 0 | 16k| 17k| 38k|5811 | 8 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 183s| 1 | 0 | 53503 | - | 464M | 0 | 16k| 17k| 38k|6418 | 9 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 189s| 1 | 0 | 59428 | - | 475M | 0 | 16k| 17k| 39k|6957 | 10 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 194s| 1 | 0 | 65581 | - | 481M | 0 | 16k| 17k| 39k|7499 | 11 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 224s| 1 | 2 | 78291 | - | 481M | 0 | 16k| 17k| 39k|7499 | 11 | 64 | 19 | 0.000000e+00 | -- | Inf | unknown 436.51/437.87 c 352s| 100 | 16 |230882 |1669.7 | 523M | 27 | 16k| 17k| 36k| 14k| 2 | 155 | 19 | 0.000000e+00 | -- | Inf | 12.50% 436.51/437.87 c 393s| 200 | 29 |334274 |1350.2 | 550M | 27 | 16k| 17k| 36k| 21k| 2 | 577 | 19 | 0.000000e+00 | -- | Inf | 14.40% 436.51/437.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 436.51/437.87 c 423s| 300 | 44 |402947 |1128.3 | 581M | 27 | 16k| 18k| 0 | 31k| 0 | 974 | 19 | 0.000000e+00 | -- | Inf | 16.99% 498.82/500.32 c 438s| 400 | 45 |430487 | 914.6 | 619M | 27 | 16k| 18k| 37k| 37k| 2 |1324 | 19 | 0.000000e+00 | -- | Inf | 19.83% 498.82/500.32 c 461s| 500 | 37 |499590 | 869.8 | 625M | 27 | 16k| 18k| 37k| 46k| 2 |1767 | 19 | 0.000000e+00 | -- | Inf | 23.51% 498.82/500.32 c 486s| 600 | 25 |576044 | 852.2 | 626M | 27 | 16k| 19k| 0 | 55k| 0 |2056 | 19 | 0.000000e+00 | -- | Inf | 26.83% 498.82/500.32 c 498.82/500.32 c SCIP Status : solving was interrupted [time limit reached] 498.82/500.32 c Solving Time (sec) : 500.00 498.82/500.32 c Solving Nodes : 646 498.82/500.32 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.82/500.32 c Dual Bound : +0.00000000000000e+00 498.82/500.32 c Gap : infinite 498.82/500.32 c ---------------------------------------------------------------------- 498.82/500.32 c dual bound: 0.0 -> 0 498.82/500.32 c primal bound: 1e+20 -> 100000000000000000000 498.82/500.32 c scip-goal-lb: 0 498.82/500.32 c scip-goal-ub: 100000000000000000000 498.82/500.32 c writing output to: HOME/tmp5knfp7p9.opb 498.82/500.32 c appending fixed variable constraints 498.82/500.32 c scip-fixed vars: 16.41% (2648/16135) 498.82/500.32 c ---------------------------------------------------------------------- 498.82/500.32 c executing external solver: HOME/naps-1.03a6 498.82/500.32 c ---------------------------------------------------------------------- 498.82/500.32 c command: HOME/naps-1.03a6 HOME/tmp5knfp7p9.opb 498.82/500.33 c NaPS 1.03a6. 498.82/500.33 c Input file name: HOME/tmp5knfp7p9.opb 501.00/502.51 c s UNSATISFIABLE 501.00/502.51 c _____________________________________________________________________________ 501.00/502.51 c std/band forms : 1176,0 501.00/502.51 c 2cl/3cl ITE-codings : 57121,0 501.00/502.51 c BDD/srt/adr Max costs : 130,0,0 501.00/502.51 c BDDraw/bin/mul/srt/adr: 0,0,1176,0,0 501.00/502.51 c BDD nodes : 95964 501.00/502.51 c Es1/CC detections : 0,0 501.00/502.51 c CC sort : 0 501.00/502.51 c SAT/UNSAT calls : 0,1 501.00/502.51 c regenrated variables : 0 501.00/502.51 c eliminated fixed lits : 4928 501.00/502.51 c goal lit flips : 0 501.00/502.51 c goal stages : 0 501.00/502.51 c goal shrink : 0 501.00/502.51 c goal coeff separations: 0 501.00/502.51 c restarts : 626 501.00/502.51 c conflicts : 6510 (3072 /sec) 501.00/502.51 c decisions : 35233 (16627 /sec) 501.00/502.51 c propagations : 5308471 (2505151 /sec) 501.00/502.51 c inspects : 0 (0 /sec) 501.00/502.51 c CPU time (solving tm) : 2.119 s (1.269 s, SAT 0 s, UNSAT 1.269 s) 501.00/502.51 c Time for Opt-base : 0.1845 s 501.00/502.51 c Steps for Opt-base : 492624 501.00/502.51 c Time for BDD coding : 0.4414 s 501.00/502.51 c Time for srt coding : 0 s 501.00/502.51 c _____________________________________________________________________________ 501.00/502.51 s UNSATISFIABLE
ERROR: no interpretation found !
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: 63665 MiB (60387 MiB free)
memory of node 1: 64507 MiB (63844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529780-1752253260/watcher-4529780-1752253260 -o /tmp/evaluation-result-4529780-1752253260/solver-4529780-1752253260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111201 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529780-1752253260.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=111321, runsolver pid=111318
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.33 1.36 2.37 4/265 111334
/proc/meminfo: memFree=127210144/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1187224 memory=32048 CPUtime=0.07 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 3767 0 0 0 6 1 0 0 20 0 1 0 141005870 1215717376 8012 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 296806 8012 4884 1 0 268828 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191416 KiB
Current children cumulated memory: 35120 KiB
[startup+0.20584 s]*
/proc/loadavg: 1.33 1.36 2.37 5/265 111334
/proc/meminfo: memFree=127218156/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1228212 memory=79536 CPUtime=0.17 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 13157 0 0 0 15 2 0 0 20 0 1 0 141005870 1257689088 19884 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 307053 19884 7604 1 0 278411 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1232404 KiB
Current children cumulated memory: 82608 KiB
[startup+0.305816 s]*
/proc/loadavg: 1.33 1.36 2.37 5/265 111334
/proc/meminfo: memFree=127178124/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1287212 memory=139696 CPUtime=0.27 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 28028 0 0 0 23 4 0 0 20 0 1 0 141005870 1318105088 34924 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 321803 34924 7796 1 0 293161 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1291404 KiB
Current children cumulated memory: 142768 KiB
[startup+0.700209 s]
/proc/loadavg: 1.33 1.36 2.37 4/265 111334
/proc/meminfo: memFree=127129740/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1361020 memory=210480 CPUtime=0.66 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 45654 0 0 0 59 7 0 0 20 0 1 0 141005870 1393684480 52620 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 340255 52620 7892 1 0 311613 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1365212 KiB
Current children cumulated memory: 213552 KiB
[startup+1.50021 s]
/proc/loadavg: 1.33 1.36 2.37 4/265 111341
/proc/meminfo: memFree=127073664/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1380112 memory=230576 CPUtime=1.45 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 50834 0 0 0 137 8 0 0 20 0 1 0 141005870 1413234688 57644 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 345028 57644 7924 1 0 316386 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1384304 KiB
Current children cumulated memory: 233648 KiB
[startup+3.10609 s]
/proc/loadavg: 1.33 1.36 2.37 5/270 111386
/proc/meminfo: memFree=126605584/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1391612 memory=241456 CPUtime=3.06 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 53604 0 0 0 297 9 0 0 20 0 1 0 141005870 1425010688 60364 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 347903 60364 7924 1 0 319261 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1395804 KiB
Current children cumulated memory: 244528 KiB
[startup+6.30021 s]
/proc/loadavg: 1.54 1.41 2.38 5/265 111387
/proc/meminfo: memFree=126549764/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1391612 memory=241456 CPUtime=6.24 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 53631 0 0 0 615 9 0 0 20 0 1 0 141005870 1425010688 60364 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 347903 60364 7924 1 0 319261 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1395804 KiB
Current children cumulated memory: 244528 KiB
[startup+12.7002 s]
/proc/loadavg: 1.82 1.47 2.40 5/270 111435
/proc/meminfo: memFree=125072556/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1392728 memory=242480 CPUtime=12.62 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 53839 0 0 0 1253 9 0 0 20 0 1 0 141005870 1426153472 60620 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 348182 60620 7956 1 0 319540 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1396920 KiB
Current children cumulated memory: 245552 KiB
[startup+25.5002 s]
/proc/loadavg: 2.23 1.58 2.42 4/266 111543
/proc/meminfo: memFree=125272968/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1392728 memory=242480 CPUtime=25.38 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 53842 0 0 0 2529 9 0 0 20 0 1 0 141005870 1426153472 60620 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 348182 60620 7956 1 0 319540 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1396920 KiB
Current children cumulated memory: 245552 KiB
[startup+51.1061 s]
/proc/loadavg: 2.83 1.77 2.46 5/270 111975
/proc/meminfo: memFree=124898448/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1393752 memory=243632 CPUtime=50.91 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 54125 0 0 0 5082 9 0 0 20 0 1 0 141005870 1427202048 60908 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 348438 60908 7956 1 0 319796 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1397944 KiB
Current children cumulated memory: 246704 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.15 2.55 5/270 111977
/proc/meminfo: memFree=124427452/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1395916 memory=245808 CPUtime=101.94 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 54665 0 0 0 10185 9 0 0 20 0 1 0 141005870 1429417984 61452 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 348979 61452 7956 1 0 320337 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1400108 KiB
Current children cumulated memory: 248880 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.50 2.65 5/270 111979
/proc/meminfo: memFree=124138636/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1747656 memory=541776 CPUtime=161.76 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 115265 0 0 0 16157 19 0 0 20 0 1 0 141005870 1789599744 135444 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 436914 135444 8148 1 0 408272 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1751848 KiB
Current children cumulated memory: 544848 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.79 2.74 5/270 111987
/proc/meminfo: memFree=124008376/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1878508 memory=657556 CPUtime=221.6 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 143717 0 0 0 22136 24 0 0 20 0 1 0 141005870 1923592192 164389 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 469627 164389 8148 1 0 440985 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1882700 KiB
Current children cumulated memory: 660628 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.04 2.84 6/271 111989
/proc/meminfo: memFree=123973640/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1886412 memory=666772 CPUtime=281.43 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 146041 0 0 0 28119 24 0 0 20 0 1 0 141005870 1931685888 166693 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 471603 166693 8148 1 0 442961 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1890604 KiB
Current children cumulated memory: 669844 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.24 2.92 5/267 111990
/proc/meminfo: memFree=123958116/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1886412 memory=666772 CPUtime=341.28 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 146041 0 0 0 34104 24 0 0 20 0 1 0 141005870 1931685888 166693 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 471603 166693 8148 1 0 442961 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 1890604 KiB
Current children cumulated memory: 669844 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.41 3.00 5/267 111992
/proc/meminfo: memFree=123957204/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1886412 memory=668052 CPUtime=401.12 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 146363 0 0 0 40087 25 0 0 20 0 1 0 141005870 1931685888 167013 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 471603 167013 8148 1 0 442961 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1890604 KiB
Current children cumulated memory: 671124 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.53 3.07 5/267 111994
/proc/meminfo: memFree=123937452/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1927260 memory=673940 CPUtime=460.94 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 147837 0 0 0 46069 25 0 0 20 0 1 0 141005870 1973514240 168485 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 481815 168485 8148 1 0 453173 0
Current children cumulated CPU time: 460.94 s
Current children cumulated vsize: 1931452 KiB
Current children cumulated memory: 677012 KiB
[startup+502.818 s]
# the end of solver process 111321 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=500.954 s, system=0.38116 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.15 3.59 3.10 5/267 111995
/proc/meminfo: memFree=123938328/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1928400 memory=675220 CPUtime=484.96 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 148155 0 0 0 48471 25 0 0 20 0 1 0 141005870 1974681600 168805 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 482100 168805 8148 1 0 453458 0
Current children cumulated CPU time: 484.96 s
Current children cumulated vsize: 1932592 KiB
Current children cumulated memory: 678292 KiB
[startup+492.8 s]
/proc/loadavg: 4.14 3.60 3.11 5/267 111995
/proc/meminfo: memFree=123938096/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1928400 memory=675220 CPUtime=491.34 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 148168 0 0 0 49109 25 0 0 20 0 1 0 141005870 1974681600 168805 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 482100 168805 8148 1 0 453458 0
Current children cumulated CPU time: 491.34 s
Current children cumulated vsize: 1932592 KiB
Current children cumulated memory: 678292 KiB
[startup+499.2 s]
/proc/loadavg: 4.12 3.61 3.12 5/268 111996
/proc/meminfo: memFree=123849324/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1928400 memory=675220 CPUtime=497.72 cores=5,7
/proc/111326/stat : 111326 (python3) R 111321 111321 110042 0 -1 4194304 148178 0 0 0 49747 25 0 0 20 0 1 0 141005870 1974681600 168805 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 482100 168805 8148 1 0 453458 0
Current children cumulated CPU time: 497.72 s
Current children cumulated vsize: 1932592 KiB
Current children cumulated memory: 678292 KiB
[startup+500.8 s]
/proc/loadavg: 4.12 3.61 3.12 5/268 111996
/proc/meminfo: memFree=123849828/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1939664 memory=686868 CPUtime=498.86 cores=5,7
/proc/111326/stat : 111326 (python3) S 111321 111321 110042 0 -1 4194304 151213 0 0 0 49859 27 0 0 20 0 1 0 141005870 1986215936 171717 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 484916 171717 8180 1 0 456274 0
Current children cumulated CPU time: 498.86 s
Current children cumulated vsize: 1943856 KiB
Current children cumulated memory: 689940 KiB
[startup+501.6 s]
/proc/loadavg: 4.12 3.61 3.12 5/269 111997
/proc/meminfo: memFree=123820784/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1939664 memory=686868 CPUtime=498.86 cores=5,7
/proc/111326/stat : 111326 (python3) S 111321 111321 110042 0 -1 4194304 151213 0 0 0 49859 27 0 0 20 0 1 0 141005870 1986215936 171717 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 484916 171717 8180 1 0 456274 0
[pid=111997] ppid=111326 vsize=81536 memory=70792 CPUtime=1.25 cores=5,7
/proc/111997/stat : 111997 (naps-1.03a6) R 111326 111997 111997 0 -1 4194304 17102 0 0 0 122 3 0 0 20 0 1 0 141055902 83492864 17698 18446744073709551615 4198400 7047149 140727903303840 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 40673280 140727903308175 140727903308273 140727903308273 140727903313865 0
/proc/111997/statm: 20384 17698 544 696 0 19545 0
Current children cumulated CPU time: 500.11 s
Current children cumulated vsize: 2025392 KiB
Current children cumulated memory: 760732 KiB
[startup+502.4 s]
/proc/loadavg: 4.12 3.61 3.12 5/269 111997
/proc/meminfo: memFree=123758896/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
[pid=111326] ppid=111321 vsize=1939664 memory=686868 CPUtime=498.86 cores=5,7
/proc/111326/stat : 111326 (python3) S 111321 111321 110042 0 -1 4194304 151213 0 0 0 49859 27 0 0 20 0 1 0 141005870 1986215936 171717 18446744073709551615 93998027407360 93998027407737 140729451720624 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93998027419032 93998027419652 93998049730560 140729451723087 140729451723296 140729451723296 140729451728871 0
/proc/111326/statm: 484916 171717 8180 1 0 456274 0
[pid=111997] ppid=111326 vsize=63996 memory=57048 CPUtime=2.04 cores=5,7
/proc/111997/stat : 111997 (naps-1.03a6) R 111326 111997 111997 0 -1 4194304 18008 0 0 0 200 4 0 0 20 0 1 0 141055902 65531904 14262 18446744073709551615 4198400 7047149 140727903303840 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 40673280 140727903308175 140727903308273 140727903308273 140727903313865 0
/proc/111997/statm: 15999 14262 544 696 0 15160 0
Current children cumulated CPU time: 500.9 s
Current children cumulated vsize: 2007852 KiB
Current children cumulated memory: 746988 KiB
[startup+502.8 s]
/proc/loadavg: 4.12 3.61 3.12 5/269 111997
/proc/meminfo: memFree=123758896/131250000 swapFree=33010416/33010684
[pid=111321] ppid=111318 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/111321/stat : 111321 (scip-naps-1.00a) S 111318 111321 110042 0 -1 4194304 255 340 0 0 0 0 0 0 20 0 1 0 141005869 4292608 768 18446744073709551615 94899545784320 94899546678853 140728129401360 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94899546917904 94899546965648 94899566751744 140728129403291 140728129403390 140728129403390 140728129408994 0
/proc/111321/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 502.818
CPU time (s): 501.336
CPU user time (s): 500.954
CPU system time (s): 0.38116
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 2025392
Max. memory (cumulated for all children) (KiB): 760732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.954
system time used= 0.38116
maximum resident set size= 686868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 364
involuntary context switches= 762
# summary of solver processes directly reported to runsolver:
# pid: 111321
# total CPU time (s): 501.336
# total CPU user time (s): 500.954
# total CPU system time (s): 0.38116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.966747 second user time and 2.48267 second system time
The end
Begin job on nodeC027 at 2025-07-11 19:01:00 IDJOB=4529780 IDBENCH=147727 IDSOLVER=3388 FILE ID=nodeC027/4529780-1752253260 RUNJOBID= nodeC027-1752253254-111201 SLURM_JOB_ID= 9682567 Free space on /tmp= 431160 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529780-1752253260/watcher-4529780-1752253260 -o /tmp/evaluation-result-4529780-1752253260/solver-4529780-1752253260 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111201 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529780-1752253260.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 76d76a6e9366419c7968e5756d4a65f6 RANDOM SEED=2006667843 nodeC027 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.726 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.29 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.582 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.832 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.29 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 : 3575.974 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.29 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.646 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.29 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.636 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.663 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.29 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 : 3599.637 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127124532 kB MemAvailable: 128911964 kB Buffers: 2488 kB Cached: 2579956 kB SwapCached: 12 kB Active: 1431440 kB Inactive: 1969732 kB Active(anon): 834012 kB Inactive(anon): 2792 kB Active(file): 597428 kB Inactive(file): 1966940 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25824 kB Writeback: 0 kB AnonPages: 821852 kB Mapped: 127964 kB Shmem: 18056 kB KReclaimable: 124204 kB Slab: 216724 kB SReclaimable: 124204 kB SUnreclaim: 92520 kB KernelStack: 4320 kB PageTables: 5008 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 4380104 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431136 MiB End job on nodeC027 at 2025-07-11 19:09:23