Trace number 4544204

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.03 3610.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
MD5SUM4a59e763ae88014143ab229bcecf86f5
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.121812
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6003
Total number of constraints5004
Number of constraints which are clauses4002
Number of constraints which are cardinality constraints (but not clauses)1001
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint4002
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 4001
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12005
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.02/3610.00	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544204-1753230211/watcher-4544204-1753230211 -o /tmp/evaluation-result-4544204-1753230211/solver-4544204-1753230211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753222984-186425 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4544204-1753230211.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=187439, runsolver pid=187432

[startup+0.100063 s]*
/proc/loadavg: 4.20 4.13 4.10 4/259 187440
/proc/meminfo: memFree=125934340/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=46884 memory=29524 CPUtime=0.09 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 6802 0 0 0 8 1 0 0 20 0 1 0 238699522 48009216 7381 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 3 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 11721 7381 896 2593 0 8614 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46884 KiB
Current children cumulated memory: 29524 KiB

[startup+0.205518 s]*
/proc/loadavg: 4.20 4.13 4.10 4/259 187440
/proc/meminfo: memFree=125889608/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=90588 memory=71408 CPUtime=0.18 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 16705 0 0 0 16 2 0 0 20 0 1 0 238699522 92762112 17852 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 22647 17852 896 2593 0 19540 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 90588 KiB
Current children cumulated memory: 71408 KiB

[startup+0.305496 s]*
/proc/loadavg: 4.20 4.13 4.10 4/259 187440
/proc/meminfo: memFree=125873984/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=124176 memory=103888 CPUtime=0.29 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 23032 0 0 0 25 4 0 0 20 0 1 0 238699522 127156224 25972 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 31044 25972 928 2593 0 27937 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124176 KiB
Current children cumulated memory: 103888 KiB

[startup+0.70019 s]
/proc/loadavg: 4.20 4.13 4.10 4/259 187440
/proc/meminfo: memFree=125872396/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=129752 memory=108604 CPUtime=0.68 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 24511 0 0 0 64 4 0 0 20 0 1 0 238699522 132866048 27151 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 32438 27151 960 2593 0 29331 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129752 KiB
Current children cumulated memory: 108604 KiB

