Trace number 4449079

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? 908.956 911.298

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
MD5SUM4a42be2aaf272439af058ac9b796a856
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.75774
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables661504
Total number of constraints5680
Number of constraints which are clauses2583
Number of constraints which are cardinality constraints (but not clauses)2583
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2584
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 935283
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2150318
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4449079-1721354343.opb
908.54/910.96	c malloc failed in xmalloc
908.54/910.96	c 
908.54/910.96	c *** TERMINATED *** by signal 15
908.54/910.96	s UNKNOWN
908.54/910.96	c _____________________________________________________________________________
908.54/910.96	c std/band forms        : 352,0
908.54/910.96	c 2cl/3cl ITE-codings   : 0,0
908.54/910.96	c BDD/srt/adr Max costs : 2344162,1390367,0
908.54/910.96	c BDDraw/bin/mul/srt/adr: 25,0,0,327,0
908.54/910.96	c BDD nodes             : 50825315
908.54/910.96	c Es1/CC detections     : 0,0
908.54/910.96	c CC sort               : 0
908.54/910.96	c SAT/UNSAT calls       : 0,0
908.54/910.96	c regenrated variables  : 0
908.54/910.96	c eliminated fixed lits : 2956
908.54/910.96	c goal lit flips        : 0
908.54/910.96	c goal stages           : 0
908.54/910.96	c goal shrink           : 0
908.54/910.96	c goal coeff separations: 0
908.54/910.96	c restarts              : 0
908.54/910.96	c conflicts             : 0              (0 /sec)
908.54/910.96	c decisions             : 0              (0 /sec)
908.54/910.96	c propagations          : 0              (0 /sec)
908.54/910.96	c inspects              : 0              (0 /sec)
908.54/910.96	c CPU time (solving tm) : 901.1 s        (0 s, SAT 0 s, UNSAT 0 s)
908.54/910.96	c Time for Opt-base     : 111 s
908.54/910.96	c Steps for Opt-base    : 625853694
908.54/910.96	c Time for BDD coding   : 351.8 s
908.54/910.96	c Time for srt coding   : 396.1 s
908.54/910.96	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 (28534 MiB free)
  memory of node 1: 64510 MiB (36945 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449079-1721354343/watcher-4449079-1721354343 -o /tmp/evaluation-result-4449079-1721354343/solver-4449079-1721354343 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721353399-1006334 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4449079-1721354343.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
Current StackSize limit: 8192 KiB

solver pid=1009091, runsolver pid=1009088

[startup+0.100098 s]*
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=67036956/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=14212 memory=12292 CPUtime=0.09 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2728 0 0 0 9 0 0 0 20 0 1 0 187602574 14553088 3073 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 3553 3073 468 659 0 2757 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24144 KiB
Current children cumulated memory: 15056 KiB

[startup+0.205858 s]*
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=67023312/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=23852 memory=21832 CPUtime=0.2 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 5236 0 0 0 19 1 0 0 20 0 1 0 187602574 24424448 5458 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5963 5458 468 659 0 5167 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33784 KiB
Current children cumulated memory: 24596 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=67011016/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=33524 memory=31280 CPUtime=0.3 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 7947 0 0 0 29 1 0 0 20 0 1 0 187602574 34328576 7820 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 8381 7820 468 659 0 7585 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43456 KiB
Current children cumulated memory: 34044 KiB

[startup+0.700276 s]
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=66985656/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=69920 memory=67116 CPUtime=0.69 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 16522 0 0 0 66 3 0 0 20 0 1 0 187602574 71598080 16779 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 17480 16779 468 659 0 16684 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79852 KiB
Current children cumulated memory: 69880 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=66923932/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=148616 memory=143852 CPUtime=1.48 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 34457 0 0 0 142 6 0 0 20 0 1 0 187602574 152182784 35963 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 37154 35963 484 659 0 36358 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158548 KiB
Current children cumulated memory: 146616 KiB

[startup+3.10569 s]
/proc/loadavg: 4.16 4.07 3.74 5/265 1009096
/proc/meminfo: memFree=66726388/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=251820 memory=243432 CPUtime=3.08 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 57805 0 0 0 299 9 0 0 20 0 1 0 187602574 257863680 60858 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 62955 60858 484 659 0 62159 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 261752 KiB
Current children cumulated memory: 246196 KiB

[startup+6.30026 s]
/proc/loadavg: 4.15 4.07 3.74 5/265 1009098
/proc/meminfo: memFree=66455876/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=463100 memory=389048 CPUtime=6.27 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 85391 0 0 0 610 17 0 0 20 0 1 0 187602574 474214400 97262 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 115775 97262 500 659 0 114979 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 473032 KiB
Current children cumulated memory: 391812 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.09 3.75 5/265 1009098
/proc/meminfo: memFree=65936092/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=904936 memory=815452 CPUtime=12.66 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 127822 0 0 0 1234 32 0 0 20 0 1 0 187602574 926654464 203863 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 226234 203863 532 659 0 225438 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 914868 KiB
Current children cumulated memory: 818216 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.08 3.76 4/266 1009103
/proc/meminfo: memFree=60134444/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=2016240 memory=1891256 CPUtime=25.43 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 226586 0 0 0 2472 71 0 0 20 0 1 0 187602574 2064629760 472814 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 504060 472814 532 659 0 503264 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2026172 KiB
Current children cumulated memory: 1894020 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.09 3.77 5/267 1009163
/proc/meminfo: memFree=85875724/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=3788884 memory=3615328 CPUtime=50.98 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 405012 0 0 0 4966 132 0 0 20 0 1 0 187602574 3879817216 903832 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 947221 903832 532 659 0 946425 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3798816 KiB
Current children cumulated memory: 3618092 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 3.79 5/268 1009175
/proc/meminfo: memFree=78470688/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=7058028 memory=6503532 CPUtime=102.06 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 667265 0 0 0 9972 234 0 0 20 0 1 0 187602574 7227420672 1625883 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 1764507 1625883 532 659 0 1763711 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 7067960 KiB
Current children cumulated memory: 6506296 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 3.81 5/267 1009196
/proc/meminfo: memFree=73586440/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=9117388 memory=8381828 CPUtime=161.92 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 986509 0 0 0 15886 306 0 0 20 0 1 0 187602574 9336205312 2095457 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 2279347 2095457 532 659 0 2278551 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 9127320 KiB
Current children cumulated memory: 8384592 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 3.83 5/267 1009208
/proc/meminfo: memFree=62035508/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=15786064 memory=15339500 CPUtime=221.79 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 1308785 0 0 0 21707 472 0 0 20 0 1 0 187602574 16164929536 3834875 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 3946516 3834875 532 659 0 3945720 0
Current children cumulated CPU time: 221.79 s

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

/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=17352696 memory=17171188 CPUtime=640.68 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2117877 0 0 0 63403 665 0 0 20 0 1 0 187602574 17769160704 4292797 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4338174 4292797 532 659 0 4337378 0
Current children cumulated CPU time: 640.68 s
Current children cumulated vsize: 17362628 KiB
Current children cumulated memory: 17173952 KiB

[startup+702.3 s]
/proc/loadavg: 4.23 4.15 3.98 5/263 1009406
/proc/meminfo: memFree=72588576/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=19247256 memory=17389860 CPUtime=700.52 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2148829 0 0 0 69371 681 0 0 20 0 1 0 187602574 19709190144 4347465 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4811814 4347465 532 659 0 4811018 0
Current children cumulated CPU time: 700.52 s
Current children cumulated vsize: 19257188 KiB
Current children cumulated memory: 17392624 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 4.14 4.00 5/263 1009416
/proc/meminfo: memFree=64151668/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=19609464 memory=17876688 CPUtime=760.36 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2245964 0 0 0 75332 704 0 0 20 0 1 0 187602574 20080091136 4469172 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4902366 4469172 532 659 0 4901570 0
Current children cumulated CPU time: 760.36 s
Current children cumulated vsize: 19619396 KiB
Current children cumulated memory: 17879452 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.13 4.00 5/263 1009427
/proc/meminfo: memFree=60864248/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=19741332 memory=18136828 CPUtime=820.17 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2285881 0 0 0 81300 717 0 0 20 0 1 0 187602574 20215123968 4534207 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4935333 4534207 532 659 0 4934537 0
Current children cumulated CPU time: 820.17 s
Current children cumulated vsize: 19751264 KiB
Current children cumulated memory: 18139592 KiB

[startup+882.3 s]
/proc/loadavg: 4.13 4.13 4.01 5/260 1009487
/proc/meminfo: memFree=74751528/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=19873068 memory=18461084 CPUtime=880.01 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2325437 0 0 0 87268 733 0 0 20 0 1 0 187602574 20350021632 4615271 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4968267 4615271 532 659 0 4967471 0
Current children cumulated CPU time: 880.01 s
Current children cumulated vsize: 19883000 KiB
Current children cumulated memory: 18463848 KiB

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

# cumulated CPU time of all completed processes:  user=901.081 s, system=7.87475 s

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

[startup+896 s]*
/proc/loadavg: 4.18 4.14 4.01 5/260 1009491
/proc/meminfo: memFree=73887396/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=19873068 memory=18479516 CPUtime=893.68 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2326275 0 0 0 88632 736 0 0 20 0 1 0 187602574 20350021632 4619879 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 4968267 4619879 532 659 0 4967471 0
Current children cumulated CPU time: 893.68 s
Current children cumulated vsize: 19883000 KiB
Current children cumulated memory: 18482280 KiB

[startup+902.4 s]
/proc/loadavg: 4.17 4.14 4.01 5/260 1009492
/proc/meminfo: memFree=73111512/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=20271180 memory=18891940 CPUtime=900.06 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2426760 0 0 0 89254 752 0 0 20 0 1 0 187602574 20757688320 4722985 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5067795 4722985 532 659 0 5066999 0
Current children cumulated CPU time: 900.06 s
Current children cumulated vsize: 20281112 KiB
Current children cumulated memory: 18894704 KiB

[startup+905.6 s]
/proc/loadavg: 4.15 4.14 4.01 5/260 1009494
/proc/meminfo: memFree=72859180/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=20271180 memory=18891940 CPUtime=903.25 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2427404 0 0 0 89573 752 0 0 20 0 1 0 187602574 20757688320 4722985 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5067795 4722985 532 659 0 5066999 0
Current children cumulated CPU time: 903.25 s
Current children cumulated vsize: 20281112 KiB
Current children cumulated memory: 18894704 KiB

[startup+908.8 s]
/proc/loadavg: 4.15 4.14 4.01 5/260 1009494
/proc/meminfo: memFree=72474728/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=20271180 memory=18891940 CPUtime=906.45 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2427737 0 0 0 89892 753 0 0 20 0 1 0 187602574 20757688320 4722985 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5067795 4722985 532 659 0 5066999 0
Current children cumulated CPU time: 906.45 s
Current children cumulated vsize: 20281112 KiB
Current children cumulated memory: 18894704 KiB

[startup+910.4 s]
/proc/loadavg: 4.14 4.13 4.01 5/260 1009494
/proc/meminfo: memFree=72412312/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=20271180 memory=18898084 CPUtime=908.05 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2427741 0 0 0 90052 753 0 0 20 0 1 0 187602574 20757688320 4724521 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5067795 4724521 532 659 0 5066999 0
Current children cumulated CPU time: 908.05 s
Current children cumulated vsize: 20281112 KiB
Current children cumulated memory: 18900848 KiB

[startup+910.8 s]
/proc/loadavg: 4.14 4.13 4.01 5/260 1009494
/proc/meminfo: memFree=72412312/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
[pid=1009096] ppid=1009091 vsize=20271180 memory=18900132 CPUtime=908.44 cores=5,7
/proc/1009096/stat : 1009096 (naps-1.03) R 1009091 1009091 1006321 0 -1 4194304 2427747 0 0 0 90091 753 0 0 20 0 1 0 187602574 20757688320 4725033 134679101440 4194304 6891213 140720786861200 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 39366656 140720786863091 140720786863203 140720786863203 140720786870219 0
/proc/1009096/statm: 5067795 4725033 532 659 0 5066999 0
Current children cumulated CPU time: 908.44 s
Current children cumulated vsize: 20281112 KiB
Current children cumulated memory: 18902896 KiB

[startup+911.2 s]
/proc/loadavg: 4.14 4.13 4.01 5/260 1009494
/proc/meminfo: memFree=73878364/131524600 swapFree=131071996/131071996
[pid=1009091] ppid=1009088 vsize=9932 memory=2764 CPUtime=0 cores=5,7
/proc/1009091/stat : 1009091 (naps-1.03.sh) S 1009088 1009091 1006321 0 -1 4194304 221 241 0 0 0 0 0 0 20 0 1 0 187602574 10170368 691 134679101440 94533023985664 94533025064984 140725317571696 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94533027163440 94533027210628 94533044609024 140725317579746 140725317579871 140725317579871 140725317586888 0
/proc/1009091/statm: 2483 691 613 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2764 KiB

Child status: 10

Real time (s): 911.298
CPU time (s): 908.956
CPU user time (s): 901.081
CPU system time (s): 7.87475
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 20281112
Max. memory (cumulated for all children) (KiB): 18904944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 901.081
system time used= 7.87475
maximum resident set size= 18902180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2428227
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= 46
involuntary context switches= 1034


# summary of solver processes directly reported to runsolver:
#   pid: 1009091
#   total CPU time (s): 908.956
#   total CPU user time (s): 901.081
#   total CPU system time (s): 7.87475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48213 second user time and 4.56586 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-19 03:59:16
IDJOB=4449079
IDBENCH=160480
IDSOLVER=3063
FILE ID=nodeC031/4449079-1721354343
RUNJOBID= nodeC031-1721353399-1006334
SLURM_JOB_ID= 7542768
Free space on /tmp= 889996 MiB

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

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

MD5SUM BENCH= 4a42be2aaf272439af058ac9b796a856
RANDOM SEED=274100181

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		: 3669.113
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		: 3684.488
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.805
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		: 3599.840
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		: 3669.117
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		: 3661.040
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.836
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		: 3686.047
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:        67052036 kB
MemAvailable:   69519108 kB
Buffers:          493856 kB
Cached:          2787100 kB
SwapCached:            0 kB
Active:          1012032 kB
Inactive:       62683696 kB
Active(anon):       1568 kB
Inactive(anon): 60450924 kB
Active(file):    1010464 kB
Inactive(file):  2232772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36060 kB
Writeback:             0 kB
AnonPages:      60411140 kB
Mapped:           112852 kB
Shmem:             37720 kB
KReclaimable:     126968 kB
Slab:             242056 kB
SReclaimable:     126968 kB
SUnreclaim:       115088 kB
KernelStack:        4240 kB
PageTables:       127536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   71650536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70400 kB
HardwareCorrupted:     0 kB
AnonHugePages:  29820928 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:      199380 kB
DirectMap2M:    21594112 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC031 at 2024-07-19 04:14:27