Trace number 4528557

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.03 3610.01

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
MD5SUMfab5e62eb964e75ef5bb4e0d05cd3bf1
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 benchmark3938224
Best CPU time to get the best result obtained on this benchmark1573.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 116930169
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14114941895
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 116930169
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14114941895
Number of bits of the biggest sum of numbers34
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-4528557-1752242408.opb (Picat 3.9b11, 7/10/2025)
118.16/118.59	o 269106594
1000.53/1003.39	o 88930996
2540.91/2548.19	o 29643347

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528557-1752242408/watcher-4528557-1752242408 -o /tmp/evaluation-result-4528557-1752242408/solver-4528557-1752242408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752242408-114531 --watchdog 3760 pb_picat HOME/instance-4528557-1752242408.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
Current StackSize limit: 8192 KiB

solver pid=114566, runsolver pid=114563

[startup+0.100061 s]*
/proc/loadavg: 1.94 3.50 3.82 3/259 114573
/proc/meminfo: memFree=127230224/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2027148 memory=42648 CPUtime=0.08 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 1575 0 0 0 8 0 0 0 20 0 1 0 139863383 2075799552 10662 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 506787 10662 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42648 KiB

[startup+0.205672 s]*
/proc/loadavg: 1.94 3.50 3.82 5/265 114587
/proc/meminfo: memFree=127164496/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2027148 memory=63324 CPUtime=0.19 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 1628 0 0 0 18 1 0 0 20 0 1 0 139863383 2075799552 15831 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 506787 15831 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 63324 KiB

[startup+0.305735 s]*
/proc/loadavg: 1.94 3.50 3.82 5/265 114587
/proc/meminfo: memFree=127103060/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2027148 memory=79708 CPUtime=0.28 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 1636 0 0 0 27 1 0 0 20 0 1 0 139863383 2075799552 19927 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 506787 19927 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 79708 KiB

[startup+0.700172 s]
/proc/loadavg: 1.94 3.50 3.82 5/265 114587
/proc/meminfo: memFree=126904564/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2034964 memory=147444 CPUtime=0.67 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 1707 0 0 0 65 2 0 0 20 0 1 0 139863383 2083803136 36861 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 508741 36861 1600 343 0 505805 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 147444 KiB

[startup+1.50016 s]
/proc/loadavg: 2.11 3.51 3.82 5/265 114587
/proc/meminfo: memFree=126608204/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2047220 memory=245492 CPUtime=1.47 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 4766 0 0 0 142 5 0 0 20 0 1 0 139863383 2096353280 61373 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 511805 61373 1696 343 0 508869 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2047220 KiB
Current children cumulated memory: 245492 KiB

[startup+3.10554 s]
/proc/loadavg: 2.11 3.51 3.82 5/265 114587
/proc/meminfo: memFree=125837028/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2112884 memory=287892 CPUtime=3.08 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 11149 0 0 0 295 13 0 0 20 0 1 0 139863383 2163593216 71973 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 528221 71973 1696 343 0 525285 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2112884 KiB
Current children cumulated memory: 287892 KiB

[startup+6.30017 s]
/proc/loadavg: 2.26 3.52 3.82 5/265 114587
/proc/meminfo: memFree=124876624/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2204976 memory=362104 CPUtime=6.26 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 20793 0 0 0 598 28 0 0 20 0 1 0 139863383 2257895424 90526 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 551244 90526 1728 343 0 548308 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2204976 KiB
Current children cumulated memory: 362104 KiB

[startup+12.7002 s]
/proc/loadavg: 2.40 3.53 3.83 5/264 114587
/proc/meminfo: memFree=122576160/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2269948 memory=386800 CPUtime=12.64 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 24096 0 0 0 1234 30 0 0 20 0 1 0 139863383 2324426752 96700 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 567487 96700 1728 343 0 564551 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2269948 KiB
Current children cumulated memory: 386800 KiB

[startup+25.5002 s]
/proc/loadavg: 2.64 3.54 3.83 5/264 114587
/proc/meminfo: memFree=121020160/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2273956 memory=388984 CPUtime=25.41 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 26359 0 0 0 2509 32 0 0 20 0 1 0 139863383 2328530944 97246 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568489 97246 1728 343 0 565553 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2273956 KiB
Current children cumulated memory: 388984 KiB

