Trace number 4515179

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.00a1? (TO) 3600.39 3611.58

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
MD5SUM84d6a262f1f6531f4a7714720272edd7
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 benchmark56.7591
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
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 1285216
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285383
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

18.60/18.85	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4515179-1751227496.opb
18.60/18.85	c Solving mode: decision
18.60/18.85	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
18.60/18.85	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
18.60/18.85	c original problem has 12675 variables (12675 bin, 0 int, 0 impl, 0 cont) and 11891 constraints
18.60/18.85	c presolving:
18.60/18.85	c (round 1, fast)       32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 11858 clqs
18.60/18.85	c (round 2, exhaustive) 32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 11858 clqs
18.60/18.85	c    (3.4s) probing: 1000/12643 (7.9%) - 0 fixings, 0 aggregations, 523546 implications, 0 bound changes
18.60/18.85	c    (3.5s) probing: 1001/12643 (7.9%) - 0 fixings, 0 aggregations, 523580 implications, 0 bound changes
18.60/18.85	c    (3.5s) probing aborted: 1000/1000 successive useless probings
18.60/18.85	c    (3.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
18.60/18.85	c    (3.7s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.14)
18.60/18.85	c dynamic symmetry handling statistics:
18.60/18.85	c    orbitopal reduction:       no components
18.60/18.85	c    orbital reduction:         no components
18.60/18.85	c    lexicographic reduction:   18 permutations with support sizes 16, 16, 20, 16, 16, 16, 16, 16, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20
18.60/18.85	c handled 1496 out of 1496 symmetry components
18.60/18.85	c (round 3, exhaustive) 41 del vars, 32 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 60003 clqs
18.60/18.85	c (round 4, exhaustive) 41 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60003 clqs
18.60/18.85	c (round 5, exhaustive) 66 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs
18.60/18.85	c (round 6, fast)       66 del vars, 91 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs
18.60/18.85	c (round 7, exhaustive) 92 del vars, 92 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs
18.60/18.85	c (round 8, fast)       92 del vars, 142 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs
18.60/18.85	c (round 9, exhaustive) 120 del vars, 145 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs
18.60/18.85	c (round 10, fast)       120 del vars, 195 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs
18.60/18.85	c (round 11, exhaustive) 153 del vars, 203 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs
18.60/18.85	c (round 12, fast)       153 del vars, 253 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs
18.60/18.85	c (round 13, exhaustive) 182 del vars, 257 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs
18.60/18.85	c (round 14, fast)       182 del vars, 307 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs
18.60/18.85	c (round 15, exhaustive) 213 del vars, 313 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs
18.60/18.85	c (round 16, fast)       213 del vars, 363 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs
18.60/18.85	c (round 17, exhaustive) 245 del vars, 370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs
18.60/18.85	c (round 18, fast)       245 del vars, 420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs
18.60/18.85	c (round 19, exhaustive) 275 del vars, 425 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs
18.60/18.85	c (round 20, fast)       275 del vars, 475 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs
18.60/18.85	c (round 21, exhaustive) 306 del vars, 481 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs
18.60/18.85	c (round 22, fast)       306 del vars, 531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs
18.60/18.85	c (round 23, exhaustive) 335 del vars, 535 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs
18.60/18.85	c (round 24, fast)       335 del vars, 585 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs
18.60/18.85	c    (11.6s) probing: 2000/12643 (15.8%) - 268 fixings, 0 aggregations, 2093277 implications, 0 bound changes
18.60/18.85	c (round 25, exhaustive) 368 del vars, 593 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs
18.60/18.85	c (round 26, fast)       368 del vars, 643 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs
18.60/18.85	c (round 27, exhaustive) 398 del vars, 648 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs
18.60/18.85	c (round 28, fast)       398 del vars, 698 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs
18.60/18.85	c (round 29, exhaustive) 430 del vars, 705 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
18.60/18.85	c (round 30, fast)       430 del vars, 755 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
18.60/18.85	c (round 31, exhaustive) 458 del vars, 758 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs
18.60/18.85	c (round 32, fast)       458 del vars, 808 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs
18.60/18.85	c (round 33, exhaustive) 488 del vars, 813 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs
18.60/18.85	c (round 34, fast)       488 del vars, 863 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs
18.60/18.85	c (round 35, exhaustive) 520 del vars, 870 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs
18.60/18.85	c (round 36, fast)       520 del vars, 920 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs
18.60/18.85	c (round 37, exhaustive) 548 del vars, 923 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
18.60/18.85	c (round 38, fast)       548 del vars, 973 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs
18.60/18.85	c (round 39, exhaustive) 576 del vars, 976 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs
18.60/18.85	c (round 40, fast)       576 del vars, 1026 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs
18.60/18.85	c (round 41, exhaustive) 605 del vars, 1030 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs
18.60/18.85	c (round 42, fast)       605 del vars, 1080 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs
18.60/18.85	c (round 43, exhaustive) 637 del vars, 1087 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
18.60/18.85	c (round 44, fast)       637 del vars, 1137 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
18.60/18.85	c (round 45, exhaustive) 663 del vars, 1138 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs
34.87/35.13	c (round 46, fast)       663 del vars, 1188 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs
34.87/35.13	c    (18.9s) probing: 3000/12643 (23.7%) - 546 fixings, 0 aggregations, 3547372 implications, 0 bound changes
34.87/35.13	c (round 47, exhaustive) 693 del vars, 1193 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs
34.87/35.13	c (round 48, fast)       693 del vars, 1243 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs
34.87/35.13	c (round 49, exhaustive) 725 del vars, 1250 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs
34.87/35.13	c (round 50, fast)       725 del vars, 1300 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs
34.87/35.13	c (round 51, exhaustive) 756 del vars, 1306 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs
34.87/35.13	c (round 52, fast)       756 del vars, 1356 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs
34.87/35.13	c (round 53, exhaustive) 786 del vars, 1361 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
34.87/35.13	c (round 54, fast)       786 del vars, 1411 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
34.87/35.13	c (round 55, exhaustive) 818 del vars, 1418 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs
34.87/35.13	c (round 56, fast)       818 del vars, 1468 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs
34.87/35.13	c (round 57, exhaustive) 849 del vars, 1474 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs
34.87/35.13	c (round 58, fast)       849 del vars, 1524 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs
34.87/35.13	c (round 59, exhaustive) 881 del vars, 1531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs
34.87/35.13	c (round 60, fast)       881 del vars, 1581 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs
34.87/35.13	c (round 61, exhaustive) 915 del vars, 1590 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
34.87/35.13	c (round 62, fast)       915 del vars, 1640 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs
34.87/35.13	c (round 63, exhaustive) 947 del vars, 1647 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs
34.87/35.13	c (round 64, fast)       947 del vars, 1697 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs
34.87/35.13	c (round 65, exhaustive) 981 del vars, 1706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c (round 66, fast)       981 del vars, 1756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c (round 67, exhaustive) 1010 del vars, 1760 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c (round 68, fast)       1010 del vars, 1810 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c    (25.7s) probing: 4000/12643 (31.6%) - 811 fixings, 0 aggregations, 5066131 implications, 0 bound changes
34.87/35.13	c (round 69, exhaustive) 1042 del vars, 1817 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
34.87/35.13	c (round 70, fast)       1042 del vars, 1867 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
34.87/35.13	c (round 71, exhaustive) 1071 del vars, 1871 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs
34.87/35.13	c (round 72, fast)       1071 del vars, 1921 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs
34.87/35.13	c (round 73, exhaustive) 1105 del vars, 1930 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c (round 74, fast)       1105 del vars, 1980 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs
34.87/35.13	c (round 75, exhaustive) 1135 del vars, 1985 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs
34.87/35.13	c (round 76, fast)       1135 del vars, 2035 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs
34.87/35.13	c (round 77, exhaustive) 1166 del vars, 2041 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs
34.87/35.13	c (round 78, fast)       1166 del vars, 2091 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs
34.87/35.13	c (round 79, exhaustive) 1200 del vars, 2100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
34.87/35.13	c (round 80, fast)       1200 del vars, 2150 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs
34.87/35.13	c (round 81, exhaustive) 1231 del vars, 2156 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs
34.87/35.13	c (round 82, fast)       1231 del vars, 2206 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs
34.87/35.13	c (round 83, exhaustive) 1258 del vars, 2208 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs
34.87/35.13	c (round 84, fast)       1258 del vars, 2258 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs
34.87/35.13	c (round 85, exhaustive) 1287 del vars, 2262 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs
34.87/35.13	c (round 86, fast)       1287 del vars, 2312 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs
34.87/35.13	c (round 87, exhaustive) 1318 del vars, 2318 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs
34.87/35.13	c (round 88, fast)       1318 del vars, 2368 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs
34.87/35.13	c (round 89, exhaustive) 1345 del vars, 2370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs
34.87/35.13	c (round 90, fast)       1345 del vars, 2420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs
34.87/35.13	c    (32.7s) probing: 5000/12643 (39.5%) - 1099 fixings, 0 aggregations, 6549713 implications, 0 bound changes
34.87/35.13	c (round 91, exhaustive) 1373 del vars, 2423 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs
34.87/35.13	c (round 92, fast)       1373 del vars, 2473 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs
34.87/35.13	c (round 93, exhaustive) 1403 del vars, 2478 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs
34.87/35.13	c (round 94, fast)       1403 del vars, 2528 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs
34.87/35.13	c (round 95, exhaustive) 1434 del vars, 2534 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs
34.87/35.13	c (round 96, fast)       1434 del vars, 2584 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs
34.87/35.13	c (round 97, exhaustive) 1467 del vars, 2592 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs
346.49/347.73	c (round 98, fast)       1467 del vars, 2642 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs
346.49/347.73	c (round 99, exhaustive) 1475 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59906 clqs
346.49/347.73	c (round 100, exhaustive) 1500 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs
346.49/347.73	c (round 101, fast)       1500 del vars, 2701 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs
346.49/347.73	c (round 102, exhaustive) 1530 del vars, 2706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
346.49/347.73	c (round 103, fast)       1530 del vars, 2756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs
346.49/347.73	c (round 104, exhaustive) 1563 del vars, 2764 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs
346.49/347.73	c (round 105, fast)       1563 del vars, 2814 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs
346.49/347.73	c (round 106, exhaustive) 1596 del vars, 2822 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs
346.49/347.73	c (round 107, fast)       1596 del vars, 2872 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs
346.49/347.73	c (round 108, exhaustive) 1627 del vars, 2878 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs
346.49/347.73	c (round 109, fast)       1627 del vars, 2928 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs
346.49/347.73	c (round 110, exhaustive) 1660 del vars, 2936 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs
346.49/347.73	c (round 111, fast)       1660 del vars, 2986 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs
346.49/347.73	c (round 112, exhaustive) 1691 del vars, 2992 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs
346.49/347.73	c (round 113, fast)       1691 del vars, 3042 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs
346.49/347.73	c (round 114, exhaustive) 1724 del vars, 3050 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs
346.49/347.73	c (round 115, fast)       1724 del vars, 3100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs
346.49/347.73	c    (39.7s) probing: 6000/12643 (47.5%) - 1385 fixings, 0 aggregations, 7953242 implications, 0 bound changes
346.49/347.73	c (round 116, exhaustive) 1753 del vars, 3104 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs
346.49/347.73	c (round 117, fast)       1753 del vars, 3154 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs
346.49/347.73	c (round 118, exhaustive) 1781 del vars, 3157 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs
346.49/347.73	c (round 119, fast)       1781 del vars, 3207 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs
346.49/347.73	c (round 120, exhaustive) 1810 del vars, 3211 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs
346.49/347.73	c (round 121, fast)       1810 del vars, 3261 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs
346.49/347.73	c (round 122, exhaustive) 1839 del vars, 3266 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs
346.49/347.73	c (round 123, fast)       1839 del vars, 3305 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs
346.49/347.73	c    (44.6s) probing: 7000/12643 (55.4%) - 1492 fixings, 0 aggregations, 8824424 implications, 0 bound changes
346.49/347.73	c (round 124, exhaustive) 1870 del vars, 3311 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs
346.49/347.73	c (round 125, fast)       1870 del vars, 3346 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs
346.49/347.73	c    (51.4s) probing: 8000/12643 (63.3%) - 1516 fixings, 0 aggregations, 9689902 implications, 0 bound changes
346.49/347.73	c    (58.9s) probing: 8765/12643 (69.3%) - 1516 fixings, 0 aggregations, 10672439 implications, 0 bound changes
346.49/347.73	c    (58.9s) probing aborted: 1000/1000 successive useless probings
346.49/347.73	c (round 126, exhaustive) 1889 del vars, 3350 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs
346.49/347.73	c (round 127, fast)       1889 del vars, 3364 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs
346.49/347.73	c    (60.0s) probing: 8865/12643 (70.1%) - 1516 fixings, 0 aggregations, 10803770 implications, 0 bound changes
346.49/347.73	c    (60.0s) probing aborted: 1000/1000 successive useless probings
346.49/347.73	c presolving (128 rounds: 128 fast, 66 medium, 66 exhaustive):
346.49/347.73	c  1889 deleted vars, 3364 deleted constraints, 1480 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
346.49/347.73	c  0 implications, 60830 cliques
346.49/347.73	c presolved problem has 10786 variables (10786 bin, 0 int, 0 impl, 0 cont) and 10007 constraints
346.49/347.73	c       1 constraints of type <knapsack>
346.49/347.73	c   10001 constraints of type <setppc>
346.49/347.73	c       5 constraints of type <orbitope>
346.49/347.73	c transformed objective value is always integral (scale: 1)
346.49/347.73	c Presolving Time: 59.96
346.49/347.73	c 
346.49/347.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
346.49/347.73	c  70.0s|     1 |     0 |  8376 |     - |   412M |   0 |  10k|  10k|  10k|   0 |  0 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  73.7s|     1 |     0 | 19862 |     - |   418M |   0 |  10k|  10k|  10k|   4 |  1 |  25 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  74.4s|     1 |     0 | 20362 |     - |   419M |   0 |  10k|  10k|  10k|   8 |  2 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  75.2s|     1 |     0 | 21029 |     - |   421M |   0 |  10k|  10k|  10k|  11 |  3 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  76.0s|     1 |     0 | 21705 |     - |   422M |   0 |  10k|  10k|  10k|  17 |  4 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  76.6s|     1 |     0 | 21923 |     - |   424M |   0 |  10k|  10k|  10k|  23 |  5 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  77.4s|     1 |     0 | 22643 |     - |   425M |   0 |  10k|  10k|  10k|  27 |  6 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  78.1s|     1 |     0 | 23153 |     - |   426M |   0 |  10k|  10k|  10k|  30 |  7 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  79.0s|     1 |     0 | 24024 |     - |   428M |   0 |  10k|  10k|  10k|  35 |  8 |  26 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  80.0s|     1 |     0 | 25188 |     - |   430M |   0 |  10k|  10k|  10k|  41 |  9 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  81.1s|     1 |     0 | 26292 |     - |   431M |   0 |  10k|  10k|  10k|  46 | 10 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  81.5s|     1 |     0 | 26692 |     - |   433M |   0 |  10k|  10k|  10k|  49 | 11 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c  99.3s|     1 |     2 | 39394 |     - |   434M |   0 |  10k|  10k|  10k|  49 | 11 |  47 |  29 | 0.000000e+00 |      --      |    Inf | unknown
346.49/347.73	c   226s|   100 |    33 |355161 |3317.9 |   463M |  22 |  10k|  10k|  10k|  85 |  0 | 798 |  29 | 0.000000e+00 |      --      |    Inf |  13.84%
346.49/347.73	c   287s|   200 |    33 |495481 |2355.7 |   470M |  22 |  10k|  10k|  10k| 126 |  0 | 900 |  29 | 0.000000e+00 |      --      |    Inf |  38.96%
498.82/500.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.82/500.53	c   347s|   300 |    35 |637662 |2043.4 |   479M |  22 |  10k|  11k|  10k| 205 |  0 |1271 |  29 | 0.000000e+00 |      --      |    Inf |  48.82%
498.82/500.53	c   412s|   400 |    28 |774745 |1874.8 |   482M |  22 |  10k|  11k|  10k| 223 |  0 |1424 |  29 | 0.000000e+00 |      --      |    Inf |  61.87%
498.82/500.53	c   452s|   500 |    20 |873224 |1696.5 |   487M |  38 |  10k|  11k|  10k| 264 |  1 |1570 |  29 | 0.000000e+00 |      --      |    Inf |  88.54%
498.82/500.53	c   485s|   600 |     8 |954765 |1549.4 |   491M |  38 |  10k|  11k|  10k| 318 |  1 |1734 |  29 | 0.000000e+00 |      --      |    Inf |  97.77%
498.82/500.53	c 
498.82/500.53	c SCIP Status        : solving was interrupted [time limit reached]
498.82/500.53	c Solving Time (sec) : 500.00
498.82/500.53	c Solving Nodes      : 634
498.82/500.53	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.82/500.53	c Dual Bound         : +0.00000000000000e+00
498.82/500.53	c Gap                : infinite
498.82/500.53	c ----------------------------------------------------------------------
498.82/500.53	c dual bound: 0.0 -> 0
498.82/500.53	c primal bound: 1e+20 -> 100000000000000000000
498.82/500.53	c scip-goal-lb: 0
498.82/500.53	c scip-goal-ub: 100000000000000000000
498.82/500.53	c writing output to: HOME/tmp3x40ws8u.opb
498.82/500.53	c appending fixed variable constraints
498.82/500.53	c scip-fixed vars: 53.59% (5780/10786)
498.82/500.53	c ----------------------------------------------------------------------
498.82/500.53	c executing external solver: HOME/naps-1.03a6
498.82/500.53	c ----------------------------------------------------------------------
498.82/500.53	c command: HOME/naps-1.03a6 HOME/tmp3x40ws8u.opb
498.82/500.55	c NaPS 1.03a6.
498.82/500.55	c Input file name: HOME/tmp3x40ws8u.opb
3600.09/3611.30	c
3600.09/3611.30	c *** TERMINATED *** by signal 15
3600.09/3611.30	c _____________________________________________________________________________
3600.09/3611.30	c std/band forms        : 125,0
3600.09/3611.30	c 2cl/3cl ITE-codings   : 0,0
3600.09/3611.30	c BDD/srt/adr Max costs : 0,15423413,0
3600.09/3611.30	c BDDraw/bin/mul/srt/adr: 0,0,0,125,0
3600.09/3611.30	c BDD nodes             : 0
3600.09/3611.30	c Es1/CC detections     : 0,0
3600.09/3611.30	c CC sort               : 124
3600.09/3611.30	c SAT/UNSAT calls       : 0,0
3600.09/3611.30	c regenrated variables  : 0
3600.09/3611.30	c eliminated fixed lits : 5779
3600.09/3611.30	c goal lit flips        : 0
3600.09/3611.30	c goal stages           : 0
3600.09/3611.30	c goal shrink           : 0
3600.09/3611.30	c goal coeff separations: 0
3600.09/3611.30	c restarts              : 0
3600.09/3611.30	c conflicts             : 0              (0 /sec)
3600.09/3611.30	c decisions             : 0              (0 /sec)
3600.09/3611.30	c propagations          : 0              (0 /sec)
3600.09/3611.30	c inspects              : 0              (0 /sec)
3600.09/3611.30	c CPU time (solving tm) : 3097 s        (3068 s, SAT 0 s, UNSAT 0 s)
3600.09/3611.30	c Time for Opt-base     : 17.39 s
3600.09/3611.30	c Steps for Opt-base    : 102731170
3600.09/3611.30	c Time for BDD coding   : 0 s
3600.09/3611.30	c Time for srt coding   : 5.683 s
3600.09/3611.30	c _____________________________________________________________________________
3600.09/3611.31	c received SIGTERM, forwarding to pbsolver...
3600.09/3611.31	s UNKNOWN

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: 63794 MiB (39368 MiB free)
  memory of node 1: 64507 MiB (63486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515179-1751227496/watcher-4515179-1751227496 -o /tmp/evaluation-result-4515179-1751227496/solver-4515179-1751227496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31370 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4515179-1751227496.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
Starting watchdog thread
solver pid=32072, runsolver pid=32069
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105319508/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=19272 memory=14336 CPUtime=0.07 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 1877 0 0 0 6 1 0 0 20 0 1 0 38429298 19734528 3584 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 4818 3584 2016 1 0 1572 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23464 KiB
Current children cumulated memory: 17408 KiB

[startup+0.213541 s]*
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105319508/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1186496 memory=31180 CPUtime=0.16 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 3566 0 0 0 14 2 0 0 20 0 1 0 38429298 1214971904 7795 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 296624 7795 4851 1 0 268646 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190688 KiB
Current children cumulated memory: 34252 KiB

[startup+0.314599 s]*
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105317744/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1190392 memory=35276 CPUtime=0.25 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 4439 0 0 0 22 3 0 0 20 0 1 0 38429298 1218961408 8819 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 297598 8819 5043 1 0 269507 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194584 KiB
Current children cumulated memory: 38348 KiB

[startup+0.700316 s]
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105280448/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1250120 memory=101580 CPUtime=0.59 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 18469 0 0 0 52 7 0 0 20 0 1 0 38429298 1280122880 25395 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 312530 25395 7859 1 0 283888 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 1254312 KiB
Current children cumulated memory: 104652 KiB

[startup+1.50025 s]
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105225020/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1278208 memory=129356 CPUtime=1.38 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 25372 0 0 0 130 8 0 0 20 0 1 0 38429298 1308884992 32339 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 319552 32339 7923 1 0 290910 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 1282400 KiB
Current children cumulated memory: 132428 KiB

[startup+3.10554 s]
/proc/loadavg: 4.45 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105212860/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1288388 memory=138316 CPUtime=2.97 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 27595 0 0 0 288 9 0 0 20 0 1 0 38429298 1319309312 34579 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 322097 34579 7923 1 0 293455 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 1292580 KiB
Current children cumulated memory: 141388 KiB

[startup+6.3004 s]
/proc/loadavg: 4.41 4.03 3.56 5/258 32077
/proc/meminfo: memFree=105047836/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1476240 memory=305020 CPUtime=6.14 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 69956 0 0 0 594 20 0 0 20 0 1 0 38429298 1511669760 76255 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 369060 76255 7955 1 0 340418 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 1480432 KiB
Current children cumulated memory: 308092 KiB

[startup+12.7004 s]
/proc/loadavg: 4.38 4.03 3.57 5/258 32077
/proc/meminfo: memFree=105047592/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1476240 memory=305020 CPUtime=12.52 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 69960 0 0 0 1232 20 0 0 20 0 1 0 38429298 1511669760 76255 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 369060 76255 7955 1 0 340418 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 1480432 KiB
Current children cumulated memory: 308092 KiB

[startup+25.5004 s]
/proc/loadavg: 4.29 4.03 3.57 5/258 32077
/proc/meminfo: memFree=105031716/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1477264 memory=306044 CPUtime=25.28 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 70219 0 0 0 2508 20 0 0 20 0 1 0 38429298 1512718336 76511 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 369316 76511 7955 1 0 340674 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 1481456 KiB
Current children cumulated memory: 309116 KiB

[startup+51.1137 s]
/proc/loadavg: 4.35 4.06 3.60 5/259 32079
/proc/meminfo: memFree=102097728/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1478400 memory=307196 CPUtime=50.82 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 70509 0 0 0 5061 21 0 0 20 0 1 0 38429298 1513881600 76799 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 369600 76799 7955 1 0 340958 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 1482592 KiB
Current children cumulated memory: 310268 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.07 3.63 5/258 32080
/proc/meminfo: memFree=100610024/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1696768 memory=491244 CPUtime=101.84 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113661 0 0 0 10155 29 0 0 20 0 1 0 38429298 1737490432 122811 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 424192 122811 8115 1 0 395550 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 494316 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.07 3.66 5/256 32131
/proc/meminfo: memFree=128746156/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1696768 memory=491244 CPUtime=161.67 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113675 0 0 0 16137 30 0 0 20 0 1 0 38429298 1737490432 122811 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 424192 122811 8115 1 0 395550 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 494316 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 4.12 3.70 5/256 32137
/proc/meminfo: memFree=128717024/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1696768 memory=491500 CPUtime=221.48 cores=5,7
/proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113729 0 0 0 22118 30 0 0 20 0 1 0 38429298 1737490432 122875 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 424192 122875 8115 1 0 395550 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1700960 KiB

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


[startup+3282.3 s]
/proc/loadavg: 4.76 4.30 4.16 5/258 32537
/proc/meminfo: memFree=106178096/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3024864 CPUtime=2773.39 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627426 0 0 0 276889 450 0 0 20 0 1 0 38479349 3706720256 756216 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 756216 544 696 0 904122 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3628596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.26 4.16 5/258 32540
/proc/meminfo: memFree=106485944/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2833.18 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627483 0 0 0 282867 451 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 756728 544 696 0 904122 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3630644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.23 4.15 5/258 32553
/proc/meminfo: memFree=107062568/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2892.97 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627898 0 0 0 288846 451 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 756728 544 696 0 904122 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3630644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.23 4.16 5/258 32556
/proc/meminfo: memFree=106187916/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2952.77 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 628132 0 0 0 294825 452 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 756728 544 696 0 904122 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3630644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/258 32607
/proc/meminfo: memFree=106813624/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=3012.55 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 628420 0 0 0 300803 452 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 756728 544 696 0 904122 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3630644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.18 4.15 5/258 32609
/proc/meminfo: memFree=106661248/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3619844 memory=3028960 CPUtime=3072.34 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 636636 0 0 0 306779 455 0 0 20 0 1 0 38479349 3706720256 757240 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 904961 757240 544 696 0 904122 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 5422492 KiB
Current children cumulated memory: 3632692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/257 32610
/proc/meminfo: memFree=106537776/131382116 swapFree=33010684/33010684
[pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0
/proc/32072/statm: 1048 768 704 219 0 110 0
[pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7
/proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 449614 150165 8147 1 0 420972 0
[pid=32149] ppid=32077 vsize=3881988 memory=3157984 CPUtime=3101.24 cores=5,7
/proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 637706 0 0 0 309666 458 0 0 20 0 1 0 38479349 3975155712 789496 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0
/proc/32149/statm: 970497 789496 544 696 0 969658 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 5684636 KiB
Current children cumulated memory: 3761716 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.31 s]
# the end of solver process 32072 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.006129 s, system=0.008064 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3595.37 s, system=5.01891 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.41 s]*
/proc/loadavg: 4.09 4.16 4.14 5/255 32610
/proc/meminfo: memFree=109721892/131382116 swapFree=33010684/33010684
[pid=32077] ppid=32069 vsize=1782708 memory=584976 CPUtime=3600.2 cores=5,7
/proc/32077/stat : 32077 (python3) R 32069 32072 31357 0 -1 4194304 148888 637707 0 0 49859 36 309666 459 20 0 1 0 38429298 1825492992 146244 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 445677 146244 8147 1 0 417035 0
Current cumulated CPU time of completed processes: 0.014193 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1782708 KiB
Current children cumulated memory: 584976 KiB

[startup+3611.51 s]
/proc/loadavg: 4.09 4.16 4.14 5/255 32610
/proc/meminfo: memFree=109721892/131382116 swapFree=33010684/33010684
[pid=32077] ppid=32069 vsize=1750100 memory=569064 CPUtime=3600.3 cores=5,7
/proc/32077/stat : 32077 (python3) R 32069 32072 31357 0 -1 4194304 155680 637707 0 0 49867 38 309666 459 20 0 1 0 38429298 1792102400 142266 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0
/proc/32077/statm: 437525 142266 8179 1 0 408883 0
Current cumulated CPU time of completed processes: 0.014193 s
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 1750100 KiB
Current children cumulated memory: 569064 KiB

Child status: 0

Real time (s): 3611.58
CPU time (s): 3600.39
CPU user time (s): 3595.37
CPU system time (s): 5.01891
CPU usage (%): 99.6901
Max. virtual memory (cumulated for all children) (KiB): 10208588
Max. memory (cumulated for all children) (KiB): 6938084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.37
system time used= 5.01891
maximum resident set size= 6334352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 447
involuntary context switches= 20557


# summary of solver processes directly reported to runsolver:
#   pid: 32072,32077
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3595.37
#   total CPU system time (s): 5.01891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4647 second user time and 38.4259 second system time

The end

Launcher Data

Begin job on nodeC011 at 2025-06-29 22:04:56
IDJOB=4515179
IDBENCH=164178
IDSOLVER=3368
FILE ID=nodeC011/4515179-1751227496
RUNJOBID= nodeC011-1751226828-31370
SLURM_JOB_ID= 9587684
Free space on /tmp= 432604 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515179-1751227496/watcher-4515179-1751227496 -o /tmp/evaluation-result-4515179-1751227496/solver-4515179-1751227496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31370 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4515179-1751227496.opb

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

MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7
RANDOM SEED=1875175487

nodeC011 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		: 3492.089
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	: 6984.20
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		: 3691.484
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	: 6984.20
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.692
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	: 6984.20
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		: 3700.000
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	: 6984.20
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		: 3662.393
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	: 6984.20
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		: 1198.022
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	: 6984.20
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		: 3700.000
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	: 6984.20
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.295
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        105323604 kB
MemAvailable:   105554384 kB
Buffers:            3280 kB
Cached:          1040500 kB
SwapCached:            0 kB
Active:         24685436 kB
Inactive:         741628 kB
Active(anon):   24401244 kB
Inactive(anon):        0 kB
Active(file):     284192 kB
Inactive(file):   741628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6552 kB
Writeback:             4 kB
AnonPages:      24386292 kB
Mapped:           127300 kB
Shmem:             17960 kB
KReclaimable:      88792 kB
Slab:             169420 kB
SReclaimable:      88792 kB
SUnreclaim:        80628 kB
KernelStack:        4144 kB
PageTables:        51816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   29670668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5804032 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC011 at 2025-06-29 23:05:08