Trace number 4455936

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NaPS 1.03? (exit code) 3280.01 3303.39

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan3.ucl--soft-0-100-0.wbo
MD5SUM3ecc8154a848f9e644c7ae7003c7049e
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark13.2174
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables19944
Total number of constraints50842
Number of soft constraints50842
Number of constraints which are clauses43898
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6944
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2571036
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2571035
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
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.03.
0.00/0.00	c Input file name: HOME/instance-4455936-1721718342.wbo
26.52/26.67	c single stage optimization mode
948.57/951.20	o 191092
1237.75/1241.34	o 16568
3277.58/3286.98	terminate called after throwing an instance of 'std::bad_alloc'
3277.58/3286.98	  what():  std::bad_alloc
0.00/3303.38	HOME/naps-1.03.sh: line 6: 86950 Aborted                 (core dumped) ${self_dir}/naps-1.03 ${@}

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455936-1721718342/watcher-4455936-1721718342 -o /tmp/evaluation-result-4455936-1721718342/solver-4455936-1721718342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721718332-86719 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4455936-1721718342.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100873 s]*
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=105500640/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=14848 memory=13088 CPUtime=0.09 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 3235 0 0 0 9 0 0 0 20 0 1 0 8357801 15204352 3272 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 3712 3272 580 659 0 2916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24780 KiB
Current children cumulated memory: 15792 KiB

[startup+0.205874 s]*
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=105458880/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=26052 memory=24052 CPUtime=0.18 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 6453 0 0 0 18 0 0 0 20 0 1 0 8357801 26677248 6013 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 6513 6013 580 659 0 5717 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 35984 KiB
Current children cumulated memory: 26756 KiB

[startup+0.30547 s]*
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=105424960/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=31672 memory=29596 CPUtime=0.29 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 7879 0 0 0 28 1 0 0 20 0 1 0 8357801 32432128 7399 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7918 7399 580 659 0 7122 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41604 KiB
Current children cumulated memory: 32300 KiB

[startup+0.700222 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=105349796/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=61892 memory=59692 CPUtime=0.67 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 15416 0 0 0 65 2 0 0 20 0 1 0 8357801 63377408 14923 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 15473 14923 580 659 0 14677 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71824 KiB
Current children cumulated memory: 62396 KiB

[startup+1.50019 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=105226872/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=71252 memory=69144 CPUtime=1.47 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 18504 0 0 0 144 3 0 0 20 0 1 0 8357801 72962048 17286 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 17813 17286 596 659 0 17017 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81184 KiB
Current children cumulated memory: 71848 KiB

[startup+3.10543 s]
/proc/loadavg: 2.10 2.07 2.08 5/261 86950
/proc/meminfo: memFree=104169012/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=87796 memory=85220 CPUtime=3.08 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 21932 0 0 0 304 4 0 0 20 0 1 0 8357801 89903104 21305 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 21949 21305 596 659 0 21153 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 97728 KiB
Current children cumulated memory: 87924 KiB

[startup+6.30017 s]
/proc/loadavg: 2.25 2.10 2.09 5/261 86950
/proc/meminfo: memFree=102829960/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=118176 memory=115364 CPUtime=6.26 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 26969 0 0 0 621 5 0 0 20 0 1 0 8357801 121012224 28841 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 29544 28841 596 659 0 28748 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128108 KiB
Current children cumulated memory: 118068 KiB

[startup+12.7002 s]
/proc/loadavg: 2.39 2.13 2.10 5/261 87002
/proc/meminfo: memFree=103528708/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=180536 memory=175260 CPUtime=12.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 34988 0 0 0 1257 8 0 0 20 0 1 0 8357801 184868864 43815 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 45134 43815 596 659 0 44338 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 190468 KiB
Current children cumulated memory: 177964 KiB

[startup+25.5003 s]
/proc/loadavg: 2.75 2.22 2.13 5/260 87003
/proc/meminfo: memFree=100843528/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=1485712 memory=1407804 CPUtime=25.42 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 137775 0 0 0 2495 47 0 0 20 0 1 0 8357801 1521369088 351951 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 371428 351951 596 659 0 370632 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1495644 KiB
Current children cumulated memory: 1410508 KiB

[startup+51.1057 s]
/proc/loadavg: 3.26 2.39 2.19 5/260 87008
/proc/meminfo: memFree=85993980/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=1942236 memory=1893804 CPUtime=50.97 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 227101 0 0 0 5031 66 0 0 20 0 1 0 8357801 1988849664 473451 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 485559 473451 612 659 0 484763 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1952168 KiB
Current children cumulated memory: 1896508 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 2.67 2.30 5/260 87066
/proc/meminfo: memFree=77163460/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=1942236 memory=1894480 CPUtime=102.04 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 227164 0 0 0 10138 66 0 0 20 0 1 0 8357801 1988849664 473620 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 485559 473620 612 659 0 484763 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1952168 KiB
Current children cumulated memory: 1897184 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.94 2.42 5/260 87078
/proc/meminfo: memFree=68932000/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=1942236 memory=1894480 CPUtime=161.86 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 227246 0 0 0 16120 66 0 0 20 0 1 0 8357801 1988849664 473620 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 485559 473620 612 659 0 484763 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1952168 KiB
Current children cumulated memory: 1897184 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.17 2.53 5/260 87088
/proc/meminfo: memFree=68860664/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=1942236 memory=1894480 CPUtime=221.69 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 227343 0 0 0 22103 66 0 0 20 0 1 0 8357801 1988849664 473620 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 485559 473620 612 659 0 484763 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1952168 KiB

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

/proc/loadavg: 4.12 4.12 4.05 5/260 88973
/proc/meminfo: memFree=74192816/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=26734696 memory=25740496 CPUtime=3093.48 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 2589070 0 0 0 307938 1410 0 0 20 0 1 0 8357801 27376328704 6435124 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 6683674 6435124 644 659 0 6682878 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 26744628 KiB
Current children cumulated memory: 25743200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/262 89155
/proc/meminfo: memFree=74967444/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=25970960 memory=24963648 CPUtime=3153.31 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 2747215 0 0 0 313871 1460 0 0 20 0 1 0 8357801 26594263040 6240912 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 6492740 6240912 644 659 0 6491944 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 25980892 KiB
Current children cumulated memory: 24966352 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/262 89165
/proc/meminfo: memFree=74148676/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=26788912 memory=25794840 CPUtime=3213.14 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 2766249 0 0 0 319734 1580 0 0 20 0 1 0 8357801 27431845888 6448710 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 6697228 6448710 644 659 0 6696432 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 26798844 KiB
Current children cumulated memory: 25797544 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/262 89179
/proc/meminfo: memFree=70877360/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30576308 memory=29077116 CPUtime=3272.99 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) R 86945 86945 86707 0 -1 4194304 3183465 0 0 0 325573 1726 0 0 20 0 1 0 8357801 31310139392 7269279 134679101440 4194304 6891213 140723554914928 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7644077 7269279 660 659 0 7643281 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 30586240 KiB
Current children cumulated memory: 29079820 KiB

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

# cumulated CPU time of all completed processes:  user=3260.38 s, system=19.6308 s

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

[startup+3289.6 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 89181
/proc/meminfo: memFree=69961820/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3296 s]*
/proc/loadavg: 4.08 4.10 4.05 5/263 89182
/proc/meminfo: memFree=68589948/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3299.2 s]
/proc/loadavg: 4.08 4.10 4.05 4/263 89182
/proc/meminfo: memFree=68597388/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3300.8 s]
/proc/loadavg: 4.08 4.10 4.05 4/263 89184
/proc/meminfo: memFree=68597228/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3302.4 s]
/proc/loadavg: 4.08 4.10 4.05 4/263 89184
/proc/meminfo: memFree=68597260/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3302.8 s]
/proc/loadavg: 4.08 4.10 4.05 4/263 89184
/proc/meminfo: memFree=68597260/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
[pid=86950] ppid=86945 vsize=30624092 memory=29155616 CPUtime=3279.65 cores=1,3
/proc/86950/stat : 86950 (naps-1.03) S 86945 86945 86707 0 -1 4195840 3195891 0 0 0 326037 1928 0 0 20 0 1 0 8357801 31359070208 7288904 134679101440 4194304 6891213 140723554914928 140723554911824 6272572 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 34406400 140723554919412 140723554919524 140723554919524 140723554926539 0
/proc/86950/statm: 7656023 7288904 660 659 0 7655227 0
Current children cumulated CPU time: 3279.65 s
Current children cumulated vsize: 30634024 KiB
Current children cumulated memory: 29158320 KiB

