Trace number 4528658

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.01 3610.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
MD5SUMc2769aec5501f1fd7f55f6e1394c15e3
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 benchmark1
Best CPU time to get the best result obtained on this benchmark1.76096
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1604
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 401
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 401
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 401
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

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.00	c solving HOME/instance-4528658-1752248480.opb (Picat 3.9b11, 7/10/2025)
0.20/0.22	o 97
0.59/0.68	o 31
0.88/0.92	o 9
1.18/1.23	o 1

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528658-1752248480/watcher-4528658-1752248480 -o /tmp/evaluation-result-4528658-1752248480/solver-4528658-1752248480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752244868-113170 --watchdog 3760 pb_picat HOME/instance-4528658-1752248480.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100059 s]*
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108928576/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2037504 memory=21916 CPUtime=0.09 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 1423 0 0 0 9 0 0 0 20 0 1 0 140526644 2086404096 5479 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 509376 5479 1728 343 0 506440 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2037504 KiB
Current children cumulated memory: 21916 KiB

[startup+0.204657 s]*
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108928576/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2037504 memory=22684 CPUtime=0.2 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 1616 0 0 0 20 0 0 0 20 0 1 0 140526644 2086404096 5671 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 509376 5671 1728 343 0 506440 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2037504 KiB
Current children cumulated memory: 22684 KiB

[startup+0.304488 s]*
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108923724/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2038716 memory=25332 CPUtime=0.29 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 2356 0 0 0 29 0 0 0 20 0 1 0 140526644 2087645184 6333 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 509679 6333 1760 343 0 506743 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2038716 KiB
Current children cumulated memory: 25332 KiB

[startup+0.700107 s]
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108922892/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2037324 memory=24524 CPUtime=0.68 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 3633 0 0 0 68 0 0 0 20 0 1 0 140526644 2086219776 6131 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 509331 6131 1760 343 0 506395 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2037324 KiB
Current children cumulated memory: 24524 KiB

[startup+1.50011 s]
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108920876/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2040688 memory=28348 CPUtime=1.48 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5963 0 0 0 147 1 0 0 20 0 1 0 140526644 2089664512 7087 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 510172 7087 1760 343 0 507236 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2040688 KiB
Current children cumulated memory: 28348 KiB

[startup+3.10476 s]
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108911184/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2044656 memory=32320 CPUtime=3.08 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 6445 0 0 0 307 1 0 0 20 0 1 0 140526644 2093727744 8080 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 511164 8080 1760 343 0 508228 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044656 KiB
Current children cumulated memory: 32320 KiB

[startup+6.3001 s]
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108890300/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2052852 memory=38876 CPUtime=6.27 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 13596 0 0 0 624 3 0 0 20 0 1 0 140526644 2102120448 9719 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 513213 9719 1760 343 0 510277 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2052852 KiB
Current children cumulated memory: 38876 KiB

[startup+12.7001 s]
/proc/loadavg: 4.00 4.06 4.01 5/266 113605
/proc/meminfo: memFree=108911420/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2061044 memory=42976 CPUtime=12.66 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 26799 0 0 0 1260 6 0 0 20 0 1 0 140526644 2110509056 10744 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515261 10744 1760 343 0 512325 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2061044 KiB
Current children cumulated memory: 42976 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.07 4.01 5/266 113651
/proc/meminfo: memFree=109573320/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2046708 memory=33860 CPUtime=25.42 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 53636 0 0 0 2529 13 0 0 20 0 1 0 140526644 2095828992 8465 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 511677 8465 1760 343 0 508741 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2046708 KiB
Current children cumulated memory: 33860 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 4.07 4.01 5/266 113651
/proc/meminfo: memFree=109549172/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2061044 memory=42980 CPUtime=50.96 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 99254 0 0 0 5071 25 0 0 20 0 1 0 140526644 2110509056 10745 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515261 10745 1760 343 0 512325 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2061044 KiB
Current children cumulated memory: 42980 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.07 4.01 5/267 113654
/proc/meminfo: memFree=109539280/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2061044 memory=47076 CPUtime=102.01 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 190253 0 0 0 10152 49 0 0 20 0 1 0 140526644 2110509056 11769 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515261 11769 1760 343 0 512325 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2061044 KiB
Current children cumulated memory: 47076 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.16 4.04 5/266 113658
/proc/meminfo: memFree=109539188/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2061044 memory=45032 CPUtime=161.85 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 271853 0 0 0 16108 77 0 0 20 0 1 0 140526644 2110509056 11258 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515261 11258 1760 343 0 512325 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2061044 KiB
Current children cumulated memory: 45032 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/266 113660
/proc/meminfo: memFree=109529124/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2061044 memory=42984 CPUtime=221.69 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 343933 0 0 0 22067 102 0 0 20 0 1 0 140526644 2110509056 10746 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515261 10746 1760 343 0 512325 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2061044 KiB
Current children cumulated memory: 42984 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.15 4.05 5/266 113664
/proc/meminfo: memFree=109527884/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2058184 memory=42816 CPUtime=281.52 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 430559 0 0 0 28021 131 0 0 20 0 1 0 140526644 2107580416 10704 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 514546 10704 1760 343 0 511610 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2058184 KiB
Current children cumulated memory: 42816 KiB

