Trace number 4483597

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
Exact 2025-06-02? (TO) 3602.05 3612.4

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
MD5SUM83591af43c3da6ede4007c8e5a8d776b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1892
Best CPU time to get the best result obtained on this benchmark3584.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3741
Total number of constraints423980
Number of constraints which are clauses423980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3153
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 3153
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3153
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

362.23/363.28	o 0
362.33/363.31	o -1892

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483597-1751569944/watcher-4483597-1751569944 -o /tmp/evaluation-result-4483597-1751569944/solver-4483597-1751569944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751566331-78881 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1537874383 --ls=360 HOME/instance-4483597-1751569944.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=79302, runsolver pid=79299

[startup+0.100064 s]*
/proc/loadavg: 4.11 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126856644/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=51804 memory=27180 CPUtime=0.09 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 6227 0 0 0 9 0 0 0 20 0 1 0 72673017 53047296 6795 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 12951 6795 1024 1200 0 11431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51804 KiB
Current children cumulated memory: 27180 KiB

[startup+0.205858 s]*
/proc/loadavg: 4.11 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126832576/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=70064 memory=44468 CPUtime=0.2 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 9269 0 0 0 19 1 0 0 20 0 1 0 72673017 71745536 11117 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 17516 11117 1024 1200 0 15996 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 44468 KiB

[startup+0.305778 s]*
/proc/loadavg: 4.10 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126828796/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=79568 memory=60820 CPUtime=0.29 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 11847 0 0 0 28 1 0 0 20 0 1 0 72673017 81477632 15205 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 19892 15205 1024 1200 0 18372 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79568 KiB
Current children cumulated memory: 60820 KiB

[startup+0.700173 s]
/proc/loadavg: 4.10 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126792568/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=216548 memory=178624 CPUtime=0.68 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 29047 0 0 0 63 5 0 0 20 0 1 0 72673017 221745152 44656 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 54137 44656 1024 1200 0 52617 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216548 KiB
Current children cumulated memory: 178624 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126703628/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=200640 CPUtime=1.48 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33322 0 0 0 141 7 0 0 20 0 1 0 72673017 242118656 50160 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50160 1024 1200 0 57591 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 200640 KiB

[startup+3.10579 s]
/proc/loadavg: 4.10 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126687980/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=200640 CPUtime=3.08 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33351 0 0 0 301 7 0 0 20 0 1 0 72673017 242118656 50160 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50160 1024 1200 0 57591 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 200640 KiB

[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126688060/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201280 CPUtime=6.27 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33533 0 0 0 620 7 0 0 20 0 1 0 72673017 242118656 50320 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50320 1024 1200 0 57591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201280 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.04 5/264 79303
/proc/meminfo: memFree=126687236/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=12.65 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33625 0 0 0 1258 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.05 5/264 79303
/proc/meminfo: memFree=126687236/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=25.42 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33630 0 0 0 2535 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.05 5/264 79303
/proc/meminfo: memFree=126687252/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=50.95 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33681 0 0 0 5088 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.05 5/264 79305
/proc/meminfo: memFree=126687236/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=102.02 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33709 0 0 0 10195 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/265 79308
/proc/meminfo: memFree=126679624/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=161.86 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33737 0 0 0 16179 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 79310
/proc/meminfo: memFree=126682540/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=221.71 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33793 0 0 0 22164 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+282.3 s]
/proc/loadavg: 4.26 4.17 4.08 5/264 79312
/proc/meminfo: memFree=126686128/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=281.56 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33793 0 0 0 28149 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.08 5/264 79314
/proc/meminfo: memFree=126660484/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=236444 memory=201536 CPUtime=341.38 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 33856 0 0 0 34131 7 0 0 20 0 1 0 72673017 242118656 50384 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 59111 50384 1024 1200 0 57591 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 201536 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/264 79411
/proc/meminfo: memFree=125972900/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=544004 memory=523648 CPUtime=401.21 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 62097 0 0 0 40101 20 0 0 20 0 1 0 72673017 557060096 130912 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 136001 130912 1248 1200 0 134481 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 544004 KiB
Current children cumulated memory: 523648 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/263 79413
/proc/meminfo: memFree=125895824/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=621748 memory=567424 CPUtime=461.04 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 64866 0 0 0 46081 23 0 0 20 0 1 0 72673017 636669952 141856 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 155437 141856 1248 1200 0 153917 0
Current children cumulated CPU time: 461.04 s

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

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 79592
/proc/meminfo: memFree=124492792/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3033.84 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100636 0 0 0 303264 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 79594
/proc/meminfo: memFree=124493436/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3093.64 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100711 0 0 0 309244 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 79597
/proc/meminfo: memFree=124496672/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3153.43 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100786 0 0 0 315223 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/263 79599
/proc/meminfo: memFree=124498284/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3213.23 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100786 0 0 0 321203 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 79601
/proc/meminfo: memFree=124496416/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3273.02 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100908 0 0 0 327182 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/263 79603
/proc/meminfo: memFree=124480652/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3332.82 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 100930 0 0 0 333162 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.22 4.13 5/264 79610
/proc/meminfo: memFree=124477060/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=835988 memory=753724 CPUtime=3392.62 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101041 0 0 0 339142 120 0 0 20 0 1 0 72673017 856051712 188431 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 208997 188431 1248 1200 0 207477 0
Current children cumulated CPU time: 3392.62 s
Current children cumulated vsize: 835988 KiB
Current children cumulated memory: 753724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.21 4.13 5/263 79612
/proc/meminfo: memFree=124491292/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=823832 memory=741600 CPUtime=3452.42 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101125 0 0 0 345120 122 0 0 20 0 1 0 72673017 843603968 185400 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 205958 185400 1248 1200 0 204438 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 823832 KiB
Current children cumulated memory: 741600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/263 79614
/proc/meminfo: memFree=124498352/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=823832 memory=741600 CPUtime=3512.22 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101188 0 0 0 351097 125 0 0 20 0 1 0 72673017 843603968 185400 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 205958 185400 1248 1200 0 204438 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 823832 KiB
Current children cumulated memory: 741600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 79617
/proc/meminfo: memFree=124472344/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=823832 memory=741600 CPUtime=3572.03 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101253 0 0 0 357074 129 0 0 20 0 1 0 72673017 843603968 185400 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 205958 185400 1248 1200 0 204438 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 823832 KiB
Current children cumulated memory: 741600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.12 4.16 4.12 4/261 79628
/proc/meminfo: memFree=125322884/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=825468 memory=743136 CPUtime=3600.05 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101681 0 0 0 359874 131 0 0 20 0 1 0 72673017 845279232 185784 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 206367 185784 1248 1200 0 204847 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 825468 KiB
Current children cumulated memory: 743136 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3612.4 s]
# the end of solver process 79302 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3600.73 s, system=1.31594 s

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

