Trace number 4449326

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
Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11? (MO) 589.999 591.452

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
MD5SUMd2e7222ae223744ca0eedd4691347876
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.73609
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables733696
Total number of constraints3890
Number of constraints which are clauses1432
Number of constraints which are cardinality constraints (but not clauses)1432
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint1433
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 511855
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 2979275
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449326-1721357843/watcher-4449326-1721357843 -o /tmp/evaluation-result-4449326-1721357843/solver-4449326-1721357843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721353923-1007234 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4449326-1721357843.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=1011401, runsolver pid=1011398
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.15 4.19 4.13 5/264 1011405
/proc/meminfo: memFree=72321296/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=75244 memory=58944 CPUtime=0.09 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 6241 0 0 0 8 1 0 0 20 0 1 0 187946765 77049856 14736 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 18811 14736 922 2726 0 15559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93836 KiB
Current children cumulated memory: 62636 KiB

[startup+0.205844 s]*
/proc/loadavg: 4.15 4.19 4.13 5/264 1011405
/proc/meminfo: memFree=72304572/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=92136 memory=74940 CPUtime=0.2 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 9714 0 0 0 18 2 0 0 20 0 1 0 187946765 94347264 18735 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 23034 18735 922 2726 0 19782 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110728 KiB
Current children cumulated memory: 78632 KiB

[startup+0.30578 s]*
/proc/loadavg: 4.15 4.19 4.13 5/264 1011405
/proc/meminfo: memFree=72287368/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=112852 memory=91416 CPUtime=0.3 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 12838 0 0 0 27 3 0 0 20 0 1 0 187946765 115560448 22854 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 28213 22854 922 2726 0 24961 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131444 KiB
Current children cumulated memory: 95108 KiB

