Trace number 4452279

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
NaPS 1.03? (TO) 3600.04 3610.22

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-948346.0.s.opb
MD5SUMfa44fc9c0c30a6a8030f0b23aafff6c8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57855
Total number of constraints1571
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)632
Number of constraints which are nor clauses,nor cardinality constraints894
Minimum length of a constraint5
Maximum length of a constraint57675
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 10000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 578713
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4452279-1721437484.opb
3600.00/3610.20	c 
3600.00/3610.20	c *** TERMINATED *** by signal 15
3600.00/3610.20	s UNKNOWN
3600.00/3610.20	c _____________________________________________________________________________
3600.00/3610.20	c std/band forms        : 1526,0
3600.00/3610.20	c 2cl/3cl ITE-codings   : 9696570,0
3600.00/3610.20	c BDD/srt/adr Max costs : 92411,7010216,0
3600.00/3610.20	c BDDraw/bin/mul/srt/adr: 606,0,0,920,0
3600.00/3610.20	c BDD nodes             : 10163243
3600.00/3610.20	c Es1/CC detections     : 0,0
3600.00/3610.20	c CC sort               : 919
3600.00/3610.20	c SAT/UNSAT calls       : 0,0
3600.00/3610.20	c regenrated variables  : 0
3600.00/3610.20	c eliminated fixed lits : 0
3600.00/3610.20	c goal lit flips        : 0
3600.00/3610.20	c goal stages           : 0
3600.00/3610.20	c goal shrink           : 0
3600.00/3610.20	c goal coeff separations: 0
3600.00/3610.20	c restarts              : 0
3600.00/3610.20	c conflicts             : 0              (0 /sec)
3600.00/3610.20	c decisions             : 0              (0 /sec)
3600.00/3610.20	c propagations          : 0              (0 /sec)
3600.00/3610.20	c inspects              : 0              (0 /sec)
3600.00/3610.20	c CPU time (solving tm) : 3596 s        (3527 s, SAT 0 s, UNSAT 0 s)
3600.00/3610.20	c Time for Opt-base     : 0.1628 s
3600.00/3610.20	c Steps for Opt-base    : 461400
3600.00/3610.20	c Time for BDD coding   : 47.42 s
3600.00/3610.20	c Time for srt coding   : 6.748 s
3600.00/3610.20	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (51206 MiB free)
  memory of node 1: 64473 MiB (60515 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452279-1721437484/watcher-4452279-1721437484 -o /tmp/evaluation-result-4452279-1721437484/solver-4452279-1721437484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721432748-1041018 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4452279-1721437484.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1044758, runsolver pid=1044755

[startup+0.100102 s]*
/proc/loadavg: 4.16 4.25 4.21 5/251 1044763
/proc/meminfo: memFree=114365900/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=41352 memory=39204 CPUtime=0.1 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 9732 0 0 0 9 1 0 0 20 0 1 0 195907129 42344448 9801 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 10338 9801 452 659 0 9542 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51284 KiB
Current children cumulated memory: 41936 KiB

[startup+0.214074 s]*
/proc/loadavg: 4.16 4.25 4.21 5/251 1044763
/proc/meminfo: memFree=114374416/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=37684 memory=35764 CPUtime=0.21 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 9737 0 0 0 20 1 0 0 20 0 1 0 195907129 38588416 8941 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 9421 8941 452 659 0 8625 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47616 KiB
Current children cumulated memory: 38496 KiB

[startup+0.313933 s]*
/proc/loadavg: 4.16 4.25 4.21 5/251 1044763
/proc/meminfo: memFree=114372932/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=37684 memory=35764 CPUtime=0.31 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 9747 0 0 0 30 1 0 0 20 0 1 0 195907129 38588416 8941 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 9421 8941 452 659 0 8625 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47616 KiB
Current children cumulated memory: 38496 KiB

[startup+0.700357 s]
/proc/loadavg: 4.15 4.24 4.20 5/251 1044763
/proc/meminfo: memFree=114369528/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=50424 memory=48492 CPUtime=0.68 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 12921 0 0 0 67 1 0 0 20 0 1 0 195907129 51634176 12123 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 12606 12123 468 659 0 11810 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 51224 KiB

[startup+1.50039 s]
/proc/loadavg: 4.15 4.24 4.20 5/251 1044763
/proc/meminfo: memFree=114341664/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=108532 memory=93580 CPUtime=1.48 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 24706 0 0 0 145 3 0 0 20 0 1 0 195907129 111136768 23395 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 27133 23395 500 659 0 26337 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118464 KiB
Current children cumulated memory: 96312 KiB

[startup+3.1136 s]
/proc/loadavg: 4.15 4.24 4.20 5/251 1044763
/proc/meminfo: memFree=113738744/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=593536 memory=550216 CPUtime=3.09 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 66289 0 0 0 292 17 0 0 20 0 1 0 195907129 607780864 137554 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 148384 137554 532 659 0 147588 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 603468 KiB
Current children cumulated memory: 552948 KiB

[startup+6.3004 s]
/proc/loadavg: 4.13 4.24 4.20 5/251 1044764
/proc/meminfo: memFree=113741468/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=579216 memory=560536 CPUtime=6.27 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 83960 0 0 0 606 21 0 0 20 0 1 0 195907129 593117184 140134 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 144804 140134 532 659 0 144008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 589148 KiB
Current children cumulated memory: 563268 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.23 4.20 5/251 1044764
/proc/meminfo: memFree=113698204/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=659460 memory=610416 CPUtime=12.65 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 92940 0 0 0 1243 22 0 0 20 0 1 0 195907129 675287040 152604 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 164865 152604 532 659 0 164069 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 669392 KiB
Current children cumulated memory: 613148 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.23 4.20 5/251 1044766
/proc/meminfo: memFree=113348636/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=872932 memory=848528 CPUtime=25.42 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 105485 0 0 0 2511 31 0 0 20 0 1 0 195907129 893882368 212132 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 218233 212132 532 659 0 217437 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 882864 KiB
Current children cumulated memory: 851260 KiB

[startup+51.1136 s]
/proc/loadavg: 4.12 4.22 4.20 5/250 1044770
/proc/meminfo: memFree=113081792/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=1054276 memory=1015188 CPUtime=50.97 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 134052 0 0 0 5059 38 0 0 20 0 1 0 195907129 1079578624 253797 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 263569 253797 532 659 0 262773 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1064208 KiB
Current children cumulated memory: 1017920 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/250 1044780
/proc/meminfo: memFree=109443812/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=6850364 memory=4844800 CPUtime=102.03 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 370411 0 0 0 10036 167 0 0 20 0 1 0 195907129 7014772736 1211200 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 1712591 1211200 532 659 0 1711795 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 6860296 KiB
Current children cumulated memory: 4847532 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.21 4.19 5/249 1044790
/proc/meminfo: memFree=110994948/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=3338800 memory=2947896 CPUtime=161.89 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 389551 0 0 0 16009 180 0 0 20 0 1 0 195907129 3418931200 736974 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 834700 736974 532 659 0 833904 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 3348732 KiB
Current children cumulated memory: 2950628 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.21 4.19 5/247 1044800
/proc/meminfo: memFree=111544140/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=4194172 memory=3607352 CPUtime=221.73 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 603364 0 0 0 21921 252 0 0 20 0 1 0 195907129 4294832128 901838 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 1048543 901838 532 659 0 1047747 0
Current children cumulated CPU time: 221.73 s

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

/proc/1044763/statm: 778309 662508 532 659 0 777513 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 3123168 KiB
Current children cumulated memory: 2652764 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.20 4.19 5/246 1046477
/proc/meminfo: memFree=84689732/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2982164 memory=2627504 CPUtime=3093.55 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 648844 0 0 0 308958 397 0 0 20 0 1 0 195907129 3053735936 656876 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 745541 656876 532 659 0 744745 0
Current children cumulated CPU time: 3093.55 s
Current children cumulated vsize: 2992096 KiB
Current children cumulated memory: 2630236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.18 4.18 5/247 1046488
/proc/meminfo: memFree=84820544/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2982164 memory=2631600 CPUtime=3153.38 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 649323 0 0 0 314941 397 0 0 20 0 1 0 195907129 3053735936 657900 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 745541 657900 532 659 0 744745 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 2992096 KiB
Current children cumulated memory: 2634332 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/247 1046498
/proc/meminfo: memFree=83771724/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2982164 memory=2637744 CPUtime=3213.21 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 649793 0 0 0 320923 398 0 0 20 0 1 0 195907129 3053735936 659436 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 745541 659436 532 659 0 744745 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 2992096 KiB
Current children cumulated memory: 2640476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.75 4.35 4.24 5/249 1046679
/proc/meminfo: memFree=80083908/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2916628 memory=2575428 CPUtime=3273.04 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 650801 0 0 0 326905 399 0 0 20 0 1 0 195907129 2986627072 643857 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 729157 643857 532 659 0 728361 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 2926560 KiB
Current children cumulated memory: 2578160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.33 4.24 5/250 1046692
/proc/meminfo: memFree=78986644/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2913300 memory=2566832 CPUtime=3332.87 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 652071 0 0 0 332886 401 0 0 20 0 1 0 195907129 2983219200 641708 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 728325 641708 532 659 0 727529 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 2923232 KiB
Current children cumulated memory: 2569564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.31 4.24 5/249 1046713
/proc/meminfo: memFree=75829256/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2978836 memory=2583216 CPUtime=3392.66 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 653077 0 0 0 338864 402 0 0 20 0 1 0 195907129 3050328064 645804 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 744709 645804 532 659 0 743913 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 2988768 KiB
Current children cumulated memory: 2585948 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.26 4.22 5/248 1046724
/proc/meminfo: memFree=77624376/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2913300 memory=2544216 CPUtime=3452.5 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 653935 0 0 0 344846 404 0 0 20 0 1 0 195907129 2983219200 636054 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 728325 636054 532 659 0 727529 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 2923232 KiB
Current children cumulated memory: 2546948 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.24 4.22 5/248 1046734
/proc/meminfo: memFree=78839144/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2978836 memory=2583216 CPUtime=3512.34 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 654898 0 0 0 350829 405 0 0 20 0 1 0 195907129 3050328064 645804 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 744709 645804 532 659 0 743913 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 2988768 KiB
Current children cumulated memory: 2585948 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.21 4.21 5/247 1046745
/proc/meminfo: memFree=78790476/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2978836 memory=2624176 CPUtime=3572.18 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 655459 0 0 0 356811 407 0 0 20 0 1 0 195907129 3050328064 656044 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 744709 656044 532 659 0 743913 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 2988768 KiB
Current children cumulated memory: 2626908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.15 4.21 4.20 5/247 1046750
/proc/meminfo: memFree=78710280/131655788 swapFree=131071996/131071996
[pid=1044758] ppid=1044755 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/1044758/stat : 1044758 (naps-1.03.sh) S 1044755 1044758 1041006 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 195907128 10170368 683 134679101440 94627535716352 94627536795672 140729159698192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94627538894128 94627538941316 94627562713088 140729159701474 140729159701599 140729159701599 140729159708616 0
/proc/1044758/statm: 2483 683 605 264 0 134 0
[pid=1044763] ppid=1044758 vsize=2978836 memory=2634416 CPUtime=3600 cores=1,3
/proc/1044763/stat : 1044763 (naps-1.03) R 1044758 1044758 1041006 0 -1 4194304 655959 0 0 0 359593 407 0 0 20 0 1 0 195907129 3050328064 658604 134679101440 4194304 6891213 140731027883872 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35262464 140731027887091 140731027887203 140731027887203 140731027894219 0
/proc/1044763/statm: 744709 658604 532 659 0 743913 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2988768 KiB
Current children cumulated memory: 2637148 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003189 s, system=0.002697 s

[startup+3610.22 s]
# the end of solver process 1044763 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3595.94 s, system=4.09184 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 10

Real time (s): 3610.22
CPU time (s): 3600.04
CPU user time (s): 3595.94
CPU system time (s): 4.09184
CPU usage (%): 99.718
Max. virtual memory (cumulated for all children) (KiB): 6912496
Max. memory (cumulated for all children) (KiB): 4849928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.94
system time used= 4.09184
maximum resident set size= 4962140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87
involuntary context switches= 2262


# summary of solver processes directly reported to runsolver:
#   pid: 1044758,1044763
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3595.94
#   total CPU system time (s): 4.09184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9422 second user time and 35.2264 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 03:04:55
IDJOB=4452279
IDBENCH=164221
IDSOLVER=3063
FILE ID=nodeC005/4452279-1721437484
RUNJOBID= nodeC005-1721432748-1041018
SLURM_JOB_ID= 7545624
Free space on /tmp= 723748 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452279-1721437484/watcher-4452279-1721437484 -o /tmp/evaluation-result-4452279-1721437484/solver-4452279-1721437484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721432748-1041018 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4452279-1721437484.opb

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

MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=343717057

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3670.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.768
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.364
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.188
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 3491.765
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3655.270
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.362
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114403604 kB
MemAvailable:   119985844 kB
Buffers:          550412 kB
Cached:          5811812 kB
SwapCached:            0 kB
Active:          1166780 kB
Inactive:       15362468 kB
Active(anon):       3476 kB
Inactive(anon): 10209420 kB
Active(file):    1163304 kB
Inactive(file):  5153048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11164 kB
Writeback:            28 kB
AnonPages:      10153076 kB
Mapped:           114856 kB
Shmem:             45896 kB
KReclaimable:     212176 kB
Slab:             331992 kB
SReclaimable:     212176 kB
SUnreclaim:       119816 kB
KernelStack:        3968 kB
PageTables:        29428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11269592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61760 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7043072 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC005 at 2024-07-20 04:05:06