Trace number 4491621

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1UNSAT 502.048 503.754

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
MD5SUM76d76a6e9366419c7968e5756d4a65f6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.727783
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20605
Total number of constraints59851
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
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 numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

34.00/34.22	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4491621-1751142869.opb
34.00/34.22	c Solving mode: decision
34.00/34.22	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
34.00/34.22	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
34.00/34.22	c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints
34.00/34.22	c presolving:
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	c    (13.2s) probing: 1000/19873 (5.0%) - 1478 fixings, 115 aggregations, 1397103 implications, 0 bound changes
34.00/34.22	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
34.00/34.22	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
34.00/34.22	c    (20.4s) probing: 2000/19873 (10.1%) - 1491 fixings, 129 aggregations, 2065930 implications, 0 bound changes
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	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
34.00/34.22	c    (28.2s) probing: 3000/19873 (15.1%) - 1530 fixings, 168 aggregations, 2929067 implications, 0 bound changes
68.88/69.25	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
68.88/69.25	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
68.88/69.25	c    (35.8s) probing: 4000/19873 (20.1%) - 1546 fixings, 186 aggregations, 3693254 implications, 0 bound changes
68.88/69.25	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
68.88/69.25	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
68.88/69.25	c    (43.7s) probing: 5000/19873 (25.2%) - 1568 fixings, 203 aggregations, 4571989 implications, 0 bound changes
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	c    (60.6s) probing: 6000/19873 (30.2%) - 1927 fixings, 220 aggregations, 7577229 implications, 0 bound changes
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
68.88/69.25	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	c    (72.8s) probing: 7000/19873 (35.2%) - 2152 fixings, 239 aggregations, 9455667 implications, 0 bound changes
466.30/467.94	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
466.30/467.94	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
466.30/467.94	c    (78.8s) probing: 8000/19873 (40.3%) - 2168 fixings, 246 aggregations, 10075114 implications, 0 bound changes
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	c    (85.8s) probing: 9000/19873 (45.3%) - 2390 fixings, 257 aggregations, 10804298 implications, 0 bound changes
466.30/467.94	c    (97.6s) probing: 10000/19873 (50.3%) - 2392 fixings, 257 aggregations, 12881541 implications, 0 bound changes
466.30/467.94	c    (109.6s) probing: 11000/19873 (55.4%) - 2399 fixings, 257 aggregations, 15029295 implications, 0 bound changes
466.30/467.94	c    (121.0s) probing: 12000/19873 (60.4%) - 2400 fixings, 258 aggregations, 17021492 implications, 0 bound changes
466.30/467.94	c    (132.5s) probing: 13000/19873 (65.4%) - 2406 fixings, 258 aggregations, 19088789 implications, 0 bound changes
466.30/467.94	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
466.30/467.94	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
466.30/467.94	c    (144.4s) probing: 14000/19873 (70.4%) - 2408 fixings, 259 aggregations, 21277272 implications, 0 bound changes
466.30/467.94	c    (156.0s) probing: 15000/19873 (75.5%) - 2413 fixings, 259 aggregations, 23453000 implications, 0 bound changes
466.30/467.94	c    (166.8s) probing: 16000/19873 (80.5%) - 2417 fixings, 259 aggregations, 25412383 implications, 0 bound changes
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	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
466.30/467.94	c    (177.1s) probing: 17000/19873 (85.5%) - 2458 fixings, 260 aggregations, 27027538 implications, 0 bound changes
466.30/467.94	c    (177.2s) probing: 17015/19873 (85.6%) - 2458 fixings, 260 aggregations, 27027538 implications, 0 bound changes
466.30/467.94	c    (177.2s) probing aborted: 50/50 successive totally useless probings
466.30/467.94	c    (177.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
466.30/467.94	c    (177.2s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
466.30/467.94	c dynamic symmetry handling statistics:
466.30/467.94	c    orbitopal reduction:       no components
466.30/467.94	c    orbital reduction:         no components
466.30/467.94	c    lexicographic reduction:    1 permutations with support sizes 1076
466.30/467.94	c handled 1 out of 1 symmetry components
466.30/467.94	c presolving (115 rounds: 115 fast, 68 medium, 67 exhaustive):
466.30/467.94	c  4500 deleted vars, 60194 deleted constraints, 19439 added constraints, 1 tightened bounds, 0 added holes, 588 changed sides, 2143 changed coefficients
466.30/467.94	c  0 implications, 149266 cliques
466.30/467.94	c presolved problem has 16135 variables (16135 bin, 0 int, 0 impl, 0 cont) and 17109 constraints
466.30/467.94	c    1176 constraints of type <knapsack>
466.30/467.94	c     704 constraints of type <setppc>
466.30/467.94	c   15227 constraints of type <and>
466.30/467.94	c       2 constraints of type <logicor>
466.30/467.94	c transformed objective value is always integral (scale: 1)
466.30/467.94	c Presolving Time: 177.13
466.30/467.94	c 
466.30/467.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
466.30/467.94	c   178s|     1 |     0 |  2133 |     - |   363M |   0 |  16k|  17k|  32k|   0 |  0 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   181s|     1 |     0 |  9325 |     - |   373M |   0 |  16k|  17k|  32k| 609 |  1 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   183s|     1 |     0 | 13250 |     - |   380M |   0 |  16k|  17k|  33k|1384 |  2 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   186s|     1 |     0 | 17898 |     - |   392M |   0 |  16k|  17k|  34k|2143 |  3 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   189s|     1 |     0 | 22579 |     - |   402M |   0 |  16k|  17k|  35k|3000 |  4 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   193s|     1 |     0 | 28202 |     - |   415M |   0 |  16k|  17k|  36k|3701 |  5 |  50 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   197s|     1 |     0 | 33612 |     - |   422M |   0 |  16k|  17k|  36k|4426 |  6 |  52 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   203s|     1 |     0 | 40687 |     - |   435M |   0 |  16k|  17k|  37k|5094 |  7 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   209s|     1 |     0 | 47105 |     - |   449M |   0 |  16k|  17k|  38k|5811 |  8 |  54 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   216s|     1 |     0 | 53503 |     - |   464M |   0 |  16k|  17k|  38k|6418 |  9 |  56 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   221s|     1 |     0 | 59428 |     - |   475M |   0 |  16k|  17k|  39k|6957 | 10 |  58 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   227s|     1 |     0 | 65581 |     - |   481M |   0 |  16k|  17k|  39k|7499 | 11 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   256s|     1 |     2 | 78291 |     - |   481M |   0 |  16k|  17k|  39k|7499 | 11 |  64 |  19 | 0.000000e+00 |      --      |    Inf | unknown
466.30/467.94	c   383s|   100 |    16 |230882 |1669.7 |   523M |  27 |  16k|  17k|  36k|  14k|  2 | 155 |  19 | 0.000000e+00 |      --      |    Inf |  12.50%
466.30/467.94	c   423s|   200 |    29 |334274 |1350.2 |   550M |  27 |  16k|  17k|  36k|  21k|  2 | 577 |  19 | 0.000000e+00 |      --      |    Inf |  14.40%
466.30/467.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
466.30/467.94	c   452s|   300 |    44 |402947 |1128.3 |   581M |  27 |  16k|  18k|   0 |  31k|  0 | 974 |  19 | 0.000000e+00 |      --      |    Inf |  16.99%
499.08/500.80	c   467s|   400 |    45 |430487 | 914.6 |   619M |  27 |  16k|  18k|  37k|  37k|  2 |1324 |  19 | 0.000000e+00 |      --      |    Inf |  19.83%
499.08/500.80	c   492s|   500 |    37 |499590 | 869.8 |   625M |  27 |  16k|  18k|  37k|  46k|  2 |1767 |  19 | 0.000000e+00 |      --      |    Inf |  23.51%
499.08/500.80	c 
499.08/500.80	c SCIP Status        : solving was interrupted [time limit reached]
499.08/500.80	c Solving Time (sec) : 500.00
499.08/500.80	c Solving Nodes      : 530
499.08/500.80	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.08/500.80	c Dual Bound         : +0.00000000000000e+00
499.08/500.80	c Gap                : infinite
499.08/500.80	c ----------------------------------------------------------------------
499.08/500.80	c dual bound: 0.0 -> 0
499.08/500.80	c primal bound: 1e+20 -> 100000000000000000000
499.08/500.80	c scip-goal-lb: 0
499.08/500.80	c scip-goal-ub: 100000000000000000000
499.08/500.80	c writing output to: HOME/tmp9ia53uxn.opb
499.08/500.80	c appending fixed variable constraints
499.08/500.80	c scip-fixed vars: 16.41% (2648/16135)
499.08/500.80	c ----------------------------------------------------------------------
499.08/500.80	c executing external solver: HOME/naps-1.03a6
499.08/500.80	c ----------------------------------------------------------------------
499.08/500.80	c command: HOME/naps-1.03a6 HOME/tmp9ia53uxn.opb
499.08/500.82	c NaPS 1.03a6.
499.08/500.82	c Input file name: HOME/tmp9ia53uxn.opb
501.37/503.14	c _____________________________________________________________________________
501.37/503.14	c std/band forms        : 1176,0
501.37/503.14	c 2cl/3cl ITE-codings   : 57121,0
501.37/503.14	c BDD/srt/adr Max costs : 130,0,0
501.37/503.14	c BDDraw/bin/mul/srt/adr: 0,0,1176,0,0
501.37/503.14	c BDD nodes             : 95964
501.37/503.14	c Es1/CC detections     : 0,0
501.37/503.14	c CC sort               : 0
501.37/503.14	c SAT/UNSAT calls       : 0,1
501.37/503.14	c regenrated variables  : 0
501.37/503.14	c eliminated fixed lits : 4928
501.37/503.14	c goal lit flips        : 0
501.37/503.14	c goal stages           : 0
501.37/503.14	c goal shrink           : 0
501.37/503.14	c goal coeff separations: 0
501.37/503.14	c restarts              : 626
501.37/503.14	c conflicts             : 6510           (2865 /sec)
501.37/503.14	c decisions             : 35233          (15508 /sec)
501.37/503.14	c propagations          : 5308471        (2336506 /sec)
501.37/503.14	c inspects              : 0              (0 /sec)
501.37/503.14	c CPU time (solving tm) : 2.272 s        (1.301 s, SAT 0 s, UNSAT 1.301 s)
501.37/503.14	c Time for Opt-base     : 0.1888 s
501.37/503.14	c Steps for Opt-base    : 492624
501.37/503.14	c Time for BDD coding   : 0.4507 s
501.37/503.14	c Time for srt coding   : 0 s
501.37/503.14	c _____________________________________________________________________________
501.37/503.15	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 63837 MiB (62767 MiB free)
  memory of node 1: 64465 MiB (62319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491621-1751142869/watcher-4491621-1751142869 -o /tmp/evaluation-result-4491621-1751142869/solver-4491621-1751142869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14398 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4491621-1751142869.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14568, runsolver pid=14565

[startup+0.100073 s]*
/proc/loadavg: 1.92 1.42 2.12 4/254 14578
/proc/meminfo: memFree=128085020/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=13152 memory=10240 CPUtime=0.06 cores=1,3
/proc/14573/stat : 14573 (python3) D 14568 14568 11315 0 -1 4194304 1587 0 0 0 5 1 0 0 20 0 1 0 29966364 13467648 2560 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 3288 2560 1184 1 0 1459 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17344 KiB
Current children cumulated memory: 13184 KiB

[startup+0.215656 s]*
/proc/loadavg: 1.92 1.42 2.12 4/256 14587
/proc/meminfo: memFree=128060356/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1186236 memory=30924 CPUtime=0.17 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 3540 0 0 0 13 4 0 0 20 0 1 0 29966364 1214705664 7731 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 296559 7731 4819 1 0 268581 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190428 KiB
Current children cumulated memory: 33868 KiB

[startup+0.313555 s]*
/proc/loadavg: 1.92 1.42 2.12 5/254 14588
/proc/meminfo: memFree=128044228/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1190464 memory=35532 CPUtime=0.26 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 4507 0 0 0 22 4 0 0 20 0 1 0 29966364 1219035136 8883 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 297616 8883 5043 1 0 269507 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1194656 KiB
Current children cumulated memory: 38476 KiB

[startup+0.700415 s]
/proc/loadavg: 1.92 1.42 2.12 4/254 14607
/proc/meminfo: memFree=127835180/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1242368 memory=93772 CPUtime=0.63 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 16695 0 0 0 54 9 0 0 20 0 1 0 29966364 1272184832 23443 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 310592 23443 7603 1 0 281950 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1246560 KiB
Current children cumulated memory: 96716 KiB

[startup+1.5004 s]
/proc/loadavg: 1.92 1.42 2.12 5/259 14623
/proc/meminfo: memFree=127416792/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1361308 memory=211148 CPUtime=1.43 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 45893 0 0 0 128 15 0 0 20 0 1 0 29966364 1393979392 52787 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 340327 52787 7891 1 0 311685 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1365500 KiB
Current children cumulated memory: 214092 KiB

[startup+3.11354 s]
/proc/loadavg: 2.09 1.46 2.13 5/259 14623
/proc/meminfo: memFree=126898200/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1389480 memory=239436 CPUtime=3.04 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 53053 0 0 0 288 16 0 0 20 0 1 0 29966364 1422827520 59859 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 347370 59859 7923 1 0 318728 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1393672 KiB
Current children cumulated memory: 242380 KiB

[startup+6.30039 s]
/proc/loadavg: 2.09 1.46 2.13 5/258 14623
/proc/meminfo: memFree=126632432/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1391372 memory=241228 CPUtime=6.21 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 53549 0 0 0 605 16 0 0 20 0 1 0 29966364 1424764928 60307 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 347843 60307 7923 1 0 319201 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1395564 KiB
Current children cumulated memory: 244172 KiB

[startup+12.7004 s]
/proc/loadavg: 2.46 1.56 2.16 5/258 14623
/proc/meminfo: memFree=126178288/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1392488 memory=242124 CPUtime=12.59 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 53775 0 0 0 1243 16 0 0 20 0 1 0 29966364 1425907712 60531 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 348122 60531 7923 1 0 319480 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1396680 KiB
Current children cumulated memory: 245068 KiB

[startup+25.5004 s]
/proc/loadavg: 2.70 1.64 2.18 5/258 14672
/proc/meminfo: memFree=126112600/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1392488 memory=242124 CPUtime=25.34 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 53779 0 0 0 2518 16 0 0 20 0 1 0 29966364 1425907712 60531 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 348122 60531 7923 1 0 319480 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1396680 KiB
Current children cumulated memory: 245068 KiB

[startup+51.1134 s]
/proc/loadavg: 3.14 1.83 2.23 5/258 14672
/proc/meminfo: memFree=125622652/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1393512 memory=243276 CPUtime=50.86 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 54046 0 0 0 5070 16 0 0 20 0 1 0 29966364 1426956288 60819 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 348378 60819 7923 1 0 319736 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1397704 KiB
Current children cumulated memory: 246220 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.23 2.34 5/259 14678
/proc/meminfo: memFree=124601576/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1394748 memory=244556 CPUtime=101.86 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 54376 0 0 0 10170 16 0 0 20 0 1 0 29966364 1428221952 61139 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 348687 61139 7923 1 0 320045 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1398940 KiB
Current children cumulated memory: 247500 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.57 2.46 5/259 14684
/proc/meminfo: memFree=124766088/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1395852 memory=245580 CPUtime=161.64 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 54638 0 0 0 16148 16 0 0 20 0 1 0 29966364 1429352448 61395 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 348963 61395 7923 1 0 320321 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1400044 KiB
Current children cumulated memory: 248524 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 2.93 2.59 5/260 14687
/proc/meminfo: memFree=124468456/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1783904 memory=564428 CPUtime=221.44 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 122036 0 0 0 22116 28 0 0 20 0 1 0 29966364 1826717696 141107 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 445976 141107 8115 1 0 417334 0
Current children cumulated CPU time: 221.44 s

################
# More data... #
################

Current children cumulated vsize: 1890556 KiB
Current children cumulated memory: 664780 KiB

[startup+342.3 s]
/proc/loadavg: 4.29 3.44 2.82 5/257 14691
/proc/meminfo: memFree=124372596/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1886364 memory=662348 CPUtime=341.06 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 146530 0 0 0 34075 31 0 0 20 0 1 0 29966364 1931636736 165587 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 471591 165587 8115 1 0 442949 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 1890556 KiB
Current children cumulated memory: 665292 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.56 2.90 5/254 14693
/proc/meminfo: memFree=124355328/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1886364 memory=662476 CPUtime=400.89 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 146557 0 0 0 40058 31 0 0 20 0 1 0 29966364 1931636736 165619 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 471591 165619 8115 1 0 442949 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 1890556 KiB
Current children cumulated memory: 665420 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.67 2.99 5/254 14695
/proc/meminfo: memFree=124347488/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1913392 memory=665152 CPUtime=460.71 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 146736 0 0 0 46040 31 0 0 20 0 1 0 29966364 1959313408 166288 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 478348 166288 8115 1 0 449706 0
Current children cumulated CPU time: 460.71 s
Current children cumulated vsize: 1917584 KiB
Current children cumulated memory: 668096 KiB

[startup+503.754 s]
# the end of solver process 14568 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=501.48 s, system=0.568899 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+486.4 s]
/proc/loadavg: 4.11 3.69 3.01 5/254 14695
/proc/meminfo: memFree=124359844/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1926516 memory=670400 CPUtime=484.73 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 148035 0 0 0 48441 32 0 0 20 0 1 0 29966364 1972752384 167600 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 481629 167600 8115 1 0 452987 0
Current children cumulated CPU time: 484.73 s
Current children cumulated vsize: 1930708 KiB
Current children cumulated memory: 673344 KiB

[startup+492.8 s]
/proc/loadavg: 4.17 3.72 3.03 5/254 14695
/proc/meminfo: memFree=124366688/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1926880 memory=670656 CPUtime=491.11 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 148109 0 0 0 49079 32 0 0 20 0 1 0 29966364 1973125120 167664 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 481720 167664 8115 1 0 453078 0
Current children cumulated CPU time: 491.11 s
Current children cumulated vsize: 1931072 KiB
Current children cumulated memory: 673600 KiB

[startup+499.2 s]
/proc/loadavg: 4.15 3.72 3.03 5/254 14697
/proc/meminfo: memFree=124321964/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1927804 memory=671680 CPUtime=497.49 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 148349 0 0 0 49717 32 0 0 20 0 1 0 29966364 1974071296 167920 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 481951 167920 8115 1 0 453309 0
Current children cumulated CPU time: 497.49 s
Current children cumulated vsize: 1931996 KiB
Current children cumulated memory: 674624 KiB

[startup+500.8 s]
/proc/loadavg: 4.15 3.72 3.03 5/254 14697
/proc/meminfo: memFree=124320956/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1938812 memory=682816 CPUtime=499.08 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 151124 0 0 0 49875 33 0 0 20 0 1 0 29966364 1985343488 170704 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 484703 170704 8147 1 0 456061 0
Current children cumulated CPU time: 499.08 s
Current children cumulated vsize: 1943004 KiB
Current children cumulated memory: 685760 KiB

[startup+502.4 s]
/proc/loadavg: 4.14 3.73 3.04 5/255 14699
/proc/meminfo: memFree=124222528/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1939068 memory=683200 CPUtime=499.09 cores=1,3
/proc/14573/stat : 14573 (python3) S 14568 14568 11315 0 -1 4194304 151413 0 0 0 49876 33 0 0 20 0 1 0 29966364 1985605632 170800 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 484767 170800 8147 1 0 456125 0
[pid=14699] ppid=14573 vsize=73344 memory=63660 CPUtime=1.57 cores=1,3
/proc/14699/stat : 14699 (naps-1.03a6) R 14573 14699 14699 0 -1 4194304 16955 0 0 0 152 5 0 0 20 0 1 0 30016443 75104256 15915 18446744073709551615 4198400 7047149 140729946477200 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 38518784 140729946478993 140729946479091 140729946479091 140729946484681 0
/proc/14699/statm: 18336 15915 544 696 0 17497 0
Current children cumulated CPU time: 500.66 s
Current children cumulated vsize: 2016604 KiB
Current children cumulated memory: 749804 KiB

[startup+503.2 s]
/proc/loadavg: 4.14 3.73 3.04 5/255 14699
/proc/meminfo: memFree=124186548/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1939068 memory=683200 CPUtime=501.47 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 164434 17869 0 0 49879 36 227 5 20 0 1 0 29966364 1985605632 170800 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 484767 170800 8147 1 0 456125 0
Current children cumulated CPU time: 501.47 s
Current children cumulated vsize: 1943260 KiB
Current children cumulated memory: 686144 KiB

[startup+503.6 s]
/proc/loadavg: 4.14 3.73 3.04 5/255 14699
/proc/meminfo: memFree=124186548/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1867520 memory=611776 CPUtime=501.86 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 220556 17869 0 0 49911 43 227 5 20 0 1 0 29966364 1912340480 152944 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 466880 152944 8147 1 0 438238 0
Current children cumulated CPU time: 501.86 s
Current children cumulated vsize: 1871712 KiB
Current children cumulated memory: 614720 KiB

[startup+503.7 s]
/proc/loadavg: 4.14 3.73 3.04 5/255 14699
/proc/meminfo: memFree=124186548/131382116 swapFree=33010684/33010684
[pid=14568] ppid=14565 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/14568/stat : 14568 (scip-naps-1.00.) S 14565 14568 11315 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 29966361 4292608 736 18446744073709551615 94287981158400 94287982052933 140729650357120 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94287982291984 94287982339728 94287995518976 140729650358689 140729650358786 140729650358786 140729650364388 0
/proc/14568/statm: 1048 736 672 219 0 110 0
[pid=14573] ppid=14568 vsize=1829500 memory=598028 CPUtime=501.96 cores=1,3
/proc/14573/stat : 14573 (python3) R 14568 14568 11315 0 -1 4194304 233266 17869 0 0 49919 45 227 5 20 0 1 0 29966364 1873408000 149507 18446744073709551615 94342240522240 94342240522617 140733154751568 0 0 0 0 16781312 0 0 0 0 17 3 0 0 0 0 0 94342240533912 94342240534532 94342255529984 140733154752856 140733154753058 140733154753058 140733154758631 0
/proc/14573/statm: 457375 149507 8147 1 0 428733 0
Current children cumulated CPU time: 501.96 s
Current children cumulated vsize: 1833692 KiB
Current children cumulated memory: 600972 KiB

Child status: 0

Real time (s): 503.754
CPU time (s): 502.048
CPU user time (s): 501.48
CPU system time (s): 0.568899
CPU usage (%): 99.6615
Max. virtual memory (cumulated for all children) (KiB): 2024796
Max. memory (cumulated for all children) (KiB): 757612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.48
system time used= 0.568899
maximum resident set size= 683200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252415
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= 343
involuntary context switches= 2824


# summary of solver processes directly reported to runsolver:
#   pid: 14568
#   total CPU time (s): 502.048
#   total CPU user time (s): 501.48
#   total CPU system time (s): 0.568899

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6524 second user time and 5.12307 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-06-28 22:34:30
IDJOB=4491621
IDBENCH=147727
IDSOLVER=3368
FILE ID=nodeC010/4491621-1751142869
RUNJOBID= nodeC010-1751142855-14398
SLURM_JOB_ID= 9587410
Free space on /tmp= 433020 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491621-1751142869/watcher-4491621-1751142869 -o /tmp/evaluation-result-4491621-1751142869/solver-4491621-1751142869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751142855-14398 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4491621-1751142869.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 76d76a6e9366419c7968e5756d4a65f6
RANDOM SEED=138227211

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.682
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.781
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.652
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.147
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.739
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.613
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.600
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.407
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128049192 kB
MemAvailable:   127706232 kB
Buffers:            3280 kB
Cached:           469356 kB
SwapCached:            0 kB
Active:          2449416 kB
Inactive:         212284 kB
Active(anon):    2207044 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   212284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47356 kB
Writeback:            32 kB
AnonPages:       2192240 kB
Mapped:           125144 kB
Shmem:             17960 kB
KReclaimable:      84024 kB
Slab:             162556 kB
SReclaimable:      84024 kB
SUnreclaim:        78532 kB
KernelStack:        4176 kB
PageTables:         8052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5828292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC010 at 2025-06-28 22:42:54