Trace number 4524227

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
CASHWMaxSATDisjCad-S 2025-06-01? 2171.14 2176.32

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
MD5SUM5fdde4f5ded59ac93b31f059bbfb02e9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark94204
Best CPU time to get the best result obtained on this benchmark663.838
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2530390
Total number of constraints5076483
Number of constraints which are clauses842097
Number of constraints which are cardinality constraints (but not clauses)42061
Number of constraints which are nor clauses,nor cardinality constraints4192325
Minimum length of a constraint1
Maximum length of a constraint208
Number of terms in the objective function 64
Biggest coefficient in the objective function 32768
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 262140
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 661259
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1944735
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2170.51/2175.75	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
2170.51/2175.75	c Out of memery in clausifying constraints: std::bad_alloc
2170.51/2175.75	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: 63665 MiB (61849 MiB free)
  memory of node 1: 64507 MiB (62595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524227-1751606991/watcher-4524227-1751606991 -o /tmp/evaluation-result-4524227-1751606991/solver-4524227-1751606991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4524227-1751606991.opb -total-t=3600 -no-par -v0 

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=94884, runsolver pid=94881

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 94885
/proc/meminfo: memFree=127415348/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=30452 memory=15808 CPUtime=0.09 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3302 0 0 0 9 0 0 0 20 0 1 0 76377256 31182848 3952 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7613 3952 864 2593 0 4506 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30452 KiB
Current children cumulated memory: 15808 KiB

[startup+0.20546 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 94885
/proc/meminfo: memFree=127399220/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=44092 memory=29356 CPUtime=0.19 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 6818 0 0 0 19 0 0 0 20 0 1 0 76377256 45150208 7339 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 11023 7339 864 2593 0 7916 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44092 KiB
Current children cumulated memory: 29356 KiB

[startup+0.305367 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 94885
/proc/meminfo: memFree=127383372/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=51780 memory=37036 CPUtime=0.3 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 8727 0 0 0 29 1 0 0 20 0 1 0 76377256 53022720 9259 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 12945 9259 864 2593 0 9838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51780 KiB
Current children cumulated memory: 37036 KiB

[startup+0.700151 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 94885
/proc/meminfo: memFree=127332344/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=84344 memory=69468 CPUtime=0.68 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 17099 0 0 0 66 2 0 0 20 0 1 0 76377256 86368256 17367 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 21086 17367 864 2593 0 17979 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84344 KiB
Current children cumulated memory: 69468 KiB

[startup+1.50015 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 94891
/proc/meminfo: memFree=127242884/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=155628 memory=140144 CPUtime=1.48 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 34760 0 0 0 142 6 0 0 20 0 1 0 76377256 159363072 35036 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 38907 35036 864 2593 0 35800 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155628 KiB
Current children cumulated memory: 140144 KiB

[startup+3.10536 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=126746420/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=315768 memory=300020 CPUtime=3.08 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 74731 0 0 0 296 12 0 0 20 0 1 0 76377256 323346432 75005 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 78942 75005 864 2593 0 75835 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 315768 KiB
Current children cumulated memory: 300020 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 94916
/proc/meminfo: memFree=126041504/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=669752 memory=651524 CPUtime=6.26 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 160580 0 0 0 598 28 0 0 20 0 1 0 76377256 685826048 162881 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 167438 162881 864 2593 0 164331 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 669752 KiB
Current children cumulated memory: 651524 KiB

[startup+12.7001 s]
/proc/loadavg: 4.25 4.14 4.10 5/263 94916
/proc/meminfo: memFree=124693780/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=1378956 memory=1359292 CPUtime=12.65 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 327321 0 0 0 1206 59 0 0 20 0 1 0 76377256 1412050944 339823 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 344739 339823 864 2593 0 341632 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1378956 KiB
Current children cumulated memory: 1359292 KiB

[startup+25.5001 s]
/proc/loadavg: 4.28 4.15 4.10 5/264 94917
/proc/meminfo: memFree=121008320/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=2802376 memory=2774356 CPUtime=25.42 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 650462 0 0 0 2419 123 0 0 20 0 1 0 76377256 2869633024 693589 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 700594 693589 864 2593 0 697487 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2802376 KiB
Current children cumulated memory: 2774356 KiB

[startup+51.1053 s]
/proc/loadavg: 4.17 4.13 4.10 5/264 94917
/proc/meminfo: memFree=115860188/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=5633388 memory=5597340 CPUtime=50.96 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 1298056 0 0 0 4848 248 0 0 20 0 1 0 76377256 5768589312 1399335 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 1408347 1399335 864 2593 0 1405240 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5633388 KiB
Current children cumulated memory: 5597340 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 94920
/proc/meminfo: memFree=110017792/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=11309708 memory=11235344 CPUtime=102.03 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 2592982 0 0 0 9714 489 0 0 20 0 1 0 76377256 11581140992 2808836 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 2827427 2808836 864 2593 0 2824320 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 11309708 KiB
Current children cumulated memory: 11235344 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.21 4.12 5/264 94922
/proc/meminfo: memFree=107428716/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=13630800 memory=13520380 CPUtime=161.9 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3081538 0 0 0 15602 588 0 0 20 0 1 0 76377256 13957939200 3380095 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3407700 3380095 896 2593 0 3404593 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 13630800 KiB
Current children cumulated memory: 13520380 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/264 94924
/proc/meminfo: memFree=107113792/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=13850396 memory=13732332 CPUtime=221.77 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3099060 0 0 0 21577 600 0 0 20 0 1 0 76377256 14182805504 3433083 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3462599 3433083 896 2593 0 3459492 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 13850396 KiB
Current children cumulated memory: 13732332 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.12 6/265 94931
/proc/meminfo: memFree=106717628/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=14010680 memory=13842144 CPUtime=281.64 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3114184 0 0 0 27554 610 0 0 20 0 1 0 76377256 14346936320 3460536 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3502670 3460536 896 2593 0 3499563 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 14010680 KiB
Current children cumulated memory: 13842144 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/264 94933
/proc/meminfo: memFree=106260228/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=14232732 memory=14119752 CPUtime=341.51 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3129180 0 0 0 33525 626 0 0 20 0 1 0 76377256 14574317568 3529938 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3558183 3529938 896 2593 0 3555076 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 14232732 KiB
Current children cumulated memory: 14119752 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 94936
/proc/meminfo: memFree=106010744/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=14442396 memory=14223252 CPUtime=401.37 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3143740 0 0 0 39505 632 0 0 20 0 1 0 76377256 14789013504 3555813 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3610599 3555813 896 2593 0 3607492 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 14442396 KiB
Current children cumulated memory: 14223252 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 94938
/proc/meminfo: memFree=105313584/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=14491824 memory=14321928 CPUtime=461.25 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3155921 0 0 0 45485 640 0 0 20 0 1 0 76377256 14839627776 3580482 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 3622956 3580482 896 2593 0 3619849 0
Current children cumulated CPU time: 461.25 s

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

/proc/meminfo: memFree=108651024/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=18744952 memory=17969592 CPUtime=1778.13 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3522640 0 0 0 176913 900 0 0 20 0 1 0 76377256 19194830848 4492398 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4686238 4492398 896 2593 0 4683131 0
Current children cumulated CPU time: 1778.13 s
Current children cumulated vsize: 18744952 KiB
Current children cumulated memory: 17969592 KiB

[startup+1842.3 s]
/proc/loadavg: 3.12 3.54 3.86 4/259 95082
/proc/meminfo: memFree=108390028/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=18816140 memory=18116588 CPUtime=1837.99 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3542194 0 0 0 182887 912 0 0 20 0 1 0 76377256 19267727360 4529147 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4704035 4529147 896 2593 0 4700928 0
Current children cumulated CPU time: 1837.99 s
Current children cumulated vsize: 18816140 KiB
Current children cumulated memory: 18116588 KiB

[startup+1902.3 s]
/proc/loadavg: 3.17 3.47 3.81 4/259 95095
/proc/meminfo: memFree=108228332/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=18889016 memory=18265132 CPUtime=1897.83 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3562523 0 0 0 188859 924 0 0 20 0 1 0 76377256 19342352384 4566283 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4722254 4566283 896 2593 0 4719147 0
Current children cumulated CPU time: 1897.83 s
Current children cumulated vsize: 18889016 KiB
Current children cumulated memory: 18265132 KiB

[startup+1962.3 s]
/proc/loadavg: 3.12 3.40 3.76 4/259 95096
/proc/meminfo: memFree=108064236/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=18962680 memory=18414568 CPUtime=1957.68 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3582691 0 0 0 194832 936 0 0 20 0 1 0 76377256 19417784320 4603642 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4740670 4603642 896 2593 0 4737563 0
Current children cumulated CPU time: 1957.68 s
Current children cumulated vsize: 18962680 KiB
Current children cumulated memory: 18414568 KiB

[startup+2022.3 s]
/proc/loadavg: 3.09 3.34 3.72 4/259 95099
/proc/meminfo: memFree=107921844/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=19031724 memory=18555380 CPUtime=2017.52 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3601960 0 0 0 200804 948 0 0 20 0 1 0 76377256 19488485376 4638845 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4757931 4638845 896 2593 0 4754824 0
Current children cumulated CPU time: 2017.52 s
Current children cumulated vsize: 19031724 KiB
Current children cumulated memory: 18555380 KiB

[startup+2082.3 s]
/proc/loadavg: 2.73 3.21 3.65 3/253 95132
/proc/meminfo: memFree=108280584/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=19097856 memory=18689140 CPUtime=2077.37 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3620623 0 0 0 206777 960 0 0 20 0 1 0 76377256 19556204544 4672285 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 4774464 4672285 896 2593 0 4771357 0
Current children cumulated CPU time: 2077.37 s
Current children cumulated vsize: 19097856 KiB
Current children cumulated memory: 18689140 KiB

[startup+2142.3 s]
/proc/loadavg: 2.32 3.00 3.55 3/253 95140
/proc/meminfo: memFree=105924924/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=21578980 memory=21044124 CPUtime=2137.19 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3651402 0 0 0 212679 1040 0 0 20 0 1 0 76377256 22096875520 5261031 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 5394745 5261031 896 2593 0 5391638 0
Current children cumulated CPU time: 2137.19 s
Current children cumulated vsize: 21578980 KiB
Current children cumulated memory: 21044124 KiB

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

# cumulated CPU time of all completed processes:  user=2157.4 s, system=13.7377 s

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

[startup+2150.4 s]
/proc/loadavg: 2.29 2.98 3.54 3/253 95141
/proc/meminfo: memFree=103521688/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=24405668 memory=23467152 CPUtime=2145.28 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3684100 0 0 0 213404 1124 0 0 20 0 1 0 76377256 24991404032 5866788 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 6101417 5866788 896 2593 0 6098310 0
Current children cumulated CPU time: 2145.28 s
Current children cumulated vsize: 24405668 KiB
Current children cumulated memory: 23467152 KiB

[startup+2163.2 s]
/proc/loadavg: 2.31 2.95 3.52 3/253 95141
/proc/meminfo: memFree=99869680/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=28362080 memory=27105016 CPUtime=2158.04 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3754180 0 0 0 214553 1251 0 0 20 0 1 0 76377256 29042769920 6776254 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7090520 6776254 896 2593 0 7087413 0
Current children cumulated CPU time: 2158.04 s
Current children cumulated vsize: 28362080 KiB
Current children cumulated memory: 27105016 KiB

[startup+2169.6 s]
/proc/loadavg: 2.28 2.94 3.51 3/253 95141
/proc/meminfo: memFree=99161076/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=28953584 memory=27845724 CPUtime=2164.42 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3799896 0 0 0 215171 1271 0 0 20 0 1 0 76377256 29648470016 6961431 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7238396 6961431 896 2593 0 7235289 0
Current children cumulated CPU time: 2164.42 s
Current children cumulated vsize: 28953584 KiB
Current children cumulated memory: 27845724 KiB

[startup+2172.8 s]
/proc/loadavg: 2.26 2.92 3.50 3/253 95141
/proc/meminfo: memFree=98765172/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=29129760 memory=28283928 CPUtime=2167.62 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3823193 0 0 0 215481 1281 0 0 20 0 1 0 76377256 29828874240 7070982 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7282440 7070982 896 2593 0 7279333 0
Current children cumulated CPU time: 2167.62 s
Current children cumulated vsize: 29129760 KiB
Current children cumulated memory: 28283928 KiB

[startup+2174.4 s]
/proc/loadavg: 2.26 2.92 3.50 3/253 95141
/proc/meminfo: memFree=98527988/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=29656096 memory=28441944 CPUtime=2169.21 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3827725 0 0 0 215627 1294 0 0 20 0 1 0 76377256 30367842304 7110486 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7414024 7110486 896 2593 0 7410917 0
Current children cumulated CPU time: 2169.21 s
Current children cumulated vsize: 29656096 KiB
Current children cumulated memory: 28441944 KiB

[startup+2175.2 s]
/proc/loadavg: 2.26 2.92 3.50 3/253 95141
/proc/meminfo: memFree=98301120/131250000 swapFree=33010416/33010684
[pid=94884] ppid=94881 vsize=29686816 memory=28560432 CPUtime=2170.01 cores=5,7
/proc/94884/stat : 94884 (CASHWMaxSAT-Dis) R 94881 94884 94066 0 -1 4194304 3832120 0 0 0 215705 1296 0 0 20 0 1 0 76377256 30399299584 7140108 18446744073709551615 4198400 14817773 140725981840432 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 52887552 140725981841770 140725981841885 140725981841885 140725981847487 0
/proc/94884/statm: 7421704 7140108 896 2593 0 7418597 0
Current children cumulated CPU time: 2170.01 s
Current children cumulated vsize: 29686816 KiB
Current children cumulated memory: 28560432 KiB

[startup+2176 s]*
/proc/loadavg: 2.24 2.90 3.50 3/253 95141
/proc/meminfo: memFree=105237024/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2176.2 s]
/proc/loadavg: 2.24 2.90 3.50 3/253 95141
/proc/meminfo: memFree=105237024/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2176.3 s]
/proc/loadavg: 2.24 2.90 3.50 3/253 95141
/proc/meminfo: memFree=105237024/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2176.32
CPU time (s): 2171.14
CPU user time (s): 2157.4
CPU system time (s): 13.7377
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 31329360
Max. memory (cumulated for all children) (KiB): 29492072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2157.4
system time used= 13.7377
maximum resident set size= 29647720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835178
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= 24
involuntary context switches= 2910


# summary of solver processes directly reported to runsolver:
#   pid: 94884
#   total CPU time (s): 2171.14
#   total CPU user time (s): 2157.4
#   total CPU system time (s): 13.7377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88938 second user time and 8.36289 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 07:29:54
IDJOB=4524227
IDBENCH=180640
IDSOLVER=3322
FILE ID=nodeC018/4524227-1751606991
RUNJOBID= nodeC018-1751599765-94079
SLURM_JOB_ID= 9598876
Free space on /tmp= 431600 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Cargo-24_c24.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524227-1751606991/watcher-4524227-1751606991 -o /tmp/evaluation-result-4524227-1751606991/solver-4524227-1751606991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751599765-94079 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4524227-1751606991.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5fdde4f5ded59ac93b31f059bbfb02e9
RANDOM SEED=2101537618

nodeC018 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.754
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.66
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.085
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.66
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.030
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.66
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		: 3700.000
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127439004 kB
MemAvailable:   129129988 kB
Buffers:            2128 kB
Cached:          2454688 kB
SwapCached:           32 kB
Active:          1108532 kB
Inactive:        1979724 kB
Active(anon):     649200 kB
Inactive(anon):      288 kB
Active(file):     459332 kB
Inactive(file):  1979436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            939184 kB
Writeback:             4 kB
AnonPages:        632488 kB
Mapped:           113236 kB
Shmem:             18044 kB
KReclaimable:     182512 kB
Slab:             272764 kB
SReclaimable:     182512 kB
SUnreclaim:        90252 kB
KernelStack:        4224 kB
PageTables:         4160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     968300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431884 MiB
End job on nodeC018 at 2025-07-04 08:06:11