Trace number 4449259

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? 617.889 619.57

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
MD5SUMf94999381e02cae36541ecafb635807a
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 benchmark6.53012
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2429952
Total number of constraints10516
Number of constraints which are clauses4745
Number of constraints which are cardinality constraints (but not clauses)4745
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint4745
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 1782678
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4250098
Number of bits of the biggest sum of numbers23
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-4449259-1721355795.opb
617.42/619.13	c malloc failed in xmalloc
617.42/619.13	c 
617.42/619.13	c *** TERMINATED *** by signal 15
617.42/619.13	s UNKNOWN
617.42/619.13	c _____________________________________________________________________________
617.42/619.13	c std/band forms        : 178,0
617.42/619.13	c 2cl/3cl ITE-codings   : 0,0
617.42/619.13	c BDD/srt/adr Max costs : 612038,1968354,0
617.42/619.13	c BDDraw/bin/mul/srt/adr: 2,0,0,176,0
617.42/619.13	c BDD nodes             : 637513
617.42/619.13	c Es1/CC detections     : 0,0
617.42/619.13	c CC sort               : 0
617.42/619.13	c SAT/UNSAT calls       : 0,0
617.42/619.13	c regenrated variables  : 0
617.42/619.13	c eliminated fixed lits : 6997
617.42/619.13	c goal lit flips        : 0
617.42/619.13	c goal stages           : 0
617.42/619.13	c goal shrink           : 0
617.42/619.13	c goal coeff separations: 0
617.42/619.13	c restarts              : 0
617.42/619.13	c conflicts             : 0              (0 /sec)
617.42/619.13	c decisions             : 0              (0 /sec)
617.42/619.13	c propagations          : 0              (0 /sec)
617.42/619.13	c inspects              : 0              (0 /sec)
617.42/619.13	c CPU time (solving tm) : 609.3 s        (0 s, SAT 0 s, UNSAT 0 s)
617.42/619.13	c Time for Opt-base     : 93.62 s
617.42/619.13	c Steps for Opt-base    : 522072685
617.42/619.13	c Time for BDD coding   : 2.875 s
617.42/619.13	c Time for srt coding   : 482.4 s
617.42/619.13	c _____________________________________________________________________________

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (25528 MiB free)
  memory of node 1: 64510 MiB (47282 MiB free)
  node distances:
     10  21
     21  10

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

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=1009693, runsolver pid=1009690
Current StackSize limit: 8192 KiB


[startup+0.100682 s]*
/proc/loadavg: 4.11 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74546200/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=14956 memory=13088 CPUtime=0.09 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2913 0 0 0 9 0 0 0 20 0 1 0 187747896 15314944 3272 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 3739 3272 468 659 0 2943 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24888 KiB
Current children cumulated memory: 15792 KiB

[startup+0.206683 s]*
/proc/loadavg: 4.11 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74537456/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=23860 memory=22064 CPUtime=0.18 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 5138 0 0 0 18 0 0 0 20 0 1 0 187747896 24432640 5516 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5965 5516 468 659 0 5169 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 24768 KiB

[startup+0.305683 s]*
/proc/loadavg: 4.11 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74527712/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=33660 memory=31544 CPUtime=0.29 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 7820 0 0 0 28 1 0 0 20 0 1 0 187747896 34467840 7886 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 8415 7886 468 659 0 7619 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43592 KiB
Current children cumulated memory: 34248 KiB

