Trace number 4449199

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03? (exit code) 1083.62 1118.08

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
MD5SUM5a83101891c756e818f261b20124136b
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 benchmark0.873565
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables360448
Total number of constraints3328
Number of constraints which are clauses1407
Number of constraints which are cardinality constraints (but not clauses)1407
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint1408
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 490517
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1705552
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4449199-1721355171.opb
1081.19/1084.33	kissat: fatal error: out-of-memory allocating 4294967296 = 268435456 x 16 bytes
0.00/1118.07	HOME/naps-1.03.sh: line 6: 1009479 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: 63931 MiB (35145 MiB free)
  memory of node 1: 64510 MiB (42736 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449199-1721355171/watcher-4449199-1721355171 -o /tmp/evaluation-result-4449199-1721355171/solver-4449199-1721355171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721353399-1006333 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4449199-1721355171.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1009474, runsolver pid=1009471
Current StackSize limit: 8192 KiB


[startup+0.100541 s]*
/proc/loadavg: 4.16 4.14 4.01 5/263 1009479
/proc/meminfo: memFree=79738424/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=13872 memory=12052 CPUtime=0.09 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 2768 0 0 0 9 0 0 0 20 0 1 0 187685418 14204928 3013 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 3468 3013 468 659 0 2672 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23804 KiB
Current children cumulated memory: 14868 KiB

[startup+0.205801 s]*
/proc/loadavg: 4.16 4.14 4.01 5/263 1009479
/proc/meminfo: memFree=79728344/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=23780 memory=21708 CPUtime=0.2 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 5347 0 0 0 19 1 0 0 20 0 1 0 187685418 24350720 5427 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 5945 5427 468 659 0 5149 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33712 KiB
Current children cumulated memory: 24524 KiB

[startup+0.305729 s]*
/proc/loadavg: 4.16 4.14 4.01 5/263 1009479
/proc/meminfo: memFree=79718572/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=33992 memory=31720 CPUtime=0.3 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 8195 0 0 0 29 1 0 0 20 0 1 0 187685418 34807808 7930 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 8498 7930 468 659 0 7702 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43924 KiB
Current children cumulated memory: 34536 KiB

[startup+0.700274 s]
/proc/loadavg: 4.16 4.14 4.01 5/263 1009479
/proc/meminfo: memFree=79694028/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=72836 memory=70080 CPUtime=0.69 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 17389 0 0 0 66 3 0 0 20 0 1 0 187685418 74584064 17520 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 18209 17520 484 659 0 17413 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 82768 KiB
Current children cumulated memory: 72896 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.14 4.01 5/263 1009479
/proc/meminfo: memFree=79640944/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=135944 memory=130760 CPUtime=1.48 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 31306 0 0 0 143 5 0 0 20 0 1 0 187685418 139206656 32690 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 33986 32690 484 659 0 33190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145876 KiB
Current children cumulated memory: 133576 KiB

[startup+3.1058 s]
/proc/loadavg: 4.15 4.14 4.00 5/263 1009479
/proc/meminfo: memFree=79527036/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=222740 memory=200220 CPUtime=3.08 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 48174 0 0 0 300 8 0 0 20 0 1 0 187685418 228085760 50055 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 55685 50055 500 659 0 54889 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232672 KiB
Current children cumulated memory: 203036 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 4.14 4.00 5/261 1009480
/proc/meminfo: memFree=79281276/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=439632 memory=402376 CPUtime=6.27 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 92054 0 0 0 612 15 0 0 20 0 1 0 187685418 450183168 100594 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 109908 100594 532 659 0 109112 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 449564 KiB
Current children cumulated memory: 405192 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.13 4.00 5/261 1009480
/proc/meminfo: memFree=78402916/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=822328 memory=765980 CPUtime=12.66 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 115227 0 0 0 1238 28 0 0 20 0 1 0 187685418 842063872 191495 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 205582 191495 532 659 0 204786 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 832260 KiB
Current children cumulated memory: 768796 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.13 4.00 5/261 1009483
/proc/meminfo: memFree=77171148/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=1848868 memory=1787496 CPUtime=25.42 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 204476 0 0 0 2479 63 0 0 20 0 1 0 187685418 1893240832 446874 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 462217 446874 532 659 0 461421 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1858800 KiB
Current children cumulated memory: 1790312 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.13 4.01 5/260 1009487
/proc/meminfo: memFree=74931660/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=3575560 memory=3441032 CPUtime=50.98 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 371993 0 0 0 4975 123 0 0 20 0 1 0 187685418 3661373440 860258 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 893890 860258 532 659 0 893094 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3585492 KiB
Current children cumulated memory: 3443848 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.01 5/260 1009548
/proc/meminfo: memFree=86642800/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=6350728 memory=6262648 CPUtime=102.05 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 642801 0 0 0 9976 229 0 0 20 0 1 0 187685418 6503145472 1565662 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 1587682 1565662 532 659 0 1586886 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 6360660 KiB
Current children cumulated memory: 6265464 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.01 5/260 1009559
/proc/meminfo: memFree=81080916/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=7821232 memory=7594492 CPUtime=161.92 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 879960 0 0 0 15915 277 0 0 20 0 1 0 187685418 8008941568 1898623 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 1955308 1898623 532 659 0 1954512 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 7831164 KiB
Current children cumulated memory: 7597308 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.15 4.02 5/260 1009569
/proc/meminfo: memFree=76470284/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=8154928 memory=8083624 CPUtime=221.77 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 965742 0 0 0 21880 297 0 0 20 0 1 0 187685418 8350646272 2020906 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 2038732 2020906 532 659 0 2037936 0
Current children cumulated CPU time: 221.77 s

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

/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=15459040 memory=14721000 CPUtime=879.74 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 1668842 0 0 0 87389 585 0 0 20 0 1 0 187685418 15830056960 3680250 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 3864760 3680250 532 659 0 3863964 0
Current children cumulated CPU time: 879.74 s
Current children cumulated vsize: 15468972 KiB
Current children cumulated memory: 14723816 KiB

[startup+942.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 1010408
/proc/meminfo: memFree=74061712/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=15649784 memory=15002064 CPUtime=939.57 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 1722137 0 0 0 93354 603 0 0 20 0 1 0 187685418 16025378816 3750516 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 3912446 3750516 532 659 0 3911650 0
Current children cumulated CPU time: 939.57 s
Current children cumulated vsize: 15659716 KiB
Current children cumulated memory: 15004880 KiB

[startup+1002.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/264 1010418
/proc/meminfo: memFree=67735320/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=15880528 memory=15339312 CPUtime=999.41 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 1785240 0 0 0 99321 620 0 0 20 0 1 0 187685418 16261660672 3834828 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 3970132 3834828 532 659 0 3969336 0
Current children cumulated CPU time: 999.41 s
Current children cumulated vsize: 15890460 KiB
Current children cumulated memory: 15342128 KiB

[startup+1062.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 1010486
/proc/meminfo: memFree=63916856/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=17630312 memory=17120400 CPUtime=1059.24 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 1907051 0 0 0 105245 679 0 0 20 0 1 0 187685418 18053439488 4280100 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 4407578 4280100 532 659 0 4406782 0
Current children cumulated CPU time: 1059.24 s
Current children cumulated vsize: 17640244 KiB
Current children cumulated memory: 17123216 KiB

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

# cumulated CPU time of all completed processes:  user=1071.3 s, system=12.3111 s

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

[startup+1075.2 s]
/proc/loadavg: 4.12 4.09 4.04 5/265 1010491
/proc/meminfo: memFree=58036064/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=26278460 memory=22338264 CPUtime=1072.11 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) R 1009474 1009474 1006321 0 -1 4194304 2272516 0 0 0 106338 873 0 0 20 0 1 0 187685418 26909143040 5584566 134679101440 4194304 6891213 140734079659568 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 6569615 5584566 532 659 0 6568819 0
Current children cumulated CPU time: 1072.11 s
Current children cumulated vsize: 26288392 KiB
Current children cumulated memory: 22341080 KiB

[startup+1100.8 s]
/proc/loadavg: 4.29 4.13 4.06 4/265 1010498
/proc/meminfo: memFree=49531852/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1107.2 s]
/proc/loadavg: 4.48 4.18 4.07 4/265 1010500
/proc/meminfo: memFree=49267684/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1113.6 s]
/proc/loadavg: 4.52 4.19 4.08 4/265 1010500
/proc/meminfo: memFree=49069948/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1115.2 s]
/proc/loadavg: 4.52 4.19 4.08 4/265 1010501
/proc/meminfo: memFree=48996712/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1116.8 s]
/proc/loadavg: 4.52 4.19 4.08 4/265 1010501
/proc/meminfo: memFree=48953768/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1117.6 s]
/proc/loadavg: 4.64 4.22 4.09 4/265 1010501
/proc/meminfo: memFree=48905476/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
[pid=1009479] ppid=1009474 vsize=31571536 memory=26171440 CPUtime=1083.18 cores=1,3
/proc/1009479/stat : 1009479 (naps-1.03) S 1009474 1009474 1006321 0 -1 4195840 2526041 0 0 0 107130 1188 0 0 20 0 1 0 187685418 32329252864 6542860 134679101440 4194304 6891213 140734079659568 140734079653504 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 31895552 140734079665139 140734079665251 140734079665251 140734079672267 0
/proc/1009479/statm: 7892884 6542860 532 659 0 7892088 0
Current children cumulated CPU time: 1083.18 s
Current children cumulated vsize: 31581468 KiB
Current children cumulated memory: 26174256 KiB

