Trace number 4435246

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 NameAnswerobjective functionCPU timeWall clock time
NaPS-PB16 1.02b5? 974.994 977.223

General information on the benchmark

NamePB24/normalized-PB11/
OPT-LIN/heinz/normalized-mspp16.opb
MD5SUMe9f8bfec50df8f23ca7bc3fee68b9d28
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark11.3308
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29280
Total number of constraints561657
Number of constraints which are clauses1695
Number of constraints which are cardinality constraints (but not clauses)559482
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint960
Number of terms in the objective function 4065
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4065
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 4065
Number of bits of the biggest sum of numbers12
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.02b5.
0.00/0.00	c Input file name: HOME/instance-4435246-1721120247.opb
974.46/976.76	c Out of Memory in adding a clause to glueminisat
974.46/976.76	c 
974.46/976.76	c *** TERMINATED *** by signal 15
974.46/976.76	s UNKNOWN
974.46/976.76	c _____________________________________________________________________________
974.46/976.76	c 
974.46/976.76	c std/band forms        : 523179,1
974.46/976.76	c 2cl/3cl ITE-codings   : 34953459,6720
974.46/976.76	c BDD/srt/adr Max costs : 13034,0,0
974.46/976.76	c BDDraw/bin/mul/srt/adr: 523180,0,0,0,0
974.46/976.76	c BDD nodes             : 206650321
974.46/976.76	c Es1/CC detections     : 0,0
974.46/976.76	c SAT/UNSAT calls       : 0,0
974.46/976.76	c regenrated variables  : 0
974.46/976.76	c restarts              : 0
974.46/976.76	c conflicts             : 0              (0 /sec)
974.46/976.76	c decisions             : 0              (0 /sec)
974.46/976.76	c propagations          : 0              (0 /sec)
974.46/976.76	c inspects              : 0              (0 /sec)
974.46/976.76	c CPU time (solving tm) : 963.7 s        (0 s)
974.46/976.76	c Time for Opt-base     : 0 s
974.46/976.76	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: 63968 MiB (61321 MiB free)
  memory of node 1: 64473 MiB (61898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435246-1721120247/watcher-4435246-1721120247 -o /tmp/evaluation-result-4435246-1721120247/solver-4435246-1721120247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721118953-888834 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435246-1721120247.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=891880, runsolver pid=891877

[startup+0.100104 s]*
/proc/loadavg: 4.04 4.08 3.66 5/262 891885
/proc/meminfo: memFree=126169740/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=13772 memory=8116 CPUtime=0.09 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 1824 0 0 0 9 0 0 0 20 0 1 0 164192883 14102528 2029 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 3443 2029 405 379 0 2977 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23704 KiB
Current children cumulated memory: 10944 KiB

[startup+0.205793 s]*
/proc/loadavg: 4.04 4.08 3.66 5/262 891885
/proc/meminfo: memFree=126163552/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=19636 memory=13632 CPUtime=0.2 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 3194 0 0 0 20 0 0 0 20 0 1 0 164192883 20107264 3408 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 4909 3408 405 379 0 4443 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29568 KiB
Current children cumulated memory: 16460 KiB

[startup+0.305719 s]*
/proc/loadavg: 4.04 4.08 3.66 5/262 891885
/proc/meminfo: memFree=126156356/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=27228 memory=21024 CPUtime=0.29 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 5061 0 0 0 29 0 0 0 20 0 1 0 164192883 27881472 5256 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 6807 5256 405 379 0 6341 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37160 KiB
Current children cumulated memory: 23852 KiB

[startup+0.700268 s]
/proc/loadavg: 4.04 4.08 3.66 5/262 891885
/proc/meminfo: memFree=126136700/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=64532 memory=58248 CPUtime=0.68 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 14391 0 0 0 66 2 0 0 20 0 1 0 164192883 66080768 14562 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 16133 14562 405 379 0 15667 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74464 KiB
Current children cumulated memory: 61076 KiB

[startup+1.50027 s]
/proc/loadavg: 4.04 4.08 3.66 5/262 891885
/proc/meminfo: memFree=126090744/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=136640 memory=130320 CPUtime=1.48 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 32368 0 0 0 142 6 0 0 20 0 1 0 164192883 139919360 32580 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 34160 32580 405 379 0 33694 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 146572 KiB
Current children cumulated memory: 133148 KiB

[startup+3.10559 s]
/proc/loadavg: 4.04 4.08 3.66 5/262 891887
/proc/meminfo: memFree=125907900/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=277060 memory=270676 CPUtime=3.09 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 67485 0 0 0 296 13 0 0 20 0 1 0 164192883 283709440 67669 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 69265 67669 405 379 0 68799 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 286992 KiB
Current children cumulated memory: 273504 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.09 3.66 5/262 891887
/proc/meminfo: memFree=125655060/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=545696 memory=538852 CPUtime=6.27 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 134540 0 0 0 603 24 0 0 20 0 1 0 164192883 558792704 134713 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 136424 134713 405 379 0 135958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 555628 KiB
Current children cumulated memory: 541680 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.09 3.66 5/262 891887
/proc/meminfo: memFree=125156080/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=1073412 memory=1057636 CPUtime=12.66 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 264235 0 0 0 1216 50 0 0 20 0 1 0 164192883 1099173888 264409 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 268353 264409 405 379 0 267887 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1083344 KiB
Current children cumulated memory: 1060464 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 3.67 5/261 891890
/proc/meminfo: memFree=124165248/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=2105352 memory=2011888 CPUtime=25.43 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 502747 0 0 0 2450 93 0 0 20 0 1 0 164192883 2155880448 502972 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 526338 502972 405 379 0 525872 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2115284 KiB
Current children cumulated memory: 2014716 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.09 3.69 5/264 892064
/proc/meminfo: memFree=122425636/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=4079116 memory=3784120 CPUtime=50.97 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 945810 0 0 0 4918 179 0 0 20 0 1 0 164192883 4177014784 946030 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 1019779 946030 405 379 0 1019313 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4089048 KiB
Current children cumulated memory: 3786948 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.11 3.72 5/264 892073
/proc/meminfo: memFree=121450888/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=5064624 memory=4733440 CPUtime=102.06 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 1117615 0 0 0 9983 223 0 0 20 0 1 0 164192883 5186174976 1183360 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 1266156 1183360 421 379 0 1265690 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 5074556 KiB
Current children cumulated memory: 4736268 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 3.74 5/265 892086
/proc/meminfo: memFree=120813488/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=5701348 memory=5338744 CPUtime=161.93 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 1193478 0 0 0 15935 258 0 0 20 0 1 0 164192883 5838180352 1334686 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 1425337 1334686 421 379 0 1424871 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 5711280 KiB
Current children cumulated memory: 5341572 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 3.76 5/263 892108
/proc/meminfo: memFree=120087624/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=6477248 memory=6095996 CPUtime=221.8 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 1265859 0 0 0 21884 296 0 0 20 0 1 0 164192883 6632701952 1523999 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 1619312 1523999 421 379 0 1618846 0
Current children cumulated CPU time: 221.8 s

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

/proc/loadavg: 4.10 4.11 3.94 5/262 892210
/proc/meminfo: memFree=114089828/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=13041308 memory=12025164 CPUtime=760.55 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 1954107 0 0 0 75447 608 0 0 20 0 1 0 164192883 13354299392 3006291 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 3260327 3006291 421 379 0 3259861 0
Current children cumulated CPU time: 760.55 s
Current children cumulated vsize: 13051240 KiB
Current children cumulated memory: 12027992 KiB

[startup+822.3 s]
/proc/loadavg: 4.13 4.11 3.96 5/262 892221
/proc/meminfo: memFree=113684056/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=13355732 memory=12493176 CPUtime=820.41 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2036754 0 0 0 81406 635 0 0 20 0 1 0 164192883 13676269568 3123294 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 3338933 3123294 421 379 0 3338467 0
Current children cumulated CPU time: 820.41 s
Current children cumulated vsize: 13365664 KiB
Current children cumulated memory: 12496004 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.11 3.97 5/262 892231
/proc/meminfo: memFree=113131700/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=13669496 memory=12960520 CPUtime=880.28 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2119596 0 0 0 87364 664 0 0 20 0 1 0 164192883 13997563904 3240130 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 3417374 3240130 421 379 0 3416908 0
Current children cumulated CPU time: 880.28 s
Current children cumulated vsize: 13679428 KiB
Current children cumulated memory: 12963348 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 4.10 3.98 5/262 892241
/proc/meminfo: memFree=110249992/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=16478540 memory=15824920 CPUtime=940.13 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2154777 0 0 0 93229 784 0 0 20 0 1 0 164192883 16874024960 3956230 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 4119635 3956230 421 379 0 4119169 0
Current children cumulated CPU time: 940.13 s
Current children cumulated vsize: 16488472 KiB
Current children cumulated memory: 15827748 KiB

[startup+977.223 s]
# the end of solver process 891880 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=963.675 s, system=11.3187 s

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

[startup+947.2 s]
/proc/loadavg: 4.08 4.10 3.98 5/262 892244
/proc/meminfo: memFree=109472148/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=17451532 memory=16662096 CPUtime=945.02 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2192001 0 0 0 93697 805 0 0 20 0 1 0 164192883 17870368768 4165524 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 4362883 4165524 421 379 0 4362417 0
Current children cumulated CPU time: 945.02 s
Current children cumulated vsize: 17461464 KiB
Current children cumulated memory: 16664924 KiB

[startup+960 s]*
/proc/loadavg: 4.14 4.11 3.99 5/262 892246
/proc/meminfo: memFree=104869252/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=22087828 memory=21171364 CPUtime=957.8 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2332423 0 0 0 94872 908 0 0 20 0 1 0 164192883 22617935872 5292841 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 5521957 5292841 421 379 0 5521491 0
Current children cumulated CPU time: 957.8 s
Current children cumulated vsize: 22097760 KiB
Current children cumulated memory: 21174192 KiB

[startup+966.4 s]
/proc/loadavg: 4.12 4.11 3.99 5/263 892249
/proc/meminfo: memFree=102701244/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=24743312 memory=23455184 CPUtime=964.19 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2364904 0 0 0 95460 959 0 0 20 0 1 0 164192883 25337151488 5863796 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 6185828 5863796 421 379 0 6185362 0
Current children cumulated CPU time: 964.19 s
Current children cumulated vsize: 24753244 KiB
Current children cumulated memory: 23458012 KiB

[startup+972.8 s]
/proc/loadavg: 4.11 4.11 3.99 5/263 892249
/proc/meminfo: memFree=100121172/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=28179736 memory=26246160 CPUtime=970.57 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2559486 0 0 0 96018 1039 0 0 20 0 1 0 164192883 28856049664 6561540 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 7044934 6561540 421 379 0 7044468 0
Current children cumulated CPU time: 970.57 s
Current children cumulated vsize: 28189668 KiB
Current children cumulated memory: 26248988 KiB

[startup+974.4 s]
/proc/loadavg: 4.11 4.11 3.99 5/263 892250
/proc/meminfo: memFree=99228360/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=29528164 memory=26968280 CPUtime=972.16 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2597951 0 0 0 96158 1058 0 0 20 0 1 0 164192883 30236839936 6742070 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 7382041 6742070 421 379 0 7381575 0
Current children cumulated CPU time: 972.16 s
Current children cumulated vsize: 29538096 KiB
Current children cumulated memory: 26971108 KiB

[startup+976 s]*
/proc/loadavg: 4.10 4.11 3.99 5/263 892250
/proc/meminfo: memFree=98347868/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
[pid=891885] ppid=891880 vsize=29756796 memory=27667800 CPUtime=973.77 cores=4,6
/proc/891885/stat : 891885 (naps-1.02b5) R 891880 891880 888823 0 -1 4194304 2653211 0 0 0 96300 1077 0 0 20 0 1 0 164192883 30470959104 6916884 134679101440 4194304 5746509 140729991466080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35819520 140729991472111 140729991472225 140729991472225 140729991479241 0
/proc/891885/statm: 7439199 6916950 421 379 0 7438733 0
Current children cumulated CPU time: 973.77 s
Current children cumulated vsize: 29766728 KiB
Current children cumulated memory: 27670628 KiB

[startup+976.8 s]
/proc/loadavg: 4.10 4.11 3.99 5/263 892250
/proc/meminfo: memFree=98347868/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2828 KiB

[startup+977.2 s]
/proc/loadavg: 4.10 4.11 3.99 5/263 892250
/proc/meminfo: memFree=105974224/131524600 swapFree=131071996/131071996
[pid=891880] ppid=891877 vsize=9932 memory=2828 CPUtime=0 cores=4,6
/proc/891880/stat : 891880 (naps-1.02b5.sh) S 891877 891880 888823 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 164192883 10170368 707 134679101440 93931329908736 93931330988056 140732775074112 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 93931333086512 93931333133700 93931353247744 140732775080928 140732775081055 140732775081055 140732775088070 0
/proc/891880/statm: 2483 707 631 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2828 KiB

Child status: 0

Real time (s): 977.223
CPU time (s): 974.994
CPU user time (s): 963.675
CPU system time (s): 11.3187
CPU usage (%): 99.7719
Max. virtual memory (cumulated for all children) (KiB): 29859292
Max. memory (cumulated for all children) (KiB): 27968952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 963.675
system time used= 11.3187
maximum resident set size= 27992936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2681808
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= 12
involuntary context switches= 1230


# summary of solver processes directly reported to runsolver:
#   pid: 891880
#   total CPU time (s): 974.994
#   total CPU user time (s): 963.675
#   total CPU system time (s): 11.3187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15853 second user time and 4.61019 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 10:57:41
IDJOB=4435246
IDBENCH=155321
IDSOLVER=3065
FILE ID=nodeC030/4435246-1721120247
RUNJOBID= nodeC030-1721118953-888834
SLURM_JOB_ID= 7505667
Free space on /tmp= 889816 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-mspp16.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435246-1721120247/watcher-4435246-1721120247 -o /tmp/evaluation-result-4435246-1721120247/solver-4435246-1721120247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721118953-888834 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435246-1721120247.opb

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

MD5SUM BENCH= e9f8bfec50df8f23ca7bc3fee68b9d28
RANDOM SEED=1653952845

nodeC030.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		: 3671.019
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.28
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		: 3689.800
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3658.354
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.28
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.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3599.944
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.28
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		: 3689.567
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.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		: 3600.172
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.28
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		: 3600.654
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126176396 kB
MemAvailable:   127759876 kB
Buffers:          394824 kB
Cached:          2013384 kB
SwapCached:            0 kB
Active:           940764 kB
Inactive:        3782064 kB
Active(anon):       1572 kB
Inactive(anon):  2350768 kB
Active(file):     939192 kB
Inactive(file):  1431296 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            209220 kB
Writeback:         26568 kB
AnonPages:       2311860 kB
Mapped:           109172 kB
Shmem:             37720 kB
KReclaimable:     105628 kB
Slab:             212856 kB
SReclaimable:     105628 kB
SUnreclaim:       107228 kB
KernelStack:        4208 kB
PageTables:        13980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2850636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63584 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1882112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889812 MiB
End job on nodeC030 at 2024-07-16 11:13:58