[startup+3303.2 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 89184
/proc/meminfo: memFree=70390012/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

[startup+3303.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 89184
/proc/meminfo: memFree=70390012/131524600 swapFree=131071996/131071996
[pid=86945] ppid=86942 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/86945/stat : 86945 (naps-1.03.sh) S 86942 86945 86707 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 8357801 10170368 676 134679101440 94147252752384 94147253831704 140732826657808 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94147255930160 94147255977348 94147259265024 140732826661859 140732826661984 140732826661984 140732826669000 0
/proc/86945/statm: 2483 676 598 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2704 KiB

Child status: 134

Real time (s): 3303.39
CPU time (s): 3280.01
CPU user time (s): 3260.38
CPU system time (s): 19.6308
CPU usage (%): 99.2922
Max. virtual memory (cumulated for all children) (KiB): 31131108
Max. memory (cumulated for all children) (KiB): 29805644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3260.38
system time used= 19.6308
maximum resident set size= 29802940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3196368
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= 50
involuntary context switches= 1887


# summary of solver processes directly reported to runsolver:
#   pid: 86945
#   total CPU time (s): 3280.01
#   total CPU user time (s): 3260.38
#   total CPU system time (s): 19.6308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67934 second user time and 16.2635 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-23 09:05:42
IDJOB=4455936
IDBENCH=143120
IDSOLVER=3043
FILE ID=nodeC032/4455936-1721718342
RUNJOBID= nodeC032-1721718332-86719
SLURM_JOB_ID= 7770393
Free space on /tmp= 890060 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455936-1721718342/watcher-4455936-1721718342 -o /tmp/evaluation-result-4455936-1721718342/solver-4455936-1721718342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721718332-86719 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4455936-1721718342.wbo

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

MD5SUM BENCH= 3ecc8154a848f9e644c7ae7003c7049e
RANDOM SEED=656085649

nodeC032.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		: 3658.597
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.31
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		: 3656.576
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.809
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.31
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		: 3667.061
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.79
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		: 3658.587
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.31
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		: 3666.331
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.950
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.860
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105532196 kB
MemAvailable:   126026992 kB
Buffers:          136388 kB
Cached:         21091716 kB
SwapCached:            0 kB
Active:           905084 kB
Inactive:       24328388 kB
Active(anon):       1552 kB
Inactive(anon):  4041544 kB
Active(file):     903532 kB
Inactive(file): 20286844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19936 kB
Writeback:             0 kB
AnonPages:       4004688 kB
Mapped:           107664 kB
Shmem:             37720 kB
KReclaimable:     288132 kB
Slab:             397848 kB
SReclaimable:     288132 kB
SUnreclaim:       109716 kB
KernelStack:        4224 kB
PageTables:        17168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4536356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2543616 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:      301780 kB
DirectMap2M:    27783168 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC032 at 2024-07-23 10:00:45