Trace number 4507061

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.23 3610.08

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
MD5SUM4394b20101c323a14e6df6504cadd31d
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 variables18445
Total number of constraints18757
Number of constraints which are clauses18602
Number of constraints which are cardinality constraints (but not clauses)155
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint155
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 156
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 

13.82/13.94	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507061-1751176713.opb
13.82/13.94	c Solving mode: decision
13.82/13.94	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
13.82/13.94	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
13.82/13.94	c original problem has 18445 variables (18445 bin, 0 int, 0 impl, 0 cont) and 18757 constraints
13.82/13.94	c presolving:
13.82/13.94	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, 2129 clqs
13.82/13.94	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, 2113 clqs
13.82/13.94	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, 2134 clqs
13.82/13.94	c (round 4, fast)       1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2165 clqs
13.82/13.94	c (round 5, fast)       1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2188 clqs
13.82/13.94	c (round 6, fast)       1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2198 clqs
13.82/13.94	c (round 7, exhaustive) 1182 del vars, 788 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2211 clqs
13.82/13.94	c (round 8, exhaustive) 1182 del vars, 788 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17969 upgd conss, 0 impls, 2211 clqs
13.82/13.94	c (round 9, exhaustive) 1297 del vars, 788 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17969 upgd conss, 0 impls, 2198 clqs
13.82/13.94	c (round 10, fast)       1412 del vars, 903 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17969 upgd conss, 0 impls, 2198 clqs
13.82/13.94	c (round 11, exhaustive) 1438 del vars, 904 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17969 upgd conss, 0 impls, 111914 clqs
13.82/13.94	c (round 12, fast)       1439 del vars, 930 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 169 chg coeffs, 17969 upgd conss, 0 impls, 111927 clqs
13.82/13.94	c (round 13, exhaustive) 1465 del vars, 930 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 169 chg coeffs, 17969 upgd conss, 0 impls, 111893 clqs
13.82/13.94	c (round 14, fast)       1466 del vars, 956 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17969 upgd conss, 0 impls, 111902 clqs
13.82/13.94	c (round 15, exhaustive) 1492 del vars, 956 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17969 upgd conss, 0 impls, 111923 clqs
13.82/13.94	c (round 16, fast)       1493 del vars, 982 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 299 chg coeffs, 17969 upgd conss, 0 impls, 111940 clqs
13.82/13.94	c (round 17, exhaustive) 1519 del vars, 982 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 299 chg coeffs, 17969 upgd conss, 0 impls, 111912 clqs
13.82/13.94	c (round 18, fast)       1520 del vars, 1008 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 369 chg coeffs, 17969 upgd conss, 0 impls, 111928 clqs
13.82/13.94	c    (5.4s) probing: 1000/17588 (5.7%) - 102 fixings, 0 aggregations, 1118146 implications, 0 bound changes
13.82/13.94	c (round 19, exhaustive) 1545 del vars, 1008 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 369 chg coeffs, 17969 upgd conss, 0 impls, 111929 clqs
13.82/13.94	c (round 20, fast)       1545 del vars, 1033 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 428 chg coeffs, 17969 upgd conss, 0 impls, 111949 clqs
13.82/13.94	c (round 21, exhaustive) 1572 del vars, 1033 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 428 chg coeffs, 17969 upgd conss, 0 impls, 111968 clqs
13.82/13.94	c (round 22, fast)       1574 del vars, 1060 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 496 chg coeffs, 17969 upgd conss, 0 impls, 111980 clqs
13.82/13.94	c (round 23, exhaustive) 1600 del vars, 1060 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 496 chg coeffs, 17969 upgd conss, 0 impls, 111973 clqs
13.82/13.94	c (round 24, fast)       1600 del vars, 1086 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 557 chg coeffs, 17969 upgd conss, 0 impls, 111980 clqs
13.82/13.94	c (round 25, exhaustive) 1625 del vars, 1086 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 557 chg coeffs, 17969 upgd conss, 0 impls, 110391 clqs
13.82/13.94	c (round 26, fast)       1625 del vars, 1111 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 641 chg coeffs, 17969 upgd conss, 0 impls, 110411 clqs
13.82/13.94	c (round 27, exhaustive) 1651 del vars, 1111 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 641 chg coeffs, 17969 upgd conss, 0 impls, 111968 clqs
13.82/13.94	c (round 28, fast)       1652 del vars, 1137 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 695 chg coeffs, 17969 upgd conss, 0 impls, 111974 clqs
13.82/13.94	c (round 29, exhaustive) 1678 del vars, 1137 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 695 chg coeffs, 17969 upgd conss, 0 impls, 111211 clqs
13.82/13.94	c (round 30, fast)       1680 del vars, 1164 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 771 chg coeffs, 17969 upgd conss, 0 impls, 111218 clqs
13.82/13.94	c (round 31, exhaustive) 1705 del vars, 1164 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 773 chg coeffs, 17969 upgd conss, 0 impls, 111710 clqs
13.82/13.94	c (round 32, fast)       1705 del vars, 1189 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 823 chg coeffs, 17969 upgd conss, 0 impls, 111724 clqs
13.82/13.94	c (round 33, exhaustive) 1732 del vars, 1189 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 823 chg coeffs, 17969 upgd conss, 0 impls, 111992 clqs
13.82/13.94	c (round 34, fast)       1735 del vars, 1217 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 864 chg coeffs, 17969 upgd conss, 0 impls, 111993 clqs
13.82/13.94	c (round 35, exhaustive) 1760 del vars, 1217 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 865 chg coeffs, 17969 upgd conss, 0 impls, 111813 clqs
13.82/13.94	c (round 36, fast)       1760 del vars, 1242 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 17969 upgd conss, 0 impls, 111813 clqs
13.82/13.94	c (round 37, exhaustive) 1785 del vars, 1242 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 17969 upgd conss, 0 impls, 111672 clqs
13.82/13.94	c (round 38, fast)       1785 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 883 chg coeffs, 17969 upgd conss, 0 impls, 111672 clqs
13.82/13.94	c (round 39, exhaustive) 1810 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 883 chg coeffs, 17969 upgd conss, 0 impls, 111528 clqs
13.82/13.94	c (round 40, fast)       1810 del vars, 1292 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 891 chg coeffs, 17969 upgd conss, 0 impls, 111528 clqs
13.82/13.94	c (round 41, exhaustive) 1835 del vars, 1292 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 891 chg coeffs, 17969 upgd conss, 0 impls, 111343 clqs
13.82/13.94	c (round 42, fast)       1835 del vars, 1317 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 17969 upgd conss, 0 impls, 111346 clqs
13.82/13.94	c (round 43, exhaustive) 1860 del vars, 1317 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 17969 upgd conss, 0 impls, 111178 clqs
13.82/13.94	c (round 44, fast)       1860 del vars, 1342 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 928 chg coeffs, 17969 upgd conss, 0 impls, 111178 clqs
13.82/13.94	c (round 45, exhaustive) 1885 del vars, 1342 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 928 chg coeffs, 17969 upgd conss, 0 impls, 111038 clqs
13.82/13.94	c (round 46, fast)       1885 del vars, 1367 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 936 chg coeffs, 17969 upgd conss, 0 impls, 111038 clqs
13.82/13.94	c (round 47, exhaustive) 1910 del vars, 1367 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 936 chg coeffs, 17969 upgd conss, 0 impls, 110880 clqs
13.82/13.94	c (round 48, fast)       1910 del vars, 1392 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 17969 upgd conss, 0 impls, 110880 clqs
13.82/13.94	c    (13.7s) probing: 2000/17588 (11.4%) - 480 fixings, 1 aggregations, 2592171 implications, 0 bound changes
13.82/13.94	c (round 49, exhaustive) 1935 del vars, 1392 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 17969 upgd conss, 0 impls, 110722 clqs
498.79/500.25	c (round 50, fast)       1935 del vars, 1417 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 958 chg coeffs, 17969 upgd conss, 0 impls, 110722 clqs
498.79/500.25	c (round 51, exhaustive) 1961 del vars, 1417 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 958 chg coeffs, 17969 upgd conss, 0 impls, 110724 clqs
498.79/500.25	c (round 52, fast)       1962 del vars, 1443 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 983 chg coeffs, 17969 upgd conss, 0 impls, 110725 clqs
498.79/500.25	c (round 53, exhaustive) 1987 del vars, 1443 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 983 chg coeffs, 17969 upgd conss, 0 impls, 110519 clqs
498.79/500.25	c (round 54, fast)       1987 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 999 chg coeffs, 17969 upgd conss, 0 impls, 110519 clqs
498.79/500.25	c (round 55, exhaustive) 2012 del vars, 1468 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 999 chg coeffs, 17969 upgd conss, 0 impls, 112097 clqs
498.79/500.25	c (round 56, fast)       2012 del vars, 1493 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 17969 upgd conss, 0 impls, 112098 clqs
498.79/500.25	c (round 57, exhaustive) 2037 del vars, 1493 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 17969 upgd conss, 0 impls, 111913 clqs
498.79/500.25	c (round 58, fast)       2037 del vars, 1518 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 17969 upgd conss, 0 impls, 111913 clqs
498.79/500.25	c    (18.4s) probing: 3000/17588 (17.1%) - 609 fixings, 1 aggregations, 3641946 implications, 0 bound changes
498.79/500.25	c    (22.4s) probing: 4000/17588 (22.7%) - 620 fixings, 1 aggregations, 4862023 implications, 0 bound changes
498.79/500.25	c    (25.5s) probing: 5000/17588 (28.4%) - 624 fixings, 1 aggregations, 5803259 implications, 0 bound changes
498.79/500.25	c (round 59, exhaustive) 2062 del vars, 1518 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 17969 upgd conss, 0 impls, 112089 clqs
498.79/500.25	c (round 60, fast)       2062 del vars, 1543 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1083 chg coeffs, 17969 upgd conss, 0 impls, 112091 clqs
498.79/500.25	c (round 61, exhaustive) 2087 del vars, 1543 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1083 chg coeffs, 17969 upgd conss, 0 impls, 112094 clqs
498.79/500.25	c (round 62, fast)       2087 del vars, 1568 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1111 chg coeffs, 17969 upgd conss, 0 impls, 112094 clqs
498.79/500.25	c    (28.9s) probing: 6000/17588 (34.1%) - 651 fixings, 1 aggregations, 6698180 implications, 0 bound changes
498.79/500.25	c    (29.1s) probing: 6089/17588 (34.6%) - 651 fixings, 1 aggregations, 6780200 implications, 0 bound changes
498.79/500.25	c    (29.1s) probing aborted: 1000/1000 successive useless probings
498.79/500.25	c    (29.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.79/500.25	c    (29.2s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
498.79/500.25	c dynamic symmetry handling statistics:
498.79/500.25	c    orbitopal reduction:       no components
498.79/500.25	c    orbital reduction:         no components
498.79/500.25	c    lexicographic reduction:    3 permutations with support sizes 1432, 596, 286
498.79/500.25	c handled 4 out of 4 symmetry components
498.79/500.25	c presolving (63 rounds: 63 fast, 30 medium, 30 exhaustive):
498.79/500.25	c  2091 deleted vars, 1569 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1112 changed coefficients
498.79/500.25	c  0 implications, 112277 cliques
498.79/500.25	c presolved problem has 16920 variables (16920 bin, 0 int, 0 impl, 0 cont) and 17189 constraints
498.79/500.25	c    2102 constraints of type <setppc>
498.79/500.25	c       1 constraints of type <orbitope>
498.79/500.25	c   15086 constraints of type <logicor>
498.79/500.25	c transformed objective value is always integral (scale: 1)
498.79/500.25	c Presolving Time: 29.20
498.79/500.25	c 
498.79/500.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.79/500.25	c  46.3s|     1 |     0 | 18148 |     - |   325M |   0 |  16k|  17k|  17k|   0 |  0 | 169 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   249s|     1 |     0 |114490 |     - |   346M |   0 |  16k|  17k|  17k|   7 |  1 | 170 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   275s|     1 |     0 |126756 |     - |   353M |   0 |  16k|  17k|  17k|  19 |  2 | 173 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   302s|     1 |     0 |138545 |     - |   357M |   0 |  16k|  17k|  17k|  24 |  3 | 174 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   329s|     1 |     0 |150575 |     - |   360M |   0 |  16k|  17k|  17k|  37 |  4 | 175 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   356s|     1 |     0 |161913 |     - |   361M |   0 |  16k|  17k|  17k|  42 |  5 | 182 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   392s|     1 |     0 |176650 |     - |   365M |   0 |  16k|  17k|  17k|  59 |  6 | 185 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   426s|     1 |     0 |190353 |     - |   370M |   0 |  16k|  17k|  17k|  77 |  7 | 189 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   463s|     1 |     0 |204886 |     - |   376M |   0 |  16k|  17k|  17k|  95 |  8 | 196 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   493s|     1 |     0 |216497 |     - |   378M |   0 |  16k|  17k|  17k| 102 |  9 | 202 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c   500s|     1 |     0 |216497 |     - |   380M |   0 |  16k|  17k|  17k| 119 | 10 | 208 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.79/500.25	c (node 1) LP solver hit time limit in LP 12 -- using pseudo solution instead
498.79/500.25	c 
498.79/500.25	c SCIP Status        : solving was interrupted [time limit reached]
498.79/500.25	c Solving Time (sec) : 500.00
498.79/500.25	c Solving Nodes      : 1
498.79/500.25	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.79/500.25	c Dual Bound         : +0.00000000000000e+00
498.79/500.25	c Gap                : infinite
498.79/500.25	c ----------------------------------------------------------------------
498.79/500.25	c dual bound: 0.0 -> 0
498.79/500.25	c primal bound: 1e+20 -> 100000000000000000000
498.79/500.25	c scip-goal-lb: 0
498.79/500.25	c scip-goal-ub: 100000000000000000000
498.79/500.25	c writing output to: HOME/tmpc0rcx1_i.opb
498.79/500.25	c appending fixed variable constraints
498.79/500.25	c scip-fixed vars: 9.01% (1524/16920)
498.79/500.25	c ----------------------------------------------------------------------
498.79/500.25	c executing external solver: HOME/naps-1.03a6
498.79/500.25	c ----------------------------------------------------------------------
498.79/500.25	c command: HOME/naps-1.03a6 HOME/tmpc0rcx1_i.opb
498.79/500.26	c NaPS 1.03a6.
498.79/500.26	c Input file name: HOME/tmpc0rcx1_i.opb
3600.03/3609.90	c
3600.03/3609.90	c *** TERMINATED *** by signal 15
3600.03/3609.90	c _____________________________________________________________________________
3600.03/3609.90	c std/band forms        : 155,0
3600.03/3609.90	c 2cl/3cl ITE-codings   : 0,0
3600.03/3609.90	c BDD/srt/adr Max costs : 0,2726,0
3600.03/3609.90	c BDDraw/bin/mul/srt/adr: 0,0,0,155,0
3600.03/3609.90	c BDD nodes             : 0
3600.03/3609.90	c Es1/CC detections     : 0,0
3600.03/3609.90	c CC sort               : 155
3600.03/3609.90	c SAT/UNSAT calls       : 0,0
3600.03/3609.90	c regenrated variables  : 0
3600.03/3609.90	c eliminated fixed lits : 1692
3600.03/3609.90	c goal lit flips        : 0
3600.03/3609.90	c goal stages           : 0
3600.03/3609.90	c goal shrink           : 0
3600.03/3609.90	c goal coeff separations: 0
3600.03/3609.90	c restarts              : 0
3600.03/3609.90	c conflicts             : 0              (0 /sec)
3600.03/3609.90	c decisions             : 0              (0 /sec)
3600.03/3609.90	c propagations          : 0              (0 /sec)
3600.03/3609.90	c inspects              : 0              (0 /sec)
3600.03/3609.90	c CPU time (solving tm) : 3101 s        (3100 s, SAT 0 s, UNSAT 0 s)
3600.03/3609.90	c Time for Opt-base     : 0.002995 s
3600.03/3609.90	c Steps for Opt-base    : 0
3600.03/3609.90	c Time for BDD coding   : 0 s
3600.03/3609.90	c Time for srt coding   : 0.05203 s
3600.03/3609.90	c _____________________________________________________________________________
3600.03/3609.90	s UNKNOWN
3600.15/3610.04	c received SIGTERM, forwarding to pbsolver...
3600.15/3610.04	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 (62276 MiB free)
  memory of node 1: 64465 MiB (63322 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507061-1751176713/watcher-4507061-1751176713 -o /tmp/evaluation-result-4507061-1751176713/solver-4507061-1751176713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18689 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507061-1751176713.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=19553, runsolver pid=19550

[startup+0.100064 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128601868/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1187604 memory=32548 CPUtime=0.07 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 3869 0 0 0 6 1 0 0 20 0 1 0 33349137 1216106496 8137 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 296901 8137 4905 1 0 268923 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191796 KiB
Current children cumulated memory: 35492 KiB

[startup+0.205567 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128565340/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1232456 memory=84132 CPUtime=0.17 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 14164 0 0 0 15 2 0 0 20 0 1 0 33349137 1262034944 21033 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 308114 21033 7753 1 0 279472 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1236648 KiB
Current children cumulated memory: 87076 KiB

[startup+0.305591 s]*
/proc/loadavg: 4.10 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128516956/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1275136 memory=124580 CPUtime=0.27 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 24216 0 0 0 24 3 0 0 20 0 1 0 33349137 1305739264 31145 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 318784 31145 7817 1 0 290142 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1279328 KiB
Current children cumulated memory: 127524 KiB

[startup+0.700212 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128484700/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1306980 memory=155428 CPUtime=0.66 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 31972 0 0 0 61 5 0 0 20 0 1 0 33349137 1338347520 38857 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 326745 38857 7849 1 0 298103 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1311172 KiB
Current children cumulated memory: 158372 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128460760/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1349032 memory=194860 CPUtime=1.45 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 40842 0 0 0 139 6 0 0 20 0 1 0 33349137 1381408768 48715 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 337258 48715 7881 1 0 308616 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1353224 KiB
Current children cumulated memory: 197804 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128452920/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1349888 memory=195628 CPUtime=3.06 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 41064 0 0 0 300 6 0 0 20 0 1 0 33349137 1382285312 48907 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 337472 48907 7881 1 0 308830 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1354080 KiB
Current children cumulated memory: 198572 KiB

[startup+6.3002 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128452940/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1352376 memory=197676 CPUtime=6.24 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 41546 0 0 0 618 6 0 0 20 0 1 0 33349137 1384833024 49419 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 338094 49419 7913 1 0 309452 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1356568 KiB
Current children cumulated memory: 200620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 19558
/proc/meminfo: memFree=128438176/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1357404 memory=202668 CPUtime=12.62 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 42835 0 0 0 1256 6 0 0 20 0 1 0 33349137 1389981696 50667 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 339351 50667 7913 1 0 310709 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1361596 KiB
Current children cumulated memory: 205612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 19558
/proc/meminfo: memFree=128439232/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1358864 memory=204204 CPUtime=25.38 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 43219 0 0 0 2532 6 0 0 20 0 1 0 33349137 1391476736 51051 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 339716 51051 7913 1 0 311074 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1363056 KiB
Current children cumulated memory: 207148 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 19559
/proc/meminfo: memFree=128284644/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1554920 memory=342756 CPUtime=50.92 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 79168 0 0 0 5081 11 0 0 20 0 1 0 33349137 1592238080 85689 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 388730 85689 8105 1 0 360088 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1559112 KiB
Current children cumulated memory: 345700 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 19561
/proc/meminfo: memFree=128301872/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1555808 memory=343908 CPUtime=101.97 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 79474 0 0 0 10186 11 0 0 20 0 1 0 33349137 1593147392 85977 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 388952 85977 8105 1 0 360310 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1560000 KiB
Current children cumulated memory: 346852 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 19574
/proc/meminfo: memFree=128297708/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1556164 memory=344420 CPUtime=161.81 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 79574 0 0 0 16170 11 0 0 20 0 1 0 33349137 1593511936 86105 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 389041 86105 8105 1 0 360399 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1560356 KiB
Current children cumulated memory: 347364 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 19576
/proc/meminfo: memFree=128184488/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1556164 memory=344676 CPUtime=221.64 cores=5,7
/proc/19558/stat : 19558 (python3) R 19553 19553 18676 0 -1 4194304 79657 0 0 0 22153 11 0 0 20 0 1 0 33349137 1593511936 86169 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 389041 86169 8105 1 0 360399 0
Current children cumulated CPU time: 221.64 s

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

/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=157004 memory=138588 CPUtime=2714.64 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 118157 0 0 0 271414 50 0 0 20 0 1 0 33399161 160772096 34647 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 39251 34647 544 696 0 38412 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 1833700 KiB
Current children cumulated memory: 599436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/271 20023
/proc/meminfo: memFree=128066928/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=148812 memory=130224 CPUtime=2774.48 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 125800 0 0 0 277394 54 0 0 20 0 1 0 33399161 152383488 32556 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 37203 32556 544 696 0 36364 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 1825508 KiB
Current children cumulated memory: 591072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/269 20074
/proc/meminfo: memFree=128583600/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=173388 memory=144844 CPUtime=2834.31 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 129332 0 0 0 283374 57 0 0 20 0 1 0 33399161 177549312 36211 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 43347 36211 544 696 0 42508 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 1850084 KiB
Current children cumulated memory: 605692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/270 20080
/proc/meminfo: memFree=128443176/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=173388 memory=148940 CPUtime=2894.15 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 132598 0 0 0 289356 59 0 0 20 0 1 0 33399161 177549312 37235 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 43347 37235 544 696 0 42508 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 1850084 KiB
Current children cumulated memory: 609788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/270 20086
/proc/meminfo: memFree=128428928/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=140508 memory=137136 CPUtime=2953.98 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 139121 0 0 0 295337 61 0 0 20 0 1 0 33399161 143880192 34284 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 35127 34284 544 696 0 34288 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 1817204 KiB
Current children cumulated memory: 597984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/270 20088
/proc/meminfo: memFree=128384724/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=157004 memory=136236 CPUtime=3013.81 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 141362 0 0 0 301319 62 0 0 20 0 1 0 33399161 160772096 34059 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 39251 34059 544 696 0 38412 0
Current children cumulated CPU time: 3512.66 s
Current children cumulated vsize: 1833700 KiB
Current children cumulated memory: 597084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.11 4.12 5/270 20090
/proc/meminfo: memFree=128357668/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=157004 memory=138676 CPUtime=3073.66 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 145404 0 0 0 307303 63 0 0 20 0 1 0 33399161 160772096 34669 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 39251 34669 544 696 0 38412 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 1833700 KiB
Current children cumulated memory: 599524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.12 4.12 5/271 20092
/proc/meminfo: memFree=128349928/131249996 swapFree=33010684/33010684
[pid=19553] ppid=19550 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19553/stat : 19553 (scip-naps-1.00.) S 19550 19553 18676 0 -1 4194304 257 341 0 0 0 0 0 0 20 0 1 0 33349135 4292608 736 18446744073709551615 93883057606656 93883058501189 140729904076592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93883058740240 93883058787984 93883081863168 140729904081313 140729904081410 140729904081410 140729904087012 0
/proc/19553/statm: 1048 736 672 219 0 110 0
[pid=19558] ppid=19553 vsize=1672504 memory=457904 CPUtime=498.85 cores=5,7
/proc/19558/stat : 19558 (python3) S 19553 19553 18676 0 -1 4194304 96227 0 0 0 49868 17 0 0 20 0 1 0 33349137 1712644096 114476 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 418126 114476 8137 1 0 389484 0
[pid=19595] ppid=19558 vsize=140620 memory=134580 CPUtime=3101.18 cores=5,7
/proc/19595/stat : 19595 (naps-1.03a6) R 19558 19595 19595 0 -1 4194304 146994 0 0 0 310054 64 0 0 20 0 1 0 33399161 143994880 33645 18446744073709551615 4198400 7047149 140724750745312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40513536 140724750752145 140724750752243 140724750752243 140724750757833 0
/proc/19595/statm: 35155 33645 544 696 0 34316 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1817316 KiB
Current children cumulated memory: 595428 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001713 s, system=0.004314 s

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

# cumulated CPU time of all completed processes:  user=3599.37 s, system=0.862828 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.02 s]*
/proc/loadavg: 4.08 4.12 4.12 5/269 20092
/proc/meminfo: memFree=128525900/131249996 swapFree=33010684/33010684
[pid=19558] ppid=19550 vsize=1630376 memory=415852 CPUtime=3600.14 cores=5,7
/proc/19558/stat : 19558 (python3) R 19550 19553 18676 0 -1 4194304 137789 146995 0 0 49877 19 310054 64 20 0 1 0 33349137 1669505024 103963 18446744073709551615 93870995750912 93870995751289 140726730300000 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 93870995762584 93870995763204 93871027994624 140726730307928 140726730308130 140726730308130 140726730313703 0
/proc/19558/statm: 407594 103963 8137 1 0 378952 0
Current cumulated CPU time of completed processes: 0.006027 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 1630376 KiB
Current children cumulated memory: 415852 KiB

Child status: 0

Real time (s): 3610.08
CPU time (s): 3600.23
CPU user time (s): 3599.37
CPU system time (s): 0.862828
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 1850768
Max. memory (cumulated for all children) (KiB): 622068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.37
system time used= 0.862828
maximum resident set size= 457904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 368
involuntary context switches= 19868


# summary of solver processes directly reported to runsolver:
#   pid: 19553,19558
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3599.37
#   total CPU system time (s): 0.862828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53802 second user time and 15.8673 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 07:58:33
IDJOB=4507061
IDBENCH=158319
IDSOLVER=3368
FILE ID=nodeC023/4507061-1751176713
RUNJOBID= nodeC023-1751170906-18689
SLURM_JOB_ID= 9587532
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=1209174395

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.884
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.913
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		: 3599.213
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		: 3607.147
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.890
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.853
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		: 3601.068
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		: 3599.890
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:        128613588 kB
MemAvailable:   128352200 kB
Buffers:            3280 kB
Cached:           549360 kB
SwapCached:            0 kB
Active:          1740808 kB
Inactive:         279096 kB
Active(anon):    1485652 kB
Inactive(anon):        0 kB
Active(file):     255156 kB
Inactive(file):   279096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6496 kB
Writeback:             0 kB
AnonPages:       1468656 kB
Mapped:           129504 kB
Shmem:             18064 kB
KReclaimable:      87200 kB
Slab:             173432 kB
SReclaimable:      87200 kB
SUnreclaim:        86232 kB
KernelStack:        4336 kB
PageTables:         6740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5219304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    317440 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= 433036 MiB
End job on nodeC023 at 2025-06-29 08:58:43