[startup+1.50016 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 187477
/proc/meminfo: memFree=125846432/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=160468 memory=138608 CPUtime=1.47 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 27941 0 0 0 142 5 0 0 20 0 1 0 238699522 164319232 34652 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 40117 34652 960 2593 0 37010 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 160468 KiB
Current children cumulated memory: 138608 KiB

[startup+3.10566 s]
/proc/loadavg: 4.18 4.13 4.10 4/259 187485
/proc/meminfo: memFree=125790604/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=197844 memory=169536 CPUtime=3.07 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 32314 0 0 0 300 7 0 0 20 0 1 0 238699522 202592256 42384 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 49461 42384 960 2593 0 46354 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 197844 KiB
Current children cumulated memory: 169536 KiB

[startup+6.30015 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 187522
/proc/meminfo: memFree=125630228/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=157348 memory=129168 CPUtime=6.26 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 33446 0 0 0 618 8 0 0 20 0 1 0 238699522 161124352 32292 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 39337 32292 960 2593 0 36230 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 157348 KiB
Current children cumulated memory: 129168 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.14 4.10 5/263 187567
/proc/meminfo: memFree=126000592/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=157348 memory=131224 CPUtime=12.64 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 33453 0 0 0 1256 8 0 0 20 0 1 0 238699522 161124352 32806 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 39337 32806 960 2593 0 36230 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157348 KiB
Current children cumulated memory: 131224 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 187567
/proc/meminfo: memFree=126038836/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=157348 memory=131352 CPUtime=25.4 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 33462 0 0 0 2532 8 0 0 20 0 1 0 238699522 161124352 32838 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 39337 32838 960 2593 0 36230 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 157348 KiB
Current children cumulated memory: 131352 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.14 4.10 5/262 187568
/proc/meminfo: memFree=126047884/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=146504 memory=120596 CPUtime=50.92 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 35669 0 0 0 5084 8 0 0 20 0 1 0 238699522 150020096 30149 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 36626 30149 960 2593 0 33519 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 146504 KiB
Current children cumulated memory: 120596 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/262 187570
/proc/meminfo: memFree=125957032/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=207828 memory=183984 CPUtime=101.99 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 40294 0 0 0 10188 11 0 0 20 0 1 0 238699522 212815872 45996 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 51957 45996 960 2593 0 48850 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 207828 KiB
Current children cumulated memory: 183984 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/262 187572
/proc/meminfo: memFree=125978040/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=173420 memory=151444 CPUtime=161.83 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 42752 0 0 0 16171 12 0 0 20 0 1 0 238699522 177582080 37861 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 43355 37861 960 2593 0 40248 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 173420 KiB
Current children cumulated memory: 151444 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 187574
/proc/meminfo: memFree=125842272/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=186372 memory=164372 CPUtime=221.66 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 45486 0 0 0 22154 12 0 0 20 0 1 0 238699522 190844928 41093 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 46593 41093 960 2593 0 43486 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 186372 KiB
Current children cumulated memory: 164372 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 187576
/proc/meminfo: memFree=125836180/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=194408 memory=172436 CPUtime=281.5 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 47035 0 0 0 28137 13 0 0 20 0 1 0 238699522 199073792 43109 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 48602 43109 960 2593 0 45495 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 194408 KiB
Current children cumulated memory: 172436 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 187585
/proc/meminfo: memFree=125788000/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=232752 memory=210852 CPUtime=341.34 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 51748 0 0 0 34115 19 0 0 20 0 1 0 238699522 238338048 52713 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 58188 52713 960 2593 0 55081 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 232752 KiB
Current children cumulated memory: 210852 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 187587
/proc/meminfo: memFree=125644528/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=240376 memory=218112 CPUtime=401.19 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 57657 0 0 0 40095 24 0 0 20 0 1 0 238699522 246145024 54528 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 60094 54528 960 2593 0 56987 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 240376 KiB
Current children cumulated memory: 218112 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 187589
/proc/meminfo: memFree=125706264/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=240600 memory=218676 CPUtime=461.03 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 63635 0 0 0 46073 30 0 0 20 0 1 0 238699522 246374400 54669 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 60150 54669 960 2593 0 57043 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 397096 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 187716
/proc/meminfo: memFree=124901936/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=576024 memory=555400 CPUtime=2854.35 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 180381 0 0 0 285215 220 0 0 20 0 1 0 238699522 589848576 138850 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 144006 138850 960 2593 0 140899 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 576024 KiB
Current children cumulated memory: 555400 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 187718
/proc/meminfo: memFree=124897820/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=544232 memory=523608 CPUtime=2914.18 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 180838 0 0 0 291195 223 0 0 20 0 1 0 238699522 557293568 130902 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 136058 130902 960 2593 0 132951 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 544232 KiB
Current children cumulated memory: 523608 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 187720
/proc/meminfo: memFree=124934136/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=529364 memory=508740 CPUtime=2974.01 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 182028 0 0 0 297172 229 0 0 20 0 1 0 238699522 542068736 127185 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 132341 127185 960 2593 0 129234 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 529364 KiB
Current children cumulated memory: 508740 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 187721
/proc/meminfo: memFree=124876356/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=564228 memory=543608 CPUtime=3033.85 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 183314 0 0 0 303151 234 0 0 20 0 1 0 238699522 577769472 135902 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 141057 135902 960 2593 0 137950 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 564228 KiB
Current children cumulated memory: 543608 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 187723
/proc/meminfo: memFree=124841952/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=452624 memory=431604 CPUtime=3093.68 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 185500 0 0 0 309131 237 0 0 20 0 1 0 238699522 463486976 107901 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 113156 107901 960 2593 0 110049 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 452624 KiB
Current children cumulated memory: 431604 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 187725
/proc/meminfo: memFree=124941852/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=454408 memory=434544 CPUtime=3153.5 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 186465 0 0 0 315111 239 0 0 20 0 1 0 238699522 465313792 108636 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 113602 108636 960 2593 0 110495 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 454408 KiB
Current children cumulated memory: 434544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 187727
/proc/meminfo: memFree=125028376/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=455248 memory=435384 CPUtime=3213.35 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 187543 0 0 0 321093 242 0 0 20 0 1 0 238699522 466173952 108846 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 113812 108846 960 2593 0 110705 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 455248 KiB
Current children cumulated memory: 435384 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 187729
/proc/meminfo: memFree=124991624/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=455996 memory=436132 CPUtime=3273.19 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 188252 0 0 0 327076 243 0 0 20 0 1 0 238699522 466939904 109033 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 113999 109033 960 2593 0 110892 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 455996 KiB
Current children cumulated memory: 436132 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 187737
/proc/meminfo: memFree=125034684/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=456740 memory=436876 CPUtime=3333.03 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 188957 0 0 0 333058 245 0 0 20 0 1 0 238699522 467701760 109219 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114185 109219 960 2593 0 111078 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 456740 KiB
Current children cumulated memory: 436876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 187739
/proc/meminfo: memFree=125002132/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=458244 memory=438380 CPUtime=3392.87 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 190416 0 0 0 339040 247 0 0 20 0 1 0 238699522 469241856 109595 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114561 109595 960 2593 0 111454 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 458244 KiB
Current children cumulated memory: 438380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 187741
/proc/meminfo: memFree=124997292/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=458472 memory=438608 CPUtime=3452.7 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 190725 0 0 0 345022 248 0 0 20 0 1 0 238699522 469475328 109652 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114618 109652 960 2593 0 111511 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 458472 KiB
Current children cumulated memory: 438608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 187743
/proc/meminfo: memFree=124985532/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=459308 memory=439444 CPUtime=3512.54 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 192190 0 0 0 351004 250 0 0 20 0 1 0 238699522 470331392 109861 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114827 109861 960 2593 0 111720 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 459308 KiB
Current children cumulated memory: 439444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 187745
/proc/meminfo: memFree=124963560/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=459592 memory=439728 CPUtime=3572.39 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 192806 0 0 0 356987 252 0 0 20 0 1 0 238699522 470622208 109932 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114898 109932 960 2593 0 111791 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 459592 KiB
Current children cumulated memory: 439728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.15 4.12 4.09 5/263 187746
/proc/meminfo: memFree=124973432/131249996 swapFree=33010160/33010684
[pid=187439] ppid=187432 vsize=459924 memory=440060 CPUtime=3600.02 cores=1,3
/proc/187439/stat : 187439 (CASHWMaxSAT-Dis) R 187432 187439 186413 0 -1 4194304 193460 0 0 0 359749 253 0 0 20 0 1 0 238699522 470962176 110015 18446744073709551615 4198400 14817773 140733057634512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 44273664 140733057636712 140733057636827 140733057636827 140733057642431 0
/proc/187439/statm: 114981 110015 960 2593 0 111874 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 459924 KiB
Current children cumulated memory: 440060 KiB

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

[startup+3610.01 s]
# the end of solver process 187439 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3597.49 s, system=2.53477 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.03
CPU user time (s): 3597.49
CPU system time (s): 2.53477
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 816192
Max. memory (cumulated for all children) (KiB): 795568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.49
system time used= 2.53477
maximum resident set size= 795568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193460
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= 63
involuntary context switches= 2654


# summary of solver processes directly reported to runsolver:
#   pid: 187439
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3597.49
#   total CPU system time (s): 2.53477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79294 second user time and 16.5137 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-23 02:23:31
IDJOB=4544204
IDBENCH=175047
IDSOLVER=3322
FILE ID=nodeC029/4544204-1753230211
RUNJOBID= nodeC029-1753222984-186425
SLURM_JOB_ID= 9687824
Free space on /tmp= 432988 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544204-1753230211/watcher-4544204-1753230211 -o /tmp/evaluation-result-4544204-1753230211/solver-4544204-1753230211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753222984-186425 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4544204-1753230211.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 4a59e763ae88014143ab229bcecf86f5
RANDOM SEED=1301027371

nodeC029 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.716
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.46
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		: 3600.002
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.308
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.46
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.721
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.46
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.931
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.46
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		: 3599.780
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.46
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		: 3599.596
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.46
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		: 3596.076
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125961904 kB
MemAvailable:   129107196 kB
Buffers:            2128 kB
Cached:          3905952 kB
SwapCached:           36 kB
Active:          1862948 kB
Inactive:        2666164 kB
Active(anon):     642532 kB
Inactive(anon):     4716 kB
Active(file):    1220416 kB
Inactive(file):  2661448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27344 kB
Writeback:             0 kB
AnonPages:        620972 kB
Mapped:           114116 kB
Shmem:             26216 kB
KReclaimable:     205332 kB
Slab:             302956 kB
SReclaimable:     205332 kB
SUnreclaim:        97624 kB
KernelStack:        4188 kB
PageTables:         4336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     936632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC029 at 2025-07-23 03:23:41