Trace number 4529839

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.00a2? (TO) 3600.22 3610.96

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 135
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 

10.53/10.62	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529839-1752258324.opb
10.53/10.62	c Solving mode: decision
10.53/10.62	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
10.53/10.62	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
10.53/10.62	c original problem has 15946 variables (15946 bin, 0 int, 0 impl, 0 cont) and 16216 constraints
10.53/10.62	c presolving:
10.53/10.62	c (round 1, fast)       250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1835 clqs
10.53/10.62	c (round 2, fast)       682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1819 clqs
10.53/10.62	c (round 3, fast)       900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1840 clqs
10.53/10.62	c (round 4, fast)       1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1873 clqs
10.53/10.62	c (round 5, fast)       1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1894 clqs
10.53/10.62	c (round 6, fast)       1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1904 clqs
10.53/10.62	c (round 7, exhaustive) 1181 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1917 clqs
10.53/10.62	c (round 8, exhaustive) 1181 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15449 upgd conss, 0 impls, 1917 clqs
10.53/10.62	c (round 9, exhaustive) 1296 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 1904 clqs
10.53/10.62	c (round 10, fast)       1411 del vars, 882 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 1904 clqs
10.53/10.62	c (round 11, exhaustive) 1437 del vars, 883 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 96756 clqs
10.53/10.62	c (round 12, fast)       1438 del vars, 909 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 169 chg coeffs, 15449 upgd conss, 0 impls, 96767 clqs
10.53/10.62	c (round 13, exhaustive) 1464 del vars, 909 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 169 chg coeffs, 15449 upgd conss, 0 impls, 96734 clqs
10.53/10.62	c (round 14, fast)       1465 del vars, 935 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 224 chg coeffs, 15449 upgd conss, 0 impls, 96743 clqs
10.53/10.62	c (round 15, exhaustive) 1492 del vars, 935 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 224 chg coeffs, 15449 upgd conss, 0 impls, 96739 clqs
10.53/10.62	c (round 16, fast)       1494 del vars, 962 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15449 upgd conss, 0 impls, 96757 clqs
10.53/10.62	c (round 17, exhaustive) 1520 del vars, 962 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15449 upgd conss, 0 impls, 96742 clqs
10.53/10.62	c (round 18, fast)       1521 del vars, 988 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 352 chg coeffs, 15449 upgd conss, 0 impls, 96759 clqs
10.53/10.62	c (round 19, exhaustive) 1547 del vars, 988 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 352 chg coeffs, 15449 upgd conss, 0 impls, 96770 clqs
10.53/10.62	c (round 20, fast)       1548 del vars, 1014 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15449 upgd conss, 0 impls, 96777 clqs
10.53/10.62	c (round 21, exhaustive) 1574 del vars, 1014 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15449 upgd conss, 0 impls, 96806 clqs
10.53/10.62	c (round 22, fast)       1575 del vars, 1040 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 479 chg coeffs, 15449 upgd conss, 0 impls, 96820 clqs
10.53/10.62	c    (4.8s) probing: 1000/15089 (6.6%) - 157 fixings, 0 aggregations, 1070666 implications, 0 bound changes
10.53/10.62	c (round 23, exhaustive) 1605 del vars, 1040 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 479 chg coeffs, 15449 upgd conss, 0 impls, 94576 clqs
10.53/10.62	c (round 24, fast)       1605 del vars, 1070 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 589 chg coeffs, 15449 upgd conss, 0 impls, 94602 clqs
10.53/10.62	c (round 25, exhaustive) 1641 del vars, 1070 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 589 chg coeffs, 15449 upgd conss, 0 impls, 95174 clqs
10.53/10.62	c (round 26, fast)       1641 del vars, 1106 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 663 chg coeffs, 15449 upgd conss, 0 impls, 95179 clqs
10.53/10.62	c (round 27, exhaustive) 1666 del vars, 1106 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 663 chg coeffs, 15449 upgd conss, 0 impls, 96829 clqs
10.53/10.62	c (round 28, fast)       1666 del vars, 1131 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 727 chg coeffs, 15449 upgd conss, 0 impls, 96841 clqs
10.53/10.62	c (round 29, exhaustive) 1692 del vars, 1131 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 727 chg coeffs, 15449 upgd conss, 0 impls, 96855 clqs
10.53/10.62	c (round 30, fast)       1692 del vars, 1157 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 784 chg coeffs, 15449 upgd conss, 0 impls, 96862 clqs
10.53/10.62	c (round 31, exhaustive) 1717 del vars, 1157 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 784 chg coeffs, 15449 upgd conss, 0 impls, 96872 clqs
10.53/10.62	c (round 32, fast)       1717 del vars, 1182 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 819 chg coeffs, 15449 upgd conss, 0 impls, 96878 clqs
10.53/10.62	c (round 33, exhaustive) 1744 del vars, 1182 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 819 chg coeffs, 15449 upgd conss, 0 impls, 96822 clqs
10.53/10.62	c (round 34, fast)       1747 del vars, 1210 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 853 chg coeffs, 15449 upgd conss, 0 impls, 96822 clqs
10.53/10.62	c (round 35, exhaustive) 1772 del vars, 1210 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 855 chg coeffs, 15449 upgd conss, 0 impls, 96648 clqs
10.53/10.62	c (round 36, fast)       1772 del vars, 1235 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15449 upgd conss, 0 impls, 96648 clqs
10.53/10.62	c (round 37, exhaustive) 1797 del vars, 1235 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15449 upgd conss, 0 impls, 96532 clqs
10.53/10.62	c (round 38, fast)       1797 del vars, 1260 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 872 chg coeffs, 15449 upgd conss, 0 impls, 96532 clqs
10.53/10.62	c (round 39, exhaustive) 1822 del vars, 1260 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 872 chg coeffs, 15449 upgd conss, 0 impls, 96375 clqs
10.53/10.62	c (round 40, fast)       1822 del vars, 1285 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 882 chg coeffs, 15449 upgd conss, 0 impls, 96375 clqs
10.53/10.62	c (round 41, exhaustive) 1850 del vars, 1285 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 882 chg coeffs, 15449 upgd conss, 0 impls, 96246 clqs
10.53/10.62	c (round 42, fast)       1853 del vars, 1313 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 909 chg coeffs, 15449 upgd conss, 0 impls, 96249 clqs
10.53/10.62	c (round 43, exhaustive) 1878 del vars, 1313 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 909 chg coeffs, 15449 upgd conss, 0 impls, 96122 clqs
10.53/10.62	c (round 44, fast)       1878 del vars, 1338 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15449 upgd conss, 0 impls, 96122 clqs
10.53/10.62	c (round 45, exhaustive) 1903 del vars, 1338 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15449 upgd conss, 0 impls, 95975 clqs
10.53/10.62	c (round 46, fast)       1903 del vars, 1363 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 932 chg coeffs, 15449 upgd conss, 0 impls, 95975 clqs
10.53/10.62	c (round 47, exhaustive) 1928 del vars, 1363 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 932 chg coeffs, 15449 upgd conss, 0 impls, 95857 clqs
10.53/10.62	c (round 48, fast)       1928 del vars, 1388 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 944 chg coeffs, 15449 upgd conss, 0 impls, 95857 clqs
10.53/10.62	c (round 49, exhaustive) 1953 del vars, 1388 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 944 chg coeffs, 15449 upgd conss, 0 impls, 95933 clqs
10.53/10.62	c (round 50, fast)       1953 del vars, 1413 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 964 chg coeffs, 15449 upgd conss, 0 impls, 95933 clqs
502.61/504.10	c (round 51, exhaustive) 1978 del vars, 1413 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 964 chg coeffs, 15449 upgd conss, 0 impls, 95790 clqs
502.61/504.10	c (round 52, fast)       1978 del vars, 1438 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 986 chg coeffs, 15449 upgd conss, 0 impls, 95790 clqs
502.61/504.10	c    (11.1s) probing: 2000/15089 (13.3%) - 551 fixings, 1 aggregations, 2235142 implications, 0 bound changes
502.61/504.10	c    (14.3s) probing: 3000/15089 (19.9%) - 562 fixings, 1 aggregations, 3431346 implications, 0 bound changes
502.61/504.10	c (round 53, exhaustive) 2003 del vars, 1438 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 986 chg coeffs, 15449 upgd conss, 0 impls, 96996 clqs
502.61/504.10	c (round 54, fast)       2003 del vars, 1463 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1014 chg coeffs, 15449 upgd conss, 0 impls, 96996 clqs
502.61/504.10	c (round 55, exhaustive) 2028 del vars, 1463 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1014 chg coeffs, 15449 upgd conss, 0 impls, 96923 clqs
502.61/504.10	c (round 56, fast)       2028 del vars, 1488 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1039 chg coeffs, 15449 upgd conss, 0 impls, 96923 clqs
502.61/504.10	c    (17.3s) probing: 4000/15089 (26.5%) - 609 fixings, 1 aggregations, 4440447 implications, 0 bound changes
502.61/504.10	c    (19.8s) probing: 5000/15089 (33.1%) - 614 fixings, 1 aggregations, 5351167 implications, 0 bound changes
502.61/504.10	c    (21.7s) probing: 5756/15089 (38.1%) - 614 fixings, 1 aggregations, 6046053 implications, 0 bound changes
502.61/504.10	c    (21.7s) probing aborted: 1000/1000 successive useless probings
502.61/504.10	c (round 57, exhaustive) 2051 del vars, 1488 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1039 chg coeffs, 15449 upgd conss, 0 impls, 97060 clqs
502.61/504.10	c (round 58, fast)       2051 del vars, 1511 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15449 upgd conss, 0 impls, 97062 clqs
502.61/504.10	c    (22.4s) probing: 6000/15089 (39.8%) - 634 fixings, 1 aggregations, 6232390 implications, 0 bound changes
502.61/504.10	c    (24.9s) probing: 7000/15089 (46.4%) - 636 fixings, 1 aggregations, 7146258 implications, 0 bound changes
502.61/504.10	c    (26.3s) probing: 7544/15089 (50.0%) - 636 fixings, 1 aggregations, 7646679 implications, 0 bound changes
502.61/504.10	c    (26.3s) probing aborted: 1000/1000 successive useless probings
502.61/504.10	c (round 59, exhaustive) 2073 del vars, 1511 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15449 upgd conss, 0 impls, 97056 clqs
502.61/504.10	c (round 60, fast)       2073 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1102 chg coeffs, 15449 upgd conss, 0 impls, 97056 clqs
502.61/504.10	c    (27.6s) probing: 8000/15089 (53.0%) - 638 fixings, 1 aggregations, 8057277 implications, 0 bound changes
502.61/504.10	c    (28.9s) probing: 8546/15089 (56.6%) - 638 fixings, 1 aggregations, 8554200 implications, 0 bound changes
502.61/504.10	c    (28.9s) probing aborted: 1000/1000 successive useless probings
502.61/504.10	c    (29.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
502.61/504.10	c    (29.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
502.61/504.10	c dynamic symmetry handling statistics:
502.61/504.10	c    orbitopal reduction:       no components
502.61/504.10	c    orbital reduction:         no components
502.61/504.10	c    lexicographic reduction:    3 permutations with support sizes 1222, 512, 244
502.61/504.10	c handled 4 out of 4 symmetry components
502.61/504.10	c presolving (61 rounds: 61 fast, 29 medium, 29 exhaustive):
502.61/504.10	c  2078 deleted vars, 1535 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1104 changed coefficients
502.61/504.10	c  0 implications, 97114 cliques
502.61/504.10	c presolved problem has 14434 variables (14434 bin, 0 int, 0 impl, 0 cont) and 14682 constraints
502.61/504.10	c    1808 constraints of type <setppc>
502.61/504.10	c       1 constraints of type <orbitope>
502.61/504.10	c   12873 constraints of type <logicor>
502.61/504.10	c transformed objective value is always integral (scale: 1)
502.61/504.10	c Presolving Time: 29.01
502.61/504.10	c 
502.61/504.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
502.61/504.10	c  44.9s|     1 |     0 | 15910 |     - |   279M |   0 |  14k|  14k|  14k|   0 |  0 | 147 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   165s|     1 |     0 | 99553 |     - |   296M |   0 |  14k|  14k|  14k|   4 |  1 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   181s|     1 |     0 |109960 |     - |   306M |   0 |  14k|  14k|  14k|  10 |  2 | 150 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   202s|     1 |     0 |121348 |     - |   310M |   0 |  14k|  14k|  14k|  16 |  3 | 158 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   227s|     1 |     0 |133754 |     - |   313M |   0 |  14k|  14k|  14k|  31 |  4 | 165 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   251s|     1 |     0 |145969 |     - |   316M |   0 |  14k|  14k|  14k|  44 |  5 | 171 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   277s|     1 |     0 |158646 |     - |   320M |   0 |  14k|  14k|  14k|  57 |  6 | 172 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   314s|     1 |     0 |175503 |     - |   322M |   0 |  14k|  14k|  14k|  81 |  7 | 181 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   342s|     1 |     0 |188418 |     - |   324M |   0 |  14k|  14k|  14k|  97 |  8 | 186 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   371s|     1 |     0 |201363 |     - |   331M |   0 |  14k|  14k|  14k| 109 |  9 | 187 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   401s|     1 |     0 |214665 |     - |   333M |   0 |  14k|  14k|  14k| 124 | 10 | 190 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   432s|     1 |     0 |228706 |     - |   335M |   0 |  14k|  14k|  14k| 140 | 11 | 200 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c   504s|     1 |     2 |252985 |     - |   335M |   0 |  14k|  14k|  14k| 140 | 11 | 201 |   0 | 0.000000e+00 |      --      |    Inf | unknown
502.61/504.10	c 
502.61/504.10	c SCIP Status        : solving was interrupted [time limit reached]
502.61/504.10	c Solving Time (sec) : 503.86
502.61/504.10	c Solving Nodes      : 1
502.61/504.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
502.61/504.10	c Dual Bound         : +0.00000000000000e+00
502.61/504.10	c Gap                : infinite
502.61/504.10	c ----------------------------------------------------------------------
502.61/504.10	c dual bound: 0.0 -> 0
502.61/504.10	c primal bound: 1e+20 -> 100000000000000000000
502.61/504.10	c scip-goal-lb: 0
502.61/504.10	c scip-goal-ub: 100000000000000000000
502.61/504.10	c writing output to: HOME/tmptgv_bcri.opb
502.61/504.10	c appending fixed variable constraints
502.61/504.10	c scip-fixed vars: 10.47% (1511/14434)
502.61/504.10	c ----------------------------------------------------------------------
502.61/504.10	c executing external solver: HOME/naps-1.03a6
502.61/504.10	c ----------------------------------------------------------------------
502.61/504.10	c command: HOME/naps-1.03a6 HOME/tmptgv_bcri.opb
502.61/504.11	c NaPS 1.03a6.
502.61/504.11	c Input file name: HOME/tmptgv_bcri.opb
3600.04/3610.80	c
3600.04/3610.80	c *** TERMINATED *** by signal 15
3600.04/3610.80	c s UNKNOWN
3600.04/3610.80	c _____________________________________________________________________________
3600.04/3610.80	c std/band forms        : 134,0
3600.04/3610.80	c 2cl/3cl ITE-codings   : 0,0
3600.04/3610.80	c BDD/srt/adr Max costs : 0,2726,0
3600.04/3610.80	c BDDraw/bin/mul/srt/adr: 0,0,0,134,0
3600.04/3610.80	c BDD nodes             : 0
3600.04/3610.80	c Es1/CC detections     : 0,0
3600.04/3610.80	c CC sort               : 134
3600.04/3610.80	c SAT/UNSAT calls       : 0,0
3600.04/3610.80	c regenrated variables  : 0
3600.04/3610.80	c eliminated fixed lits : 1679
3600.04/3610.80	c goal lit flips        : 0
3600.04/3610.80	c goal stages           : 0
3600.04/3610.80	c goal shrink           : 0
3600.04/3610.80	c goal coeff separations: 0
3600.04/3610.80	c restarts              : 0
3600.04/3610.80	c conflicts             : 0              (0 /sec)
3600.04/3610.80	c decisions             : 0              (0 /sec)
3600.04/3610.80	c propagations          : 0              (0 /sec)
3600.04/3610.80	c inspects              : 0              (0 /sec)
3600.04/3610.80	c CPU time (solving tm) : 3097 s        (3096 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.80	c Time for Opt-base     : 0.002909 s
3600.04/3610.80	c Steps for Opt-base    : 0
3600.04/3610.80	c Time for BDD coding   : 0 s
3600.04/3610.80	c Time for srt coding   : 0.06475 s
3600.04/3610.80	c _____________________________________________________________________________
3600.04/3610.80	s UNKNOWN
3600.16/3610.92	c received SIGTERM, forwarding to pbsolver...
3600.16/3610.92	c failed to send SIGTERM to pbsolver: [Errno 3] No such process

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: 63708 MiB (45190 MiB free)
  memory of node 1: 64465 MiB (31326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529839-1752258324/watcher-4529839-1752258324 -o /tmp/evaluation-result-4529839-1752258324/solver-4529839-1752258324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752253329-117724 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529839-1752258324.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=118988, runsolver pid=118985
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.06 4.11 4.09 5/271 118993
/proc/meminfo: memFree=78348268/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1187640 memory=32612 CPUtime=0.07 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 3888 0 0 0 6 1 0 0 20 0 1 0 141510250 1216143360 8153 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 296910 8153 4923 1 0 268932 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191832 KiB
Current children cumulated memory: 35684 KiB

[startup+0.205925 s]*
/proc/loadavg: 4.06 4.11 4.09 5/271 118993
/proc/meminfo: memFree=78293836/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1238312 memory=90340 CPUtime=0.18 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 15717 0 0 0 14 4 0 0 20 0 1 0 141510250 1268031488 22585 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 309578 22585 7771 1 0 280936 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1242504 KiB
Current children cumulated memory: 93412 KiB

[startup+0.305943 s]*
/proc/loadavg: 4.06 4.11 4.09 5/271 118993
/proc/meminfo: memFree=78261580/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1267356 memory=116836 CPUtime=0.28 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 22320 0 0 0 23 5 0 0 20 0 1 0 141510250 1297772544 29209 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 316839 29209 7835 1 0 288197 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1271548 KiB
Current children cumulated memory: 119908 KiB

[startup+0.700219 s]
/proc/loadavg: 4.06 4.11 4.09 5/271 118993
/proc/meminfo: memFree=78237640/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1295268 memory=143716 CPUtime=0.66 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 29009 0 0 0 60 6 0 0 20 0 1 0 141510250 1326354432 35929 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 323817 35929 7899 1 0 295175 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1299460 KiB
Current children cumulated memory: 146788 KiB

[startup+1.50021 s]
/proc/loadavg: 4.06 4.10 4.09 5/271 118993
/proc/meminfo: memFree=78196816/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1329820 memory=177944 CPUtime=1.46 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 36626 0 0 0 139 7 0 0 20 0 1 0 141510250 1361735680 44486 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 332455 44486 7899 1 0 303813 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1334012 KiB
Current children cumulated memory: 181016 KiB

[startup+3.10575 s]
/proc/loadavg: 4.06 4.10 4.09 5/271 118993
/proc/meminfo: memFree=78087504/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1329820 memory=178200 CPUtime=3.06 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 36665 0 0 0 299 7 0 0 20 0 1 0 141510250 1361735680 44550 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 332455 44550 7899 1 0 303813 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1334012 KiB
Current children cumulated memory: 181272 KiB

[startup+6.30019 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 118995
/proc/meminfo: memFree=77998672/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1336048 memory=183704 CPUtime=6.25 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 38076 0 0 0 618 7 0 0 20 0 1 0 141510250 1368113152 45926 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 334012 45926 7931 1 0 305370 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1340240 KiB
Current children cumulated memory: 186776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 118995
/proc/meminfo: memFree=77881684/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1337956 memory=185752 CPUtime=12.63 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 38576 0 0 0 1256 7 0 0 20 0 1 0 141510250 1370066944 46438 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 334489 46438 7931 1 0 305847 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1342148 KiB
Current children cumulated memory: 188824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 118995
/proc/meminfo: memFree=73254316/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1339000 memory=186776 CPUtime=25.39 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 38834 0 0 0 2532 7 0 0 20 0 1 0 141510250 1371136000 46694 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 334750 46694 7931 1 0 306108 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1343192 KiB
Current children cumulated memory: 189848 KiB

[startup+51.1058 s]
/proc/loadavg: 4.07 4.10 4.09 5/271 119044
/proc/meminfo: memFree=100846960/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1503700 memory=304980 CPUtime=50.89 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 69408 0 0 0 5074 15 0 0 20 0 1 0 141510250 1539788800 76245 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 375925 76245 8123 1 0 347283 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1507892 KiB
Current children cumulated memory: 308052 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/271 119046
/proc/meminfo: memFree=97387408/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1503700 memory=305108 CPUtime=101.94 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 69447 0 0 0 10179 15 0 0 20 0 1 0 141510250 1539788800 76277 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 375925 76277 8123 1 0 347283 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1507892 KiB
Current children cumulated memory: 308180 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 119097
/proc/meminfo: memFree=120017452/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1552756 memory=353004 CPUtime=161.77 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 74226 0 0 0 16161 16 0 0 20 0 1 0 141510250 1590022144 88251 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 388189 88251 8155 1 0 359547 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1556948 KiB
Current children cumulated memory: 356076 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/271 119106
/proc/meminfo: memFree=120490572/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1575640 memory=373464 CPUtime=221.6 cores=0,2
/proc/118993/stat : 118993 (python3) R 118988 118988 117714 0 -1 4194304 79337 0 0 0 22143 17 0 0 20 0 1 0 141510250 1613455360 93366 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 393910 93366 8155 1 0 365268 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1579832 KiB

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

/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138448 memory=123808 CPUtime=2710.11 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 89374 0 0 0 270963 48 0 0 20 0 1 0 141560659 141770752 30952 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34612 30952 544 696 0 33773 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 1753152 KiB
Current children cumulated memory: 533624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/270 119755
/proc/meminfo: memFree=97605528/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138448 memory=125856 CPUtime=2769.93 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 94947 0 0 0 276942 51 0 0 20 0 1 0 141560659 141770752 31464 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34612 31464 544 696 0 33773 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 1753152 KiB
Current children cumulated memory: 535672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 119815
/proc/meminfo: memFree=97301056/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138448 memory=123812 CPUtime=2829.75 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 97486 0 0 0 282923 52 0 0 20 0 1 0 141560659 141770752 30953 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34612 30953 544 696 0 33773 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 1753152 KiB
Current children cumulated memory: 533628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/272 119914
/proc/meminfo: memFree=121062900/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138448 memory=121764 CPUtime=2889.57 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 104437 0 0 0 288901 56 0 0 20 0 1 0 141560659 141770752 30441 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34612 30441 544 696 0 33773 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 1753152 KiB
Current children cumulated memory: 531580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 119916
/proc/meminfo: memFree=120990892/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=154832 memory=129956 CPUtime=2949.38 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 107161 0 0 0 294881 57 0 0 20 0 1 0 141560659 158547968 32489 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 38708 32489 544 696 0 37869 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 1769536 KiB
Current children cumulated memory: 539772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 119919
/proc/meminfo: memFree=120979576/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138448 memory=125864 CPUtime=3009.2 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 112065 0 0 0 300860 60 0 0 20 0 1 0 141560659 141770752 31466 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34612 31466 544 696 0 33773 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 1753152 KiB
Current children cumulated memory: 535680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/271 119921
/proc/meminfo: memFree=120094296/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=138300 memory=121588 CPUtime=3069.01 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 117915 0 0 0 306839 62 0 0 20 0 1 0 141560659 141619200 30397 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 34575 30397 544 696 0 33736 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 1753004 KiB
Current children cumulated memory: 531404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.43 4.19 4.12 5/271 119922
/proc/meminfo: memFree=120062612/131249996 swapFree=33000896/33010684
[pid=118988] ppid=118985 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/118988/stat : 118988 (scip-naps-1.00a) S 118985 118988 117714 0 -1 4194304 261 338 0 0 0 0 0 0 20 0 1 0 141510248 4292608 768 18446744073709551615 94464735985664 94464736880197 140736790952336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94464737119248 94464737166992 94464765415424 140736790960539 140736790960638 140736790960638 140736790966242 0
/proc/118988/statm: 1048 768 704 219 0 110 0
[pid=118993] ppid=118988 vsize=1610512 memory=406744 CPUtime=502.62 cores=0,2
/proc/118993/stat : 118993 (python3) S 118988 118988 117714 0 -1 4194304 87343 0 0 0 50243 19 0 0 20 0 1 0 141510250 1649164288 101686 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 402628 101686 8155 1 0 373986 0
[pid=119117] ppid=118993 vsize=154684 memory=131980 CPUtime=3097.42 cores=0,2
/proc/119117/stat : 119117 (naps-1.03a6) R 118993 119117 119117 0 -1 4194304 118453 0 0 0 309680 62 0 0 20 0 1 0 141560659 158396416 32995 18446744073709551615 4198400 7047149 140728641154048 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21200896 140728641157519 140728641157617 140728641157617 140728641163209 0
/proc/119117/statm: 38671 32995 544 696 0 37832 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1769388 KiB
Current children cumulated memory: 541796 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.005407 s

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

# cumulated CPU time of all completed processes:  user=3599.36 s, system=0.857119 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+3610.92 s]*
/proc/loadavg: 4.43 4.19 4.12 5/269 119922
/proc/meminfo: memFree=120196412/131249996 swapFree=33000896/33010684
[pid=118993] ppid=118985 vsize=1572960 memory=370092 CPUtime=3600.15 cores=0,2
/proc/118993/stat : 118993 (python3) R 118985 118988 117714 0 -1 4194304 128783 118454 0 0 50253 20 309680 62 20 0 1 0 141510250 1610711040 92523 18446744073709551615 94823614201856 94823614202233 140726331493776 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94823614213528 94823614214148 94823643463680 140726331500879 140726331501088 140726331501088 140726331506663 0
/proc/118993/statm: 393240 92523 8155 1 0 364598 0
Current cumulated CPU time of completed processes: 0.005407 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1572960 KiB
Current children cumulated memory: 370092 KiB

Child status: 0

Real time (s): 3610.96
CPU time (s): 3600.22
CPU user time (s): 3599.36
CPU system time (s): 0.857119
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 1786304
Max. memory (cumulated for all children) (KiB): 554888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.857119
maximum resident set size= 406744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 365
involuntary context switches= 7959


# summary of solver processes directly reported to runsolver:
#   pid: 118988,118993
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3599.36
#   total CPU system time (s): 0.857119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68203 second user time and 16.9178 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-11 20:25:24
IDJOB=4529839
IDBENCH=158262
IDSOLVER=3388
FILE ID=nodeC023/4529839-1752258324
RUNJOBID= nodeC023-1752253329-117724
SLURM_JOB_ID= 9682585
Free space on /tmp= 430984 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529839-1752258324/watcher-4529839-1752258324 -o /tmp/evaluation-result-4529839-1752258324/solver-4529839-1752258324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1752253329-117724 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529839-1752258324.opb

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=1904030243

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        78361560 kB
MemAvailable:   79265036 kB
Buffers:              16 kB
Cached:          1644040 kB
SwapCached:         2860 kB
Active:         50517996 kB
Inactive:        1475452 kB
Active(anon):   50309268 kB
Inactive(anon):    52736 kB
Active(file):     208728 kB
Inactive(file):  1422716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6656 kB
Writeback:             0 kB
AnonPages:      50349576 kB
Mapped:           129884 kB
Shmem:             12612 kB
KReclaimable:     222544 kB
Slab:             315960 kB
SReclaimable:     222544 kB
SUnreclaim:        93416 kB
KernelStack:        4416 kB
PageTables:       102968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   56088572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14460928 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431844 MiB
End job on nodeC023 at 2025-07-11 21:25:35