Trace number 4529841

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

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
MD5SUMde861f201885d7430b03c8868c66597b
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 variables17850
Total number of constraints18152
Number of constraints which are clauses18002
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint150
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 151
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

14.49/14.67	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529841-1752258607.opb
14.49/14.67	c Solving mode: decision
14.49/14.67	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
14.49/14.67	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
14.49/14.67	c original problem has 17850 variables (17850 bin, 0 int, 0 impl, 0 cont) and 18152 constraints
14.49/14.67	c presolving:
14.49/14.67	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, 2059 clqs
14.49/14.67	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, 2043 clqs
14.49/14.67	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, 2064 clqs
14.49/14.67	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, 2095 clqs
14.49/14.67	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, 2118 clqs
14.49/14.67	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, 2128 clqs
14.49/14.67	c (round 7, exhaustive) 1182 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2141 clqs
14.49/14.67	c (round 8, exhaustive) 1182 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17369 upgd conss, 0 impls, 2141 clqs
14.49/14.67	c (round 9, exhaustive) 1297 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 2128 clqs
14.49/14.67	c (round 10, fast)       1412 del vars, 898 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 2128 clqs
14.49/14.67	c (round 11, exhaustive) 1438 del vars, 899 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 108314 clqs
14.49/14.67	c (round 12, fast)       1439 del vars, 925 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 170 chg coeffs, 17369 upgd conss, 0 impls, 108325 clqs
14.49/14.67	c (round 13, exhaustive) 1465 del vars, 925 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 170 chg coeffs, 17369 upgd conss, 0 impls, 108323 clqs
14.49/14.67	c (round 14, fast)       1466 del vars, 951 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17369 upgd conss, 0 impls, 108339 clqs
14.49/14.67	c (round 15, exhaustive) 1492 del vars, 951 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17369 upgd conss, 0 impls, 108344 clqs
14.49/14.67	c (round 16, fast)       1494 del vars, 978 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 294 chg coeffs, 17369 upgd conss, 0 impls, 108350 clqs
14.49/14.67	c (round 17, exhaustive) 1520 del vars, 978 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 295 chg coeffs, 17369 upgd conss, 0 impls, 108357 clqs
14.49/14.67	c (round 18, fast)       1521 del vars, 1004 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 17369 upgd conss, 0 impls, 108370 clqs
14.49/14.67	c    (6.1s) probing: 1000/16993 (5.9%) - 118 fixings, 0 aggregations, 1103306 implications, 0 bound changes
14.49/14.67	c (round 19, exhaustive) 1547 del vars, 1004 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 17369 upgd conss, 0 impls, 108359 clqs
14.49/14.67	c (round 20, fast)       1548 del vars, 1030 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 420 chg coeffs, 17369 upgd conss, 0 impls, 108372 clqs
14.49/14.67	c (round 21, exhaustive) 1574 del vars, 1030 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 420 chg coeffs, 17369 upgd conss, 0 impls, 108412 clqs
14.49/14.67	c (round 22, fast)       1574 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 484 chg coeffs, 17369 upgd conss, 0 impls, 108425 clqs
14.49/14.67	c (round 23, exhaustive) 1618 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 484 chg coeffs, 17369 upgd conss, 0 impls, 105759 clqs
14.49/14.67	c (round 24, fast)       1618 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 17369 upgd conss, 0 impls, 105795 clqs
14.49/14.67	c (round 25, exhaustive) 1643 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 17369 upgd conss, 0 impls, 108452 clqs
14.49/14.67	c (round 26, fast)       1643 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 702 chg coeffs, 17369 upgd conss, 0 impls, 108467 clqs
14.49/14.67	c (round 27, exhaustive) 1669 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 702 chg coeffs, 17369 upgd conss, 0 impls, 108464 clqs
14.49/14.67	c (round 28, fast)       1670 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 17369 upgd conss, 0 impls, 108478 clqs
14.49/14.67	c (round 29, exhaustive) 1707 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 17369 upgd conss, 0 impls, 108459 clqs
14.49/14.67	c (round 30, fast)       1707 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 851 chg coeffs, 17369 upgd conss, 0 impls, 108468 clqs
14.49/14.67	c (round 31, exhaustive) 1732 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 851 chg coeffs, 17369 upgd conss, 0 impls, 108371 clqs
14.49/14.67	c (round 32, fast)       1732 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 861 chg coeffs, 17369 upgd conss, 0 impls, 108371 clqs
14.49/14.67	c (round 33, exhaustive) 1757 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 861 chg coeffs, 17369 upgd conss, 0 impls, 108256 clqs
14.49/14.67	c (round 34, fast)       1757 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17369 upgd conss, 0 impls, 108256 clqs
14.49/14.67	c (round 35, exhaustive) 1785 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17369 upgd conss, 0 impls, 108468 clqs
14.49/14.67	c (round 36, fast)       1788 del vars, 1266 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 17369 upgd conss, 0 impls, 108472 clqs
14.49/14.67	c (round 37, exhaustive) 1813 del vars, 1266 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 17369 upgd conss, 0 impls, 108366 clqs
14.49/14.67	c (round 38, fast)       1813 del vars, 1291 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 916 chg coeffs, 17369 upgd conss, 0 impls, 108366 clqs
14.49/14.67	c (round 39, exhaustive) 1838 del vars, 1291 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 916 chg coeffs, 17369 upgd conss, 0 impls, 108207 clqs
14.49/14.67	c (round 40, fast)       1838 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 926 chg coeffs, 17369 upgd conss, 0 impls, 108207 clqs
14.49/14.67	c (round 41, exhaustive) 1863 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 926 chg coeffs, 17369 upgd conss, 0 impls, 108115 clqs
14.49/14.67	c (round 42, fast)       1863 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 17369 upgd conss, 0 impls, 108115 clqs
14.49/14.67	c (round 43, exhaustive) 1888 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 17369 upgd conss, 0 impls, 108499 clqs
14.49/14.67	c (round 44, fast)       1888 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 954 chg coeffs, 17369 upgd conss, 0 impls, 108500 clqs
14.49/14.67	c (round 45, exhaustive) 1913 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 954 chg coeffs, 17369 upgd conss, 0 impls, 108378 clqs
14.49/14.67	c (round 46, fast)       1913 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 17369 upgd conss, 0 impls, 108378 clqs
14.49/14.67	c (round 47, exhaustive) 1938 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 17369 upgd conss, 0 impls, 108260 clqs
14.49/14.67	c (round 48, fast)       1938 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 978 chg coeffs, 17369 upgd conss, 0 impls, 108260 clqs
14.49/14.67	c    (14.4s) probing: 2000/16993 (11.8%) - 521 fixings, 1 aggregations, 2461040 implications, 0 bound changes
14.49/14.67	c (round 49, exhaustive) 1963 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 978 chg coeffs, 17369 upgd conss, 0 impls, 108153 clqs
498.42/500.28	c (round 50, fast)       1963 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 17369 upgd conss, 0 impls, 108153 clqs
498.42/500.28	c (round 51, exhaustive) 1989 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 17369 upgd conss, 0 impls, 108094 clqs
498.42/500.28	c (round 52, fast)       1990 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 17369 upgd conss, 0 impls, 108094 clqs
498.42/500.28	c (round 53, exhaustive) 2015 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 17369 upgd conss, 0 impls, 108020 clqs
498.42/500.28	c (round 54, fast)       2015 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1031 chg coeffs, 17369 upgd conss, 0 impls, 108020 clqs
498.42/500.28	c    (19.3s) probing: 3000/16993 (17.7%) - 587 fixings, 1 aggregations, 3607706 implications, 0 bound changes
498.42/500.28	c    (23.8s) probing: 4000/16993 (23.5%) - 598 fixings, 1 aggregations, 4778897 implications, 0 bound changes
498.42/500.28	c    (27.5s) probing: 5000/16993 (29.4%) - 604 fixings, 1 aggregations, 5698317 implications, 0 bound changes
498.42/500.28	c (round 55, exhaustive) 2040 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1031 chg coeffs, 17369 upgd conss, 0 impls, 108638 clqs
498.42/500.28	c (round 56, fast)       2040 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1067 chg coeffs, 17369 upgd conss, 0 impls, 108640 clqs
498.42/500.28	c (round 57, exhaustive) 2065 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1067 chg coeffs, 17369 upgd conss, 0 impls, 108655 clqs
498.42/500.28	c (round 58, fast)       2065 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1095 chg coeffs, 17369 upgd conss, 0 impls, 108655 clqs
498.42/500.28	c    (31.6s) probing: 6000/16993 (35.3%) - 642 fixings, 1 aggregations, 6590569 implications, 0 bound changes
498.42/500.28	c    (35.4s) probing: 7000/16993 (41.2%) - 647 fixings, 1 aggregations, 7532219 implications, 0 bound changes
498.42/500.28	c    (38.4s) probing: 7789/16993 (45.8%) - 647 fixings, 1 aggregations, 8268146 implications, 0 bound changes
498.42/500.28	c    (38.4s) probing aborted: 1000/1000 successive useless probings
498.42/500.28	c (round 59, exhaustive) 2081 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1095 chg coeffs, 17369 upgd conss, 0 impls, 108670 clqs
498.42/500.28	c (round 60, fast)       2081 del vars, 1558 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1117 chg coeffs, 17369 upgd conss, 0 impls, 108672 clqs
498.42/500.28	c    (39.3s) probing: 8000/16993 (47.1%) - 655 fixings, 1 aggregations, 8438320 implications, 0 bound changes
498.42/500.28	c    (42.4s) probing: 8809/16993 (51.8%) - 655 fixings, 1 aggregations, 9192621 implications, 0 bound changes
498.42/500.28	c    (42.4s) probing aborted: 1000/1000 successive useless probings
498.42/500.28	c    (42.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.42/500.28	c    (42.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
498.42/500.28	c dynamic symmetry handling statistics:
498.42/500.28	c    orbitopal reduction:       no components
498.42/500.28	c    orbital reduction:         no components
498.42/500.28	c    lexicographic reduction:    3 permutations with support sizes 1382, 576, 276
498.42/500.28	c handled 4 out of 4 symmetry components
498.42/500.28	c presolving (61 rounds: 61 fast, 29 medium, 29 exhaustive):
498.42/500.28	c  2092 deleted vars, 1566 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1128 changed coefficients
498.42/500.28	c  0 implications, 108672 cliques
498.42/500.28	c presolved problem has 16323 variables (16323 bin, 0 int, 0 impl, 0 cont) and 16587 constraints
498.42/500.28	c    2032 constraints of type <setppc>
498.42/500.28	c       1 constraints of type <orbitope>
498.42/500.28	c   14554 constraints of type <logicor>
498.42/500.28	c transformed objective value is always integral (scale: 1)
498.42/500.28	c Presolving Time: 42.48
498.42/500.28	c 
498.42/500.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.42/500.28	c  61.3s|     1 |     0 | 17057 |     - |   310M |   0 |  16k|  16k|  16k|   0 |  0 | 112 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   206s|     1 |     0 |107061 |     - |   328M |   0 |  16k|  16k|  16k|   6 |  1 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   228s|     1 |     0 |117473 |     - |   343M |   0 |  16k|  16k|  16k|  12 |  2 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   252s|     1 |     0 |128718 |     - |   347M |   0 |  16k|  16k|  16k|  18 |  3 | 123 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   280s|     1 |     0 |141112 |     - |   356M |   0 |  16k|  16k|  16k|  28 |  4 | 129 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   305s|     1 |     0 |151919 |     - |   359M |   0 |  16k|  16k|  16k|  32 |  5 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   338s|     1 |     0 |165486 |     - |   359M |   0 |  16k|  16k|  16k|  48 |  6 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   364s|     1 |     0 |176521 |     - |   361M |   0 |  16k|  16k|  16k|  52 |  7 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   411s|     1 |     0 |194868 |     - |   366M |   0 |  16k|  16k|  16k|  72 |  8 | 145 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   439s|     1 |     0 |206388 |     - |   370M |   0 |  16k|  16k|  16k|  77 |  9 | 147 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   473s|     1 |     0 |219624 |     - |   373M |   0 |  16k|  16k|  16k|  97 | 10 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c   500s|     1 |     0 |230665 |     - |   375M |   0 |  16k|  16k|  16k| 116 | 11 | 150 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.42/500.28	c (node 1) LP solver hit time limit in LP 13 -- using pseudo solution instead
498.42/500.28	c 
498.42/500.28	c SCIP Status        : solving was interrupted [time limit reached]
498.42/500.28	c Solving Time (sec) : 500.00
498.42/500.28	c Solving Nodes      : 1
498.42/500.28	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.42/500.28	c Dual Bound         : +0.00000000000000e+00
498.42/500.28	c Gap                : infinite
498.42/500.28	c ----------------------------------------------------------------------
498.42/500.28	c dual bound: 0.0 -> 0
498.42/500.28	c primal bound: 1e+20 -> 100000000000000000000
498.42/500.28	c scip-goal-lb: 0
498.42/500.28	c scip-goal-ub: 100000000000000000000
498.42/500.28	c writing output to: HOME/tmpkp1h9_tc.opb
498.42/500.28	c appending fixed variable constraints
498.42/500.28	c scip-fixed vars: 9.35% (1526/16323)
498.42/500.28	c ----------------------------------------------------------------------
498.42/500.28	c executing external solver: HOME/naps-1.03a6
498.42/500.28	c ----------------------------------------------------------------------
498.42/500.28	c command: HOME/naps-1.03a6 HOME/tmpkp1h9_tc.opb
498.42/500.29	c NaPS 1.03a6.
498.42/500.29	c Input file name: HOME/tmpkp1h9_tc.opb
3600.03/3610.80	c
3600.03/3610.80	c *** TERMINATED *** by signal 15
3600.03/3610.80	c s UNKNOWN
3600.03/3610.80	c _____________________________________________________________________________
3600.03/3610.80	c std/band forms        : 150,0
3600.03/3610.80	c 2cl/3cl ITE-codings   : 0,0
3600.03/3610.80	c BDD/srt/adr Max costs : 0,2726,0
3600.03/3610.80	c BDDraw/bin/mul/srt/adr: 0,0,0,150,0
3600.03/3610.80	c BDD nodes             : 0
3600.03/3610.80	c Es1/CC detections     : 0,0
3600.03/3610.80	c CC sort               : 150
3600.03/3610.80	c SAT/UNSAT calls       : 0,0
3600.03/3610.80	c regenrated variables  : 0
3600.03/3610.80	c eliminated fixed lits : 1694
3600.03/3610.80	c goal lit flips        : 0
3600.03/3610.80	c goal stages           : 0
3600.03/3610.80	c goal shrink           : 0
3600.03/3610.80	c goal coeff separations: 0
3600.03/3610.80	c restarts              : 0
3600.03/3610.80	c conflicts             : 0              (0 /sec)
3600.03/3610.80	c decisions             : 0              (0 /sec)
3600.03/3610.80	c propagations          : 0              (0 /sec)
3600.03/3610.80	c inspects              : 0              (0 /sec)
3600.03/3610.80	c CPU time (solving tm) : 3101 s        (3100 s, SAT 0 s, UNSAT 0 s)
3600.03/3610.80	c Time for Opt-base     : 0.002999 s
3600.03/3610.80	c Steps for Opt-base    : 0
3600.03/3610.80	c Time for BDD coding   : 0 s
3600.03/3610.80	c Time for srt coding   : 0.05225 s
3600.03/3610.80	c _____________________________________________________________________________
3600.03/3610.80	s UNKNOWN
3600.16/3610.93	c received SIGTERM, forwarding to pbsolver...
3600.16/3610.93	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: 63665 MiB (57089 MiB free)
  memory of node 1: 64507 MiB (45278 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529841-1752258607/watcher-4529841-1752258607 -o /tmp/evaluation-result-4529841-1752258607/solver-4529841-1752258607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752258607-127220 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529841-1752258607.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=127266, runsolver pid=127260
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.09 2.53 3.14 5/270 127295
/proc/meminfo: memFree=104805740/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=127420 memory=26880 CPUtime=0.04 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 2952 0 0 0 3 1 0 0 20 0 1 0 141539593 130478080 6720 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 31855 6720 4256 1 0 3957 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 131612 KiB
Current children cumulated memory: 29824 KiB

[startup+0.205796 s]*
/proc/loadavg: 3.09 2.53 3.14 5/270 127295
/proc/meminfo: memFree=104691136/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1222232 memory=73568 CPUtime=0.14 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 11790 0 1 0 11 3 0 0 20 0 1 0 141539593 1251565568 18392 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 305558 18392 7520 1 0 276916 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1226424 KiB
Current children cumulated memory: 76512 KiB

[startup+0.305885 s]*
/proc/loadavg: 3.09 2.53 3.14 5/270 127295
/proc/meminfo: memFree=104489920/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1270996 memory=120928 CPUtime=0.24 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 23361 0 1 0 19 5 0 0 20 0 1 0 141539593 1301499904 30232 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 317749 30232 7808 1 0 289107 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1275188 KiB
Current children cumulated memory: 123872 KiB

[startup+0.700197 s]
/proc/loadavg: 3.09 2.53 3.14 5/270 127295
/proc/meminfo: memFree=104336704/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1303252 memory=152032 CPUtime=0.64 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 31203 0 1 0 57 7 0 0 20 0 1 0 141539593 1334530048 38008 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 325813 38008 7840 1 0 297171 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1307444 KiB
Current children cumulated memory: 154976 KiB

[startup+1.5002 s]
/proc/loadavg: 3.09 2.53 3.14 5/270 127295
/proc/meminfo: memFree=104228220/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1345088 memory=190388 CPUtime=1.44 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 39818 0 1 0 136 8 0 0 20 0 1 0 141539593 1377370112 47597 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 336272 47597 7872 1 0 307630 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1349280 KiB
Current children cumulated memory: 193332 KiB

[startup+3.10559 s]
/proc/loadavg: 3.16 2.56 3.14 5/270 127295
/proc/meminfo: memFree=104161816/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1345676 memory=191028 CPUtime=3.03 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 39965 0 1 0 295 8 0 0 20 0 1 0 141539593 1377972224 47757 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 336419 47757 7872 1 0 307777 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1349868 KiB
Current children cumulated memory: 193972 KiB

[startup+6.30019 s]
/proc/loadavg: 3.16 2.56 3.14 5/270 127295
/proc/meminfo: memFree=104153508/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1347876 memory=192820 CPUtime=6.22 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 40410 0 1 0 614 8 0 0 20 0 1 0 141539593 1380225024 48205 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 336969 48205 7872 1 0 308327 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1352068 KiB
Current children cumulated memory: 195764 KiB

[startup+12.7002 s]
/proc/loadavg: 3.23 2.58 3.15 5/271 127296
/proc/meminfo: memFree=104130704/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1352768 memory=197684 CPUtime=12.6 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 41645 0 1 0 1252 8 0 0 20 0 1 0 141539593 1385234432 49421 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 338192 49421 7904 1 0 309550 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1356960 KiB
Current children cumulated memory: 200628 KiB

[startup+25.5002 s]
/proc/loadavg: 3.48 2.67 3.17 5/272 127298
/proc/meminfo: memFree=104129980/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1354400 memory=199220 CPUtime=25.36 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 42051 0 1 0 2527 9 0 0 20 0 1 0 141539593 1386905600 49805 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 338600 49805 7904 1 0 309958 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1358592 KiB
Current children cumulated memory: 202164 KiB

[startup+51.1057 s]
/proc/loadavg: 3.66 2.78 3.19 5/272 127298
/proc/meminfo: memFree=103568136/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1531904 memory=324280 CPUtime=50.89 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 74573 0 1 0 5076 13 0 0 20 0 1 0 141539593 1568669696 81070 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 382976 81070 8096 1 0 354334 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1536096 KiB
Current children cumulated memory: 327224 KiB

[startup+102.3 s]
/proc/loadavg: 3.90 2.98 3.24 5/274 127308
/proc/meminfo: memFree=103564056/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1539504 memory=331704 CPUtime=101.92 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 76429 0 1 0 10178 14 0 0 20 0 1 0 141539593 1576452096 82926 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 384876 82926 8096 1 0 356234 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1543696 KiB
Current children cumulated memory: 334648 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.18 3.30 5/274 127310
/proc/meminfo: memFree=103556612/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1539504 memory=331704 CPUtime=161.74 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 76429 0 1 0 16160 14 0 0 20 0 1 0 141539593 1576452096 82926 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 384876 82926 8096 1 0 356234 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1543696 KiB
Current children cumulated memory: 334648 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.35 3.35 5/274 127312
/proc/meminfo: memFree=103466220/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1613684 memory=403292 CPUtime=221.51 cores=0,2
/proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 85094 0 1 0 22135 16 0 0 20 0 1 0 141539593 1652412416 100823 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 403421 100823 8128 1 0 374779 0
Current children cumulated CPU time: 221.51 s

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

/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=153260 memory=136476 CPUtime=2714.03 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 125368 0 0 0 271328 75 0 0 20 0 1 0 141589618 156938240 34119 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 38315 34119 544 696 0 37476 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 1824040 KiB
Current children cumulated memory: 592680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/270 127620
/proc/meminfo: memFree=100111160/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=169644 memory=136992 CPUtime=2773.87 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 128852 0 0 0 277311 76 0 0 20 0 1 0 141589618 173715456 34248 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 42411 34248 544 696 0 41572 0
Current children cumulated CPU time: 3272.38 s
Current children cumulated vsize: 1840424 KiB
Current children cumulated memory: 593196 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/272 127624
/proc/meminfo: memFree=97387792/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=136872 memory=124200 CPUtime=2833.71 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 131280 0 0 0 283293 78 0 0 20 0 1 0 141589618 140156928 31050 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 34218 31050 544 696 0 33379 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 1807652 KiB
Current children cumulated memory: 580404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/272 127626
/proc/meminfo: memFree=98398904/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=136752 memory=129988 CPUtime=2893.55 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 134799 0 0 0 289276 79 0 0 20 0 1 0 141589618 140034048 32497 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 34188 32497 544 696 0 33349 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 1807532 KiB
Current children cumulated memory: 586192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/271 127628
/proc/meminfo: memFree=98489260/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=128684 memory=124176 CPUtime=2953.4 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 137378 0 0 0 295259 81 0 0 20 0 1 0 141589618 131772416 31044 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 32171 31044 544 696 0 31332 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 1799464 KiB
Current children cumulated memory: 580380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.10 4.05 5/271 127630
/proc/meminfo: memFree=98619812/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=153260 memory=134440 CPUtime=3013.25 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 139970 0 0 0 301244 81 0 0 20 0 1 0 141589618 156938240 33610 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 38315 33610 544 696 0 37476 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 1824040 KiB
Current children cumulated memory: 590644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.17 4.08 5/271 127631
/proc/meminfo: memFree=98630400/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=136876 memory=128968 CPUtime=3073.09 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 142700 0 0 0 307227 82 0 0 20 0 1 0 141589618 140161024 32242 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 34219 32242 544 696 0 33380 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 1807656 KiB
Current children cumulated memory: 585172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.25 4.17 4.09 4/268 127647
/proc/meminfo: memFree=99203572/131249988 swapFree=33010160/33010684
[pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0
/proc/127266/statm: 1048 736 672 219 0 110 0
[pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2
/proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 416647 113315 8160 1 0 388005 0
[pid=127322] ppid=127290 vsize=136876 memory=133956 CPUtime=3101.52 cores=0,2
/proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 145253 0 0 0 310068 84 0 0 20 0 1 0 141589618 140161024 33489 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0
/proc/127322/statm: 34219 33489 544 696 0 33380 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1807656 KiB
Current children cumulated memory: 590160 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002427 s, system=0.00433 s

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

# cumulated CPU time of all completed processes:  user=3599.14 s, system=1.08442 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.25 4.17 4.09 5/268 127682
/proc/meminfo: memFree=99276680/131249988 swapFree=33010160/33010684
[pid=127290] ppid=127260 vsize=1617616 memory=405144 CPUtime=3600.15 cores=0,2
/proc/127290/stat : 127290 (python3) R 127260 127266 115142 0 -1 4194304 128235 145254 1 0 49842 21 310068 84 20 0 1 0 141539593 1656438784 101286 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0
/proc/127290/statm: 404404 101286 8160 1 0 375762 0
Current cumulated CPU time of completed processes: 0.006757 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1617616 KiB
Current children cumulated memory: 405144 KiB

Child status: 0

Real time (s): 3610.97
CPU time (s): 3600.23
CPU user time (s): 3599.14
CPU system time (s): 1.08442
CPU usage (%): 99.7025
Max. virtual memory (cumulated for all children) (KiB): 1840964
Max. memory (cumulated for all children) (KiB): 600876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 1.08442
maximum resident set size= 453260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279333
page faults= 1
swaps= 0
block input operations= 0
block output operations= 2448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 534
involuntary context switches= 8088


# summary of solver processes directly reported to runsolver:
#   pid: 127266,127290
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3599.14
#   total CPU system time (s): 1.08442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51157 second user time and 16.5548 second system time

The end

Launcher Data

Begin job on nodeC034 at 2025-07-11 20:30:07
IDJOB=4529841
IDBENCH=158322
IDSOLVER=3388
FILE ID=nodeC034/4529841-1752258607
RUNJOBID= nodeC034-1752258607-127220
SLURM_JOB_ID= 9682613
Free space on /tmp= 429940 MiB

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

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=296693667

nodeC034 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		: 3601.430
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.53
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		: 2540.484
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.53
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.718
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.53
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.757
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.53
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		: 3603.187
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.532
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.765
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.53
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.496
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        104823460 kB
MemAvailable:   129644220 kB
Buffers:            2128 kB
Cached:         25554504 kB
SwapCached:           36 kB
Active:           613572 kB
Inactive:       25023800 kB
Active(anon):      96648 kB
Inactive(anon):     2160 kB
Active(file):     516924 kB
Inactive(file): 25021640 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27384 kB
Writeback:            48 kB
AnonPages:         84124 kB
Mapped:           105900 kB
Shmem:             18068 kB
KReclaimable:     242468 kB
Slab:             340224 kB
SReclaimable:     242468 kB
SUnreclaim:        97756 kB
KernelStack:        4180 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     343884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429900 MiB
End job on nodeC034 at 2025-07-11 21:30:19