Trace number 4494465

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.00a1SAT 1922.54 1928.21

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUMf8e7200d7e9c4a7cfb6b4e6c5b6d430a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark104.888
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

179.77/180.36	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4494465-1751150820.opb
179.77/180.36	c Solving mode: decision
179.77/180.36	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
179.77/180.36	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
179.77/180.36	c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
179.77/180.36	c presolving:
179.77/180.36	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 170 clqs
179.77/180.36	c    (0.3s) probing: 51/1020 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
179.77/180.36	c    (0.3s) probing aborted: 50/50 successive totally useless probings
179.77/180.36	c    (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
179.77/180.36	c    (0.9s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
179.77/180.36	c dynamic symmetry handling statistics:
179.77/180.36	c    orbitopal reduction:       no components
179.77/180.36	c    orbital reduction:         no components
179.77/180.36	c    lexicographic reduction:   no permutations
179.77/180.36	c handled 1 out of 1 symmetry components
179.77/180.36	c (round 2, exhaustive) 6 del vars, 0 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 169 clqs
179.77/180.36	c (round 3, fast)       7 del vars, 421 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 253 clqs
179.77/180.36	c (round 4, medium)     11 del vars, 757 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 253 clqs
179.77/180.36	c (round 5, fast)       12 del vars, 758 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 252 clqs
179.77/180.36	c (round 6, medium)     15 del vars, 1007 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 252 clqs
179.77/180.36	c (round 7, medium)     17 del vars, 1173 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 252 clqs
179.77/180.36	c (round 8, medium)     18 del vars, 1255 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 252 clqs
179.77/180.36	c (round 9, exhaustive) 18 del vars, 1353 del conss, 5 add conss, 0 chg bounds, 0 chg sides, 84 chg coeffs, 43010 upgd conss, 0 impls, 252 clqs
179.77/180.36	c    (1.0s) probing: 113/1020 (11.1%) - 0 fixings, 0 aggregations, 13 implications, 0 bound changes
179.77/180.36	c    (1.0s) probing aborted: 50/50 successive totally useless probings
179.77/180.36	c presolving (10 rounds: 10 fast, 8 medium, 4 exhaustive):
179.77/180.36	c  18 deleted vars, 1353 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients
179.77/180.36	c  0 implications, 263 cliques
179.77/180.36	c presolved problem has 1003 variables (1003 bin, 0 int, 0 impl, 0 cont) and 41662 constraints
179.77/180.36	c     168 constraints of type <setppc>
179.77/180.36	c       5 constraints of type <orbitope>
179.77/180.36	c   41489 constraints of type <logicor>
179.77/180.36	c transformed objective value is always integral (scale: 1)
179.77/180.36	c Presolving Time: 1.01
179.77/180.36	c 
179.77/180.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
179.77/180.36	c   1.3s|     1 |     0 |   338 |     - |   324M |   0 |1003 |  41k|  41k|   0 |  0 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   3.6s|     1 |     0 |  5450 |     - |   331M |   0 |1003 |  41k|  41k|   3 |  1 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   3.8s|     1 |     0 |  5552 |     - |   338M |   0 |1003 |  41k|  41k|   5 |  2 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   3.9s|     1 |     0 |  5654 |     - |   347M |   0 |1003 |  41k|  41k|   7 |  3 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.0s|     1 |     0 |  5766 |     - |   353M |   0 |1003 |  41k|  41k|   8 |  4 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.2s|     1 |     0 |  5909 |     - |   359M |   0 |1003 |  41k|  41k|  11 |  5 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.3s|     1 |     0 |  6003 |     - |   364M |   0 |1003 |  41k|  41k|  14 |  6 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.4s|     1 |     0 |  6029 |     - |   371M |   0 |1003 |  41k|  41k|  16 |  7 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.5s|     1 |     0 |  6056 |     - |   378M |   0 |1003 |  41k|  41k|  18 |  8 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.7s|     1 |     0 |  6159 |     - |   384M |   0 |1003 |  41k|  41k|  20 |  9 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.8s|     1 |     0 |  6293 |     - |   391M |   0 |1003 |  41k|  41k|  22 | 10 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   4.9s|     1 |     0 |  6365 |     - |   396M |   0 |1003 |  41k|  41k|  23 | 11 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   8.4s|     1 |     2 |  9325 |     - |   396M |   0 |1003 |  41k|  41k|  23 | 11 | 115 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c  84.7s|   100 |   101 |161703 |1569.1 |   422M |  22 |1003 |  42k|  41k|  68 |  1 | 769 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   107s|   200 |   201 |208792 |1017.2 |   424M |  25 |1003 |  42k|  41k|  91 |  1 |1015 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
179.77/180.36	c   118s|   300 |   299 |233801 | 760.7 |   431M |  54 |1003 |  42k|  41k| 114 |  1 |1074 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   121s|   400 |   326 |240849 | 587.7 |   431M |  74 |1003 |  42k|  41k| 114 |  1 |1362 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   126s|   500 |   334 |251779 | 491.8 |   432M |  78 |1003 |  42k|  41k| 114 |  1 |1762 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   140s|   600 |   339 |256821 | 418.1 |   432M |  81 |1003 |  42k|  41k| 114 |  1 |2169 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   143s|   700 |   334 |262037 | 365.8 |   432M |  81 |1003 |  43k|  41k| 114 |  1 |2595 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   145s|   800 |   337 |266636 | 325.7 |   433M |  81 |1003 |  43k|  41k| 114 |  1 |2929 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   147s|   900 |   338 |271105 | 294.5 |   433M |  83 |1003 |  43k|  41k| 114 |  1 |3210 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   149s|  1000 |   332 |275918 | 269.8 |   433M |  83 |1003 |  43k|   0 | 114 |  0 |3554 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   151s|  1100 |   331 |279900 | 248.9 |   433M |  87 |1003 |  43k|  41k| 114 |  1 |3760 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   153s|  1200 |   331 |285038 | 232.4 |   434M |  87 |1003 |  44k|   0 | 114 |  0 |4075 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   160s|  1300 |   356 |297839 | 224.4 |   434M |  87 |1003 |  43k|  41k| 124 |  1 |4349 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   164s|  1400 |   367 |305479 | 213.8 |   434M |  87 |1003 |  43k|  41k| 124 |  1 |4750 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   169s|  1500 |   399 |314787 | 205.8 |   435M |  87 |1003 |  43k|  41k| 133 |  1 |5097 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   171s|  1600 |   405 |321134 | 196.9 |   435M |  87 |1003 |  44k|   0 | 133 |  0 |5428 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c   174s|  1700 |   416 |326676 | 188.5 |   435M |  87 |1003 |  44k|   0 | 133 |  0 |5759 |  19 | 0.000000e+00 |      --      |    Inf | unknown
179.77/180.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
179.77/180.36	c   177s|  1800 |   437 |332651 | 181.4 |   435M |  87 |1003 |  44k|   0 | 133 |  0 |6127 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   180s|  1900 |   458 |340230 | 175.8 |   436M |  87 |1003 |  44k|  41k| 133 |  1 |6497 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   182s|  2000 |   463 |345192 | 169.5 |   436M |  87 |1003 |  44k|   0 | 133 |  0 |6804 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   185s|  2100 |   466 |350062 | 163.7 |   436M |  87 |1003 |  44k|  41k| 133 |  1 |7081 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   187s|  2200 |   471 |354468 | 158.3 |   436M |  87 |1003 |  44k|  41k| 133 |  1 |7442 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   189s|  2300 |   491 |360258 | 153.9 |   436M |  87 |1003 |  45k|  41k| 133 |  1 |7784 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   192s|  2400 |   517 |366972 | 150.3 |   437M |  87 |1003 |  45k|   0 | 133 |  0 |8230 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   195s|  2500 |   546 |373177 | 146.8 |   437M |  87 |1003 |  45k|  41k| 133 |  1 |8528 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   198s|  2600 |   552 |379664 | 143.6 |   437M |  87 |1003 |  45k|  41k| 133 |  1 |8978 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   200s|  2700 |   560 |384675 | 140.2 |   438M |  87 |1003 |  45k|   0 | 133 |  0 |9242 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   203s|  2800 |   583 |391038 | 137.4 |   438M |  87 |1003 |  45k|  41k| 133 |  1 |9543 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   205s|  2900 |   597 |395997 | 134.4 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |9944 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   207s|  3000 |   603 |400357 | 131.4 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   210s|  3100 |   606 |404969 | 128.6 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   212s|  3200 |   612 |409642 | 126.1 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
296.13/297.08	c   213s|  3300 |   604 |413625 | 123.4 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   216s|  3400 |   608 |418317 | 121.2 |   439M |  87 |1003 |  45k|   0 | 133 |  0 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   218s|  3500 |   618 |423059 | 119.1 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   220s|  3600 |   624 |428012 | 117.2 |   439M |  87 |1003 |  45k|   0 | 133 |  0 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   222s|  3700 |   626 |433379 | 115.4 |   439M |  87 |1003 |  45k|  41k| 133 |  1 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   224s|  3800 |   631 |438738 | 113.8 |   440M |  87 |1003 |  45k|   0 | 133 |  0 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   227s|  3900 |   639 |444539 | 112.4 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   229s|  4000 |   645 |450149 | 111.0 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   231s|  4100 |   632 |454389 | 109.3 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   233s|  4200 |   642 |458760 | 107.7 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   235s|  4300 |   645 |463977 | 106.4 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   238s|  4400 |   642 |469510 | 105.3 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   240s|  4500 |   644 |473643 | 103.9 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   242s|  4600 |   642 |478707 | 102.7 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   244s|  4700 |   643 |484672 | 101.8 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
296.13/297.08	c   247s|  4800 |   642 |490009 | 100.8 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   249s|  4900 |   665 |494982 |  99.7 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   251s|  5000 |   668 |499445 |  98.6 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   253s|  5100 |   671 |504198 |  97.6 |   440M |  87 |1003 |  46k|   0 | 133 |  0 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   255s|  5200 |   670 |508464 |  96.6 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   257s|  5300 |   678 |513763 |  95.8 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   259s|  5400 |   682 |517664 |  94.7 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   261s|  5500 |   691 |522961 |  93.9 |   440M |  87 |1003 |  46k|  41k| 133 |  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   263s|  5600 |   703 |527700 |  93.1 |   442M |  87 |1003 |  46k|  41k| 133 |  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   266s|  5700 |   722 |534462 |  92.7 |   442M |  87 |1003 |  47k|  41k| 133 |  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   268s|  5800 |   720 |539140 |  91.9 |   442M |  87 |1003 |  47k|  41k| 133 |  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   270s|  5900 |   716 |544156 |  91.2 |   442M |  87 |1003 |  47k|   0 | 133 |  0 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   272s|  6000 |   719 |548834 |  90.4 |   442M |  87 |1003 |  47k|  41k| 133 |  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   273s|  6100 |   725 |552905 |  89.6 |   442M |  87 |1003 |  47k|  41k| 133 |  1 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   275s|  6200 |   708 |556890 |  88.8 |   442M |  87 |1003 |  47k|   0 | 133 |  0 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
296.13/297.08	c   277s|  6300 |   708 |560799 |  88.0 |   443M |  87 |1003 |  48k|  41k| 133 |  1 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   279s|  6400 |   702 |565314 |  87.3 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   281s|  6500 |   698 |570708 |  86.8 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   283s|  6600 |   703 |575834 |  86.3 |   443M |  87 |1003 |  46k|   0 | 133 |  0 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   285s|  6700 |   718 |580675 |  85.7 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   288s|  6800 |   723 |585807 |  85.2 |   443M |  87 |1003 |  47k|   0 | 133 |  0 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   290s|  6900 |   736 |590448 |  84.7 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   293s|  7000 |   755 |597450 |  84.5 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
296.13/297.08	c   295s|  7100 |   761 |602098 |  83.9 |   443M |  87 |1003 |  47k|   0 | 133 |  0 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   297s|  7200 |   759 |606684 |  83.4 |   443M |  87 |1003 |  47k|  41k| 133 |  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   299s|  7300 |   764 |611286 |  82.9 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   301s|  7400 |   768 |615481 |  82.3 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   302s|  7500 |   764 |619136 |  81.7 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   304s|  7600 |   760 |623483 |  81.2 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   306s|  7700 |   764 |628732 |  80.8 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
404.41/405.66	c   308s|  7800 |   768 |633240 |  80.4 |   443M |  88 |1003 |  48k|  41k| 133 |  1 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   310s|  7900 |   763 |637656 |  79.9 |   443M |  88 |1003 |  48k|   0 | 133 |  0 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   312s|  8000 |   758 |642787 |  79.6 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   316s|  8100 |   755 |647774 |  79.2 |   443M |  88 |1003 |  48k|  41k| 133 |  1 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   318s|  8200 |   751 |652673 |  78.8 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   320s|  8300 |   747 |658579 |  78.6 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   323s|  8400 |   741 |664336 |  78.3 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   325s|  8500 |   729 |669247 |  78.0 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   327s|  8600 |   729 |675748 |  77.8 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   329s|  8700 |   734 |680127 |  77.5 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   331s|  8800 |   722 |683282 |  76.9 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   332s|  8900 |   725 |686352 |  76.4 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   334s|  9000 |   720 |691245 |  76.1 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   337s|  9100 |   734 |698526 |  76.1 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   340s|  9200 |   730 |706485 |  76.1 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
404.41/405.66	c   343s|  9300 |   736 |711419 |  75.8 |   443M |  88 |1003 |  48k|  41k| 133 |  1 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   345s|  9400 |   730 |715872 |  75.5 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   346s|  9500 |   725 |720205 |  75.1 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   348s|  9600 |   722 |723881 |  74.7 |   443M |  88 |1003 |  48k|  41k| 133 |  1 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   350s|  9700 |   728 |727922 |  74.4 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   352s|  9800 |   746 |733447 |  74.2 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   355s|  9900 |   749 |740210 |  74.1 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   357s| 10000 |   756 |745267 |  73.9 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   359s| 10100 |   752 |750559 |  73.7 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   361s| 10200 |   752 |755331 |  73.4 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   363s| 10300 |   741 |759703 |  73.1 |   443M |  88 |1003 |  47k|   0 | 133 |  0 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   365s| 10400 |   735 |764389 |  72.9 |   443M |  88 |1003 |  47k|  41k| 133 |  1 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   367s| 10500 |   736 |768795 |  72.6 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   369s| 10600 |   729 |773951 |  72.4 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   371s| 10700 |   733 |779471 |  72.3 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
404.41/405.66	c   374s| 10800 |   735 |785084 |  72.1 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   376s| 10900 |   746 |790824 |  72.0 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   378s| 11000 |   762 |794821 |  71.7 |   444M |  88 |1003 |  47k|   0 | 133 |  0 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   380s| 11100 |   775 |799906 |  71.5 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   382s| 11200 |   770 |803765 |  71.2 |   444M |  88 |1003 |  47k|  41k| 133 |  1 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   384s| 11300 |   763 |807739 |  70.9 |   444M |  88 |1003 |  47k|   0 | 133 |  0 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   386s| 11400 |   764 |811755 |  70.7 |   444M |  89 |1003 |  47k|  41k| 133 |  1 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   388s| 11500 |   768 |816194 |  70.4 |   444M |  89 |1003 |  47k|  41k| 133 |  1 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   390s| 11600 |   789 |820986 |  70.2 |   444M |  89 |1003 |  47k|  41k| 133 |  1 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   392s| 11700 |   794 |824683 |  69.9 |   444M |  89 |1003 |  48k|  41k| 133 |  1 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   393s| 11800 |   783 |828983 |  69.7 |   445M |  89 |1003 |  48k|   0 | 133 |  0 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   396s| 11900 |   797 |834441 |  69.6 |   445M |  89 |1003 |  48k|   0 | 133 |  0 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   398s| 12000 |   803 |838520 |  69.4 |   445M |  89 |1003 |  48k|   0 | 133 |  0 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   400s| 12100 |   807 |843392 |  69.2 |   445M |  89 |1003 |  48k|   0 | 133 |  0 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c   402s| 12200 |   804 |848255 |  69.0 |   445M |  89 |1003 |  48k|   0 | 133 |  0 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
404.41/405.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
404.41/405.66	c   404s| 12300 |   816 |852423 |  68.8 |   445M |  89 |1003 |  48k|  41k| 133 |  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   405s| 12400 |   812 |855860 |  68.5 |   445M |  89 |1003 |  48k|  41k| 133 |  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   407s| 12500 |   811 |860428 |  68.3 |   446M |  89 |1003 |  48k|  41k| 133 |  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   409s| 12600 |   815 |865086 |  68.2 |   446M |  89 |1003 |  49k|  41k| 133 |  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   411s| 12700 |   813 |869295 |  68.0 |   446M |  89 |1003 |  49k|  41k| 133 |  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   413s| 12800 |   817 |874117 |  67.8 |   446M |  89 |1003 |  49k|   0 | 133 |  0 |  41k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   415s| 12900 |   820 |878283 |  67.6 |   446M |  89 |1003 |  49k|  41k| 133 |  1 |  41k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   417s| 13000 |   821 |883123 |  67.4 |   447M |  89 |1003 |  49k|   0 | 133 |  0 |  41k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   419s| 13100 |   821 |888468 |  67.3 |   447M |  89 |1003 |  49k|   0 | 133 |  0 |  42k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   421s| 13200 |   824 |893260 |  67.2 |   447M |  89 |1003 |  49k|   0 | 133 |  0 |  42k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   423s| 13300 |   828 |897129 |  67.0 |   447M |  89 |1003 |  50k|   0 | 133 |  0 |  42k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   425s| 13400 |   831 |901174 |  66.8 |   447M |  89 |1003 |  50k|  41k| 133 |  1 |  43k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   426s| 13500 |   832 |905135 |  66.6 |   447M |  89 |1003 |  50k|   0 | 133 |  0 |  43k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   428s| 13600 |   827 |909465 |  66.4 |   447M |  90 |1003 |  50k|  41k| 133 |  1 |  43k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   430s| 13700 |   834 |913239 |  66.2 |   448M |  90 |1003 |  50k|  41k| 133 |  1 |  43k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.72/500.23	c   432s| 13800 |   836 |917018 |  66.0 |   448M |  92 |1003 |  50k|   0 | 133 |  0 |  44k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   434s| 13900 |   835 |921325 |  65.8 |   448M |  92 |1003 |  50k|  41k| 133 |  1 |  44k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   436s| 14000 |   837 |926299 |  65.7 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  44k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   438s| 14100 |   837 |930710 |  65.6 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  45k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   440s| 14200 |   838 |934945 |  65.4 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  45k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   442s| 14300 |   840 |939560 |  65.3 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  45k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   443s| 14400 |   842 |943719 |  65.1 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  46k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   446s| 14500 |   845 |949189 |  65.0 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  46k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   448s| 14600 |   848 |953478 |  64.9 |   448M |  92 |1003 |  49k|   0 | 133 |  0 |  46k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   450s| 14700 |   856 |958445 |  64.8 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  47k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   452s| 14800 |   843 |962849 |  64.6 |   448M |  92 |1003 |  49k|   0 | 133 |  0 |  47k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   454s| 14900 |   866 |967394 |  64.5 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  47k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   456s| 15000 |   856 |972080 |  64.4 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  48k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   458s| 15100 |   862 |976682 |  64.3 |   448M |  92 |1003 |  49k|  41k| 133 |  1 |  48k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   460s| 15200 |   861 |982542 |  64.2 |   448M |  92 |1003 |  48k|  41k| 133 |  1 |  48k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.72/500.23	c   462s| 15300 |   859 |986157 |  64.0 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  48k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   464s| 15400 |   865 |990258 |  63.9 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  49k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   466s| 15500 |   864 |994249 |  63.7 |   448M |  94 |1003 |  49k|  41k| 133 |  1 |  49k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   468s| 15600 |   860 |998591 |  63.6 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  49k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   469s| 15700 |   857 |  1002k|  63.4 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  49k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   471s| 15800 |   854 |  1006k|  63.3 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  50k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   473s| 15900 |   849 |  1011k|  63.2 |   448M |  94 |1003 |  49k|  41k| 133 |  1 |  50k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   475s| 16000 |   848 |  1015k|  63.1 |   448M |  94 |1003 |  48k|   0 | 133 |  0 |  50k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   477s| 16100 |   841 |  1020k|  63.0 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  51k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   479s| 16200 |   840 |  1025k|  62.9 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  51k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   481s| 16300 |   840 |  1030k|  62.8 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  51k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   484s| 16400 |   845 |  1035k|  62.8 |   448M |  94 |1003 |  48k|  41k| 133 |  1 |  52k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   486s| 16500 |   841 |  1040k|  62.7 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  52k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   488s| 16600 |   838 |  1045k|  62.6 |   448M |  94 |1003 |  49k|  41k| 133 |  1 |  52k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   490s| 16700 |   832 |  1050k|  62.5 |   448M |  94 |1003 |  49k|  41k| 133 |  1 |  53k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.72/500.23	c   492s| 16800 |   821 |  1055k|  62.5 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  53k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   494s| 16900 |   818 |  1060k|  62.4 |   448M |  94 |1003 |  49k|  41k| 133 |  1 |  53k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   496s| 17000 |   816 |  1065k|  62.3 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  53k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c   498s| 17100 |   816 |  1070k|  62.2 |   448M |  94 |1003 |  49k|   0 | 133 |  0 |  54k|  19 | 0.000000e+00 |      --      |    Inf | unknown
498.72/500.23	c 
498.72/500.23	c SCIP Status        : solving was interrupted [time limit reached]
498.72/500.23	c Solving Time (sec) : 500.00
498.72/500.23	c Solving Nodes      : 17190
498.72/500.23	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.72/500.23	c Dual Bound         : +0.00000000000000e+00
498.72/500.23	c Gap                : infinite
498.72/500.23	c ----------------------------------------------------------------------
498.72/500.23	c dual bound: 0.0 -> 0
498.72/500.23	c primal bound: 1e+20 -> 100000000000000000000
498.72/500.23	c scip-goal-lb: 0
498.72/500.23	c scip-goal-ub: 100000000000000000000
498.72/500.23	c writing output to: HOME/tmpllww1dc4.opb
498.72/500.23	c appending fixed variable constraints
498.72/500.23	c scip-fixed vars: 1.60% (16/1003)
498.72/500.23	c ----------------------------------------------------------------------
498.72/500.23	c executing external solver: HOME/naps-1.03a6
498.72/500.23	c ----------------------------------------------------------------------
498.72/500.23	c command: HOME/naps-1.03a6 HOME/tmpllww1dc4.opb
498.72/500.23	c NaPS 1.03a6.
498.72/500.23	c Input file name: HOME/tmpllww1dc4.opb
1922.30/1928.10	c _____________________________________________________________________________
1922.30/1928.10	c std/band forms        : 170,0
1922.30/1928.10	c 2cl/3cl ITE-codings   : 0,0
1922.30/1928.10	c BDD/srt/adr Max costs : 0,24,0
1922.30/1928.10	c BDDraw/bin/mul/srt/adr: 0,0,0,170,0
1922.30/1928.10	c BDD nodes             : 0
1922.30/1928.10	c Es1/CC detections     : 0,0
1922.30/1928.10	c CC sort               : 170
1922.30/1928.10	c SAT/UNSAT calls       : 1,0
1922.30/1928.10	c regenrated variables  : 0
1922.30/1928.10	c eliminated fixed lits : 15
1922.30/1928.10	c goal lit flips        : 0
1922.30/1928.10	c goal stages           : 0
1922.30/1928.10	c goal shrink           : 0
1922.30/1928.10	c goal coeff separations: 0
1922.30/1928.10	c restarts              : 343377
1922.30/1928.10	c conflicts             : 19197674       (13507 /sec)
1922.30/1928.10	c decisions             : 80419701       (56582 /sec)
1922.30/1928.10	c propagations          : 1602230956     (1127294 /sec)
1922.30/1928.10	c inspects              : 0              (0 /sec)
1922.30/1928.10	c CPU time (solving tm) : 1421 s        (1421 s, SAT 1421 s, UNSAT 0 s)
1922.30/1928.10	c Time for Opt-base     : 0.000332 s
1922.30/1928.10	c Steps for Opt-base    : 0
1922.30/1928.10	c Time for BDD coding   : 0 s
1922.30/1928.10	c Time for srt coding   : 0.000573 s
1922.30/1928.10	c _____________________________________________________________________________
1922.30/1928.10	s SATISFIABLE
1922.30/1928.10	v x1 -x7 x13 -x2 x8 -x14 -x3 -x9 -x15 -x4 -x10 -x16 -x5 -x11 -x17 -x6 -x12 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494465-1751150820/watcher-4494465-1751150820 -o /tmp/evaluation-result-4494465-1751150820/solver-4494465-1751150820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494465-1751150820.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=23693, runsolver pid=23690

[startup+0.100034 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=122770956/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1187172 memory=31936 CPUtime=0.06 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 3756 0 0 0 5 1 0 0 20 0 1 0 30760817 1215664128 7984 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 296793 7984 4885 1 0 268815 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191364 KiB
Current children cumulated memory: 34880 KiB

[startup+0.205434 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=122770956/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1218420 memory=69312 CPUtime=0.16 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 10594 0 0 0 14 2 0 0 20 0 1 0 30760817 1247662080 17328 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 304605 17328 7605 1 0 275963 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1222612 KiB
Current children cumulated memory: 72256 KiB

[startup+0.305438 s]*
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=122770956/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1267904 memory=118720 CPUtime=0.26 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 22729 0 0 0 22 4 0 0 20 0 1 0 30760817 1298333696 29680 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 316976 29680 7861 1 0 288334 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1272096 KiB
Current children cumulated memory: 121664 KiB

[startup+0.700216 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=122770956/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1397704 memory=234304 CPUtime=0.66 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 37338 0 0 0 58 8 0 0 20 0 1 0 30760817 1431248896 58576 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 349426 58576 7925 1 0 320784 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1401896 KiB
Current children cumulated memory: 237248 KiB

[startup+1.50021 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=122728000/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1536644 memory=373096 CPUtime=1.45 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 55859 0 0 0 133 12 0 0 20 0 1 0 30760817 1573523456 93274 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 384161 93274 8149 1 0 355519 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1540836 KiB
Current children cumulated memory: 376040 KiB

[startup+3.1053 s]
/proc/loadavg: 4.19 4.12 4.10 5/268 23698
/proc/meminfo: memFree=121593288/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1536644 memory=373096 CPUtime=3.05 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 55861 0 0 0 293 12 0 0 20 0 1 0 30760817 1573523456 93274 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 384161 93274 8149 1 0 355519 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1540836 KiB
Current children cumulated memory: 376040 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.12 4.10 5/268 23698
/proc/meminfo: memFree=120285400/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1614736 memory=404712 CPUtime=6.24 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 63788 0 0 0 610 14 0 0 20 0 1 0 30760817 1653489664 101178 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 403684 101178 8149 1 0 375042 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1618928 KiB
Current children cumulated memory: 407656 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 23699
/proc/meminfo: memFree=120226884/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1678456 memory=467688 CPUtime=12.62 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 79548 0 0 0 1245 17 0 0 20 0 1 0 30760817 1718738944 116922 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 419614 116922 8149 1 0 390972 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1682648 KiB
Current children cumulated memory: 470632 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 23713
/proc/meminfo: memFree=128324036/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1678456 memory=468712 CPUtime=25.39 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 79804 0 0 0 2522 17 0 0 20 0 1 0 30760817 1718738944 117178 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 419614 117178 8149 1 0 390972 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1682648 KiB
Current children cumulated memory: 471656 KiB

[startup+51.1053 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 23749
/proc/meminfo: memFree=126251908/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1678456 memory=468712 CPUtime=50.93 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 79804 0 0 0 5076 17 0 0 20 0 1 0 30760817 1718738944 117178 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 419614 117178 8149 1 0 390972 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1682648 KiB
Current children cumulated memory: 471656 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 23751
/proc/meminfo: memFree=126218580/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1713224 memory=502376 CPUtime=101.99 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 88213 0 0 0 10180 19 0 0 20 0 1 0 30760817 1754341376 125594 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 428306 125594 8149 1 0 399664 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1717416 KiB
Current children cumulated memory: 505320 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 23756
/proc/meminfo: memFree=126196312/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1729120 memory=519784 CPUtime=161.82 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 92549 0 0 0 16162 20 0 0 20 0 1 0 30760817 1770618880 129946 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 432280 129946 8149 1 0 403638 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1733312 KiB
Current children cumulated memory: 522728 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 23762
/proc/meminfo: memFree=126175928/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1729120 memory=523112 CPUtime=221.64 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 92551 0 0 0 22144 20 0 0 20 0 1 0 30760817 1770618880 130778 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 432280 130778 8149 1 0 403638 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1733312 KiB

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

/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=131572 memory=89520 CPUtime=1278.25 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 539039 0 0 0 127603 222 0 0 20 0 1 0 30810839 134729728 22380 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 32893 22380 544 696 0 32054 0
Current children cumulated CPU time: 1777.01 s
Current children cumulated vsize: 1884200 KiB
Current children cumulated memory: 658584 KiB

[startup+1842.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/272 25715
/proc/meminfo: memFree=129187288/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=74228 memory=65456 CPUtime=1338.06 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 552964 0 0 0 133579 227 0 0 20 0 1 0 30810839 76009472 16364 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 18557 16364 544 696 0 17718 0
Current children cumulated CPU time: 1836.82 s
Current children cumulated vsize: 1826856 KiB
Current children cumulated memory: 634520 KiB

[startup+1902.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/274 25719
/proc/meminfo: memFree=129180388/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=74228 memory=64944 CPUtime=1397.9 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 573357 0 0 0 139558 232 0 0 20 0 1 0 30810839 76009472 16236 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 18557 16236 544 696 0 17718 0
Current children cumulated CPU time: 1896.66 s
Current children cumulated vsize: 1826856 KiB
Current children cumulated memory: 634008 KiB

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

# cumulated CPU time of all completed processes:  user=1919.96 s, system=2.57236 s

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

[startup+1907.2 s]
/proc/loadavg: 4.18 4.18 4.12 5/274 25719
/proc/meminfo: memFree=129180388/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=70132 memory=61656 CPUtime=1402.79 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 574980 0 0 0 140046 233 0 0 20 0 1 0 30810839 71815168 15414 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 17533 15414 544 696 0 16694 0
Current children cumulated CPU time: 1901.55 s
Current children cumulated vsize: 1822760 KiB
Current children cumulated memory: 630720 KiB

[startup+1920 s]*
/proc/loadavg: 4.14 4.17 4.12 5/274 25720
/proc/meminfo: memFree=129181004/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=66032 memory=58452 CPUtime=1415.56 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 578619 0 0 0 141322 234 0 0 20 0 1 0 30810839 67616768 14613 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 16508 14613 544 696 0 15669 0
Current children cumulated CPU time: 1914.32 s
Current children cumulated vsize: 1818660 KiB
Current children cumulated memory: 627516 KiB

[startup+1923.2 s]
/proc/loadavg: 4.14 4.17 4.12 5/274 25720
/proc/meminfo: memFree=129181044/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=66032 memory=58452 CPUtime=1418.75 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 578619 0 0 0 141641 234 0 0 20 0 1 0 30810839 67616768 14613 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 16508 14613 544 696 0 15669 0
Current children cumulated CPU time: 1917.51 s
Current children cumulated vsize: 1818660 KiB
Current children cumulated memory: 627516 KiB

[startup+1926.4 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 25720
/proc/meminfo: memFree=129181188/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=66032 memory=58452 CPUtime=1421.94 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 578620 0 0 0 141960 234 0 0 20 0 1 0 30810839 67616768 14613 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 16508 14613 544 696 0 15669 0
Current children cumulated CPU time: 1920.7 s
Current children cumulated vsize: 1818660 KiB
Current children cumulated memory: 627516 KiB

[startup+1927.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 25720
/proc/meminfo: memFree=129181188/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=66032 memory=58452 CPUtime=1422.74 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 578620 0 0 0 142040 234 0 0 20 0 1 0 30810839 67616768 14613 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 16508 14613 544 696 0 15669 0
Current children cumulated CPU time: 1921.5 s
Current children cumulated vsize: 1818660 KiB
Current children cumulated memory: 627516 KiB

[startup+1928 s]*
/proc/loadavg: 4.13 4.16 4.11 5/274 25720
/proc/meminfo: memFree=129181364/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1748436 memory=566120 CPUtime=498.76 cores=0,2
/proc/23698/stat : 23698 (python3) S 23693 23693 19810 0 -1 4194304 98530 0 0 0 49855 21 0 0 20 0 1 0 30760817 1790398464 141530 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 437109 141530 8181 1 0 408467 0
[pid=23821] ppid=23698 vsize=66032 memory=58452 CPUtime=1423.54 cores=0,2
/proc/23821/stat : 23821 (naps-1.03a6) R 23698 23821 23821 0 -1 4194304 578620 0 0 0 142120 234 0 0 20 0 1 0 30810839 67616768 14613 18446744073709551615 4198400 7047149 140723769309792 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 20996096 140723769317777 140723769317875 140723769317875 140723769323465 0
/proc/23821/statm: 16508 14613 544 696 0 15669 0
Current children cumulated CPU time: 1922.3 s
Current children cumulated vsize: 1818660 KiB
Current children cumulated memory: 627516 KiB

[startup+1928.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 25720
/proc/meminfo: memFree=129181364/131249992 swapFree=33010684/33010684
[pid=23693] ppid=23690 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23693/stat : 23693 (scip-naps-1.00.) S 23690 23693 19810 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 30760815 4292608 736 18446744073709551615 94115862364160 94115863258693 140721877099344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94115863497744 94115863545488 94115879002112 140721877100961 140721877101058 140721877101058 140721877106660 0
/proc/23693/statm: 1048 736 672 219 0 110 0
[pid=23698] ppid=23693 vsize=1572824 memory=405364 CPUtime=1922.49 cores=0,2
/proc/23698/stat : 23698 (python3) R 23693 23693 19810 0 -1 4194304 100104 578669 0 0 49864 21 142130 234 20 0 1 0 30760817 1610571776 101341 18446744073709551615 94917503434752 94917503435129 140737254075152 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 94917503446424 94917503447044 94917506215936 140737254078808 140737254079010 140737254079010 140737254084583 0
/proc/23698/statm: 393206 101341 8181 1 0 364564 0
Current children cumulated CPU time: 1922.49 s
Current children cumulated vsize: 1577016 KiB
Current children cumulated memory: 408308 KiB

Child status: 0

Real time (s): 1928.21
CPU time (s): 1922.54
CPU user time (s): 1919.96
CPU system time (s): 2.57236
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 1916968
Max. memory (cumulated for all children) (KiB): 683160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1919.96
system time used= 2.57236
maximum resident set size= 566120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 377
involuntary context switches= 2492


# summary of solver processes directly reported to runsolver:
#   pid: 23693
#   total CPU time (s): 1922.54
#   total CPU user time (s): 1919.96
#   total CPU system time (s): 2.57236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99347 second user time and 8.74604 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-29 00:47:01
IDJOB=4494465
IDBENCH=147891
IDSOLVER=3368
FILE ID=nodeC025/4494465-1751150820
RUNJOBID= nodeC025-1751145166-19820
SLURM_JOB_ID= 9587446
Free space on /tmp= 432956 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494465-1751150820/watcher-4494465-1751150820 -o /tmp/evaluation-result-4494465-1751150820/solver-4494465-1751150820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4494465-1751150820.opb

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

MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=1823512676

nodeC025 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		: 3600.037
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.67
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		: 3600.387
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.67
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.855
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.67
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		: 3600.101
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.67
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.848
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.67
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.847
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.67
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		: 3598.622
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.67
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		: 3623.156
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        122777980 kB
MemAvailable:   122504212 kB
Buffers:            3280 kB
Cached:           536620 kB
SwapCached:            0 kB
Active:          7125236 kB
Inactive:         278536 kB
Active(anon):    6881956 kB
Inactive(anon):        0 kB
Active(file):     243280 kB
Inactive(file):   278536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6916 kB
Writeback:             0 kB
AnonPages:       6861916 kB
Mapped:           129488 kB
Shmem:             18084 kB
KReclaimable:      87308 kB
Slab:             171312 kB
SReclaimable:      87308 kB
SUnreclaim:        84004 kB
KernelStack:        4352 kB
PageTables:        17664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   10885472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2330624 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC025 at 2025-06-29 01:19:09