[startup+51.1057 s]
/proc/loadavg: 3.30 3.62 3.84 5/264 114588
/proc/meminfo: memFree=120976012/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2208420 memory=380792 CPUtime=50.95 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 27471 0 0 0 5062 33 0 0 20 0 1 0 139863383 2261422080 95198 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 552105 95198 1728 343 0 549169 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2208420 KiB
Current children cumulated memory: 380792 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 3.70 3.86 5/265 114602
/proc/meminfo: memFree=120483264/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2276832 memory=401988 CPUtime=102 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 33737 0 0 0 10162 38 0 0 20 0 1 0 139863383 2331475968 100497 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 569208 100497 1728 343 0 566272 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2276832 KiB
Current children cumulated memory: 401988 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.75 3.87 5/265 114604
/proc/meminfo: memFree=120560276/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2276164 memory=397332 CPUtime=161.83 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 52346 0 0 0 16111 72 0 0 20 0 1 0 139863383 2330791936 99333 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 569041 99333 1728 343 0 566105 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2276164 KiB
Current children cumulated memory: 397332 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.83 3.89 5/264 114606
/proc/meminfo: memFree=120530472/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2276164 memory=397332 CPUtime=221.67 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 57402 0 0 0 22090 77 0 0 20 0 1 0 139863383 2330791936 99333 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 569041 99333 1728 343 0 566105 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2276164 KiB
Current children cumulated memory: 397332 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 3.94 3.93 5/263 114607
/proc/meminfo: memFree=120481020/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2276164 memory=407572 CPUtime=281.5 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 62453 0 0 0 28068 82 0 0 20 0 1 0 139863383 2330791936 101893 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 569041 101893 1728 343 0 566105 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2276164 KiB
Current children cumulated memory: 407572 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.99 3.95 5/263 114609
/proc/meminfo: memFree=120580164/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2276164 memory=413716 CPUtime=341.34 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 67501 0 0 0 34047 87 0 0 20 0 1 0 139863383 2330791936 103429 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 569041 103429 1728 343 0 566105 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2276164 KiB
Current children cumulated memory: 413716 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.00 3.96 5/263 114614
/proc/meminfo: memFree=120541844/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2341700 memory=423956 CPUtime=401.17 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 69693 0 0 0 40029 88 0 0 20 0 1 0 139863383 2397900800 105989 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 585425 105989 1728 343 0 582489 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2341700 KiB
Current children cumulated memory: 423956 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.03 3.97 5/264 114617
/proc/meminfo: memFree=120527340/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2341700 memory=426004 CPUtime=461.01 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 74758 0 0 0 46008 93 0 0 20 0 1 0 139863383 2397900800 106501 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 585425 106501 1728 343 0 582489 0
Current children cumulated CPU time: 461.01 s

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

