Trace number 4528494

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.08 3611.3

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
MD5SUM72ec871846abb3454e8801b7da208130
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 benchmark-23764
Best CPU time to get the best result obtained on this benchmark1549.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4356
Total number of constraints100680
Number of constraints which are clauses100672
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint4355
Number of terms in the objective function 4313
Biggest coefficient in the objective function 428
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 469022
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1562976
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 10650988
Number of bits of the biggest sum of numbers24
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-4528494-1752241968.opb (Picat 3.9b11, 7/10/2025)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528494-1752241968/watcher-4528494-1752241968 -o /tmp/evaluation-result-4528494-1752241968/solver-4528494-1752241968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122269 --watchdog 3760 pb_picat HOME/instance-4528494-1752241968.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=122646, runsolver pid=122643

[startup+0.100076 s]*
/proc/loadavg: 4.32 4.57 4.31 4/248 122647
/proc/meminfo: memFree=123670920/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2027148 memory=28456 CPUtime=0.09 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 1118 0 0 0 8 1 0 0 20 0 1 0 139876549 2075799552 7114 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 506787 7114 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28456 KiB

[startup+0.213695 s]*
/proc/loadavg: 4.32 4.57 4.31 5/248 122651
/proc/meminfo: memFree=123654600/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2027148 memory=34600 CPUtime=0.21 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 1121 0 0 0 20 1 0 0 20 0 1 0 139876549 2075799552 8650 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 506787 8650 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34600 KiB

[startup+0.313669 s]*
/proc/loadavg: 4.32 4.57 4.31 4/249 122661
/proc/meminfo: memFree=123642408/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2027148 memory=40744 CPUtime=0.3 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 1124 0 0 0 29 1 0 0 20 0 1 0 139876549 2075799552 10186 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 506787 10186 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40744 KiB

[startup+0.700293 s]
/proc/loadavg: 4.32 4.57 4.31 4/248 122670
/proc/meminfo: memFree=123627888/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2027148 memory=65320 CPUtime=0.68 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 1136 0 0 0 66 2 0 0 20 0 1 0 139876549 2075799552 16330 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 506787 16330 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65320 KiB

