Trace number 4449138

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS-GM 1.03? 2070.8 2077.3

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
MD5SUMeb6e6db1d5217c0fcba95884ddbb513a
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.38144
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables542720
Total number of constraints4752
Number of constraints which are clauses2119
Number of constraints which are cardinality constraints (but not clauses)2119
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2120
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 758276
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1973311
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4449138-1721357905.opb
2070.50/2077.03	c malloc failed in xmalloc
2070.50/2077.03	c 
2070.50/2077.03	c *** TERMINATED *** by signal 15
2070.50/2077.03	s UNKNOWN
2070.50/2077.03	c _____________________________________________________________________________
2070.50/2077.03	c std/band forms        : 480,0
2070.50/2077.03	c 2cl/3cl ITE-codings   : 0,0
2070.50/2077.03	c BDD/srt/adr Max costs : 1900645,1089670,0
2070.50/2077.03	c BDDraw/bin/mul/srt/adr: 88,0,0,391,0
2070.50/2077.03	c BDD nodes             : 159842204
2070.50/2077.03	c Es1/CC detections     : 0,0
2070.50/2077.03	c CC sort               : 0
2070.50/2077.03	c SAT/UNSAT calls       : 0,0
2070.50/2077.03	c regenrated variables  : 0
2070.50/2077.03	c eliminated fixed lits : 2418
2070.50/2077.03	c goal lit flips        : 0
2070.50/2077.03	c goal stages           : 0
2070.50/2077.03	c goal shrink           : 0
2070.50/2077.03	c goal coeff separations: 0
2070.50/2077.03	c restarts              : 0
2070.50/2077.03	c conflicts             : 0              (0 /sec)
2070.50/2077.03	c decisions             : 0              (0 /sec)
2070.50/2077.03	c propagations          : 0              (0 /sec)
2070.50/2077.03	c inspects              : 0              (0 /sec)
2070.50/2077.03	c CPU time (solving tm) : 2063 s        (0 s, SAT 0 s, UNSAT 0 s)
2070.50/2077.03	c Time for Opt-base     : 124 s
2070.50/2077.03	c Steps for Opt-base    : 661308737
2070.50/2077.03	c Time for BDD coding   : 1354 s
2070.50/2077.03	c Time for srt coding   : 443.5 s
2070.50/2077.03	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: 64096 MiB (59858 MiB free)
  memory of node 1: 64473 MiB (61540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449138-1721357905/watcher-4449138-1721357905 -o /tmp/evaluation-result-4449138-1721357905/solver-4449138-1721357905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721350695-980337 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449138-1721357905.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=984661, runsolver pid=984658
Current StackSize limit: 8192 KiB


[startup+0.100718 s]*
/proc/loadavg: 4.23 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124302108/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=15724 memory=9184 CPUtime=0.09 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 1960 0 0 0 9 0 0 0 20 0 1 0 187946377 16101376 2296 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 3931 2296 436 659 0 3135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25656 KiB
Current children cumulated memory: 11852 KiB

[startup+0.209702 s]*
/proc/loadavg: 4.23 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124297740/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=21040 memory=13744 CPUtime=0.2 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 3148 0 0 0 20 0 0 0 20 0 1 0 187946377 21544960 3436 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 5260 3436 436 659 0 4464 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30972 KiB
Current children cumulated memory: 16412 KiB

[startup+0.309723 s]*
/proc/loadavg: 4.23 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124293708/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=27040 memory=18516 CPUtime=0.3 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 4502 0 0 0 29 1 0 0 20 0 1 0 187946377 27688960 4629 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 6760 4629 436 659 0 5964 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36972 KiB
Current children cumulated memory: 21184 KiB

[startup+0.700432 s]
/proc/loadavg: 4.23 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124284300/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=45112 memory=36672 CPUtime=0.68 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 9401 0 0 0 66 2 0 0 20 0 1 0 187946377 46194688 9168 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 11278 9168 436 659 0 10482 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55044 KiB
Current children cumulated memory: 39340 KiB

[startup+1.50041 s]
/proc/loadavg: 4.23 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124261036/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=104808 memory=79828 CPUtime=1.47 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 20469 0 0 0 142 5 0 0 20 0 1 0 187946377 107323392 19957 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 26202 19957 436 659 0 25406 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114740 KiB
Current children cumulated memory: 82496 KiB

[startup+3.11401 s]
/proc/loadavg: 4.21 4.30 4.26 5/249 984666
/proc/meminfo: memFree=124121248/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=255172 memory=186124 CPUtime=3.09 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 43959 0 0 0 299 10 0 0 20 0 1 0 187946377 261296128 46531 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 63793 46531 436 659 0 62997 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 265104 KiB
Current children cumulated memory: 188792 KiB

[startup+6.30039 s]
/proc/loadavg: 4.21 4.30 4.26 5/249 984718
/proc/meminfo: memFree=124074268/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=390192 memory=268144 CPUtime=6.26 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 64002 0 0 0 612 14 0 0 20 0 1 0 187946377 399556608 67036 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 97548 67036 436 659 0 96752 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 400124 KiB
Current children cumulated memory: 270812 KiB

[startup+12.7004 s]
/proc/loadavg: 4.19 4.29 4.26 5/249 984718
/proc/meminfo: memFree=123510036/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=781748 memory=640444 CPUtime=12.65 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 134892 0 0 0 1235 30 0 0 20 0 1 0 187946377 800509952 160111 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 195437 160111 468 659 0 194641 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 791680 KiB
Current children cumulated memory: 643112 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.28 4.25 5/249 984721
/proc/meminfo: memFree=121821876/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=1332952 memory=1172996 CPUtime=25.41 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 251026 0 0 0 2491 50 0 0 20 0 1 0 187946377 1364942848 293249 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 333238 293249 468 659 0 332442 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1342884 KiB
Current children cumulated memory: 1175664 KiB

[startup+51.1134 s]
/proc/loadavg: 4.16 4.27 4.25 5/249 984725
/proc/meminfo: memFree=121386424/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=1572536 memory=1417028 CPUtime=50.95 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 279070 0 0 0 5035 60 0 0 20 0 1 0 187946377 1610276864 354257 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 393134 354257 468 659 0 392338 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1582468 KiB
Current children cumulated memory: 1419696 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.24 4.24 5/250 984787
/proc/meminfo: memFree=118309204/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=2524488 memory=2339328 CPUtime=101.99 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 349855 0 0 0 10103 96 0 0 20 0 1 0 187946377 2585075712 584832 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 631122 584832 468 659 0 630326 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2534420 KiB
Current children cumulated memory: 2341996 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.21 4.23 5/248 984808
/proc/meminfo: memFree=117115204/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=2989044 memory=2828440 CPUtime=161.81 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 428162 0 0 0 16067 114 0 0 20 0 1 0 187946377 3060781056 707110 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 747261 707110 468 659 0 746465 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2998976 KiB
Current children cumulated memory: 2831108 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.19 4.22 5/248 984818
/proc/meminfo: memFree=113723188/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=4809904 memory=4485200 CPUtime=221.62 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 489019 0 0 0 22010 152 0 0 20 0 1 0 187946377 4925341696 1121300 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 1202476 1121300 468 659 0 1201680 0
Current children cumulated CPU time: 221.62 s

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

/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=17123012 memory=17010240 CPUtime=1836.48 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2119863 0 0 0 182957 691 0 0 20 0 1 0 187946377 17533964288 4252560 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4280753 4252560 468 659 0 4279957 0
Current children cumulated CPU time: 1836.48 s
Current children cumulated vsize: 17132944 KiB
Current children cumulated memory: 17012908 KiB

[startup+1902.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/253 985843
/proc/meminfo: memFree=73514588/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19241764 memory=17476728 CPUtime=1896.28 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2208190 0 0 0 188913 715 0 0 20 0 1 0 187946377 19703566336 4369182 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4810441 4369182 468 659 0 4809645 0
Current children cumulated CPU time: 1896.28 s
Current children cumulated vsize: 19251696 KiB
Current children cumulated memory: 17479396 KiB

[startup+1962.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/253 985853
/proc/meminfo: memFree=72639772/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19401332 memory=17726188 CPUtime=1956.11 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2254957 0 0 0 194882 729 0 0 20 0 1 0 187946377 19866963968 4431547 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4850333 4431547 468 659 0 4849537 0
Current children cumulated CPU time: 1956.11 s
Current children cumulated vsize: 19411264 KiB
Current children cumulated memory: 17728856 KiB

[startup+2022.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/254 986113
/proc/meminfo: memFree=71443600/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19701412 memory=18171920 CPUtime=2015.92 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2337015 0 0 0 200839 753 0 0 20 0 1 0 187946377 20174245888 4542980 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4925353 4542980 468 659 0 4924557 0
Current children cumulated CPU time: 2015.92 s
Current children cumulated vsize: 19711344 KiB
Current children cumulated memory: 18174588 KiB

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

# cumulated CPU time of all completed processes:  user=2062.74 s, system=8.05402 s

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

[startup+2048 s]*
/proc/loadavg: 4.09 4.17 4.17 5/254 986120
/proc/meminfo: memFree=70910588/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19834700 memory=18362592 CPUtime=2041.57 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2373425 0 0 0 203394 763 0 0 20 0 1 0 187946377 20310732800 4590648 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4958675 4590648 468 659 0 4957879 0
Current children cumulated CPU time: 2041.57 s
Current children cumulated vsize: 19844632 KiB
Current children cumulated memory: 18365260 KiB

[startup+2060.8 s]
/proc/loadavg: 4.15 4.18 4.17 5/254 986121
/proc/meminfo: memFree=70797244/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19899448 memory=18466052 CPUtime=2054.33 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2391755 0 0 0 204663 770 0 0 20 0 1 0 187946377 20377034752 4616513 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4974862 4616513 468 659 0 4974066 0
Current children cumulated CPU time: 2054.33 s
Current children cumulated vsize: 19909380 KiB
Current children cumulated memory: 18468720 KiB

[startup+2067.2 s]
/proc/loadavg: 4.14 4.18 4.17 5/253 986123
/proc/meminfo: memFree=70669940/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=19966776 memory=18566260 CPUtime=2060.71 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2409676 0 0 0 205297 774 0 0 20 0 1 0 187946377 20445978624 4641565 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 4991694 4641565 468 659 0 4990898 0
Current children cumulated CPU time: 2060.71 s
Current children cumulated vsize: 19976708 KiB
Current children cumulated memory: 18568928 KiB

[startup+2073.6 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 986123
/proc/meminfo: memFree=70484676/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=20034140 memory=18666296 CPUtime=2067.09 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2427480 0 0 0 205932 777 0 0 20 0 1 0 187946377 20514959360 4666574 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 5008535 4666574 468 659 0 5007739 0
Current children cumulated CPU time: 2067.09 s
Current children cumulated vsize: 20044072 KiB
Current children cumulated memory: 18668964 KiB

[startup+2075.2 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 986124
/proc/meminfo: memFree=70359908/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=20052812 memory=18693184 CPUtime=2068.69 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2432328 0 0 0 206090 779 0 0 20 0 1 0 187946377 20534079488 4673296 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 5013203 4673296 468 659 0 5012407 0
Current children cumulated CPU time: 2068.69 s
Current children cumulated vsize: 20062744 KiB
Current children cumulated memory: 18695852 KiB

[startup+2076 s]*
/proc/loadavg: 4.12 4.17 4.17 5/253 986124
/proc/meminfo: memFree=70247264/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=20061144 memory=18707740 CPUtime=2069.5 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2434443 0 0 0 206171 779 0 0 20 0 1 0 187946377 20542611456 4676935 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 5015286 4676935 468 659 0 5014490 0
Current children cumulated CPU time: 2069.5 s
Current children cumulated vsize: 20071076 KiB
Current children cumulated memory: 18710408 KiB

[startup+2076.8 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 986124
/proc/meminfo: memFree=70247264/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
[pid=984666] ppid=984661 vsize=20063124 memory=18709572 CPUtime=2070.28 cores=5,7
/proc/984666/stat : 984666 (naps-1.03) R 984661 984661 980324 0 -1 4194304 2434937 0 0 0 206249 779 0 0 20 0 1 0 187946377 20544638976 4677393 134679101440 4194304 6891213 140724382076944 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35303424 140724382082032 140724382082148 140724382082148 140724382089163 0
/proc/984666/statm: 5015781 4677393 468 659 0 5014985 0
Current children cumulated CPU time: 2070.28 s
Current children cumulated vsize: 20073056 KiB
Current children cumulated memory: 18712240 KiB

[startup+2077.2 s]
/proc/loadavg: 4.12 4.17 4.17 5/253 986124
/proc/meminfo: memFree=70167524/131655788 swapFree=131071996/131071996
[pid=984661] ppid=984658 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/984661/stat : 984661 (naps-1.03.sh) S 984658 984661 980324 0 -1 4194304 222 244 0 0 0 0 0 0 20 0 1 0 187946376 10170368 667 134679101440 94542392180736 94542393260056 140731378180512 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94542395358512 94542395405700 94542409883648 140731378185183 140731378185312 140731378185312 140731378192328 0
/proc/984661/statm: 2483 667 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2668 KiB

Child status: 10

Real time (s): 2077.3
CPU time (s): 2070.8
CPU user time (s): 2062.74
CPU system time (s): 8.05402
CPU usage (%): 99.6871
Max. virtual memory (cumulated for all children) (KiB): 20073584
Max. memory (cumulated for all children) (KiB): 18712768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2062.74
system time used= 8.05402
maximum resident set size= 18710348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2435556
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= 1174
involuntary context switches= 2250


# summary of solver processes directly reported to runsolver:
#   pid: 984661
#   total CPU time (s): 2070.8
#   total CPU user time (s): 2062.74
#   total CPU system time (s): 8.05402

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80048 second user time and 22.2233 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 04:58:38
IDJOB=4449138
IDBENCH=160483
IDSOLVER=3062
FILE ID=nodeC004/4449138-1721357905
RUNJOBID= nodeC004-1721350695-980337
SLURM_JOB_ID= 7542749
Free space on /tmp= 723740 MiB

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

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

MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=1076574627

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3602.817
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3595.718
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.395
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.388
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3547.367
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1991.530
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.362
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1261.598
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124312692 kB
MemAvailable:   129298296 kB
Buffers:          531592 kB
Cached:          5236196 kB
SwapCached:            0 kB
Active:          1071896 kB
Inactive:        5595092 kB
Active(anon):       3368 kB
Inactive(anon):   933528 kB
Active(file):    1068528 kB
Inactive(file):  4661564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30344 kB
Writeback:             0 kB
AnonPages:        898932 kB
Mapped:           111756 kB
Shmem:             37700 kB
KReclaimable:     191424 kB
Slab:             305456 kB
SReclaimable:     191424 kB
SUnreclaim:       114032 kB
KernelStack:        3984 kB
PageTables:        11064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1370432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59104 kB
HardwareCorrupted:     0 kB
AnonHugePages:    753664 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:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723592 MiB
End job on nodeC004 at 2024-07-19 05:33:15