Trace number 4509513

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.08 3609.2

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3499.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
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.01	c solving HOME/instance-4509513-1751520493.opb (Picat 3.9b6)
75.99/76.24	o 18

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: 63708 MiB (62651 MiB free)
  memory of node 1: 64465 MiB (61252 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509513-1751520493/watcher-4509513-1751520493 -o /tmp/evaluation-result-4509513-1751520493/solver-4509513-1751520493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86831 --watchdog 3760 pb_picat HOME/instance-4509513-1751520493.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=87259, runsolver pid=87251
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126790612/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2034964 memory=38804 CPUtime=0.09 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 1151 0 0 0 9 0 0 0 20 0 1 0 67726820 2083803136 9701 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 508741 9701 1568 343 0 505805 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 38804 KiB

[startup+0.204942 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126768684/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2034964 memory=40852 CPUtime=0.19 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 1152 0 0 0 19 0 0 0 20 0 1 0 67726820 2083803136 10213 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 508741 10213 1568 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40852 KiB

[startup+0.304557 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126744108/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2034964 memory=40852 CPUtime=0.29 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 1152 0 0 0 29 0 0 0 20 0 1 0 67726820 2083803136 10213 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 508741 10213 1568 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 40852 KiB

[startup+0.700119 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126712288/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2057192 memory=70544 CPUtime=0.68 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 5985 0 0 0 63 5 0 0 20 0 1 0 67726820 2106564608 17636 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 514298 17636 1696 343 0 511362 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057192 KiB
Current children cumulated memory: 70544 KiB

[startup+1.50011 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126659192/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2073576 memory=91316 CPUtime=1.48 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 8585 0 0 0 138 10 0 0 20 0 1 0 67726820 2123341824 22829 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 518394 22829 1728 343 0 515458 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2073576 KiB
Current children cumulated memory: 91316 KiB

[startup+3.10431 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 87264
/proc/meminfo: memFree=126714916/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2073576 memory=91316 CPUtime=3.08 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 8599 0 0 0 298 10 0 0 20 0 1 0 67726820 2123341824 22829 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 518394 22829 1728 343 0 515458 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2073576 KiB
Current children cumulated memory: 91316 KiB

[startup+6.30011 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 87309
/proc/meminfo: memFree=129356556/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2081784 memory=95900 CPUtime=6.28 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 16507 0 0 0 609 19 0 0 20 0 1 0 67726820 2131746816 23975 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 520446 23975 1728 343 0 517510 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2081784 KiB
Current children cumulated memory: 95900 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.04 5/264 87309
/proc/meminfo: memFree=129267828/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2130940 memory=145788 CPUtime=12.65 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 18881 0 0 0 1242 23 0 0 20 0 1 0 67726820 2182082560 36447 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 532735 36447 1728 343 0 529799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2130940 KiB
Current children cumulated memory: 145788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.04 5/264 87309
/proc/meminfo: memFree=129244284/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2130940 memory=143740 CPUtime=25.42 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 32047 0 0 0 2514 28 0 0 20 0 1 0 67726820 2182082560 35935 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 532735 35935 1728 343 0 529799 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2130940 KiB
Current children cumulated memory: 143740 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 87354
/proc/meminfo: memFree=128608768/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2102268 memory=122480 CPUtime=50.96 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 44656 0 0 0 5062 34 0 0 20 0 1 0 67726820 2152722432 30620 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 525567 30620 1728 343 0 522631 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2102268 KiB
Current children cumulated memory: 122480 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/264 87356
/proc/meminfo: memFree=128541724/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2131100 memory=143812 CPUtime=102.03 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 81988 0 0 0 10133 70 0 0 20 0 1 0 67726820 2182246400 35953 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 532775 35953 1728 343 0 529839 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2131100 KiB
Current children cumulated memory: 143812 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/265 87360
/proc/meminfo: memFree=128508864/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2114796 memory=133032 CPUtime=161.88 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 110276 0 0 0 16105 83 0 0 20 0 1 0 67726820 2165551104 33258 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 528699 33258 1728 343 0 525763 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2114796 KiB
Current children cumulated memory: 133032 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.05 5/266 87363
/proc/meminfo: memFree=128532952/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2098412 memory=111816 CPUtime=221.73 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 135868 0 0 0 22074 99 0 0 20 0 1 0 67726820 2148773888 27954 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 524603 27954 1728 343 0 521667 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2098412 KiB
Current children cumulated memory: 111816 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.06 5/266 87365
/proc/meminfo: memFree=128507688/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2098412 memory=107716 CPUtime=281.56 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 160972 0 0 0 28040 116 0 0 20 0 1 0 67726820 2148773888 26929 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 524603 26929 1728 343 0 521667 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2098412 KiB
Current children cumulated memory: 107716 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/266 87368
/proc/meminfo: memFree=128532108/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2114796 memory=112228 CPUtime=341.41 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 175849 0 0 0 34012 129 0 0 20 0 1 0 67726820 2165551104 28057 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 528699 28057 1728 343 0 525763 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2114796 KiB
Current children cumulated memory: 112228 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/266 87374
/proc/meminfo: memFree=128434188/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2147564 memory=161380 CPUtime=401.26 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 201015 0 0 0 39976 150 0 0 20 0 1 0 67726820 2199105536 40345 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 536891 40345 1728 343 0 533955 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2147564 KiB
Current children cumulated memory: 161380 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 87376
/proc/meminfo: memFree=128618680/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2114796 memory=114276 CPUtime=461.1 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 218244 0 0 0 45944 166 0 0 20 0 1 0 67726820 2165551104 28569 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 528699 28569 1728 343 0 525763 0

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

Current children cumulated memory: 232464 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 87513
/proc/meminfo: memFree=128214772/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2154188 memory=154220 CPUtime=2855.11 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 630475 0 0 0 284836 675 0 0 20 0 1 0 67726820 2205888512 38555 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 538547 38555 1728 343 0 535611 0
Current children cumulated CPU time: 2855.11 s
Current children cumulated vsize: 2154188 KiB
Current children cumulated memory: 154220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.15 4.11 5/265 87516
/proc/meminfo: memFree=128256020/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2137804 memory=152180 CPUtime=2914.97 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 641436 0 0 0 290804 693 0 0 20 0 1 0 67726820 2189111296 38045 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 534451 38045 1728 343 0 531515 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 2137804 KiB
Current children cumulated memory: 152180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 87518
/proc/meminfo: memFree=128161532/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2219724 memory=191508 CPUtime=2974.84 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 652655 0 0 0 296772 712 0 0 20 0 1 0 67726820 2272997376 47877 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 554931 47877 1728 343 0 551995 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 2219724 KiB
Current children cumulated memory: 191508 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/265 87520
/proc/meminfo: memFree=127971564/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2154188 memory=150124 CPUtime=3034.68 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 663754 0 0 0 302738 730 0 0 20 0 1 0 67726820 2205888512 37531 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 538547 37531 1728 343 0 535611 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 2154188 KiB
Current children cumulated memory: 150124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 87524
/proc/meminfo: memFree=128158516/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2154188 memory=152172 CPUtime=3094.52 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 669833 0 0 0 308708 744 0 0 20 0 1 0 67726820 2205888512 38043 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 538547 38043 1728 343 0 535611 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 2154188 KiB
Current children cumulated memory: 152172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 87527
/proc/meminfo: memFree=128212560/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2186956 memory=166932 CPUtime=3154.35 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 670574 0 0 0 314690 745 0 0 20 0 1 0 67726820 2239442944 41733 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 546739 41733 1728 343 0 543803 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 2186956 KiB
Current children cumulated memory: 166932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 87529
/proc/meminfo: memFree=128189336/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2186956 memory=175124 CPUtime=3214.19 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 673373 0 0 0 320671 748 0 0 20 0 1 0 67726820 2239442944 43781 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 546739 43781 1728 343 0 543803 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 2186956 KiB
Current children cumulated memory: 175124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/265 87532
/proc/meminfo: memFree=128240380/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2186956 memory=183316 CPUtime=3274.04 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 673381 0 0 0 326655 749 0 0 20 0 1 0 67726820 2239442944 45829 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 546739 45829 1728 343 0 543803 0
Current children cumulated CPU time: 3274.04 s
Current children cumulated vsize: 2186956 KiB
Current children cumulated memory: 183316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 87534
/proc/meminfo: memFree=128180752/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2188044 memory=188500 CPUtime=3333.87 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 674304 0 0 0 332638 749 0 0 20 0 1 0 67726820 2240557056 47125 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 547011 47125 1728 343 0 544075 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 2188044 KiB
Current children cumulated memory: 188500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 87536
/proc/meminfo: memFree=128333048/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2188044 memory=192596 CPUtime=3393.7 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 674316 0 0 0 338621 749 0 0 20 0 1 0 67726820 2240557056 48149 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 547011 48149 1728 343 0 544075 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 2188044 KiB
Current children cumulated memory: 192596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 87543
/proc/meminfo: memFree=128053460/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2351884 memory=264276 CPUtime=3453.54 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 682637 0 0 0 344590 764 0 0 20 0 1 0 67726820 2408329216 66069 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 587971 66069 1728 343 0 585035 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 2351884 KiB
Current children cumulated memory: 264276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.20 4.11 5/264 87545
/proc/meminfo: memFree=128116292/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2204428 memory=188088 CPUtime=3513.39 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 693255 0 0 0 350555 784 0 0 20 0 1 0 67726820 2257334272 47022 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 551107 47022 1728 343 0 548171 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 2204428 KiB
Current children cumulated memory: 188088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.49 4.27 4.14 5/263 87547
/proc/meminfo: memFree=128070064/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2155276 memory=174592 CPUtime=3573.23 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 701380 0 0 0 356523 800 0 0 20 0 1 0 67726820 2207002624 43648 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 538819 43648 1728 343 0 535883 0
Current children cumulated CPU time: 3573.23 s
Current children cumulated vsize: 2155276 KiB
Current children cumulated memory: 174592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.35 4.26 4.14 5/263 87548
/proc/meminfo: memFree=128080664/131250000 swapFree=33010160/33010684
[pid=87259] ppid=87251 vsize=2220812 memory=192724 CPUtime=3600.06 cores=4,6
/proc/87259/stat : 87259 (pb_picat) R 87251 87259 86820 0 -1 4194304 706985 0 0 0 359199 807 0 0 20 0 1 0 67726820 2274111488 48181 18446744073709551615 93850944524288 93850945925869 140728324336176 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 93850946197296 93850948071600 93850956750848 140728324340126 140728324340202 140728324340202 140728324345804 0
/proc/87259/statm: 555203 48181 1728 343 0 552267 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2220812 KiB
Current children cumulated memory: 192724 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3592 s, system=8.07828 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.2
CPU time (s): 3600.08
CPU user time (s): 3592
CPU system time (s): 8.07828
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 2612940
Max. memory (cumulated for all children) (KiB): 375828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592
system time used= 8.07828
maximum resident set size= 375828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706985
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= 82
involuntary context switches= 4642


# summary of solver processes directly reported to runsolver:
#   pid: 87259
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592
#   total CPU system time (s): 8.07828

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50192 second user time and 14.0763 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 07:28:13
IDJOB=4509513
IDBENCH=158621
IDSOLVER=3346
FILE ID=nodeC016/4509513-1751520493
RUNJOBID= nodeC016-1751516881-86831
SLURM_JOB_ID= 9598631
Free space on /tmp= 432884 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509513-1751520493/watcher-4509513-1751520493 -o /tmp/evaluation-result-4509513-1751520493/solver-4509513-1751520493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86831 --watchdog 3760  pb_picat HOME/instance-4509513-1751520493.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1346644144

nodeC016 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	: 0xb00002a
cpu MHz		: 3599.732
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 pti ibrs ibpb stibp 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	: 6999.48
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		: 3599.800
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.48
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		: 3606.966
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 pti ibrs ibpb stibp 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	: 6999.48
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		: 3597.164
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 pti ibrs ibpb stibp 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	: 6999.48
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		: 3600.009
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 pti ibrs ibpb stibp 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	: 6999.48
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		: 3599.743
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 pti ibrs ibpb stibp 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	: 6999.48
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.739
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 pti ibrs ibpb stibp 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	: 6999.48
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		: 3603.684
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 pti ibrs ibpb stibp 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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126876636 kB
MemAvailable:   126958208 kB
Buffers:            2144 kB
Cached:           850264 kB
SwapCached:           28 kB
Active:          3440992 kB
Inactive:         230484 kB
Active(anon):    2831824 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   225196 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11820 kB
Writeback:             0 kB
AnonPages:       2822164 kB
Mapped:           107772 kB
Shmem:             18044 kB
KReclaimable:     172896 kB
Slab:             265416 kB
SReclaimable:     172896 kB
SUnreclaim:        92520 kB
KernelStack:        4176 kB
PageTables:         8392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4595372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2482176 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432876 MiB
End job on nodeC016 at 2025-07-03 08:28:22