[startup+1.50031 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=123541776/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2034964 memory=145788 CPUtime=1.48 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 1324 0 0 0 143 5 0 0 20 0 1 0 139876549 2083803136 36447 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 508741 36447 1568 343 0 505805 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 145788 KiB

[startup+3.11263 s]
/proc/loadavg: 4.32 4.57 4.31 5/250 122692
/proc/meminfo: memFree=122882040/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2223636 memory=653124 CPUtime=3.09 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 5406 0 0 0 286 23 0 0 20 0 1 0 139876549 2277003264 163281 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 555909 163281 1696 343 0 552973 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2223636 KiB
Current children cumulated memory: 653124 KiB

[startup+6.30023 s]
/proc/loadavg: 4.30 4.56 4.31 5/250 122692
/proc/meminfo: memFree=122641944/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2366804 memory=770756 CPUtime=6.26 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 13726 0 0 0 536 90 0 0 20 0 1 0 139876549 2423607296 192689 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 591701 192689 1696 343 0 588765 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2366804 KiB
Current children cumulated memory: 770756 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.55 4.31 5/250 122693
/proc/meminfo: memFree=122429280/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2497876 memory=827384 CPUtime=12.65 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 17334 0 0 0 1152 113 0 0 20 0 1 0 139876549 2557825024 206846 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 624469 206846 1696 343 0 621533 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2497876 KiB
Current children cumulated memory: 827384 KiB

[startup+25.5003 s]
/proc/loadavg: 4.28 4.54 4.31 5/251 122694
/proc/meminfo: memFree=120938808/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2497876 memory=827384 CPUtime=25.42 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 17348 0 0 0 2429 113 0 0 20 0 1 0 139876549 2557825024 206846 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 624469 206846 1696 343 0 621533 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2497876 KiB
Current children cumulated memory: 827384 KiB

[startup+51.1131 s]
/proc/loadavg: 4.18 4.50 4.30 5/251 122694
/proc/meminfo: memFree=121193892/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2497876 memory=827384 CPUtime=50.98 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 17389 0 0 0 4984 114 0 0 20 0 1 0 139876549 2557825024 206846 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 624469 206846 1696 343 0 621533 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2497876 KiB
Current children cumulated memory: 827384 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.43 4.28 5/251 122698
/proc/meminfo: memFree=121075728/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2497876 memory=830420 CPUtime=102.01 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 17684 0 0 0 10085 116 0 0 20 0 1 0 139876549 2557825024 207605 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 624469 207605 1696 343 0 621533 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2497876 KiB
Current children cumulated memory: 830420 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=122646] ppid=122643 vsize=2497876 memory=835680 CPUtime=161.84 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 18031 0 0 0 16065 119 0 0 20 0 1 0 139876549 2557825024 208920 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 624469 208920 1696 343 0 621533 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2497876 KiB
Current children cumulated memory: 835680 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.32 4.26 5/251 122707
/proc/meminfo: memFree=121334252/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2511812 memory=893180 CPUtime=221.66 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 21189 0 0 0 22044 122 0 0 20 0 1 0 139876549 2572095488 223295 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 627953 223295 1696 343 0 625017 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2511812 KiB
Current children cumulated memory: 893180 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.29 4.25 5/251 122709
/proc/meminfo: memFree=121092216/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2536212 memory=922912 CPUtime=281.47 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 36164 0 0 0 28013 134 0 0 20 0 1 0 139876549 2597081088 230728 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 634053 230728 1696 343 0 631117 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2536212 KiB
Current children cumulated memory: 922912 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=122646] ppid=122643 vsize=2536212 memory=931104 CPUtime=341.27 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 40345 0 0 0 33987 140 0 0 20 0 1 0 139876549 2597081088 232776 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 634053 232776 1696 343 0 631117 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 2536212 KiB
Current children cumulated memory: 931104 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.24 4.24 5/250 122713
/proc/meminfo: memFree=120928584/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2667284 memory=935204 CPUtime=401.06 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 44098 0 0 0 39961 145 0 0 20 0 1 0 139876549 2731298816 233801 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 666821 233801 1696 343 0 663885 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 2667284 KiB
Current children cumulated memory: 935204 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.21 4.22 5/250 122715
/proc/meminfo: memFree=121098868/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2667284 memory=932388 CPUtime=460.86 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 45829 0 0 0 45938 148 0 0 20 0 1 0 139876549 2731298816 233097 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 666821 233097 1696 343 0 663885 0

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

Current children cumulated memory: 988552 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 122847
/proc/meminfo: memFree=120868904/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=994696 CPUtime=2912.95 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 103185 0 0 0 291063 232 0 0 20 0 1 0 139876549 2738216960 248674 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 248674 1696 343 0 665574 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 994696 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.14 5/250 122849
/proc/meminfo: memFree=120864744/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1000840 CPUtime=2972.78 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 103197 0 0 0 297046 232 0 0 20 0 1 0 139876549 2738216960 250210 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 250210 1696 343 0 665574 0
Current children cumulated CPU time: 2972.78 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1000840 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=122646] ppid=122643 vsize=2674040 memory=990600 CPUtime=3032.62 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 105273 0 0 0 303028 234 0 0 20 0 1 0 139876549 2738216960 247650 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 247650 1696 343 0 665574 0
Current children cumulated CPU time: 3032.62 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 990600 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/251 122857
/proc/meminfo: memFree=120880028/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1000840 CPUtime=3092.47 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 105288 0 0 0 309012 235 0 0 20 0 1 0 139876549 2738216960 250210 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 250210 1696 343 0 665574 0
Current children cumulated CPU time: 3092.47 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1000840 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=122646] ppid=122643 vsize=2674040 memory=996744 CPUtime=3152.3 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 107210 0 0 0 314992 238 0 0 20 0 1 0 139876549 2738216960 249186 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 249186 1696 343 0 665574 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 996744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.78 4.34 4.20 5/252 122867
/proc/meminfo: memFree=120937400/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2542968 memory=927112 CPUtime=3212.15 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 107611 0 0 0 320976 239 0 0 20 0 1 0 139876549 2603999232 231778 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 635742 231778 1696 343 0 632806 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 2542968 KiB
Current children cumulated memory: 927112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.29 4.19 5/252 122869
/proc/meminfo: memFree=120860760/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=998792 CPUtime=3271.98 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 109553 0 0 0 326956 242 0 0 20 0 1 0 139876549 2738216960 249698 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 249698 1696 343 0 665574 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 998792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.27 4.18 5/252 122872
/proc/meminfo: memFree=120987924/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1000840 CPUtime=3331.82 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 109554 0 0 0 332940 242 0 0 20 0 1 0 139876549 2738216960 250210 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 250210 1696 343 0 665574 0
Current children cumulated CPU time: 3331.82 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1000840 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.39 4.23 5/252 122874
/proc/meminfo: memFree=120965900/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1004936 CPUtime=3391.65 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 109556 0 0 0 338923 242 0 0 20 0 1 0 139876549 2738216960 251234 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 251234 1696 343 0 665574 0
Current children cumulated CPU time: 3391.65 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1004936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.38 4.24 5/252 122876
/proc/meminfo: memFree=120737408/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1006984 CPUtime=3451.49 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 112075 0 0 0 344903 246 0 0 20 0 1 0 139876549 2738216960 251746 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 251746 1696 343 0 665574 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1006984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.32 4.22 5/250 122878
/proc/meminfo: memFree=120829936/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1013128 CPUtime=3511.32 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 112079 0 0 0 350886 246 0 0 20 0 1 0 139876549 2738216960 253282 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 253282 1696 343 0 665574 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1013128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.28 4.21 5/250 122880
/proc/meminfo: memFree=120848808/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=1015176 CPUtime=3571.15 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 112080 0 0 0 356869 246 0 0 20 0 1 0 139876549 2738216960 253794 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 253794 1696 343 0 665574 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 1015176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.13 4.26 4.21 3/240 122920
/proc/meminfo: memFree=122644744/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=998792 CPUtime=3600.07 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 114005 0 0 0 359759 248 0 0 20 0 1 0 139876549 2738216960 249698 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 249698 1696 343 0 665574 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 998792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.6 s, system=2.48879 s

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