[startup+0.700291 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 1011405
/proc/meminfo: memFree=72255876/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=174612 memory=147004 CPUtime=0.68 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 23155 0 0 0 64 4 0 0 20 0 1 0 187946765 178802688 36751 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 43653 36751 922 2726 0 40401 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193204 KiB
Current children cumulated memory: 150696 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 1011405
/proc/meminfo: memFree=72199928/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=213980 memory=190452 CPUtime=1.48 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 25358 0 0 0 142 6 0 0 20 0 1 0 187946765 219115520 47613 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 53495 47613 922 2726 0 50243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 232572 KiB
Current children cumulated memory: 194144 KiB

[startup+3.10597 s]
/proc/loadavg: 4.15 4.19 4.13 5/264 1011407
/proc/meminfo: memFree=71696968/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=630556 memory=572800 CPUtime=3.08 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 42762 0 0 0 286 22 0 0 20 0 1 0 187946765 645689344 143200 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 157639 143200 954 2726 0 154387 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 649148 KiB
Current children cumulated memory: 576492 KiB

[startup+6.30028 s]
/proc/loadavg: 4.14 4.19 4.13 5/264 1011407
/proc/meminfo: memFree=71736764/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=630556 memory=573096 CPUtime=6.27 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 42811 0 0 0 605 22 0 0 20 0 1 0 187946765 645689344 143274 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 157639 143274 1002 2726 0 154387 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 649148 KiB
Current children cumulated memory: 576788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.19 4.13 5/264 1011407
/proc/meminfo: memFree=71640908/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=630556 memory=573096 CPUtime=12.66 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 42845 0 0 0 1244 22 0 0 20 0 1 0 187946765 645689344 143274 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 157639 143274 1002 2726 0 154387 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 649148 KiB
Current children cumulated memory: 576788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.18 4.12 5/264 1011410
/proc/meminfo: memFree=70784188/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=1514968 memory=1331488 CPUtime=25.43 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 174998 0 0 0 2490 53 0 0 20 0 1 0 187946765 1551327232 332872 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 378742 332872 1066 2726 0 375490 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1533560 KiB
Current children cumulated memory: 1335180 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.18 4.12 5/265 1011414
/proc/meminfo: memFree=68553248/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0
[pid=1011404] ppid=1011401 vsize=8660 memory=1028 CPUtime=0 cores=5,7
/proc/1011404/stat : 1011404 (timeout) S 1011401 1011404 1007221 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 187946765 8867840 257 134679101440 94747282604032 94747282639048 140729028572992 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94747284736464 94747284738596 94747300274176 140729028580348 140729028580507 140729028580507 140729028587495 0
/proc/1011404/statm: 2165 257 233 9 0 87 0
[pid=1011405] ppid=1011404 vsize=3273336 memory=3069196 CPUtime=50.97 cores=5,7
/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 316695 0 0 0 4986 111 0 0 20 0 1 0 187946765 3351896064 767299 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 818334 767299 1066 2726 0 815082 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3291928 KiB
Current children cumulated memory: 3072888 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.13 5/267 1011592
/proc/meminfo: memFree=65710872/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 187946764 10170368 666 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 666 586 264 0 134 0

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

/proc/1011405/stat : 1011405 (CASHWMaxSAT-Dis) R 1011404 1011404 1007221 0 -1 4194304 894705 0 0 0 39746 383 0 0 20 0 1 0 187946765 10735194112 2468951 134679101440 4194304 15356333 140722308789408 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 22765568 140722308793345 140722308793491 140722308793491 140722308800479 0
/proc/1011405/statm: 2620897 2468951 1066 2726 0 2617645 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 10502180 KiB
Current children cumulated memory: 9879496 KiB

[startup+462.3 s]
/proc/loadavg: 3.58 3.99 4.06 4/257 1011821
/proc/meminfo: memFree=72329740/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2716 CPUtime=420.5 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 270 896918 0 0 0 0 41652 398 20 0 1 0 187946764 10170368 679 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 679 586 264 0 134 0
[pid=1011813] ppid=1011401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011401 1011813 1007221 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=9011848 memory=7970940 CPUtime=40.63 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 1221621 0 0 0 3726 337 0 0 20 0 1 0 187988920 9228132352 1992735 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 2252962 1992735 772 745 0 2252027 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 9030440 KiB
Current children cumulated memory: 7974636 KiB

[startup+522.3 s]
/proc/loadavg: 3.27 3.82 3.99 4/256 1011831
/proc/meminfo: memFree=61447708/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2716 CPUtime=420.5 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 270 896918 0 0 0 0 41652 398 20 0 1 0 187946764 10170368 679 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 679 586 264 0 134 0
[pid=1011813] ppid=1011401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011401 1011813 1007221 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=19061908 memory=18669764 CPUtime=100.49 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 2972510 0 0 0 9303 746 0 0 20 0 1 0 187988920 19519393792 4667441 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 4765477 4667441 772 745 0 4764542 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 19080500 KiB
Current children cumulated memory: 18673460 KiB

[startup+582.3 s]
/proc/loadavg: 3.15 3.68 3.93 4/256 1011841
/proc/meminfo: memFree=50817236/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2716 CPUtime=420.5 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 270 896918 0 0 0 0 41652 398 20 0 1 0 187946764 10170368 679 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 679 586 264 0 134 0
[pid=1011813] ppid=1011401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011401 1011813 1007221 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=31174332 memory=29231064 CPUtime=160.34 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4592511 0 0 0 14827 1207 0 0 20 0 1 0 187988920 31922515968 7307766 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 7793583 7307766 772 745 0 7792648 0
Current children cumulated CPU time: 580.84 s
Current children cumulated vsize: 31192924 KiB
Current children cumulated memory: 29234760 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+588.9 s]
/proc/loadavg: 3.14 3.67 3.93 4/256 1011843
/proc/meminfo: memFree=50037472/131524600 swapFree=131071216/131071996
[pid=1011401] ppid=1011398 vsize=9932 memory=2716 CPUtime=420.5 cores=5,7
/proc/1011401/stat : 1011401 (Hybrid-CASHWMax) S 1011398 1011401 1007221 0 -1 4194304 270 896918 0 0 0 0 41652 398 20 0 1 0 187946764 10170368 679 134679101440 94411272351744 94411273431064 140720312991760 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94411275529520 94411275576708 94411307876352 140720313000908 140720313001067 140720313001067 140720313008084 0
/proc/1011401/statm: 2483 679 586 264 0 134 0
[pid=1011813] ppid=1011401 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011401 1011813 1007221 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=31727936 memory=30077452 CPUtime=166.93 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4731144 0 0 0 15459 1234 0 0 20 0 1 0 187988920 32489406464 7519363 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 7931984 7519363 772 745 0 7931049 0
Current children cumulated CPU time: 587.43 s
Current children cumulated vsize: 31746528 KiB
Current children cumulated memory: 30081148 KiB

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

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

# cumulated CPU time of all completed processes:  user=416.527 s, system=3.98502 s

Sending SIGKILL to process tree (bottom up)

[startup+590.905 s]
# the end of solver process 1011813 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=416.528 s, system=3.98502 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+591.452 s]
# the end of solver process 1011814 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+589.6 s]
/proc/loadavg: 3.12 3.66 3.92 4/255 1011843
/proc/meminfo: memFree=49920676/131524600 swapFree=131071216/131071996
[pid=1011813] ppid=1011398 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011398 1011813 1007221 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3293184 73735 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=23391612 memory=22918432 CPUtime=167.63 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4734743 0 0 0 15526 1237 0 0 20 0 1 0 187988920 23953010688 5729608 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 5847903 5729608 772 745 0 5846968 0
Current cumulated CPU time of completed processes: 420.512 s
Current children cumulated CPU time: 167.63 s
Current children cumulated vsize: 23400272 KiB
Current children cumulated memory: 22919412 KiB

