Trace number 4528377

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
pb_picat 2025-07-11? (TO) 3600.03 3610.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
MD5SUM95d9c8e5d82ddbf9273186de2f795996
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.958494
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4624
Total number of constraints5263
Number of constraints which are clauses4404
Number of constraints which are cardinality constraints (but not clauses)859
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Number of terms in the objective function 4624
Biggest coefficient in the objective function 2577
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 13335
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2577
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 13335
Number of bits of the biggest sum of numbers14
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.02	c solving HOME/instance-4528377-1752237844.opb (Picat 3.9b11, 7/10/2025)
56.13/56.37	o 1005

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: 63837 MiB (62890 MiB free)
  memory of node 1: 64465 MiB (63447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528377-1752237844/watcher-4528377-1752237844 -o /tmp/evaluation-result-4528377-1752237844/solver-4528377-1752237844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114859 --watchdog 3760 pb_picat HOME/instance-4528377-1752237844.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=114959, runsolver pid=114956

[startup+0.100069 s]*
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129353484/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2027148 memory=24104 CPUtime=0.09 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 1112 0 0 0 8 1 0 0 20 0 1 0 139463084 2075799552 6026 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 506787 6026 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 24104 KiB

[startup+0.213123 s]*
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129353484/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2034964 memory=32500 CPUtime=0.2 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 1138 0 0 0 19 1 0 0 20 0 1 0 139463084 2083803136 8125 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 508741 8125 1536 343 0 505805 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 32500 KiB

[startup+0.312995 s]*
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129349388/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2034964 memory=36596 CPUtime=0.3 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 1163 0 0 0 29 1 0 0 20 0 1 0 139463084 2083803136 9149 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 508741 9149 1536 343 0 505805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 36596 KiB

[startup+0.700281 s]
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129337416/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2057164 memory=67324 CPUtime=0.68 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 6361 0 0 0 65 3 0 0 20 0 1 0 139463084 2106535936 16831 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 514291 16831 1664 343 0 511355 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057164 KiB
Current children cumulated memory: 67324 KiB

[startup+1.50033 s]
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129324248/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2053488 memory=62964 CPUtime=1.48 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 9143 0 0 0 144 4 0 0 20 0 1 0 139463084 2102771712 15741 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 513372 15741 1664 343 0 510436 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2053488 KiB
Current children cumulated memory: 62964 KiB

[startup+3.11279 s]
/proc/loadavg: 2.22 2.31 3.30 5/251 114960
/proc/meminfo: memFree=129331580/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2067740 memory=74136 CPUtime=3.08 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 15767 0 0 0 303 5 0 0 20 0 1 0 139463084 2117365760 18534 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 516935 18534 1664 343 0 513999 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2067740 KiB
Current children cumulated memory: 74136 KiB

[startup+6.3003 s]
/proc/loadavg: 2.36 2.34 3.30 5/251 114960
/proc/meminfo: memFree=129340612/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2067824 memory=73500 CPUtime=6.26 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 22448 0 0 0 620 6 0 0 20 0 1 0 139463084 2117451776 18375 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 516956 18375 1664 343 0 514020 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2067824 KiB
Current children cumulated memory: 73500 KiB

[startup+12.7003 s]
/proc/loadavg: 2.49 2.37 3.31 5/251 114960
/proc/meminfo: memFree=129329736/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2076016 memory=73776 CPUtime=12.64 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 34531 0 0 0 1256 8 0 0 20 0 1 0 139463084 2125840384 18444 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 519004 18444 1664 343 0 516068 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2076016 KiB
Current children cumulated memory: 73776 KiB

[startup+25.5003 s]
/proc/loadavg: 2.83 2.45 3.32 5/251 114961
/proc/meminfo: memFree=129318352/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2074624 memory=81556 CPUtime=25.4 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 46407 0 0 0 2529 11 0 0 20 0 1 0 139463084 2124414976 20389 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 518656 20389 1664 343 0 515720 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2074624 KiB
Current children cumulated memory: 81556 KiB

[startup+51.1129 s]
/proc/loadavg: 3.30 2.59 3.34 5/251 114961
/proc/meminfo: memFree=129310336/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2076804 memory=82916 CPUtime=50.95 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 64848 0 0 0 5079 16 0 0 20 0 1 0 139463084 2126647296 20729 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 519201 20729 1664 343 0 516265 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2076804 KiB
Current children cumulated memory: 82916 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 2.81 3.38 5/251 114963
/proc/meminfo: memFree=129274732/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2091048 memory=103404 CPUtime=102.01 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 71256 0 0 0 10182 19 0 0 20 0 1 0 139463084 2141233152 25851 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 522762 25851 1664 343 0 519826 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2091048 KiB
Current children cumulated memory: 103404 KiB

[startup+162.3 s]
/proc/loadavg: 4.77 3.25 3.49 5/251 114965
/proc/meminfo: memFree=129286620/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2081976 memory=90632 CPUtime=161.85 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 73654 0 0 0 16165 20 0 0 20 0 1 0 139463084 2131943424 22658 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 520494 22658 1664 343 0 517558 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2081976 KiB
Current children cumulated memory: 90632 KiB

[startup+222.3 s]
/proc/loadavg: 5.39 3.73 3.65 5/251 114967
/proc/meminfo: memFree=129241796/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2098364 memory=104968 CPUtime=221.68 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 74813 0 0 0 22148 20 0 0 20 0 1 0 139463084 2148724736 26242 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 524591 26242 1664 343 0 521655 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2098364 KiB
Current children cumulated memory: 104968 KiB

[startup+282.3 s]
/proc/loadavg: 4.67 3.84 3.69 5/250 114969
/proc/meminfo: memFree=129268648/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2084028 memory=93856 CPUtime=281.53 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 94186 0 0 0 28125 28 0 0 20 0 1 0 139463084 2134044672 23464 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 521007 23464 1664 343 0 518071 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2084028 KiB
Current children cumulated memory: 93856 KiB

[startup+342.3 s]
/proc/loadavg: 4.36 3.90 3.73 5/250 114971
/proc/meminfo: memFree=129235468/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2098364 memory=99240 CPUtime=341.37 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 116408 0 0 0 34100 37 0 0 20 0 1 0 139463084 2148724736 24810 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 524591 24810 1664 343 0 521655 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2098364 KiB
Current children cumulated memory: 99240 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.94 3.75 5/250 114973
/proc/meminfo: memFree=129252568/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2131132 memory=117672 CPUtime=401.21 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 133333 0 0 0 40076 45 0 0 20 0 1 0 139463084 2182279168 29418 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 532783 29418 1664 343 0 529847 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2131132 KiB
Current children cumulated memory: 117672 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.97 3.77 5/249 114975
/proc/meminfo: memFree=129243600/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2114748 memory=121768 CPUtime=461.04 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 145880 0 0 0 46053 51 0 0 20 0 1 0 139463084 2165501952 30442 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 528687 30442 1664 343 0 525751 0

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

Current children cumulated memory: 167604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/249 116579
/proc/meminfo: memFree=129221236/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2163900 memory=161460 CPUtime=2913.99 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 588213 0 0 0 291013 386 0 0 20 0 1 0 139463084 2215833600 40365 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 540975 40365 1664 343 0 538039 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 2163900 KiB
Current children cumulated memory: 161460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/250 116588
/proc/meminfo: memFree=129189752/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2196668 memory=179892 CPUtime=2973.82 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 598508 0 0 0 296986 396 0 0 20 0 1 0 139463084 2249388032 44973 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549167 44973 1664 343 0 546231 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 2196668 KiB
Current children cumulated memory: 179892 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/250 116590
/proc/meminfo: memFree=129211276/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2163900 memory=171700 CPUtime=3033.65 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 609205 0 0 0 302957 408 0 0 20 0 1 0 139463084 2215833600 42925 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 540975 42925 1664 343 0 538039 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 2163900 KiB
Current children cumulated memory: 171700 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.04 5/250 116592
/proc/meminfo: memFree=129226440/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2196668 memory=159412 CPUtime=3093.47 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 620855 0 0 0 308927 420 0 0 20 0 1 0 139463084 2249388032 39853 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549167 39853 1664 343 0 546231 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 2196668 KiB
Current children cumulated memory: 159412 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/250 116594
/proc/meminfo: memFree=129245660/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2147516 memory=134424 CPUtime=3153.31 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 629588 0 0 0 314902 429 0 0 20 0 1 0 139463084 2199056384 33606 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 536879 33606 1664 343 0 533943 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 2147516 KiB
Current children cumulated memory: 134424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.04 5/250 116596
/proc/meminfo: memFree=129197292/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2197348 memory=183104 CPUtime=3213.14 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 640636 0 0 0 320873 441 0 0 20 0 1 0 139463084 2250084352 45776 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549337 45776 1664 343 0 546401 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 2197348 KiB
Current children cumulated memory: 183104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/250 116598
/proc/meminfo: memFree=129240540/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2197348 memory=156060 CPUtime=3272.96 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 649294 0 0 0 326848 448 0 0 20 0 1 0 139463084 2250084352 39015 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549337 39015 1664 343 0 546401 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 2197348 KiB
Current children cumulated memory: 156060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/249 116600
/proc/meminfo: memFree=129213396/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2197348 memory=183104 CPUtime=3332.78 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 658066 0 0 0 332819 459 0 0 20 0 1 0 139463084 2250084352 45776 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549337 45776 1664 343 0 546401 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 2197348 KiB
Current children cumulated memory: 183104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.08 4.04 5/249 116602
/proc/meminfo: memFree=129203792/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2197348 memory=183104 CPUtime=3392.61 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 668745 0 0 0 338794 467 0 0 20 0 1 0 139463084 2250084352 45776 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 549337 45776 1664 343 0 546401 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 2197348 KiB
Current children cumulated memory: 183104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.04 5/249 116604
/proc/meminfo: memFree=129168560/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2262884 memory=213824 CPUtime=3452.43 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 677288 0 0 0 344769 474 0 0 20 0 1 0 139463084 2317193216 53456 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 565721 53456 1664 343 0 562785 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 2262884 KiB
Current children cumulated memory: 213824 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/249 116606
/proc/meminfo: memFree=129222480/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2164580 memory=166720 CPUtime=3512.26 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 685578 0 0 0 350741 485 0 0 20 0 1 0 139463084 2216529920 41680 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 541145 41680 1664 343 0 538209 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 2164580 KiB
Current children cumulated memory: 166720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/250 116615
/proc/meminfo: memFree=129200968/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2262884 memory=195392 CPUtime=3572.1 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 694714 0 0 0 356714 496 0 0 20 0 1 0 139463084 2317193216 48848 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 565721 48848 1664 343 0 562785 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 2262884 KiB
Current children cumulated memory: 195392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/250 116661
/proc/meminfo: memFree=129245804/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2230116 memory=189888 CPUtime=3600.02 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 699721 0 0 0 359501 501 0 0 20 0 1 0 139463084 2283638784 47472 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 557529 47472 1664 343 0 554593 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2230116 KiB
Current children cumulated memory: 189888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.01 s, system=5.02014 s

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

[startup+3610.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/250 116661
/proc/meminfo: memFree=129245804/131382120 swapFree=33010416/33010684
[pid=114959] ppid=114956 vsize=2230116 memory=189888 CPUtime=3600.02 cores=5,7
/proc/114959/stat : 114959 (pb_picat) R 114956 114959 113044 0 -1 4194304 699721 0 0 0 359501 501 0 0 20 0 1 0 139463084 2283638784 47472 18446744073709551615 94257320230912 94257321632493 140736063754864 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94257321903920 94257323778160 94257334243328 140736063756700 140736063756776 140736063756776 140736063762380 0
/proc/114959/statm: 557529 47472 1664 343 0 554593 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2230116 KiB
Current children cumulated memory: 189888 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.3
CPU time (s): 3600.03
CPU user time (s): 3595.01
CPU system time (s): 5.02014
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 2262884
Max. memory (cumulated for all children) (KiB): 237756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.01
system time used= 5.02014
maximum resident set size= 237884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699721
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= 85
involuntary context switches= 4295


# summary of solver processes directly reported to runsolver:
#   pid: 114959
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3595.01
#   total CPU system time (s): 5.02014

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2536 second user time and 33.6856 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-11 14:44:04
IDJOB=4528377
IDBENCH=146654
IDSOLVER=3385
FILE ID=nodeC003/4528377-1752237844
RUNJOBID= nodeC003-1752237840-114859
SLURM_JOB_ID= 9682514
Free space on /tmp= 432020 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528377-1752237844/watcher-4528377-1752237844 -o /tmp/evaluation-result-4528377-1752237844/solver-4528377-1752237844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114859 --watchdog 3760  pb_picat HOME/instance-4528377-1752237844.opb

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

MD5SUM BENCH= 95d9c8e5d82ddbf9273186de2f795996
RANDOM SEED=1682667239

nodeC003 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		: 3662.329
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.44
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		: 3691.248
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129369556 kB
MemAvailable:   129692108 kB
Buffers:            2736 kB
Cached:          1115796 kB
SwapCached:           36 kB
Active:           753884 kB
Inactive:         619924 kB
Active(anon):     265596 kB
Inactive(anon):     7604 kB
Active(file):     488288 kB
Inactive(file):   612320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16016 kB
Writeback:             0 kB
AnonPages:        258336 kB
Mapped:           116208 kB
Shmem:             17924 kB
KReclaimable:     123140 kB
Slab:             211304 kB
SReclaimable:     123140 kB
SUnreclaim:        88164 kB
KernelStack:        4052 kB
PageTables:         3532 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6585000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432016 MiB
End job on nodeC003 at 2025-07-11 15:44:15