Trace number 4426382

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-GM 1.03? (exit code) 444.157 456.695

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-18_wcsp.wbo
MD5SUM7ac97bb2deff70454cbda9bb64710db6
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7173
Best CPU time to get the best result obtained on this benchmark3600.51
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2210
Total number of constraints246592
Number of soft constraints246492
Number of constraints which are clauses246492
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26
Top cost 255184
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 44859114
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
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 We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4426382-1720901799.wbo
2.47/2.53	c single stage optimization mode
2.67/2.78	o 126135
356.83/358.19	o 81763
438.60/440.23	terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
0.00/456.69	HOME/naps-1.03.sh: line 6: 717296 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

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 (62263 MiB free)
  memory of node 1: 64473 MiB (62774 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426382-1720901799/watcher-4426382-1720901799 -o /tmp/evaluation-result-4426382-1720901799/solver-4426382-1720901799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720901807-717165 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426382-1720901799.wbo 

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

solver pid=717291, runsolver pid=717288

[startup+0.100795 s]*
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=128022848/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=12028 memory=5688 CPUtime=0.1 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 1059 0 0 0 10 0 0 0 20 0 1 0 142337060 12316672 1422 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 3007 1422 436 659 0 2211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21960 KiB
Current children cumulated memory: 8348 KiB

[startup+0.215799 s]*
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=127972064/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=20700 memory=13616 CPUtime=0.21 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 3181 0 0 0 21 0 0 0 20 0 1 0 142337060 21196800 3404 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 5175 3404 436 659 0 4379 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30632 KiB
Current children cumulated memory: 16276 KiB

[startup+0.312891 s]*
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=127897412/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=27864 memory=22060 CPUtime=0.31 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 4984 0 0 0 30 1 0 0 20 0 1 0 142337060 28532736 5515 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 6966 5515 436 659 0 6170 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37796 KiB
Current children cumulated memory: 24720 KiB

[startup+0.700423 s]
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=127784896/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=53852 memory=46736 CPUtime=0.68 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 11520 0 0 0 66 2 0 0 20 0 1 0 142337060 55144448 11684 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 13463 11684 436 659 0 12667 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63784 KiB
Current children cumulated memory: 49396 KiB

[startup+1.50038 s]
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=127671580/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=128224 memory=119724 CPUtime=1.48 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 28459 0 0 0 143 5 0 0 20 0 1 0 142337060 131301376 29931 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 32056 29931 436 659 0 31260 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138156 KiB
Current children cumulated memory: 122384 KiB

[startup+3.11257 s]
/proc/loadavg: 0.41 0.16 0.11 5/245 717296
/proc/meminfo: memFree=127220144/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=221240 memory=208220 CPUtime=3.09 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 50372 0 0 0 301 8 0 0 20 0 1 0 142337060 226549760 52055 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 55310 52055 468 659 0 54514 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 231172 KiB
Current children cumulated memory: 210880 KiB

[startup+6.3004 s]
/proc/loadavg: 0.86 0.26 0.14 5/245 717298
/proc/meminfo: memFree=126958744/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=275340 memory=242472 CPUtime=6.27 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 58430 0 0 0 618 9 0 0 20 0 1 0 142337060 281948160 60618 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 68835 60618 468 659 0 68039 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 285272 KiB
Current children cumulated memory: 245132 KiB

[startup+12.7004 s]
/proc/loadavg: 1.27 0.35 0.17 5/245 717298
/proc/meminfo: memFree=126051136/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=1116100 memory=1016140 CPUtime=12.65 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 138402 0 0 0 1230 35 0 0 20 0 1 0 142337060 1142886400 254035 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 279025 254035 468 659 0 278229 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1126032 KiB
Current children cumulated memory: 1018800 KiB

[startup+25.5004 s]
/proc/loadavg: 2.17 0.60 0.26 5/245 717349
/proc/meminfo: memFree=124377004/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=3588264 memory=3168824 CPUtime=25.41 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 356463 0 0 0 2442 99 0 0 20 0 1 0 142337060 3674382336 792206 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 897066 792206 468 659 0 896270 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3598196 KiB
Current children cumulated memory: 3171484 KiB

[startup+51.1129 s]
/proc/loadavg: 2.92 0.90 0.37 5/246 717455
/proc/meminfo: memFree=107669540/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=14450356 memory=12106640 CPUtime=50.95 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 1187651 0 0 0 4750 345 0 0 20 0 1 0 142337060 14797164544 3026660 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 3612589 3026660 468 659 0 3611793 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 14460288 KiB
Current children cumulated memory: 12109300 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 1.40 0.57 5/246 717462
/proc/meminfo: memFree=93823620/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=20532276 memory=18474592 CPUtime=101.93 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 1824808 0 0 0 9665 528 0 0 20 0 1 0 142337060 21025050624 4618648 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 5133069 4618648 468 659 0 5132273 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 20542208 KiB
Current children cumulated memory: 18477252 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 1.89 0.79 5/246 717473
/proc/meminfo: memFree=91676700/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=22493116 memory=19703936 CPUtime=161.71 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2121376 0 0 0 15508 663 0 0 20 0 1 0 142337060 23032950784 4925984 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 5623279 4925984 468 659 0 5622483 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 22503048 KiB
Current children cumulated memory: 19706596 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.29 1.00 5/246 717483
/proc/meminfo: memFree=89538324/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=23755384 memory=20973424 CPUtime=221.47 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2211942 0 0 0 21430 717 0 0 20 0 1 0 142337060 24325513216 5243356 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 5938846 5243356 468 659 0 5938050 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 23765316 KiB
Current children cumulated memory: 20976084 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.62 1.20 5/248 717497
/proc/meminfo: memFree=86809140/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=25329564 memory=21770412 CPUtime=281.26 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2240037 0 0 0 27378 748 0 0 20 0 1 0 142337060 25937473536 5442603 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 6332391 5442603 468 659 0 6331595 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 25339496 KiB
Current children cumulated memory: 21773072 KiB

[startup+342.3 s]
/proc/loadavg: 3.47 2.72 1.32 4/240 717539
/proc/meminfo: memFree=82893772/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=22988080 memory=20816716 CPUtime=341.07 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2249896 0 0 0 33327 780 0 0 20 0 1 0 142337060 23539793920 5204179 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 5747020 5204179 468 659 0 5746224 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 22998012 KiB
Current children cumulated memory: 20819376 KiB

[startup+402.3 s]
/proc/loadavg: 3.11 2.77 1.43 3/231 717581
/proc/meminfo: memFree=102692776/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29350372 memory=25670672 CPUtime=400.85 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2664805 0 0 0 39144 941 0 0 20 0 1 0 142337060 30054780928 6417668 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7337593 6417668 468 659 0 7336797 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 29360304 KiB
Current children cumulated memory: 25673332 KiB

[startup+456.695 s]
# the end of solver process 717291 was just reported to runsolver
# Child status: 134

# cumulated CPU time of all completed processes:  user=428.703 s, system=15.4534 s

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

[startup+409.6 s]
/proc/loadavg: 3.19 2.79 1.44 3/231 717582
/proc/meminfo: memFree=102082820/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29631004 memory=26268948 CPUtime=408.12 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2735658 0 0 0 39848 964 0 0 20 0 1 0 142337060 30342148096 6567237 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7407751 6567237 468 659 0 7406955 0
Current children cumulated CPU time: 408.12 s
Current children cumulated vsize: 29640936 KiB
Current children cumulated memory: 26271608 KiB

[startup+435.2 s]
/proc/loadavg: 2.72 2.71 1.46 3/231 717586
/proc/meminfo: memFree=101383720/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29893156 memory=26877372 CPUtime=433.62 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) R 717291 717291 717155 0 -1 4194304 2802189 0 0 0 42369 993 0 0 20 0 1 0 142337060 30610591744 6719343 134679101440 4194304 6891213 140721707519520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7473289 6719343 468 659 0 7472493 0
Current children cumulated CPU time: 433.62 s
Current children cumulated vsize: 29903088 KiB
Current children cumulated memory: 26880032 KiB