[startup+3611.2 s]
/proc/loadavg: 4.11 4.16 4.12 6/265 79635
/proc/meminfo: memFree=125320048/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=825468 memory=743136 CPUtime=3600.84 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101681 0 0 0 359953 131 0 0 20 0 1 0 72673017 845279232 185784 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 206367 185784 1248 1200 0 204847 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 825468 KiB
Current children cumulated memory: 743136 KiB

[startup+3612 s]*
/proc/loadavg: 4.11 4.16 4.12 4/263 79638
/proc/meminfo: memFree=125324412/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=825468 memory=743136 CPUtime=3601.65 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101681 0 0 0 360034 131 0 0 20 0 1 0 72673017 845279232 185784 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 206367 185784 1248 1200 0 204847 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 825468 KiB
Current children cumulated memory: 743136 KiB

[startup+3612.4 s]
/proc/loadavg: 4.11 4.16 4.12 4/263 79638
/proc/meminfo: memFree=125324412/131250000 swapFree=33010672/33010684
[pid=79302] ppid=79299 vsize=825468 memory=743136 CPUtime=3602.04 cores=5,7
/proc/79302/stat : 79302 (Exact) R 79299 79302 78865 0 -1 4194304 101681 0 0 0 360073 131 0 0 20 0 1 0 72673017 845279232 185784 18446744073709551615 4198400 9112445 140729655466112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 16408576 140729655474490 140729655474669 140729655474669 140729655480271 0
/proc/79302/statm: 206367 185784 1248 1200 0 204847 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 825468 KiB
Current children cumulated memory: 743136 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.4
CPU time (s): 3602.05
CPU user time (s): 3600.73
CPU system time (s): 1.31594
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 835988
Max. memory (cumulated for all children) (KiB): 753724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.73
system time used= 1.31594
maximum resident set size= 782532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101681
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= 68
involuntary context switches= 2259


# summary of solver processes directly reported to runsolver:
#   pid: 79302
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3600.73
#   total CPU system time (s): 1.31594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53044 second user time and 15.7932 second system time

The end

Launcher Data

Begin job on nodeC026 at 2025-07-03 21:12:24
IDJOB=4483597
IDBENCH=178219
IDSOLVER=3317
FILE ID=nodeC026/4483597-1751569944
RUNJOBID= nodeC026-1751566331-78881
SLURM_JOB_ID= 9598777
Free space on /tmp= 430512 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483597-1751569944/watcher-4483597-1751569944 -o /tmp/evaluation-result-4483597-1751569944/solver-4483597-1751569944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751566331-78881 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1537874383 --ls=360 HOME/instance-4483597-1751569944.opb

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

MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=1537874383

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.787
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3596.860
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.215
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.006
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3558.825
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.772
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126896096 kB
MemAvailable:   129220732 kB
Buffers:            2128 kB
Cached:          2953404 kB
SwapCached:            4 kB
Active:          1093696 kB
Inactive:        2283296 kB
Active(anon):     429856 kB
Inactive(anon):     9688 kB
Active(file):     663840 kB
Inactive(file):  2273608 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             51224 kB
Writeback:             0 kB
AnonPages:        424932 kB
Mapped:           117916 kB
Shmem:             18076 kB
KReclaimable:     447988 kB
Slab:             547968 kB
SReclaimable:     447988 kB
SUnreclaim:        99980 kB
KernelStack:        4272 kB
PageTables:         3736 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     811120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430500 MiB
End job on nodeC026 at 2025-07-03 22:12:36