[startup+0.700278 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74501464/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=69120 memory=66124 CPUtime=0.67 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 16103 0 0 0 65 2 0 0 20 0 1 0 187747896 70778880 16531 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 17280 16531 468 659 0 16484 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79052 KiB
Current children cumulated memory: 68828 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74429732/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=141756 memory=136696 CPUtime=1.47 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 32531 0 0 0 142 5 0 0 20 0 1 0 187747896 145158144 34174 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 35439 34174 468 659 0 34643 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151688 KiB
Current children cumulated memory: 139400 KiB

[startup+3.10552 s]
/proc/loadavg: 4.10 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=74234364/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=292224 memory=285948 CPUtime=3.07 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 65344 0 0 0 296 11 0 0 20 0 1 0 187747896 299237376 71487 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 73056 71487 484 659 0 72260 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 288652 KiB

[startup+6.30026 s]
/proc/loadavg: 4.10 4.11 4.04 5/262 1009698
/proc/meminfo: memFree=73884552/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=598196 memory=580416 CPUtime=6.26 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 126846 0 0 0 603 23 0 0 20 0 1 0 187747896 612552704 145104 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 149549 145104 484 659 0 148753 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 608128 KiB
Current children cumulated memory: 583120 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.04 5/262 1009700
/proc/meminfo: memFree=73417784/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=970128 memory=940644 CPUtime=12.66 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 216433 0 0 0 1227 39 0 0 20 0 1 0 187747896 993411072 235161 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 242532 235161 484 659 0 241736 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 980060 KiB
Current children cumulated memory: 943348 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.04 4/258 1009715
/proc/meminfo: memFree=91393556/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=1757280 memory=1431260 CPUtime=25.42 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 283977 0 0 0 2479 63 0 0 20 0 1 0 187747896 1799454720 357815 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 439320 357815 500 659 0 438524 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1767212 KiB
Current children cumulated memory: 1433964 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.04 5/262 1009757
/proc/meminfo: memFree=87808960/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=3619844 memory=3154392 CPUtime=50.96 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 499877 0 0 0 4963 133 0 0 20 0 1 0 187747896 3706720256 788598 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 904961 788598 532 659 0 904165 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3629776 KiB
Current children cumulated memory: 3157096 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 4.09 4.03 5/260 1009815
/proc/meminfo: memFree=98958904/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=6149700 memory=5711448 CPUtime=102.04 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 819089 0 0 0 9980 224 0 0 20 0 1 0 187747896 6297292800 1427862 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 1537425 1427862 532 659 0 1536629 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 6159632 KiB
Current children cumulated memory: 5714152 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/262 1010211
/proc/meminfo: memFree=90420960/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=8941144 memory=8416192 CPUtime=161.9 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 1051248 0 0 0 15858 332 0 0 20 0 1 0 187747896 9155731456 2104048 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 2235286 2104048 532 659 0 2234490 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 8951076 KiB
Current children cumulated memory: 8418896 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.03 5/264 1010225
/proc/meminfo: memFree=84853004/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=10686472 memory=9826228 CPUtime=221.72 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 1291224 0 0 0 21780 392 0 0 20 0 1 0 187747896 10942947328 2456557 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 2671618 2456557 532 659 0 2670822 0
Current children cumulated CPU time: 221.72 s

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

Current children cumulated memory: 15179104 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.12 4.05 5/264 1010496
/proc/meminfo: memFree=51162884/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=16953852 memory=16058520 CPUtime=461.02 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 1905864 0 0 0 45434 668 0 0 20 0 1 0 187747896 17360744448 4014630 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 4238463 4014630 532 659 0 4237667 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 16963784 KiB
Current children cumulated memory: 16061224 KiB

[startup+522.3 s]
/proc/loadavg: 4.39 4.20 4.09 5/265 1010562
/proc/meminfo: memFree=74449944/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=17706144 memory=17177592 CPUtime=520.87 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2099074 0 0 0 51367 720 0 0 20 0 1 0 187747896 18131091456 4294398 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 4426536 4294398 532 659 0 4425740 0
Current children cumulated CPU time: 520.87 s
Current children cumulated vsize: 17716076 KiB
Current children cumulated memory: 17180296 KiB

[startup+582.3 s]
/proc/loadavg: 4.26 4.19 4.09 5/264 1010573
/proc/meminfo: memFree=67535524/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20378420 memory=18484136 CPUtime=580.71 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2324290 0 0 0 57289 782 0 0 20 0 1 0 187747896 20867502080 4621034 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5094605 4621034 532 659 0 5093809 0
Current children cumulated CPU time: 580.71 s
Current children cumulated vsize: 20388352 KiB
Current children cumulated memory: 18486840 KiB

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

# cumulated CPU time of all completed processes:  user=609.304 s, system=8.58498 s

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

[startup+588.8 s]
/proc/loadavg: 4.24 4.19 4.09 5/264 1010573
/proc/meminfo: memFree=67158620/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20460648 memory=18605200 CPUtime=587.19 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2345894 0 0 0 57933 786 0 0 20 0 1 0 187747896 20951703552 4651300 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5115162 4651300 532 659 0 5114366 0
Current children cumulated CPU time: 587.19 s
Current children cumulated vsize: 20470580 KiB
Current children cumulated memory: 18607904 KiB

[startup+601.6 s]
/proc/loadavg: 4.20 4.18 4.09 5/264 1010576
/proc/meminfo: memFree=63691932/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20630180 memory=18858868 CPUtime=599.95 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2389686 0 0 0 59198 797 0 0 20 0 1 0 187747896 21125304320 4714717 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5157545 4714717 532 659 0 5156749 0
Current children cumulated CPU time: 599.95 s
Current children cumulated vsize: 20640112 KiB
Current children cumulated memory: 18861572 KiB

[startup+608 s]*
/proc/loadavg: 4.17 4.17 4.09 5/264 1010576
/proc/meminfo: memFree=63502280/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20719732 memory=18991140 CPUtime=606.35 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2412091 0 0 0 59829 806 0 0 20 0 1 0 187747896 21217005568 4747785 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5179933 4747785 532 659 0 5179137 0
Current children cumulated CPU time: 606.35 s
Current children cumulated vsize: 20729664 KiB
Current children cumulated memory: 18993844 KiB

[startup+614.4 s]
/proc/loadavg: 4.16 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64631340/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20780324 memory=19082612 CPUtime=612.71 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2428059 0 0 0 60460 811 0 0 20 0 1 0 187747896 21279051776 4770653 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5195081 4770653 532 659 0 5194285 0
Current children cumulated CPU time: 612.71 s
Current children cumulated vsize: 20790256 KiB
Current children cumulated memory: 19085316 KiB

[startup+617.6 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64443292/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20823848 memory=19146672 CPUtime=615.91 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2439455 0 0 0 60778 813 0 0 20 0 1 0 187747896 21323620352 4786668 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5205962 4786668 532 659 0 5205166 0
Current children cumulated CPU time: 615.91 s
Current children cumulated vsize: 20833780 KiB
Current children cumulated memory: 19149376 KiB

[startup+618.4 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64371908/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
[pid=1009698] ppid=1009693 vsize=20836672 memory=19165492 CPUtime=616.71 cores=5,7
/proc/1009698/stat : 1009698 (naps-1.03) R 1009693 1009693 1006321 0 -1 4194304 2442780 0 0 0 60857 814 0 0 20 0 1 0 187747896 21336752128 4791373 134679101440 4194304 6891213 140725240864688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19804160 140725240869875 140725240869987 140725240869987 140725240877003 0
/proc/1009698/statm: 5209168 4791373 532 659 0 5208372 0
Current children cumulated CPU time: 616.71 s
Current children cumulated vsize: 20846604 KiB
Current children cumulated memory: 19168196 KiB

[startup+619.2 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64311396/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

[startup+619.4 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64311396/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

[startup+619.5 s]
/proc/loadavg: 4.14 4.17 4.09 5/264 1010579
/proc/meminfo: memFree=64311396/131524600 swapFree=131071996/131071996
[pid=1009693] ppid=1009690 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/1009693/stat : 1009693 (naps-1.03.sh) S 1009690 1009693 1006321 0 -1 4194304 223 245 0 0 0 0 0 0 20 0 1 0 187747896 10170368 676 134679101440 94062109081600 94062110160920 140731925649088 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94062112259376 94062112306564 94062119219200 140731925656546 140731925656671 140731925656671 140731925663688 0
/proc/1009693/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

Child status: 10

Real time (s): 619.57
CPU time (s): 617.889
CPU user time (s): 609.304
CPU system time (s): 8.58498
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 20858120
Max. memory (cumulated for all children) (KiB): 19185960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 609.304
system time used= 8.58498
maximum resident set size= 19183852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2446383
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= 105
involuntary context switches= 788


# summary of solver processes directly reported to runsolver:
#   pid: 1009693
#   total CPU time (s): 617.889
#   total CPU user time (s): 609.304
#   total CPU system time (s): 8.58498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41708 second user time and 2.91841 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-19 04:23:29
IDJOB=4449259
IDBENCH=160493
IDSOLVER=3063
FILE ID=nodeC031/4449259-1721355795
RUNJOBID= nodeC031-1721353399-1006334
SLURM_JOB_ID= 7542768
Free space on /tmp= 889880 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm90p-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-4449259-1721355795/watcher-4449259-1721355795 -o /tmp/evaluation-result-4449259-1721355795/solver-4449259-1721355795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721353399-1006334 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4449259-1721355795.opb

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

MD5SUM BENCH= f94999381e02cae36541ecafb635807a
RANDOM SEED=1382895671

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		: 3670.883
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		: 3657.618
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		: 3600.087
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		: 3637.433
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		: 3670.630
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		: 3599.816
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		: 3601.901
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		: 3610.891
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:        74558548 kB
MemAvailable:   79789336 kB
Buffers:          494944 kB
Cached:          5512588 kB
SwapCached:            0 kB
Active:          1042560 kB
Inactive:       55082692 kB
Active(anon):       1560 kB
Inactive(anon): 50153872 kB
Active(file):    1041000 kB
Inactive(file):  4928820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            124092 kB
Writeback:             0 kB
AnonPages:      50115940 kB
Mapped:           112900 kB
Shmem:             37720 kB
KReclaimable:     201232 kB
Slab:             325176 kB
SReclaimable:     201232 kB
SUnreclaim:       123944 kB
KernelStack:        4192 kB
PageTables:       107388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   54737012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  22847488 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= 889748 MiB
End job on nodeC031 at 2024-07-19 04:33:49