[startup+448 s]*
/proc/loadavg: 2.69 2.71 1.47 3/232 717592
/proc/meminfo: memFree=98455204/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29893292 memory=26877372 CPUtime=443.04 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) S 717291 717291 717155 0 -1 4195840 2802738 0 0 0 42870 1434 0 0 20 0 1 0 142337060 30610731008 6719343 134679101440 4194304 6891213 140721707519520 140721707516912 6272572 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7473323 6719343 468 659 0 7472527 0
Current children cumulated CPU time: 443.04 s
Current children cumulated vsize: 29903224 KiB
Current children cumulated memory: 26880032 KiB

[startup+451.2 s]
/proc/loadavg: 2.71 2.71 1.48 2/232 717592
/proc/meminfo: memFree=98243620/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29893292 memory=26877372 CPUtime=443.04 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) S 717291 717291 717155 0 -1 4195840 2802738 0 0 0 42870 1434 0 0 20 0 1 0 142337060 30610731008 6719343 134679101440 4194304 6891213 140721707519520 140721707516912 6272572 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7473323 6719343 468 659 0 7472527 0
Current children cumulated CPU time: 443.04 s
Current children cumulated vsize: 29903224 KiB
Current children cumulated memory: 26880032 KiB

[startup+454.4 s]
/proc/loadavg: 2.71 2.71 1.48 2/232 717592
/proc/meminfo: memFree=98236768/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
[pid=717296] ppid=717291 vsize=29893292 memory=26877372 CPUtime=443.04 cores=0,2
/proc/717296/stat : 717296 (naps-1.03) S 717291 717291 717155 0 -1 4195840 2802738 0 0 0 42870 1434 0 0 20 0 1 0 142337060 30610731008 6719343 134679101440 4194304 6891213 140721707519520 140721707516912 6272572 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23318528 140721707525053 140721707525169 140721707525169 140721707532235 0
/proc/717296/statm: 7473323 6719343 468 659 0 7472527 0
Current children cumulated CPU time: 443.04 s
Current children cumulated vsize: 29903224 KiB
Current children cumulated memory: 26880032 KiB