[startup+1118.01 s]*
/proc/loadavg: 4.64 4.22 4.09 5/264 1010506
/proc/meminfo: memFree=71151160/131524600 swapFree=131071996/131071996
[pid=1009474] ppid=1009471 vsize=9932 memory=2816 CPUtime=0 cores=1,3
/proc/1009474/stat : 1009474 (naps-1.03.sh) S 1009471 1009474 1006321 0 -1 4194304 219 244 0 0 0 0 0 0 20 0 1 0 187685418 10170368 704 134679101440 94380028264448 94380029343768 140724423490816 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94380031442224 94380031489412 94380055785472 140724423492578 140724423492703 140724423492703 140724423499720 0
/proc/1009474/statm: 2483 704 627 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2816 KiB

Child status: 134

Real time (s): 1118.08
CPU time (s): 1083.62
CPU user time (s): 1071.3
CPU system time (s): 12.3111
CPU usage (%): 96.9178
Max. virtual memory (cumulated for all children) (KiB): 31712544
Max. memory (cumulated for all children) (KiB): 26635052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1071.3
system time used= 12.3111
maximum resident set size= 26632236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2526521
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= 174
involuntary context switches= 1294


# summary of solver processes directly reported to runsolver:
#   pid: 1009474
#   total CPU time (s): 1083.62
#   total CPU user time (s): 1071.3
#   total CPU system time (s): 12.3111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03876 second user time and 5.73433 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-19 04:13:04
IDJOB=4449199
IDBENCH=160487
IDSOLVER=3063
FILE ID=nodeC031/4449199-1721355171
RUNJOBID= nodeC031-1721353399-1006333
SLURM_JOB_ID= 7542768
Free space on /tmp= 889968 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449199-1721355171/watcher-4449199-1721355171 -o /tmp/evaluation-result-4449199-1721355171/solver-4449199-1721355171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721353399-1006333 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4449199-1721355171.opb

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

MD5SUM BENCH= 5a83101891c756e818f261b20124136b
RANDOM SEED=869373676

nodeC031.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		: 3677.292
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.55
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		: 3654.984
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	: 7006.11
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.852
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.55
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		: 3679.356
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	: 7006.11
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		: 3677.314
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.55
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		: 3677.515
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	: 7006.11
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		: 3599.813
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.55
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		: 3599.973
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        79750832 kB
MemAvailable:   84874340 kB
Buffers:          494540 kB
Cached:          5406668 kB
SwapCached:            0 kB
Active:          1056204 kB
Inactive:       49888816 kB
Active(anon):       1600 kB
Inactive(anon): 45079916 kB
Active(file):    1054604 kB
Inactive(file):  4808900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21384 kB
Writeback:             0 kB
AnonPages:      45041676 kB
Mapped:           112984 kB
Shmem:             37720 kB
KReclaimable:     199304 kB
Slab:             323528 kB
SReclaimable:     199304 kB
SUnreclaim:       124224 kB
KernelStack:        4192 kB
PageTables:        97804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   47270056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70496 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20668416 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:      234196 kB
DirectMap2M:    30996480 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 889832 MiB
End job on nodeC031 at 2024-07-19 04:31:42