Trace number 4528492

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.04 3611.9

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
MD5SUMfe13d2dbd64f41a692445fbdcafba3bd
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 benchmark122
Best CPU time to get the best result obtained on this benchmark28.2274
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c solving HOME/instance-4528492-1752241969.opb (Picat 3.9b11, 7/10/2025)
0.21/0.31	o 6217
0.51/0.58	o 2057
0.78/0.80	o 672
1.28/1.35	o 222
4.37/4.43	o 122

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528492-1752241969/watcher-4528492-1752241969 -o /tmp/evaluation-result-4528492-1752241969/solver-4528492-1752241969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122272 --watchdog 3760 pb_picat HOME/instance-4528492-1752241969.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
Starting watchdog thread
solver pid=122691, runsolver pid=122688
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123549968/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2035960 memory=21532 CPUtime=0.1 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1318 0 0 0 9 1 0 0 20 0 1 0 139876632 2084823040 5383 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 508990 5383 1728 343 0 506054 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2035960 KiB
Current children cumulated memory: 21532 KiB

[startup+0.212489 s]*
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123536924/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2039000 memory=23580 CPUtime=0.21 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1876 0 0 0 20 1 0 0 20 0 1 0 139876632 2087936000 5895 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 509750 5895 1728 343 0 506814 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039000 KiB
Current children cumulated memory: 23580 KiB

[startup+0.312865 s]*
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123515688/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2035952 memory=21784 CPUtime=0.31 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 2249 0 0 0 30 1 0 0 20 0 1 0 139876632 2084814848 5446 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 508988 5446 1728 343 0 506052 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2035952 KiB
Current children cumulated memory: 21784 KiB

