Trace number 4489411

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 3610.7

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM15e811bd466a2fe28afb8f0d217d004b
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 benchmark183
Best CPU time to get the best result obtained on this benchmark3583.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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-4489411-1751346559.opb (Picat 3.9b6)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489411-1751346559/watcher-4489411-1751346559 -o /tmp/evaluation-result-4489411-1751346559/solver-4489411-1751346559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751339335-49213 --watchdog 3760 pb_picat HOME/instance-4489411-1751346559.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
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=49945, runsolver pid=49941

[startup+0.10006 s]*
/proc/loadavg: 4.12 4.15 4.11 5/264 49950
/proc/meminfo: memFree=128398964/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2037892 memory=29588 CPUtime=0.08 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 1905 0 0 0 7 1 0 0 20 0 1 0 50334524 2086801408 7397 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 509473 7397 1728 343 0 506537 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2037892 KiB
Current children cumulated memory: 29588 KiB

[startup+0.205351 s]*
/proc/loadavg: 4.12 4.15 4.11 5/264 49950
/proc/meminfo: memFree=128396444/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2040584 memory=31788 CPUtime=0.18 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 2644 0 0 0 16 2 0 0 20 0 1 0 50334524 2089558016 7947 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 510146 7947 1728 343 0 507210 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2040584 KiB
Current children cumulated memory: 31788 KiB

[startup+0.304629 s]*
/proc/loadavg: 4.12 4.15 4.11 5/264 49950
/proc/meminfo: memFree=128395940/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2040584 memory=32044 CPUtime=0.28 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 2689 0 0 0 25 3 0 0 20 0 1 0 50334524 2089558016 8011 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 510146 8011 1728 343 0 507210 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2040584 KiB
Current children cumulated memory: 32044 KiB

