Trace number 4542526

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
AI448PBSolver 2025-05-31? (TO) 3600.11 3612.74

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
MD5SUMa8e56f9e5ad0cb5cee4856e95cb4d672
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1193.42
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106882
Number of constraints which are clauses54005
Number of constraints which are cardinality constraints (but not clauses)48506
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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: 63794 MiB (61083 MiB free)
  memory of node 1: 64507 MiB (60072 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542526-1753217601/watcher-4542526-1753217601 -o /tmp/evaluation-result-4542526-1753217601/solver-4542526-1753217601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150156 --watchdog 3760 HOME/solve.sh HOME/instance-4542526-1753217601.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=150984, runsolver pid=150981

[startup+0.100063 s]*
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124053584/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0 cores=0,2
/proc/150987/stat : 150987 (cat) R 150984 150984 150146 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=22260 memory=17920 CPUtime=0.07 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 4103 0 0 0 6 1 0 0 20 0 1 0 237439553 22794240 4480 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 5565 4480 480 108 0 4082 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 22272 KiB

[startup+0.207237 s]*
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124046528/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.01 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 1 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=37552 memory=33280 CPUtime=0.17 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 7934 0 0 0 15 2 0 0 20 0 1 0 237439553 38453248 8320 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 9388 8320 480 108 0 7905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 37632 KiB

[startup+0.307066 s]*
/proc/loadavg: 4.21 4.14 4.12 6/257 150988
/proc/meminfo: memFree=124040008/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.01 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 1 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=49524 memory=44288 CPUtime=0.27 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 10700 0 0 0 24 3 0 0 20 0 1 0 237439553 50712576 11072 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 12381 11072 480 108 0 10898 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 56508 KiB
Current children cumulated memory: 48640 KiB

[startup+0.700279 s]
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124010524/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.02 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 2 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=92608 memory=88044 CPUtime=0.65 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 21127 0 0 0 58 7 0 0 20 0 1 0 237439553 94830592 22011 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 23152 22011 480 108 0 21669 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 92396 KiB

[startup+1.50042 s]
/proc/loadavg: 4.21 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123918732/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=917912 memory=613060 CPUtime=1.45 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 84026 0 0 0 118 27 0 0 20 0 1 0 237439553 939941888 153265 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 229478 153265 512 108 0 227995 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 922104 KiB
Current children cumulated memory: 616004 KiB

[startup+3.11314 s]
/proc/loadavg: 4.21 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123090112/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1385748 memory=963764 CPUtime=3.05 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 140020 0 0 0 262 43 0 0 20 0 1 0 237439553 1419005952 240941 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 346437 240941 512 108 0 344954 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1389940 KiB
Current children cumulated memory: 966708 KiB

[startup+6.30037 s]
/proc/loadavg: 4.19 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123077528/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1408168 memory=975424 CPUtime=6.23 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 141432 0 0 0 579 44 0 0 20 0 1 0 237439553 1441964032 243856 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 352042 243856 512 108 0 350559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1412360 KiB
Current children cumulated memory: 978368 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.14 4.12 5/256 150988
/proc/meminfo: memFree=122977832/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1496632 memory=1054912 CPUtime=12.61 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 161333 0 0 0 1214 47 0 0 20 0 1 0 237439553 1532551168 263728 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 374158 263728 544 108 0 372675 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1500824 KiB
Current children cumulated memory: 1057856 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 4.11 5/256 150988
/proc/meminfo: memFree=122952736/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1513484 memory=1074304 CPUtime=25.36 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 164646 0 0 0 2488 48 0 0 20 0 1 0 237439553 1549807616 268576 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 378371 268576 544 108 0 376888 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1517676 KiB
Current children cumulated memory: 1077248 KiB

[startup+51.1132 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 150989
/proc/meminfo: memFree=122802168/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1708696 memory=1174088 CPUtime=50.89 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 170713 0 0 0 5037 52 0 0 20 0 1 0 237439553 1749704704 293522 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 427174 293522 544 108 0 425691 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1712888 KiB
Current children cumulated memory: 1177032 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 150990
/proc/meminfo: memFree=122749980/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1724808 memory=1190856 CPUtime=101.92 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 175092 0 0 0 10138 54 0 0 20 0 1 0 237439553 1766203392 297714 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 431202 297714 544 108 0 429719 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1729000 KiB
Current children cumulated memory: 1193800 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/254 150992
/proc/meminfo: memFree=122686024/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1747144 memory=1215296 CPUtime=161.72 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 181892 0 0 0 16116 56 0 0 20 0 1 0 237439553 1789075456 303824 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 436786 303824 544 108 0 435303 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1751336 KiB
Current children cumulated memory: 1218240 KiB

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

/proc/150988/statm: 583254 450285 544 108 0 581771 0
Current children cumulated CPU time: 3091.54 s
Current children cumulated vsize: 2337208 KiB
Current children cumulated memory: 1804084 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/254 151450
/proc/meminfo: memFree=125768796/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2343292 memory=1813428 CPUtime=3151.28 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 331824 0 0 0 315020 108 0 0 20 0 1 0 237439553 2399531008 453357 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 585823 453357 544 108 0 584340 0
Current children cumulated CPU time: 3151.32 s
Current children cumulated vsize: 2347484 KiB
Current children cumulated memory: 1816372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/254 151452
/proc/meminfo: memFree=125703380/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2392228 memory=1852004 CPUtime=3211.07 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 340005 0 0 0 320996 111 0 0 20 0 1 0 237439553 2449641472 463001 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 598057 463001 544 108 0 596574 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 2396420 KiB
Current children cumulated memory: 1854948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.19 4.19 5/254 151454
/proc/meminfo: memFree=125650348/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2404368 memory=1863908 CPUtime=3270.84 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 343098 0 0 0 326973 111 0 0 20 0 1 0 237439553 2462072832 465977 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 601092 465977 544 108 0 599609 0
Current children cumulated CPU time: 3270.88 s
Current children cumulated vsize: 2408560 KiB
Current children cumulated memory: 1866852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.72 4.34 4.24 5/254 151456
/proc/meminfo: memFree=125585412/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2436648 memory=1894628 CPUtime=3330.62 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 350928 0 0 0 332948 114 0 0 20 0 1 0 237439553 2495127552 473657 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 609162 473657 544 108 0 607679 0
Current children cumulated CPU time: 3330.66 s
Current children cumulated vsize: 2440840 KiB
Current children cumulated memory: 1897572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.37 4.31 4.24 5/255 151459
/proc/meminfo: memFree=125518324/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2471984 memory=1928576 CPUtime=3390.4 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 359584 0 0 0 338923 117 0 0 20 0 1 0 237439553 2531311616 482144 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 617996 482144 544 108 0 616513 0
Current children cumulated CPU time: 3390.44 s
Current children cumulated vsize: 2476176 KiB
Current children cumulated memory: 1931520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/255 151463
/proc/meminfo: memFree=125480204/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2481912 memory=1938432 CPUtime=3450.19 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 362239 0 0 0 344901 118 0 0 20 0 1 0 237439553 2541477888 484608 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 620478 484608 544 108 0 618995 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 2486104 KiB
Current children cumulated memory: 1941376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.21 5/254 151465
/proc/meminfo: memFree=125433784/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2481912 memory=1941760 CPUtime=3509.96 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 363144 0 0 0 350878 118 0 0 20 0 1 0 237439553 2541477888 485440 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 620478 485440 544 108 0 618995 0
Current children cumulated CPU time: 3510 s
Current children cumulated vsize: 2486104 KiB
Current children cumulated memory: 1944704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125299612/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2639776 memory=2081152 CPUtime=3569.73 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 398095 0 0 0 356845 128 0 0 20 0 1 0 237439553 2703130624 520288 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 659944 520288 544 108 0 658461 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 2643968 KiB
Current children cumulated memory: 2084096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.15 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125247856/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2659368 memory=2099840 CPUtime=3600.02 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 402933 0 0 0 359872 130 0 0 20 0 1 0 237439553 2723192832 524960 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 664842 524960 544 108 0 663359 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2663560 KiB
Current children cumulated memory: 2102784 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3612.71 s]
# the end of solver process 150984 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001981 s, system=0.047659 s
Sleeping 2 seconds

[startup+3612.74 s]
# the end of solver process 150988 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.38933 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.7 s]
/proc/loadavg: 4.15 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125247856/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2659368 memory=2099840 CPUtime=3600.02 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 402933 0 0 0 359872 130 0 0 20 0 1 0 237439553 2723192832 524960 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 664842 524960 544 108 0 663359 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2663560 KiB
Current children cumulated memory: 2102784 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3612.74
CPU time (s): 3600.11
CPU user time (s): 3598.72
CPU system time (s): 1.38933
CPU usage (%): 99.6506
Max. virtual memory (cumulated for all children) (KiB): 2663560
Max. memory (cumulated for all children) (KiB): 2102784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.38933
maximum resident set size= 2099840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403496
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= 7157
involuntary context switches= 9533


# summary of solver processes directly reported to runsolver:
#   pid: 150984,150988
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.38933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6094 second user time and 36.3914 second system time

The end

Launcher Data

Begin job on nodeC006 at 2025-07-22 22:53:22
IDJOB=4542526
IDBENCH=163934
IDSOLVER=3321
FILE ID=nodeC006/4542526-1753217601
RUNJOBID= nodeC006-1753211993-150156
SLURM_JOB_ID= 9687800
Free space on /tmp= 432556 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542526-1753217601/watcher-4542526-1753217601 -o /tmp/evaluation-result-4542526-1753217601/solver-4542526-1753217601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150156 --watchdog 3760  HOME/solve.sh HOME/instance-4542526-1753217601.opb

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

MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=1492341557

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1207.689
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.979
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2494.046
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.150
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.422
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.819
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.415
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1196.731
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124062680 kB
MemAvailable:   124978636 kB
Buffers:            2128 kB
Cached:          1593344 kB
SwapCached:           12 kB
Active:          5826548 kB
Inactive:         615800 kB
Active(anon):    4862224 kB
Inactive(anon):    10792 kB
Active(file):     964324 kB
Inactive(file):   605008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55280 kB
Writeback:             0 kB
AnonPages:       4847768 kB
Mapped:           109888 kB
Shmem:             26140 kB
KReclaimable:     372120 kB
Slab:             466628 kB
SReclaimable:     372120 kB
SUnreclaim:        94508 kB
KernelStack:        4128 kB
PageTables:        12832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6058104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2600960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC006 at 2025-07-22 23:53:35