[startup+3611.3 s]
/proc/loadavg: 4.13 4.26 4.21 3/240 122920
/proc/meminfo: memFree=122644744/131382116 swapFree=33010684/33010684
[pid=122646] ppid=122643 vsize=2674040 memory=998792 CPUtime=3600.07 cores=0,2
/proc/122646/stat : 122646 (pb_picat) R 122643 122646 120784 0 -1 4194304 114005 0 0 0 359759 248 0 0 20 0 1 0 139876549 2738216960 249698 18446744073709551615 94134003482624 94134004884205 140727382611760 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94134005155632 94134007029872 94134013231104 140727382616476 140727382616552 140727382616552 140727382622156 0
/proc/122646/statm: 668510 249698 1696 343 0 665574 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2674040 KiB
Current children cumulated memory: 998792 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.3
CPU time (s): 3600.08
CPU user time (s): 3597.6
CPU system time (s): 2.48879
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 2674040
Max. memory (cumulated for all children) (KiB): 1017224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.6
system time used= 2.48879
maximum resident set size= 1017224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114005
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= 105
involuntary context switches= 7840


# summary of solver processes directly reported to runsolver:
#   pid: 122646
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.6
#   total CPU system time (s): 2.48879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4085 second user time and 34.4835 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-11 15:52:48
IDJOB=4528494
IDBENCH=155347
IDSOLVER=3385
FILE ID=nodeC011/4528494-1752241968
RUNJOBID= nodeC011-1752238355-122269
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-opm2-z9-s14.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528494-1752241968/watcher-4528494-1752241968 -o /tmp/evaluation-result-4528494-1752241968/solver-4528494-1752241968 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752238355-122269 --watchdog 3760  pb_picat HOME/instance-4528494-1752241968.opb

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

MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
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		: 1197.622
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		: 1197.059
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.290
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		: 1197.284
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		: 3591.878
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.648
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.329
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:        123594820 kB
MemAvailable:   129763932 kB
Buffers:            3276 kB
Cached:          6939356 kB
SwapCached:            0 kB
Active:           673592 kB
Inactive:        6493888 kB
Active(anon):     240704 kB
Inactive(anon):     2104 kB
Active(file):     432888 kB
Inactive(file):  6491784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17532 kB
Writeback:            24 kB
AnonPages:        227488 kB
Mapped:           110336 kB
Shmem:             17960 kB
KReclaimable:     167752 kB
Slab:             257684 kB
SReclaimable:     167752 kB
SUnreclaim:        89932 kB
KernelStack:        4000 kB
PageTables:         3336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2601212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 430332 MiB
End job on nodeC011 at 2025-07-11 16:53:00