[startup+342.3 s]
/proc/loadavg: 4.46 4.23 4.08 5/266 113672
/proc/meminfo: memFree=109511420/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2074568 memory=53028 CPUtime=341.36 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 609190 0 0 0 33959 177 0 0 20 0 1 0 140526644 2124357632 13257 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 518642 13257 1760 343 0 515706 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2074568 KiB
Current children cumulated memory: 53028 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.20 4.08 5/265 113674
/proc/meminfo: memFree=109519120/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2056268 memory=41896 CPUtime=401.2 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 793087 0 0 0 39896 224 0 0 20 0 1 0 140526644 2105618432 10474 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 514067 10474 1760 343 0 511131 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2056268 KiB
Current children cumulated memory: 41896 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.19 4.09 5/265 113676
/proc/meminfo: memFree=109514148/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2075800 memory=54212 CPUtime=461.03 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 896192 0 0 0 45843 260 0 0 20 0 1 0 140526644 2125619200 13553 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 518950 13553 1760 343 0 516014 0

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

Current children cumulated memory: 106200 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 113813
/proc/meminfo: memFree=109389292/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116088 memory=100768 CPUtime=2913.52 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 4781665 0 0 0 289729 1623 0 0 20 0 1 0 140526644 2166874112 25192 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529022 25192 1760 343 0 526086 0
Current children cumulated CPU time: 2913.52 s
Current children cumulated vsize: 2116088 KiB
Current children cumulated memory: 100768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 113815
/proc/meminfo: memFree=109416092/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2189816 memory=122272 CPUtime=2973.36 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 4910151 0 0 0 295668 1668 0 0 20 0 1 0 140526644 2242371584 30568 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 547454 30568 1760 343 0 544518 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 2189816 KiB
Current children cumulated memory: 122272 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 113817
/proc/meminfo: memFree=109417056/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2079360 memory=66752 CPUtime=3033.19 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 4941859 0 0 0 301627 1692 0 0 20 0 1 0 140526644 2129264640 16688 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 519840 16688 1760 343 0 516904 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 2079360 KiB
Current children cumulated memory: 66752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 113819
/proc/meminfo: memFree=109416644/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2189952 memory=128540 CPUtime=3093.02 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 4967246 0 0 0 307595 1707 0 0 20 0 1 0 140526644 2242510848 32135 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 547488 32135 1760 343 0 544552 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 2189952 KiB
Current children cumulated memory: 128540 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 113822
/proc/meminfo: memFree=109392632/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116224 memory=108848 CPUtime=3152.85 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 4993652 0 0 0 313561 1724 0 0 20 0 1 0 140526644 2167013376 27212 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529056 27212 1760 343 0 526120 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 2116224 KiB
Current children cumulated memory: 108848 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 113824
/proc/meminfo: memFree=109494456/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2062976 memory=50604 CPUtime=3212.69 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5085064 0 0 0 319511 1758 0 0 20 0 1 0 140526644 2112487424 12651 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 515744 12651 1760 343 0 512808 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 2062976 KiB
Current children cumulated memory: 50604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 113829
/proc/meminfo: memFree=109381204/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2181760 memory=126588 CPUtime=3272.51 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5255727 0 0 0 325436 1815 0 0 20 0 1 0 140526644 2234122240 31647 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 545440 31647 1760 343 0 542504 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 2181760 KiB
Current children cumulated memory: 126588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 113836
/proc/meminfo: memFree=109372632/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116224 memory=95884 CPUtime=3332.35 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5307574 0 0 0 331396 1839 0 0 20 0 1 0 140526644 2167013376 23971 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529056 23971 1760 343 0 526120 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 2116224 KiB
Current children cumulated memory: 95884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 113841
/proc/meminfo: memFree=109423536/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116224 memory=87700 CPUtime=3392.18 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5334923 0 0 0 337363 1855 0 0 20 0 1 0 140526644 2167013376 21925 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529056 21925 1760 343 0 526120 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 2116224 KiB
Current children cumulated memory: 87700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/267 113844
/proc/meminfo: memFree=109360708/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2181904 memory=121184 CPUtime=3452.02 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5359368 0 0 0 343330 1872 0 0 20 0 1 0 140526644 2234269696 30296 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 545476 30296 1760 343 0 542540 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 2181904 KiB
Current children cumulated memory: 121184 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 113846
/proc/meminfo: memFree=109465432/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116368 memory=102328 CPUtime=3511.85 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5430670 0 0 0 349284 1901 0 0 20 0 1 0 140526644 2167160832 25582 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529092 25582 1760 343 0 526156 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 2116368 KiB
Current children cumulated memory: 102328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 113848
/proc/meminfo: memFree=109465300/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2177808 memory=111936 CPUtime=3571.68 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5567330 0 0 0 355221 1947 0 0 20 0 1 0 140526644 2230075392 27984 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 544452 27984 1760 343 0 541516 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 2177808 KiB
Current children cumulated memory: 111936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.13 4.10 4.09 4/262 113856
/proc/meminfo: memFree=109402896/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116368 memory=88412 CPUtime=3600 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5606231 0 0 0 358042 1958 0 0 20 0 1 0 140526644 2167160832 22103 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529092 22103 1760 343 0 526156 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2116368 KiB
Current children cumulated memory: 88412 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.42 s, system=19.5896 s

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