[startup+456 s]*
/proc/loadavg: 2.66 2.70 1.48 3/233 717600
/proc/meminfo: memFree=106302884/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2660 KiB

[startup+456.4 s]
/proc/loadavg: 2.66 2.70 1.48 3/233 717600
/proc/meminfo: memFree=106302884/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2660 KiB

[startup+456.6 s]
/proc/loadavg: 2.66 2.70 1.48 3/233 717600
/proc/meminfo: memFree=106302884/131655788 swapFree=131071996/131071996
[pid=717291] ppid=717288 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/717291/stat : 717291 (naps-1.03.sh) S 717288 717291 717155 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 142337060 10170368 665 134679101440 94917950705664 94917951784984 140725606312048 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94917953883440 94917953930628 94917986570240 140725606314924 140725606315053 140725606315053 140725606322120 0
/proc/717291/statm: 2483 665 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2660 KiB

Child status: 134

Real time (s): 456.695
CPU time (s): 444.157
CPU user time (s): 428.703
CPU system time (s): 15.4534
CPU usage (%): 97.2545
Max. virtual memory (cumulated for all children) (KiB): 29903224
Max. memory (cumulated for all children) (KiB): 26880032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.703
system time used= 15.4534
maximum resident set size= 26877640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2803212
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= 211
involuntary context switches= 3135


# summary of solver processes directly reported to runsolver:
#   pid: 717291
#   total CPU time (s): 444.157
#   total CPU user time (s): 428.703
#   total CPU system time (s): 15.4534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15844 second user time and 4.80426 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-13 22:16:52
IDJOB=4426382
IDBENCH=143872
IDSOLVER=3042
FILE ID=nodeC011/4426382-1720901799
RUNJOBID= nodeC011-1720901807-717165
SLURM_JOB_ID= 7486077
Free space on /tmp= 723760 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-18_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426382-1720901799/watcher-4426382-1720901799 -o /tmp/evaluation-result-4426382-1720901799/solver-4426382-1720901799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720901807-717165 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4426382-1720901799.wbo

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

MD5SUM BENCH= 7ac97bb2deff70454cbda9bb64710db6
RANDOM SEED=780343536

nodeC011.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		: 3645.074
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.20
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		: 3505.196
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.31
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.125
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.20
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.179
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.31
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		: 3648.252
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.20
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		: 3499.814
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.31
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.141
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.20
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.236
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128041368 kB
MemAvailable:   129171716 kB
Buffers:          343680 kB
Cached:          1618264 kB
SwapCached:            0 kB
Active:           530468 kB
Inactive:        2545408 kB
Active(anon):       1460 kB
Inactive(anon):  1150164 kB
Active(file):     529008 kB
Inactive(file):  1395244 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29308 kB
Writeback:             4 kB
AnonPages:       1113656 kB
Mapped:           107340 kB
Shmem:             37704 kB
KReclaimable:      92588 kB
Slab:             187188 kB
SReclaimable:      92588 kB
SUnreclaim:        94600 kB
KernelStack:        3920 kB
PageTables:        11700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1647024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            46400 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 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:      185160 kB
DirectMap2M:    17545216 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC011 at 2024-07-13 22:24:28