Trace number 4528093

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 NameAnswerCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.08 3610.12

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
MD5SUM47f516134b673d8428e3cc21e9ca96cd
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010725
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables123
Total number of constraints41
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)41
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4528093-1752245995.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 (62780 MiB free)
  memory of node 1: 64507 MiB (59387 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528093-1752245995/watcher-4528093-1752245995 -o /tmp/evaluation-result-4528093-1752245995/solver-4528093-1752245995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117804 --watchdog 3760 pb_picat HOME/instance-4528093-1752245995.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=118494, runsolver pid=118491
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125093784/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2028268 memory=18196 CPUtime=0.09 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 1083 0 0 0 9 0 0 0 20 0 1 0 140279210 2076946432 4549 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507067 4549 1664 343 0 504131 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2028268 KiB
Current children cumulated memory: 18196 KiB

[startup+0.210387 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125089688/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2028268 memory=18452 CPUtime=0.2 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 1168 0 0 0 20 0 0 0 20 0 1 0 140279210 2076946432 4613 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507067 4613 1664 343 0 504131 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2028268 KiB
Current children cumulated memory: 18452 KiB

[startup+0.310393 s]*
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125085592/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2028524 memory=18424 CPUtime=0.3 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 1250 0 0 0 30 0 0 0 20 0 1 0 140279210 2077208576 4606 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507131 4606 1664 343 0 504195 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028524 KiB
Current children cumulated memory: 18424 KiB

[startup+0.700348 s]
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125069208/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2029292 memory=19088 CPUtime=0.69 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 1605 0 0 0 68 1 0 0 20 0 1 0 140279210 2077995008 4772 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507323 4772 1664 343 0 504387 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2029292 KiB
Current children cumulated memory: 19088 KiB

[startup+1.50034 s]
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125048560/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2029036 memory=19272 CPUtime=1.48 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2898 0 0 0 147 1 0 0 20 0 1 0 140279210 2077732864 4818 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507259 4818 1664 343 0 504323 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029036 KiB
Current children cumulated memory: 19272 KiB

[startup+3.11286 s]
/proc/loadavg: 4.05 4.12 4.14 5/250 118495
/proc/meminfo: memFree=125038404/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2031212 memory=20080 CPUtime=3.09 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 6640 0 0 0 306 3 0 0 20 0 1 0 140279210 2079961088 5020 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507803 5020 1664 343 0 504867 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031212 KiB
Current children cumulated memory: 20080 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.13 4.15 5/250 118495
/proc/meminfo: memFree=124961400/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2031244 memory=20656 CPUtime=6.27 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 14938 0 0 0 623 4 0 0 20 0 1 0 140279210 2079993856 5164 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 507811 5164 1664 343 0 504875 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2031244 KiB
Current children cumulated memory: 20656 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.15 5/249 118495
/proc/meminfo: memFree=124888796/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2032908 memory=20976 CPUtime=12.65 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 38866 0 0 0 1256 9 0 0 20 0 1 0 140279210 2081697792 5244 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 508227 5244 1664 343 0 505291 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2032908 KiB
Current children cumulated memory: 20976 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.14 5/249 118495
/proc/meminfo: memFree=124812660/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2034864 memory=23200 CPUtime=25.41 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 76035 0 0 0 2523 18 0 0 20 0 1 0 140279210 2083700736 5800 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 508716 5800 1664 343 0 505780 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2034864 KiB
Current children cumulated memory: 23200 KiB

[startup+51.1129 s]
/proc/loadavg: 4.14 4.13 4.15 5/249 118496
/proc/meminfo: memFree=124810304/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2034864 memory=23012 CPUtime=50.96 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 150563 0 0 0 5061 35 0 0 20 0 1 0 140279210 2083700736 5753 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 508716 5753 1664 343 0 505780 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2034864 KiB
Current children cumulated memory: 23012 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 118509
/proc/meminfo: memFree=124681360/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2035692 memory=24516 CPUtime=102.01 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 270265 0 0 0 10136 65 0 0 20 0 1 0 140279210 2084548608 6129 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 508923 6129 1664 343 0 505987 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2035692 KiB
Current children cumulated memory: 24516 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/249 118510
/proc/meminfo: memFree=124814688/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2041968 memory=27364 CPUtime=161.84 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 390003 0 0 0 16087 97 0 0 20 0 1 0 140279210 2090975232 6841 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 510492 6841 1664 343 0 507556 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2041968 KiB
Current children cumulated memory: 27364 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/250 118513
/proc/meminfo: memFree=125225012/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2033932 memory=23116 CPUtime=221.68 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 475058 0 0 0 22047 121 0 0 20 0 1 0 140279210 2082746368 5779 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 508483 5779 1664 343 0 505547 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2033932 KiB
Current children cumulated memory: 23116 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 118516
/proc/meminfo: memFree=124360856/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2042268 memory=31288 CPUtime=281.52 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 563891 0 0 0 28009 143 0 0 20 0 1 0 140279210 2091282432 7822 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 510567 7822 1664 343 0 507631 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2042268 KiB
Current children cumulated memory: 31288 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/251 118524
/proc/meminfo: memFree=124863036/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2050540 memory=31160 CPUtime=341.35 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 633083 0 0 0 33973 162 0 0 20 0 1 0 140279210 2099752960 7790 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 512635 7790 1664 343 0 509699 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 2050540 KiB
Current children cumulated memory: 31160 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/251 118526
/proc/meminfo: memFree=124851012/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2037384 memory=25596 CPUtime=401.19 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 712164 0 0 0 39936 183 0 0 20 0 1 0 140279210 2086281216 6399 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 509346 6399 1664 343 0 506410 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 2037384 KiB
Current children cumulated memory: 25596 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 118528
/proc/meminfo: memFree=124667060/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2043528 memory=31268 CPUtime=461.03 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 803236 0 0 0 45897 206 0 0 20 0 1 0 140279210 2092572672 7817 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 510882 7817 1664 343 0 507946 0

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

Current children cumulated memory: 46748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/248 118733
/proc/meminfo: memFree=128907416/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2084396 memory=53504 CPUtime=2914.38 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2363449 0 0 0 290754 684 0 0 20 0 1 0 140279210 2134421504 13376 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 521099 13376 1664 343 0 518163 0
Current children cumulated CPU time: 2914.38 s
Current children cumulated vsize: 2084396 KiB
Current children cumulated memory: 53504 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/249 118736
/proc/meminfo: memFree=128917984/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2059820 memory=40344 CPUtime=2974.18 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2393802 0 0 0 296724 694 0 0 20 0 1 0 140279210 2109255680 10086 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 514955 10086 1664 343 0 512019 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 2059820 KiB
Current children cumulated memory: 40344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/249 118738
/proc/meminfo: memFree=128902712/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2076204 memory=56852 CPUtime=3033.99 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2420803 0 0 0 302695 704 0 0 20 0 1 0 140279210 2126032896 14213 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 519051 14213 1664 343 0 516115 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 2076204 KiB
Current children cumulated memory: 56852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/249 118740
/proc/meminfo: memFree=128886180/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2059820 memory=49172 CPUtime=3093.81 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2443389 0 0 0 308669 712 0 0 20 0 1 0 140279210 2109255680 12293 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 514955 12293 1664 343 0 512019 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 2059820 KiB
Current children cumulated memory: 49172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.25 4.16 5/249 118742
/proc/meminfo: memFree=128847612/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2059952 memory=41436 CPUtime=3153.63 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2465147 0 0 0 314643 720 0 0 20 0 1 0 140279210 2109390848 10359 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 514988 10359 1664 343 0 512052 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 2059952 KiB
Current children cumulated memory: 41436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.50 4.30 4.18 5/249 118744
/proc/meminfo: memFree=128825704/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2084528 memory=54112 CPUtime=3213.44 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2486573 0 0 0 320617 727 0 0 20 0 1 0 140279210 2134556672 13528 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 521132 13528 1664 343 0 518196 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 2084528 KiB
Current children cumulated memory: 54112 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.28 4.18 5/249 118746
/proc/meminfo: memFree=128913548/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2059952 memory=48712 CPUtime=3273.25 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2512760 0 0 0 326590 735 0 0 20 0 1 0 140279210 2109390848 12178 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 514988 12178 1664 343 0 512052 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 2059952 KiB
Current children cumulated memory: 48712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/250 118755
/proc/meminfo: memFree=128846292/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2047664 memory=36128 CPUtime=3333.06 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2532560 0 0 0 332563 743 0 0 20 0 1 0 140279210 2096807936 9032 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 511916 9032 1664 343 0 508980 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 2047664 KiB
Current children cumulated memory: 36128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.67 4.37 4.22 5/250 118757
/proc/meminfo: memFree=128898512/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2076492 memory=52744 CPUtime=3392.88 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2554425 0 0 0 338538 750 0 0 20 0 1 0 140279210 2126327808 13186 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 519123 13186 1664 343 0 516187 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 2076492 KiB
Current children cumulated memory: 52744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.34 4.22 5/250 118759
/proc/meminfo: memFree=128868692/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2043724 memory=32732 CPUtime=3452.68 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2582752 0 0 0 344509 759 0 0 20 0 1 0 140279210 2092773376 8183 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 510931 8183 1664 343 0 507995 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 2043724 KiB
Current children cumulated memory: 32732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.28 4.21 4/247 118837
/proc/meminfo: memFree=128757232/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2060108 memory=44728 CPUtime=3512.49 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2608624 0 0 0 350481 768 0 0 20 0 1 0 140279210 2109550592 11182 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 515027 11182 1664 343 0 512091 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 2060108 KiB
Current children cumulated memory: 44728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.25 4.20 5/251 118853
/proc/meminfo: memFree=126071444/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2051916 memory=42144 CPUtime=3572.33 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2630261 0 0 0 356457 776 0 0 20 0 1 0 140279210 2101161984 10536 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 512979 10536 1664 343 0 510043 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 2051916 KiB
Current children cumulated memory: 42144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.09 4.23 4.19 5/251 118855
/proc/meminfo: memFree=125991884/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2076492 memory=59780 CPUtime=3600.07 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2638184 0 0 0 359228 779 0 0 20 0 1 0 140279210 2126327808 14945 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 519123 14945 1664 343 0 516187 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2076492 KiB
Current children cumulated memory: 59780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.28 s, system=7.79586 s

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

[startup+3610.11 s]
/proc/loadavg: 4.09 4.23 4.19 5/251 118855
/proc/meminfo: memFree=125991884/131382112 swapFree=33010416/33010684
[pid=118494] ppid=118491 vsize=2076492 memory=59780 CPUtime=3600.07 cores=5,7
/proc/118494/stat : 118494 (pb_picat) R 118491 118494 117791 0 -1 4194304 2638184 0 0 0 359228 779 0 0 20 0 1 0 140279210 2126327808 14945 18446744073709551615 94369406652416 94369408053997 140734656719792 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94369408325424 94369410199664 94369426972672 140734656727452 140734656727528 140734656727528 140734656733132 0
/proc/118494/statm: 519123 14945 1664 343 0 516187 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2076492 KiB
Current children cumulated memory: 59780 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.12
CPU time (s): 3600.08
CPU user time (s): 3592.28
CPU system time (s): 7.79586
CPU usage (%): 99.722
Max. virtual memory (cumulated for all children) (KiB): 2084684
Max. memory (cumulated for all children) (KiB): 63876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.28
system time used= 7.79586
maximum resident set size= 63876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2638184
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= 69
involuntary context switches= 4943


# summary of solver processes directly reported to runsolver:
#   pid: 118494
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3592.28
#   total CPU system time (s): 7.79586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8049 second user time and 33.7654 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-11 16:59:55
IDJOB=4528093
IDBENCH=162388
IDSOLVER=3385
FILE ID=nodeC012/4528093-1752245995
RUNJOBID= nodeC012-1752242168-117804
SLURM_JOB_ID= 9682548
Free space on /tmp= 431532 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528093-1752245995/watcher-4528093-1752245995 -o /tmp/evaluation-result-4528093-1752245995/solver-4528093-1752245995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117804 --watchdog 3760  pb_picat HOME/instance-4528093-1752245995.opb

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

MD5SUM BENCH= 47f516134b673d8428e3cc21e9ca96cd
RANDOM SEED=537905736

nodeC012 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		: 3661.832
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	: 6983.39
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		: 3491.751
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	: 6983.39
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.267
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	: 6983.39
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.131
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	: 6983.39
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		: 3662.402
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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.156
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	: 6983.39
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		: 3700.000
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	: 6983.39
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		: 1596.399
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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125103740 kB
MemAvailable:   125871912 kB
Buffers:            2136 kB
Cached:          1564980 kB
SwapCached:           16 kB
Active:          4753156 kB
Inactive:         941000 kB
Active(anon):    4140036 kB
Inactive(anon):     4948 kB
Active(file):     613120 kB
Inactive(file):   936052 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3572 kB
Writeback:            16 kB
AnonPages:       4130108 kB
Mapped:           116624 kB
Shmem:             17944 kB
KReclaimable:     116868 kB
Slab:             205912 kB
SReclaimable:     116868 kB
SUnreclaim:        89044 kB
KernelStack:        4048 kB
PageTables:        11212 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9860732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3346432 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431496 MiB
End job on nodeC012 at 2025-07-11 18:00:05