Current children cumulated memory: 407904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 114783
/proc/meminfo: memFree=118346400/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2340492 memory=420192 CPUtime=2854.26 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 212628 0 0 0 285178 248 0 0 20 0 1 0 139863383 2396663808 105048 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 585123 105048 1728 343 0 582187 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 2340492 KiB
Current children cumulated memory: 420192 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 114791
/proc/meminfo: memFree=118064056/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2340492 memory=422240 CPUtime=2914.1 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 212629 0 0 0 291162 248 0 0 20 0 1 0 139863383 2396663808 105560 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 585123 105560 1728 343 0 582187 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 2340492 KiB
Current children cumulated memory: 422240 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 114794
/proc/meminfo: memFree=118243104/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=430432 CPUtime=2973.95 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 217183 0 0 0 297142 253 0 0 20 0 1 0 139863383 2329554944 107608 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 107608 1728 343 0 565803 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 430432 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 114796
/proc/meminfo: memFree=118067932/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=432864 CPUtime=3033.8 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 218968 0 0 0 303125 255 0 0 20 0 1 0 139863383 2329554944 108216 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 108216 1728 343 0 565803 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 432864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 114798
/proc/meminfo: memFree=118318308/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2340492 memory=438624 CPUtime=3093.64 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 219374 0 0 0 309109 255 0 0 20 0 1 0 139863383 2396663808 109656 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 585123 109656 1728 343 0 582187 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 2340492 KiB
Current children cumulated memory: 438624 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 114800
/proc/meminfo: memFree=117978888/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=440672 CPUtime=3153.48 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 222727 0 0 0 315090 258 0 0 20 0 1 0 139863383 2329554944 110168 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 110168 1728 343 0 565803 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 440672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 114802
/proc/meminfo: memFree=117745372/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=455008 CPUtime=3213.33 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 225434 0 0 0 321074 259 0 0 20 0 1 0 139863383 2329554944 113752 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 113752 1728 343 0 565803 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 455008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 114805
/proc/meminfo: memFree=118356792/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=457056 CPUtime=3273.17 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 225435 0 0 0 327058 259 0 0 20 0 1 0 139863383 2329554944 114264 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 114264 1728 343 0 565803 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 457056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 114807
/proc/meminfo: memFree=117916496/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2274956 memory=457696 CPUtime=3333.01 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 225613 0 0 0 333042 259 0 0 20 0 1 0 139863383 2329554944 114424 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 568739 114424 1728 343 0 565803 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 2274956 KiB
Current children cumulated memory: 457696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 114812
/proc/meminfo: memFree=118180424/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2346128 memory=470884 CPUtime=3392.85 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 231558 0 0 0 339024 261 0 0 20 0 1 0 139863383 2402435072 117721 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 586532 117721 1728 343 0 583596 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 2346128 KiB
Current children cumulated memory: 470884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 114814
/proc/meminfo: memFree=118207176/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2269404 memory=396332 CPUtime=3452.7 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 236142 0 0 0 345006 264 0 0 20 0 1 0 139863383 2323869696 99083 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 567351 99083 1728 343 0 564415 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 2269404 KiB
Current children cumulated memory: 396332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 114820
/proc/meminfo: memFree=118175616/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2269404 memory=419328 CPUtime=3512.54 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 238486 0 0 0 350987 267 0 0 20 0 1 0 139863383 2323869696 104832 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 567351 104832 1728 343 0 564415 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 2269404 KiB
Current children cumulated memory: 419328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 114822
/proc/meminfo: memFree=117864928/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2269404 memory=419244 CPUtime=3572.38 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 240118 0 0 0 356970 268 0 0 20 0 1 0 139863383 2323869696 104811 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 567351 104811 1728 343 0 564415 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 2269404 KiB
Current children cumulated memory: 419244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 114824
/proc/meminfo: memFree=117856764/131250000 swapFree=33010684/33010684
[pid=114566] ppid=114563 vsize=2269404 memory=420140 CPUtime=3600.01 cores=5,7
/proc/114566/stat : 114566 (pb_picat) R 114563 114566 114518 0 -1 4194304 240355 0 0 0 359733 268 0 0 20 0 1 0 139863383 2323869696 105035 18446744073709551615 94197828644864 94197830046445 140734502960976 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94197830317872 94197832192112 94197854769152 140734502967708 140734502967784 140734502967784 140734502973388 0
/proc/114566/statm: 567351 105035 1728 343 0 564415 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2269404 KiB
Current children cumulated memory: 420140 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.34 s, system=2.69084 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.01
CPU time (s): 3600.03
CPU user time (s): 3597.34
CPU system time (s): 2.69084
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 2348220
Max. memory (cumulated for all children) (KiB): 505412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.34
system time used= 2.69084
maximum resident set size= 505412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240355
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= 92
involuntary context switches= 2587


# summary of solver processes directly reported to runsolver:
#   pid: 114566
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3597.34
#   total CPU system time (s): 2.69084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1098 second user time and 16.4368 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-11 16:00:09
IDJOB=4528557
IDBENCH=155664
IDSOLVER=3385
FILE ID=nodeC028/4528557-1752242408
RUNJOBID= nodeC028-1752242408-114531
SLURM_JOB_ID= 9682551
Free space on /tmp= 431172 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528557-1752242408/watcher-4528557-1752242408 -o /tmp/evaluation-result-4528557-1752242408/solver-4528557-1752242408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752242408-114531 --watchdog 3760  pb_picat HOME/instance-4528557-1752242408.opb

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

MD5SUM BENCH= fab5e62eb964e75ef5bb4e0d05cd3bf1
RANDOM SEED=1599396849

nodeC028 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		: 3601.259
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	: 7000.16
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		: 3560.358
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	: 7000.16
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		: 3600.075
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	: 7000.16
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		: 3600.076
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	: 7000.16
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.082
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	: 7000.16
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		: 3600.074
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	: 7000.16
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		: 3600.079
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	: 7000.16
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.040
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127316640 kB
MemAvailable:   129732508 kB
Buffers:            3280 kB
Cached:          3213928 kB
SwapCached:            0 kB
Active:           398720 kB
Inactive:        2901000 kB
Active(anon):     100580 kB
Inactive(anon):        0 kB
Active(file):     298140 kB
Inactive(file):  2901000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39204 kB
Writeback:             0 kB
AnonPages:         85660 kB
Mapped:           105808 kB
Shmem:             18068 kB
KReclaimable:     111932 kB
Slab:             204884 kB
SReclaimable:     111932 kB
SUnreclaim:        92952 kB
KernelStack:        4040 kB
PageTables:         2732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     353080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431100 MiB
End job on nodeC028 at 2025-07-11 17:00:19