[startup+0.700254 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123473972/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2041324 memory=24912 CPUtime=0.68 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 3908 0 0 0 66 2 0 0 20 0 1 0 139876632 2090315776 6228 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 510331 6228 1728 343 0 507395 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2041324 KiB
Current children cumulated memory: 24912 KiB

[startup+1.50025 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123293748/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2041324 memory=25044 CPUtime=1.48 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 5673 0 0 0 145 3 0 0 20 0 1 0 139876632 2090315776 6261 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 510331 6261 1728 343 0 507395 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2041324 KiB
Current children cumulated memory: 25044 KiB

[startup+3.11237 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=122828232/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2041324 memory=25300 CPUtime=3.08 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 6822 0 0 0 305 3 0 0 20 0 1 0 139876632 2090315776 6325 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 510331 6325 1728 343 0 507395 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2041324 KiB
Current children cumulated memory: 25300 KiB

[startup+6.30023 s]
/proc/loadavg: 4.30 4.56 4.31 5/250 122692
/proc/meminfo: memFree=122580892/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2041356 memory=25200 CPUtime=6.27 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 9366 0 0 0 623 4 0 0 20 0 1 0 139876632 2090348544 6300 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 510339 6300 1728 343 0 507403 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2041356 KiB
Current children cumulated memory: 25200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.55 4.31 5/250 122693
/proc/meminfo: memFree=122218124/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2042380 memory=27328 CPUtime=12.65 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 12501 0 0 0 1261 4 0 0 20 0 1 0 139876632 2091397120 6832 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 510595 6832 1728 343 0 507659 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2042380 KiB
Current children cumulated memory: 27328 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.54 4.31 5/251 122694
/proc/meminfo: memFree=120942776/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2044460 memory=29840 CPUtime=25.41 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 22582 0 0 0 2534 7 0 0 20 0 1 0 139876632 2093527040 7460 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 511115 7460 1728 343 0 508179 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2044460 KiB
Current children cumulated memory: 29840 KiB

[startup+51.1125 s]
/proc/loadavg: 4.18 4.50 4.30 5/251 122694
/proc/meminfo: memFree=121112224/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2044460 memory=30352 CPUtime=50.95 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 40306 0 0 0 5083 12 0 0 20 0 1 0 139876632 2093527040 7588 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 511115 7588 1728 343 0 508179 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2044460 KiB
Current children cumulated memory: 30352 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.43 4.28 5/251 122698
/proc/meminfo: memFree=121389072/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2046576 memory=31656 CPUtime=102 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 115572 0 0 0 10172 28 0 0 20 0 1 0 139876632 2095693824 7914 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 511644 7914 1728 343 0 508708 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2046576 KiB
Current children cumulated memory: 31656 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.38 4.27 5/250 122700
/proc/meminfo: memFree=121165568/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2054768 memory=34992 CPUtime=161.81 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 191393 0 0 0 16135 46 0 0 20 0 1 0 139876632 2104082432 8748 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 513692 8748 1728 343 0 510756 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2054768 KiB
Current children cumulated memory: 34992 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.32 4.26 5/251 122707
/proc/meminfo: memFree=121215660/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2050672 memory=34292 CPUtime=221.63 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 253022 0 0 0 22102 61 0 0 20 0 1 0 139876632 2099888128 8573 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 512668 8573 1728 343 0 509732 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2050672 KiB
Current children cumulated memory: 34292 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.29 4.25 5/251 122709
/proc/meminfo: memFree=121067404/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2050672 memory=33460 CPUtime=281.45 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 307698 0 0 0 28070 75 0 0 20 0 1 0 139876632 2099888128 8365 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 512668 8365 1728 343 0 509732 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2050672 KiB
Current children cumulated memory: 33460 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.25 4.24 5/250 122711
/proc/meminfo: memFree=120972536/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2050804 memory=34612 CPUtime=341.28 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 359453 0 0 0 34040 88 0 0 20 0 1 0 139876632 2100023296 8653 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 512701 8653 1728 343 0 509765 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 2050804 KiB
Current children cumulated memory: 34612 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.24 5/250 122713
/proc/meminfo: memFree=120927108/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2050804 memory=33976 CPUtime=401.1 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 404554 0 0 0 40009 101 0 0 20 0 1 0 139876632 2100023296 8494 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 512701 8494 1728 343 0 509765 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 2050804 KiB
Current children cumulated memory: 33976 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.21 4.22 5/250 122715
/proc/meminfo: memFree=121074292/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2063224 memory=43832 CPUtime=460.91 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 443522 0 0 0 45980 111 0 0 20 0 1 0 139876632 2112741376 10958 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 515806 10958 1728 343 0 512870 0
Current children cumulated CPU time: 460.91 s

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

Current children cumulated memory: 52940 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 122847
/proc/meminfo: memFree=120868912/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2055364 memory=40752 CPUtime=2912.93 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1306272 0 0 0 290854 439 0 0 20 0 1 0 139876632 2104692736 10188 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 513841 10188 1728 343 0 510905 0
Current children cumulated CPU time: 2912.93 s
Current children cumulated vsize: 2055364 KiB
Current children cumulated memory: 40752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.14 5/250 122849
/proc/meminfo: memFree=120863988/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092228 memory=64644 CPUtime=2972.73 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1320115 0 0 0 296826 447 0 0 20 0 1 0 139876632 2142441472 16161 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523057 16161 1728 343 0 520121 0
Current children cumulated CPU time: 2972.73 s
Current children cumulated vsize: 2092228 KiB
Current children cumulated memory: 64644 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/251 122852
/proc/meminfo: memFree=120878088/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2067652 memory=46660 CPUtime=3032.51 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1333148 0 0 0 302797 454 0 0 20 0 1 0 139876632 2117275648 11665 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 516913 11665 1728 343 0 513977 0
Current children cumulated CPU time: 3032.51 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 46660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/251 122857
/proc/meminfo: memFree=120880036/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2067652 memory=46404 CPUtime=3092.29 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1346602 0 0 0 308768 461 0 0 20 0 1 0 139876632 2117275648 11601 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 516913 11601 1728 343 0 513977 0
Current children cumulated CPU time: 3092.29 s
Current children cumulated vsize: 2067652 KiB
Current children cumulated memory: 46404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.18 4.14 5/250 122859
/proc/meminfo: memFree=120868200/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092228 memory=66756 CPUtime=3152.07 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1359948 0 0 0 314740 467 0 0 20 0 1 0 139876632 2142441472 16689 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523057 16689 1728 343 0 520121 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 2092228 KiB
Current children cumulated memory: 66756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.78 4.34 4.20 5/252 122867
/proc/meminfo: memFree=121005000/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2067804 memory=50436 CPUtime=3211.86 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1372789 0 0 0 320711 475 0 0 20 0 1 0 139876632 2117431296 12609 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 516951 12609 1728 343 0 514015 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 50436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.29 4.19 5/252 122869
/proc/meminfo: memFree=120855916/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2084188 memory=55120 CPUtime=3271.64 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1385851 0 0 0 326683 481 0 0 20 0 1 0 139876632 2134208512 13780 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 521047 13780 1728 343 0 518111 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 2084188 KiB
Current children cumulated memory: 55120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/252 122872
/proc/meminfo: memFree=120983844/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092380 memory=66820 CPUtime=3331.43 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1400484 0 0 0 332655 488 0 0 20 0 1 0 139876632 2142597120 16705 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523095 16705 1728 343 0 520159 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 2092380 KiB
Current children cumulated memory: 66820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.39 4.23 5/252 122874
/proc/meminfo: memFree=120941324/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092380 memory=61592 CPUtime=3391.21 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1412850 0 0 0 338627 494 0 0 20 0 1 0 139876632 2142597120 15398 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523095 15398 1728 343 0 520159 0
Current children cumulated CPU time: 3391.21 s
Current children cumulated vsize: 2092380 KiB
Current children cumulated memory: 61592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.38 4.24 5/252 122876
/proc/meminfo: memFree=120745944/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2067804 memory=49156 CPUtime=3450.98 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1426873 0 0 0 344598 500 0 0 20 0 1 0 139876632 2117431296 12289 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 516951 12289 1728 343 0 514015 0
Current children cumulated CPU time: 3450.98 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 49156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.32 4.22 5/250 122878
/proc/meminfo: memFree=120829952/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092380 memory=60676 CPUtime=3510.75 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1438313 0 0 0 350569 506 0 0 20 0 1 0 139876632 2142597120 15169 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523095 15169 1728 343 0 520159 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 2092380 KiB
Current children cumulated memory: 60676 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.28 4.21 5/250 122880
/proc/meminfo: memFree=120874396/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2067804 memory=46340 CPUtime=3570.53 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1448945 0 0 0 356542 511 0 0 20 0 1 0 139876632 2117431296 11585 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 516951 11585 1728 343 0 514015 0
Current children cumulated CPU time: 3570.53 s
Current children cumulated vsize: 2067804 KiB
Current children cumulated memory: 46340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.13 4.26 4.21 3/233 122951
/proc/meminfo: memFree=123652400/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092380 memory=62564 CPUtime=3600.02 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1456218 0 0 0 359488 514 0 0 20 0 1 0 139876632 2142597120 15641 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523095 15641 1728 343 0 520159 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2092380 KiB
Current children cumulated memory: 62564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.88 s, system=5.15267 s

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

[startup+3611.9 s]
/proc/loadavg: 4.13 4.26 4.21 3/233 122951
/proc/meminfo: memFree=123652400/131382116 swapFree=33010684/33010684
[pid=122691] ppid=122688 vsize=2092380 memory=62564 CPUtime=3600.02 cores=5,7
/proc/122691/stat : 122691 (pb_picat) R 122688 122691 120784 0 -1 4194304 1456218 0 0 0 359488 514 0 0 20 0 1 0 139876632 2142597120 15641 18446744073709551615 94289389584384 94289390985965 140734216267072 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94289391257392 94289393131632 94289420017664 140734216276380 140734216276456 140734216276456 140734216282060 0
/proc/122691/statm: 523095 15641 1728 343 0 520159 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2092380 KiB
Current children cumulated memory: 62564 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.9
CPU time (s): 3600.04
CPU user time (s): 3594.88
CPU system time (s): 5.15267
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 2125148
Max. memory (cumulated for all children) (KiB): 77060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.88
system time used= 5.15267
maximum resident set size= 77060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1456218
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= 67
involuntary context switches= 23382


# summary of solver processes directly reported to runsolver:
#   pid: 122691
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3594.88
#   total CPU system time (s): 5.15267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1168 second user time and 34.9197 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-11 15:52:49
IDJOB=4528492
IDBENCH=155354
IDSOLVER=3385
FILE ID=nodeC011/4528492-1752241969
RUNJOBID= nodeC011-1752238355-122272
SLURM_JOB_ID= 9682522
Free space on /tmp= 430332 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528492-1752241969/watcher-4528492-1752241969 -o /tmp/evaluation-result-4528492-1752241969/solver-4528492-1752241969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122272 --watchdog 3760  pb_picat HOME/instance-4528492-1752241969.opb

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

MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=32819191

nodeC011 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		: 1895.687
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	: 6984.20
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		: 1795.922
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	: 6984.20
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.480
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	: 6984.20
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		: 3700.000
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	: 6984.20
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		: 1197.289
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	: 6984.20
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.299
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	: 6984.20
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.493
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	: 6984.20
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.446
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        123582960 kB
MemAvailable:   129752408 kB
Buffers:            3276 kB
Cached:          6939700 kB
SwapCached:            0 kB
Active:           688848 kB
Inactive:        6494224 kB
Active(anon):     255960 kB
Inactive(anon):     2104 kB
Active(file):     432888 kB
Inactive(file):  6492120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21860 kB
Writeback:             0 kB
AnonPages:        242996 kB
Mapped:           116332 kB
Shmem:             17960 kB
KReclaimable:     167752 kB
Slab:             257404 kB
SReclaimable:     167752 kB
SUnreclaim:        89652 kB
KernelStack:        4064 kB
PageTables:         3440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6471684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430336 MiB
End job on nodeC011 at 2025-07-11 16:53:01