Trace number 4507097

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.26 3610.25

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 

13.03/13.13	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507097-1751177219.opb
13.03/13.13	c Solving mode: decision
13.03/13.13	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
13.03/13.13	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
13.03/13.13	c original problem has 17850 variables (17850 bin, 0 int, 0 impl, 0 cont) and 18152 constraints
13.03/13.13	c presolving:
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	c    (5.2s) probing: 1000/16993 (5.9%) - 118 fixings, 0 aggregations, 1103306 implications, 0 bound changes
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	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
13.03/13.13	c    (12.9s) probing: 2000/16993 (11.8%) - 521 fixings, 1 aggregations, 2461040 implications, 0 bound changes
13.03/13.13	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.88/500.26	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.88/500.26	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.88/500.26	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.88/500.26	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.88/500.26	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.88/500.26	c    (17.2s) probing: 3000/16993 (17.7%) - 587 fixings, 1 aggregations, 3607706 implications, 0 bound changes
498.88/500.26	c    (20.9s) probing: 4000/16993 (23.5%) - 598 fixings, 1 aggregations, 4778897 implications, 0 bound changes
498.88/500.26	c    (24.0s) probing: 5000/16993 (29.4%) - 604 fixings, 1 aggregations, 5698317 implications, 0 bound changes
498.88/500.26	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.88/500.26	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.88/500.26	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.88/500.26	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.88/500.26	c    (27.4s) probing: 6000/16993 (35.3%) - 642 fixings, 1 aggregations, 6590569 implications, 0 bound changes
498.88/500.26	c    (30.6s) probing: 7000/16993 (41.2%) - 647 fixings, 1 aggregations, 7532219 implications, 0 bound changes
498.88/500.26	c    (33.0s) probing: 7789/16993 (45.8%) - 647 fixings, 1 aggregations, 8268146 implications, 0 bound changes
498.88/500.26	c    (33.0s) probing aborted: 1000/1000 successive useless probings
498.88/500.26	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.88/500.26	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.88/500.26	c    (33.8s) probing: 8000/16993 (47.1%) - 655 fixings, 1 aggregations, 8438320 implications, 0 bound changes
498.88/500.26	c    (36.4s) probing: 8809/16993 (51.8%) - 655 fixings, 1 aggregations, 9192621 implications, 0 bound changes
498.88/500.26	c    (36.4s) probing aborted: 1000/1000 successive useless probings
498.88/500.26	c    (36.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
498.88/500.26	c    (36.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
498.88/500.26	c dynamic symmetry handling statistics:
498.88/500.26	c    orbitopal reduction:       no components
498.88/500.26	c    orbital reduction:         no components
498.88/500.26	c    lexicographic reduction:    3 permutations with support sizes 1382, 576, 276
498.88/500.26	c handled 4 out of 4 symmetry components
498.88/500.26	c presolving (61 rounds: 61 fast, 29 medium, 29 exhaustive):
498.88/500.26	c  2092 deleted vars, 1566 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1128 changed coefficients
498.88/500.26	c  0 implications, 108672 cliques
498.88/500.26	c presolved problem has 16323 variables (16323 bin, 0 int, 0 impl, 0 cont) and 16587 constraints
498.88/500.26	c    2032 constraints of type <setppc>
498.88/500.26	c       1 constraints of type <orbitope>
498.88/500.26	c   14554 constraints of type <logicor>
498.88/500.26	c transformed objective value is always integral (scale: 1)
498.88/500.26	c Presolving Time: 36.43
498.88/500.26	c 
498.88/500.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.88/500.26	c  54.2s|     1 |     0 | 17057 |     - |   310M |   0 |  16k|  16k|  16k|   0 |  0 | 112 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   186s|     1 |     0 |107061 |     - |   328M |   0 |  16k|  16k|  16k|   6 |  1 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   206s|     1 |     0 |117473 |     - |   343M |   0 |  16k|  16k|  16k|  12 |  2 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   230s|     1 |     0 |128718 |     - |   347M |   0 |  16k|  16k|  16k|  18 |  3 | 123 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   258s|     1 |     0 |141112 |     - |   356M |   0 |  16k|  16k|  16k|  28 |  4 | 129 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   282s|     1 |     0 |151919 |     - |   359M |   0 |  16k|  16k|  16k|  32 |  5 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   314s|     1 |     0 |165486 |     - |   360M |   0 |  16k|  16k|  16k|  48 |  6 | 134 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   340s|     1 |     0 |176521 |     - |   361M |   0 |  16k|  16k|  16k|  52 |  7 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   385s|     1 |     0 |194868 |     - |   366M |   0 |  16k|  16k|  16k|  72 |  8 | 145 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   412s|     1 |     0 |206388 |     - |   370M |   0 |  16k|  16k|  16k|  77 |  9 | 147 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   444s|     1 |     0 |219624 |     - |   373M |   0 |  16k|  16k|  16k|  97 | 10 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   491s|     1 |     0 |238976 |     - |   375M |   0 |  16k|  16k|  16k| 116 | 11 | 150 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c   500s|     1 |     2 |241862 |     - |   376M |   0 |  16k|  16k|  16k| 116 | 11 | 152 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.88/500.26	c 
498.88/500.26	c SCIP Status        : solving was interrupted [time limit reached]
498.88/500.26	c Solving Time (sec) : 500.01
498.88/500.26	c Solving Nodes      : 1
498.88/500.26	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.88/500.26	c Dual Bound         : +0.00000000000000e+00
498.88/500.26	c Gap                : infinite
498.88/500.26	c ----------------------------------------------------------------------
498.88/500.26	c dual bound: 0.0 -> 0
498.88/500.26	c primal bound: 1e+20 -> 100000000000000000000
498.88/500.26	c scip-goal-lb: 0
498.88/500.26	c scip-goal-ub: 100000000000000000000
498.88/500.26	c writing output to: HOME/tmplxoi0qv7.opb
498.88/500.26	c appending fixed variable constraints
498.88/500.26	c scip-fixed vars: 9.35% (1526/16323)
498.88/500.26	c ----------------------------------------------------------------------
498.88/500.26	c executing external solver: HOME/naps-1.03a6
498.88/500.26	c ----------------------------------------------------------------------
498.88/500.26	c command: HOME/naps-1.03a6 HOME/tmplxoi0qv7.opb
498.88/500.27	c NaPS 1.03a6.
498.88/500.27	c Input file name: HOME/tmplxoi0qv7.opb
3600.09/3610.10	c
3600.09/3610.10	c *** TERMINATED *** by signal 15
3600.09/3610.10	c _____________________________________________________________________________
3600.09/3610.10	c std/band forms        : 150,0
3600.09/3610.10	c 2cl/3cl ITE-codings   : 0,0
3600.09/3610.10	c BDD/srt/adr Max costs : 0,2726,0
3600.09/3610.10	c BDDraw/bin/mul/srt/adr: 0,0,0,150,0
3600.09/3610.10	c BDD nodes             : 0
3600.09/3610.10	c Es1/CC detections     : 0,0
3600.09/3610.10	c CC sort               : 150
3600.09/3610.10	c SAT/UNSAT calls       : 0,0
3600.09/3610.10	c regenrated variables  : 0
3600.09/3610.10	c eliminated fixed lits : 1694
3600.09/3610.10	c goal lit flips        : 0
3600.09/3610.10	c goal stages           : 0
3600.09/3610.10	c goal shrink           : 0
3600.09/3610.10	c goal coeff separations: 0
3600.09/3610.10	c restarts              : 0
3600.09/3610.10	c conflicts             : 0              (0 /sec)
3600.09/3610.10	c decisions             : 0              (0 /sec)
3600.09/3610.10	c propagations          : 0              (0 /sec)
3600.09/3610.10	c inspects              : 0              (0 /sec)
3600.09/3610.10	c CPU time (solving tm) : 3100 s        (3100 s, SAT 0 s, UNSAT 0 s)
3600.09/3610.10	c Time for Opt-base     : 0.003013 s
3600.09/3610.10	c Steps for Opt-base    : 0
3600.09/3610.10	c Time for BDD coding   : 0 s
3600.09/3610.10	c Time for srt coding   : 0.05236 s
3600.09/3610.10	c _____________________________________________________________________________
3600.09/3610.10	s UNKNOWN
3600.09/3610.21	c received SIGTERM, forwarding to pbsolver...
3600.09/3610.21	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 (62595 MiB free)
  memory of node 1: 64465 MiB (62765 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=19639, runsolver pid=19636

[startup+0.100061 s]*
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128368864/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1187348 memory=32272 CPUtime=0.07 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 3810 0 0 0 6 1 0 0 20 0 1 0 33399754 1215844352 8068 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 296837 8068 4900 1 0 268859 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191540 KiB
Current children cumulated memory: 35344 KiB

[startup+0.205741 s]*
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128331568/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1230312 memory=82576 CPUtime=0.17 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 13735 0 0 0 14 3 0 0 20 0 1 0 33399754 1259839488 20644 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 307578 20644 7780 1 0 278936 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1234504 KiB
Current children cumulated memory: 85648 KiB

[startup+0.305782 s]*
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128283216/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1271760 memory=121744 CPUtime=0.27 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 23474 0 0 0 23 4 0 0 20 0 1 0 33399754 1302282240 30436 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 317940 30436 7844 1 0 289298 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1275952 KiB
Current children cumulated memory: 124816 KiB

[startup+0.700221 s]
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128259024/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1303400 memory=152336 CPUtime=0.65 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 31171 0 0 0 60 5 0 0 20 0 1 0 33399754 1334681600 38084 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 325850 38084 7876 1 0 297208 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1307592 KiB
Current children cumulated memory: 155408 KiB

[startup+1.50021 s]
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128226012/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1345012 memory=191312 CPUtime=1.45 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 39946 0 0 0 138 7 0 0 20 0 1 0 33399754 1377292288 47828 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 336253 47828 7908 1 0 307611 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1349204 KiB
Current children cumulated memory: 194384 KiB

[startup+3.10563 s]
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128246668/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1345600 memory=191952 CPUtime=3.06 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 40109 0 0 0 298 8 0 0 20 0 1 0 33399754 1377894400 47988 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 336400 47988 7908 1 0 307758 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1349792 KiB
Current children cumulated memory: 195024 KiB

[startup+6.3002 s]
/proc/loadavg: 4.01 4.08 4.08 5/271 19644
/proc/meminfo: memFree=128246940/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1351552 memory=197328 CPUtime=6.24 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 41489 0 0 0 616 8 0 0 20 0 1 0 33399754 1383989248 49332 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 337888 49332 7908 1 0 309246 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1355744 KiB
Current children cumulated memory: 200400 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.08 4.08 5/272 19646
/proc/meminfo: memFree=128246716/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1353092 memory=198864 CPUtime=12.63 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 41878 0 0 0 1255 8 0 0 20 0 1 0 33399754 1385566208 49716 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 338273 49716 7908 1 0 309631 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1357284 KiB
Current children cumulated memory: 201936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 19646
/proc/meminfo: memFree=128245008/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1354348 memory=200144 CPUtime=25.39 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 42207 0 0 0 2531 8 0 0 20 0 1 0 33399754 1386852352 50036 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 338587 50036 7908 1 0 309945 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1358540 KiB
Current children cumulated memory: 203216 KiB

[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 4.08 5/272 19646
/proc/meminfo: memFree=128111012/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1533352 memory=326852 CPUtime=50.92 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 75088 0 0 0 5079 13 0 0 20 0 1 0 33399754 1570152448 81713 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 383338 81713 8132 1 0 354696 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1537544 KiB
Current children cumulated memory: 329924 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 19648
/proc/meminfo: memFree=128112580/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1539368 memory=332436 CPUtime=101.99 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 75996 0 0 0 10185 14 0 0 20 0 1 0 33399754 1576312832 83109 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 384842 83109 8132 1 0 356200 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1543560 KiB
Current children cumulated memory: 335508 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 19650
/proc/meminfo: memFree=128105152/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1539368 memory=332436 CPUtime=161.83 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 75996 0 0 0 16169 14 0 0 20 0 1 0 33399754 1576312832 83109 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 384842 83109 8132 1 0 356200 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1543560 KiB
Current children cumulated memory: 335508 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 19652
/proc/meminfo: memFree=128018484/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1621292 memory=409152 CPUtime=221.68 cores=0,2
/proc/19644/stat : 19644 (python3) R 19639 19639 18676 0 -1 4194304 85978 0 0 0 22152 16 0 0 20 0 1 0 33399754 1660203008 102288 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 405323 102288 8132 1 0 376681 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1625484 KiB

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

/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=169644 memory=139396 CPUtime=2714.57 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 143246 0 0 0 271397 60 0 0 20 0 1 0 33449779 173715456 34849 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 42411 34849 544 696 0 41572 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 1838952 KiB
Current children cumulated memory: 624980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/273 20162
/proc/meminfo: memFree=128708420/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=128684 memory=125832 CPUtime=2774.38 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 145888 0 0 0 277377 61 0 0 20 0 1 0 33449779 131772416 31458 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 32171 31458 544 696 0 31332 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 1797992 KiB
Current children cumulated memory: 611416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/274 20165
/proc/meminfo: memFree=128677892/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=153136 memory=137572 CPUtime=2834.19 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 149484 0 0 0 283357 62 0 0 20 0 1 0 33449779 156811264 34393 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 38284 34393 544 696 0 37445 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 1822444 KiB
Current children cumulated memory: 623156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.21 4.15 5/274 20167
/proc/meminfo: memFree=128675964/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=136876 memory=133480 CPUtime=2894.01 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 152575 0 0 0 289337 64 0 0 20 0 1 0 33449779 140161024 33370 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 34219 33370 544 696 0 33380 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 1806184 KiB
Current children cumulated memory: 619064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=153260 memory=135400 CPUtime=2953.82 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 154889 0 0 0 295317 65 0 0 20 0 1 0 33449779 156938240 33850 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 38315 33850 544 696 0 37476 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 1822568 KiB
Current children cumulated memory: 620984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/270 20269
/proc/meminfo: memFree=128795256/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=136876 memory=133536 CPUtime=3013.63 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 160618 0 0 0 301295 68 0 0 20 0 1 0 33449779 140161024 33384 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 34219 33384 544 696 0 33380 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1806184 KiB
Current children cumulated memory: 619120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/269 20273
/proc/meminfo: memFree=128791860/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=153260 memory=137688 CPUtime=3073.44 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 164049 0 0 0 307274 70 0 0 20 0 1 0 33449779 156938240 34422 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 38315 34422 544 696 0 37476 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 1822568 KiB
Current children cumulated memory: 623272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.15 4.14 5/271 20280
/proc/meminfo: memFree=128753836/131249996 swapFree=33010684/33010684
[pid=19639] ppid=19636 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/19639/stat : 19639 (scip-naps-1.00.) S 19636 19639 18676 0 -1 4194304 257 345 0 0 0 0 0 0 20 0 1 0 33399752 4292608 768 18446744073709551615 94711220461568 94711221356101 140729037360496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94711221595152 94711221642896 94711229513728 140729037363617 140729037363714 140729037363714 140729037369316 0
/proc/19639/statm: 1048 768 704 219 0 110 0
[pid=19644] ppid=19639 vsize=1665116 memory=482512 CPUtime=498.94 cores=0,2
/proc/19644/stat : 19644 (python3) S 19639 19639 18676 0 -1 4194304 95567 0 0 0 49876 18 0 0 20 0 1 0 33399754 1705078784 120628 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 416279 120628 8164 1 0 387637 0
[pid=19671] ppid=19644 vsize=136876 memory=133848 CPUtime=3101.15 cores=0,2
/proc/19671/stat : 19671 (naps-1.03a6) R 19644 19671 19671 0 -1 4194304 164530 0 0 0 310045 70 0 0 20 0 1 0 33449779 140161024 33462 18446744073709551615 4198400 7047149 140721417932464 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 38051840 140721417935249 140721417935347 140721417935347 140721417940937 0
/proc/19671/statm: 34219 33462 544 696 0 33380 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1806184 KiB
Current children cumulated memory: 619432 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001567 s, system=0.003903 s

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

# cumulated CPU time of all completed processes:  user=3599.34 s, system=0.915456 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.22 s]*
/proc/loadavg: 4.13 4.15 4.14 5/269 20280
/proc/meminfo: memFree=128971572/131249996 swapFree=33010684/33010684
[pid=19644] ppid=19636 vsize=1531396 memory=377960 CPUtime=3600.2 cores=0,2
/proc/19644/stat : 19644 (python3) R 19636 19639 18676 0 -1 4194304 107240 164531 0 0 49886 19 310045 70 20 0 1 0 33399754 1568149504 94490 18446744073709551615 94428704432128 94428704432505 140734980979280 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94428704443800 94428704444420 94428709793792 140734980987224 140734980987426 140734980987426 140734980992999 0
/proc/19644/statm: 382849 94490 8164 1 0 354207 0
Current cumulated CPU time of completed processes: 0.00547 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1531396 KiB
Current children cumulated memory: 377960 KiB

Child status: 0

Real time (s): 3610.25
CPU time (s): 3600.26
CPU user time (s): 3599.34
CPU system time (s): 0.915456
CPU usage (%): 99.7233
Max. virtual memory (cumulated for all children) (KiB): 1839492
Max. memory (cumulated for all children) (KiB): 631380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 0.915456
maximum resident set size= 482512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 369
involuntary context switches= 7950


# summary of solver processes directly reported to runsolver:
#   pid: 19639,19644
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.34
#   total CPU system time (s): 0.915456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48563 second user time and 16.6705 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 08:06:59
IDJOB=4507097
IDBENCH=158322
IDSOLVER=3368
FILE ID=nodeC023/4507097-1751177219
RUNJOBID= nodeC023-1751170906-18686
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_K150.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507097-1751177219/watcher-4507097-1751177219 -o /tmp/evaluation-result-4507097-1751177219/solver-4507097-1751177219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18686 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4507097-1751177219.opb

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=210640110

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.581
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:        128369208 kB
MemAvailable:   128109604 kB
Buffers:            3280 kB
Cached:           550800 kB
SwapCached:            0 kB
Active:          1987956 kB
Inactive:         280860 kB
Active(anon):    1732800 kB
Inactive(anon):        0 kB
Active(file):     255156 kB
Inactive(file):   280860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6696 kB
Writeback:            20 kB
AnonPages:       1711552 kB
Mapped:           131760 kB
Shmem:             18064 kB
KReclaimable:      87236 kB
Slab:             173240 kB
SReclaimable:      87236 kB
SUnreclaim:        86004 kB
KernelStack:        4428 kB
PageTables:         7464 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5461784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 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 09:07:09