[startup+0.700146 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 49950
/proc/meminfo: memFree=128395940/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2045032 memory=34524 CPUtime=0.65 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4899 0 0 0 62 3 0 0 20 0 1 0 50334524 2094112768 8631 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 511258 8631 1728 343 0 508322 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 2045032 KiB
Current children cumulated memory: 34524 KiB

[startup+1.50012 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 49950
/proc/meminfo: memFree=128395940/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2045260 memory=34564 CPUtime=1.46 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 7046 0 0 0 142 4 0 0 20 0 1 0 50334524 2094346240 8641 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 511315 8641 1728 343 0 508379 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2045260 KiB
Current children cumulated memory: 34564 KiB

[startup+3.10504 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 49995
/proc/meminfo: memFree=128398708/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2045644 memory=34836 CPUtime=3.05 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 10661 0 0 0 301 4 0 0 20 0 1 0 50334524 2094739456 8709 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 511411 8709 1728 343 0 508475 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2045644 KiB
Current children cumulated memory: 34836 KiB

[startup+6.30012 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 49995
/proc/meminfo: memFree=127915892/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2049740 memory=37012 CPUtime=6.24 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 15459 0 0 0 618 6 0 0 20 0 1 0 50334524 2098933760 9253 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 512435 9253 1728 343 0 509499 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2049740 KiB
Current children cumulated memory: 37012 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 49995
/proc/meminfo: memFree=127413108/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2049908 memory=37636 CPUtime=12.62 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 27114 0 0 0 1254 8 0 0 20 0 1 0 50334524 2099105792 9409 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 512477 9409 1728 343 0 509541 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 2049908 KiB
Current children cumulated memory: 37636 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 49995
/proc/meminfo: memFree=127386116/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2050304 memory=39936 CPUtime=25.38 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 44073 0 0 0 2526 12 0 0 20 0 1 0 50334524 2099511296 9984 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 512576 9984 1728 343 0 509640 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2050304 KiB
Current children cumulated memory: 39936 KiB

[startup+51.1048 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 49996
/proc/meminfo: memFree=127338372/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2050432 memory=41912 CPUtime=50.91 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 78562 0 0 0 5070 21 0 0 20 0 1 0 50334524 2099642368 10478 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 512608 10478 1728 343 0 509672 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2050432 KiB
Current children cumulated memory: 41912 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 50004
/proc/meminfo: memFree=127323636/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2054868 memory=42488 CPUtime=101.95 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 147011 0 0 0 10157 38 0 0 20 0 1 0 50334524 2104184832 10622 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 513717 10622 1728 343 0 510781 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2054868 KiB
Current children cumulated memory: 42488 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 50006
/proc/meminfo: memFree=127366584/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2054868 memory=41288 CPUtime=161.77 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 227641 0 0 0 16119 58 0 0 20 0 1 0 50334524 2104184832 10322 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 513717 10322 1728 343 0 510781 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2054868 KiB
Current children cumulated memory: 41288 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 50008
/proc/meminfo: memFree=127303956/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2063600 memory=48164 CPUtime=221.59 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 319662 0 0 0 22074 85 0 0 20 0 1 0 50334524 2113126400 12041 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 515900 12041 1728 343 0 512964 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2063600 KiB
Current children cumulated memory: 48164 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 50010
/proc/meminfo: memFree=127310172/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2063568 memory=44660 CPUtime=281.4 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 410636 0 0 0 28031 109 0 0 20 0 1 0 50334524 2113093632 11165 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 515892 11165 1728 343 0 512956 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 2063568 KiB
Current children cumulated memory: 44660 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 50012
/proc/meminfo: memFree=127211728/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2064136 memory=50880 CPUtime=341.21 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 496512 0 0 0 33986 135 0 0 20 0 1 0 50334524 2113675264 12720 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 516034 12720 1728 343 0 513098 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 2064136 KiB
Current children cumulated memory: 50880 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 50015
/proc/meminfo: memFree=127334392/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2064316 memory=48860 CPUtime=401.03 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 584908 0 0 0 39943 160 0 0 20 0 1 0 50334524 2113859584 12215 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 516079 12215 1728 343 0 513143 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 2064316 KiB
Current children cumulated memory: 48860 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 50017
/proc/meminfo: memFree=127289092/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2064316 memory=48864 CPUtime=460.85 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 653854 0 0 0 45906 179 0 0 20 0 1 0 50334524 2113859584 12216 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 516079 12216 1728 343 0 513143 0

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

Current children cumulated memory: 86188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.18 4.14 5/263 50132
/proc/meminfo: memFree=127268168/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2093932 memory=88236 CPUtime=2913.81 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 3775339 0 0 0 290090 1291 0 0 20 0 1 0 50334524 2144186368 22059 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523483 22059 1728 343 0 520547 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 2093932 KiB
Current children cumulated memory: 88236 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/263 50134
/proc/meminfo: memFree=127138180/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2093932 memory=84140 CPUtime=2973.62 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 3910244 0 0 0 296021 1341 0 0 20 0 1 0 50334524 2144186368 21035 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523483 21035 1728 343 0 520547 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 2093932 KiB
Current children cumulated memory: 84140 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/263 50136
/proc/meminfo: memFree=127137224/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2110316 memory=91068 CPUtime=3033.43 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4001334 0 0 0 301967 1376 0 0 20 0 1 0 50334524 2160963584 22767 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 527579 22767 1728 343 0 524643 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 2110316 KiB
Current children cumulated memory: 91068 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/264 50145
/proc/meminfo: memFree=127221152/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2126700 memory=94380 CPUtime=3093.24 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4021761 0 0 0 307938 1386 0 0 20 0 1 0 50334524 2177740800 23595 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 531675 23595 1728 343 0 528739 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 2126700 KiB
Current children cumulated memory: 94380 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/263 50158
/proc/meminfo: memFree=127240584/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2094656 memory=69572 CPUtime=3153.05 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4044049 0 0 0 313909 1396 0 0 20 0 1 0 50334524 2144927744 17393 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523664 17393 1728 343 0 520728 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 2094656 KiB
Current children cumulated memory: 69572 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/263 50160
/proc/meminfo: memFree=127106664/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2143808 memory=100180 CPUtime=3212.88 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4061414 0 0 0 319882 1406 0 0 20 0 1 0 50334524 2195259392 25045 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 535952 25045 1728 343 0 533016 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 2143808 KiB
Current children cumulated memory: 100180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/263 50162
/proc/meminfo: memFree=126888700/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2094656 memory=84864 CPUtime=3272.69 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4078121 0 0 0 325854 1415 0 0 20 0 1 0 50334524 2144927744 21216 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523664 21216 1728 343 0 520728 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 2094656 KiB
Current children cumulated memory: 84864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/263 50164
/proc/meminfo: memFree=127161604/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2094656 memory=82816 CPUtime=3332.51 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4169460 0 0 0 331801 1450 0 0 20 0 1 0 50334524 2144927744 20704 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523664 20704 1728 343 0 520728 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 2094656 KiB
Current children cumulated memory: 82816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/262 50166
/proc/meminfo: memFree=127092036/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2094656 memory=84992 CPUtime=3392.32 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4287328 0 0 0 337737 1495 0 0 20 0 1 0 50334524 2144927744 21248 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523664 21248 1728 343 0 520728 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 2094656 KiB
Current children cumulated memory: 84992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/263 50169
/proc/meminfo: memFree=127141336/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2111040 memory=88320 CPUtime=3452.13 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4395151 0 0 0 343672 1541 0 0 20 0 1 0 50334524 2161704960 22080 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 527760 22080 1728 343 0 524824 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 2111040 KiB
Current children cumulated memory: 88320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 50171
/proc/meminfo: memFree=127107140/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2094656 memory=75904 CPUtime=3511.94 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4453565 0 0 0 349627 1567 0 0 20 0 1 0 50334524 2144927744 18976 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 523664 18976 1728 343 0 520728 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 2094656 KiB
Current children cumulated memory: 75904 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 50173
/proc/meminfo: memFree=127210828/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2143808 memory=104896 CPUtime=3571.75 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4472583 0 0 0 355599 1576 0 0 20 0 1 0 50334524 2195259392 26224 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 535952 26224 1728 343 0 533016 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 2143808 KiB
Current children cumulated memory: 104896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 50175
/proc/meminfo: memFree=127249468/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2070080 memory=67012 CPUtime=3600.07 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4478003 0 0 0 358427 1580 0 0 20 0 1 0 50334524 2119761920 16753 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 517520 16753 1728 343 0 514584 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2070080 KiB
Current children cumulated memory: 67012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.27 s, system=15.8071 s

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

[startup+3610.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 50175
/proc/meminfo: memFree=127249468/131250000 swapFree=33010684/33010684
[pid=49945] ppid=49941 vsize=2070080 memory=67012 CPUtime=3600.07 cores=4,6
/proc/49945/stat : 49945 (pb_picat) R 49941 49945 49202 0 -1 4194304 4478003 0 0 0 358427 1580 0 0 20 0 1 0 50334524 2119761920 16753 18446744073709551615 94074204966912 94074206368493 140736223615216 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94074206639920 94074208514224 94074224766976 140736223619486 140736223619562 140736223619562 140736223625164 0
/proc/49945/statm: 517520 16753 1728 343 0 514584 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2070080 KiB
Current children cumulated memory: 67012 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.08
CPU user time (s): 3584.27
CPU system time (s): 15.8071
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 2143808
Max. memory (cumulated for all children) (KiB): 125056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.27
system time used= 15.8071
maximum resident set size= 125056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4478003
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= 5008


# summary of solver processes directly reported to runsolver:
#   pid: 49945
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3584.27
#   total CPU system time (s): 15.8071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15688 second user time and 15.8813 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-01 07:09:19
IDJOB=4489411
IDBENCH=147547
IDSOLVER=3346
FILE ID=nodeC026/4489411-1751346559
RUNJOBID= nodeC026-1751339335-49213
SLURM_JOB_ID= 9594405
Free space on /tmp= 432916 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489411-1751346559/watcher-4489411-1751346559 -o /tmp/evaluation-result-4489411-1751346559/solver-4489411-1751346559 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751339335-49213 --watchdog 3760  pb_picat HOME/instance-4489411-1751346559.opb

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

MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1892305426

nodeC026 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.107
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.59
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.778
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128458928 kB
MemAvailable:   129681724 kB
Buffers:            3280 kB
Cached:          2018980 kB
SwapCached:            0 kB
Active:           413648 kB
Inactive:        1760540 kB
Active(anon):     170008 kB
Inactive(anon):        0 kB
Active(file):     243640 kB
Inactive(file):  1760540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11056 kB
Writeback:             0 kB
AnonPages:        155168 kB
Mapped:           107644 kB
Shmem:             18080 kB
KReclaimable:     115712 kB
Slab:             204500 kB
SReclaimable:     115712 kB
SUnreclaim:        88788 kB
KernelStack:        4256 kB
PageTables:         3268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2460500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432892 MiB
End job on nodeC026 at 2025-07-01 08:09:30