[startup+590.4 s]
/proc/loadavg: 3.12 3.66 3.92 4/255 1011843
/proc/meminfo: memFree=57150136/131524600 swapFree=131071216/131071996
[pid=1011813] ppid=1011398 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011398 1011813 1007221 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3293184 73735 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=23334264 memory=22861084 CPUtime=168.43 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4734754 0 0 0 15605 1238 0 0 20 0 1 0 187988920 23894286336 5715271 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 5833566 5715271 772 745 0 5832631 0
Current cumulated CPU time of completed processes: 420.512 s
Current children cumulated CPU time: 168.43 s
Current children cumulated vsize: 23342924 KiB
Current children cumulated memory: 22862064 KiB

[startup+590.8 s]
/proc/loadavg: 3.12 3.66 3.92 4/255 1011843
/proc/meminfo: memFree=57150136/131524600 swapFree=131071216/131071996
[pid=1011813] ppid=1011398 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011398 1011813 1007221 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3293184 73735 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=23334264 memory=22861084 CPUtime=168.83 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4734754 0 0 0 15645 1238 0 0 20 0 1 0 187988920 23894286336 5715271 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 5833566 5715271 772 745 0 5832631 0
Current cumulated CPU time of completed processes: 420.512 s
Current children cumulated CPU time: 168.83 s
Current children cumulated vsize: 23342924 KiB
Current children cumulated memory: 22862064 KiB

[startup+590.9 s]
/proc/loadavg: 3.12 3.66 3.92 4/255 1011843
/proc/meminfo: memFree=57150136/131524600 swapFree=131071216/131071996
[pid=1011813] ppid=1011398 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1011813/stat : 1011813 (timeout) S 1011398 1011813 1007221 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 187988920 8867840 245 134679101440 93868563722240 93868563757256 140731754339120 0 0 0 0 3293184 73735 0 0 0 17 7 0 0 0 0 0 93868565854672 93868565856804 93868572479488 140731754345458 140731754345627 140731754345627 140731754352615 0
/proc/1011813/statm: 2165 245 221 9 0 87 0
[pid=1011814] ppid=1011813 vsize=23334264 memory=22861084 CPUtime=168.93 cores=5,7
/proc/1011814/stat : 1011814 (Exact) R 1011813 1011813 1007221 0 -1 4194304 4734754 0 0 0 15655 1238 0 0 20 0 1 0 187988920 23894286336 5715271 134679101440 4194304 7243121 140720692045808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 27844608 140720692053006 140720692053156 140720692053156 140720692060144 0
/proc/1011814/statm: 5833566 5715271 772 745 0 5832631 0
Current cumulated CPU time of completed processes: 420.512 s
Current children cumulated CPU time: 168.93 s
Current children cumulated vsize: 23342924 KiB
Current children cumulated memory: 22862064 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 591.452
CPU time (s): 589.999
CPU user time (s): 573.08
CPU system time (s): 16.9188
CPU usage (%): 99.7543
Max. virtual memory (cumulated for all children) (KiB): 31746528
Max. memory (cumulated for all children) (KiB): 30081148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 573.08
system time used= 16.9188
maximum resident set size= 30077804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5632049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 764


# summary of solver processes directly reported to runsolver:
#   pid: 1011401,1011813,1011814
#   total CPU time (s): 589.999
#   total CPU user time (s): 573.08
#   total CPU system time (s): 16.9188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16831 second user time and 3.07705 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-19 04:57:36
IDJOB=4449326
IDBENCH=160495
IDSOLVER=3072
FILE ID=nodeC018/4449326-1721357843
RUNJOBID= nodeC018-1721353923-1007234
SLURM_JOB_ID= 7542771
Free space on /tmp= 889816 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449326-1721357843/watcher-4449326-1721357843 -o /tmp/evaluation-result-4449326-1721357843/solver-4449326-1721357843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721353923-1007234 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4449326-1721357843.opb 3600 HOME 31000

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

MD5SUM BENCH= d2e7222ae223744ca0eedd4691347876
RANDOM SEED=1659745248

nodeC018.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	: 0xb00002a
cpu MHz		: 3672.978
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.006
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.976
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.811
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.972
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.155
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.044
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.651
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        72380452 kB
MemAvailable:   74575840 kB
Buffers:          510928 kB
Cached:          2513584 kB
SwapCached:          148 kB
Active:          1223564 kB
Inactive:       57221516 kB
Active(anon):       1604 kB
Inactive(anon): 55464744 kB
Active(file):    1221960 kB
Inactive(file):  1756772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             52944 kB
Writeback:             0 kB
AnonPages:      55420136 kB
Mapped:           119492 kB
Shmem:             45784 kB
KReclaimable:     112960 kB
Slab:             209028 kB
SReclaimable:     112960 kB
SUnreclaim:        96068 kB
KernelStack:        4156 kB
PageTables:       118572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   61128204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23437312 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:      262868 kB
DirectMap2M:    24676352 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889932 MiB
End job on nodeC018 at 2024-07-19 05:07:27