[startup+3610.7 s]
/proc/loadavg: 4.13 4.10 4.09 4/262 113856
/proc/meminfo: memFree=109402896/131249996 swapFree=33010160/33010684
[pid=113604] ppid=113601 vsize=2116368 memory=88412 CPUtime=3600 cores=5,7
/proc/113604/stat : 113604 (pb_picat) R 113601 113604 113157 0 -1 4194304 5606231 0 0 0 358042 1958 0 0 20 0 1 0 140526644 2167160832 22103 18446744073709551615 94546746966016 94546748367597 140725902119200 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94546748639024 94546750513264 94546766344192 140725902121372 140725902121448 140725902121448 140725902127052 0
/proc/113604/statm: 529092 22103 1760 343 0 526156 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2116368 KiB
Current children cumulated memory: 88412 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.7
CPU time (s): 3600.01
CPU user time (s): 3580.42
CPU system time (s): 19.5896
CPU usage (%): 99.7039
Max. virtual memory (cumulated for all children) (KiB): 2321024
Max. memory (cumulated for all children) (KiB): 253460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.42
system time used= 19.5896
maximum resident set size= 253460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5606231
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= 74
involuntary context switches= 21808


# summary of solver processes directly reported to runsolver:
#   pid: 113604
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3580.42
#   total CPU system time (s): 19.5896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44135 second user time and 15.0117 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-11 17:41:20
IDJOB=4528658
IDBENCH=177066
IDSOLVER=3385
FILE ID=nodeC032/4528658-1752248480
RUNJOBID= nodeC032-1752244868-113170
SLURM_JOB_ID= 9682561
Free space on /tmp= 429020 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528658-1752248480/watcher-4528658-1752248480 -o /tmp/evaluation-result-4528658-1752248480/solver-4528658-1752248480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1752244868-113170 --watchdog 3760  pb_picat HOME/instance-4528658-1752248480.opb

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

MD5SUM BENCH= c2769aec5501f1fd7f55f6e1394c15e3
RANDOM SEED=820009228

nodeC032 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.539
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.69
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.848
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.69
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		: 3598.853
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.69
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.865
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.69
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		: 3599.843
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.69
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		: 3371.902
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.69
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		: 3703.366
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.69
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		: 3599.710
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108936112 kB
MemAvailable:   128886716 kB
Buffers:            2728 kB
Cached:         20626260 kB
SwapCached:           20 kB
Active:          1178064 kB
Inactive:       20253072 kB
Active(anon):     817072 kB
Inactive(anon):     3124 kB
Active(file):     360992 kB
Inactive(file): 20249948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11100 kB
Writeback:             0 kB
AnonPages:        804416 kB
Mapped:           116100 kB
Shmem:             18048 kB
KReclaimable:     357804 kB
Slab:             454912 kB
SReclaimable:     357804 kB
SUnreclaim:        97108 kB
KernelStack:        4352 kB
PageTables:         4544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6576544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429040 MiB
End job on nodeC032 at 2025-07-11 18:41:31