Trace number 4544205

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

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 

3.42/3.59	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3.42/3.59	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.01/3611.80	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: 63794 MiB (45855 MiB free)
  memory of node 1: 64507 MiB (50792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544205-1753228796/watcher-4544205-1753228796 -o /tmp/evaluation-result-4544205-1753228796/solver-4544205-1753228796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183675 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4544205-1753228796.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=185067, runsolver pid=185064

[startup+0.100068 s]*
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98959912/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=30816 memory=12160 CPUtime=0.08 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 2413 0 0 0 8 0 0 0 20 0 1 0 238559339 31555584 3040 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 7704 3040 736 2416 0 4806 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30816 KiB
Current children cumulated memory: 12160 KiB

[startup+0.213085 s]*
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98939560/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=34552 memory=14592 CPUtime=0.19 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 2986 0 0 0 18 1 0 0 20 0 1 0 238559339 35381248 3648 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 8638 3648 768 2416 0 5740 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34552 KiB
Current children cumulated memory: 14592 KiB

[startup+0.316128 s]*
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98922736/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=50536 memory=31848 CPUtime=0.28 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 6827 0 0 0 26 2 0 0 20 0 1 0 238559339 51748864 7866 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 12634 7866 768 2416 0 9736 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50536 KiB
Current children cumulated memory: 31848 KiB

[startup+0.700282 s]
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98883548/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=112288 memory=88744 CPUtime=0.64 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 19141 0 0 0 59 5 0 0 20 0 1 0 238559339 114982912 22186 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 28072 22186 768 2416 0 25174 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 88744 KiB

[startup+1.50033 s]
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98881788/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=116428 memory=92088 CPUtime=1.43 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 22889 0 0 0 137 6 0 0 20 0 1 0 238559339 119222272 23022 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 29107 23022 768 2416 0 26209 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 116428 KiB
Current children cumulated memory: 92088 KiB

[startup+3.11298 s]
/proc/loadavg: 4.21 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98899248/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=146140 memory=118452 CPUtime=3.04 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 24360 0 0 0 297 7 0 0 20 0 1 0 238559339 149647360 29613 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 36535 29613 800 2416 0 33637 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 118452 KiB

[startup+6.30031 s]
/proc/loadavg: 4.20 4.18 4.17 5/251 185068
/proc/meminfo: memFree=98877156/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=146140 memory=120756 CPUtime=6.22 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 24456 0 0 0 614 8 0 0 20 0 1 0 238559339 149647360 30189 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 36535 30189 800 2416 0 33637 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 120756 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.17 4.17 5/251 185068
/proc/meminfo: memFree=98813860/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=146140 memory=126640 CPUtime=12.6 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 24895 0 0 0 1252 8 0 0 20 0 1 0 238559339 149647360 31660 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 36535 31660 800 2416 0 33637 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 126640 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.17 5/251 185068
/proc/meminfo: memFree=98787908/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=146140 memory=127024 CPUtime=25.36 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 25003 0 0 0 2528 8 0 0 20 0 1 0 238559339 149647360 31756 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 36535 31756 800 2416 0 33637 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 127024 KiB

[startup+51.1129 s]
/proc/loadavg: 4.16 4.17 4.17 5/252 185070
/proc/meminfo: memFree=98753156/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=164996 memory=142912 CPUtime=50.89 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 25917 0 0 0 5080 9 0 0 20 0 1 0 238559339 168955904 35728 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 41249 35728 800 2416 0 38351 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 164996 KiB
Current children cumulated memory: 142912 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/252 185087
/proc/meminfo: memFree=98778016/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=164996 memory=141760 CPUtime=101.92 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 27283 0 0 0 10181 11 0 0 20 0 1 0 238559339 168955904 35440 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 41249 35440 800 2416 0 38351 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 164996 KiB
Current children cumulated memory: 141760 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/252 185090
/proc/meminfo: memFree=98684332/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=228960 memory=167632 CPUtime=161.72 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 30083 0 0 0 16156 16 0 0 20 0 1 0 238559339 234455040 41908 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 57240 41908 800 2416 0 54342 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 228960 KiB
Current children cumulated memory: 167632 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/251 185092
/proc/meminfo: memFree=98717692/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=198612 memory=168132 CPUtime=221.52 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 34514 0 0 0 22126 26 0 0 20 0 1 0 238559339 203378688 42033 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 49653 42033 800 2416 0 46755 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 198612 KiB
Current children cumulated memory: 168132 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/251 185094
/proc/meminfo: memFree=98564920/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=179640 memory=160816 CPUtime=281.3 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 37531 0 0 0 28095 35 0 0 20 0 1 0 238559339 183951360 40204 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 44910 40204 800 2416 0 42012 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 179640 KiB
Current children cumulated memory: 160816 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/251 185096
/proc/meminfo: memFree=98399216/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=228960 memory=200568 CPUtime=341.08 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 41306 0 0 0 34064 44 0 0 20 0 1 0 238559339 234455040 50142 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 57240 50142 800 2416 0 54342 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 228960 KiB
Current children cumulated memory: 200568 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 185098
/proc/meminfo: memFree=98405580/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=228960 memory=200440 CPUtime=400.9 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 47179 0 0 0 40034 56 0 0 20 0 1 0 238559339 234455040 50110 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 57240 50110 800 2416 0 54342 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 228960 KiB
Current children cumulated memory: 200440 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/251 185100
/proc/meminfo: memFree=98448596/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=228960 memory=210680 CPUtime=460.71 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 52385 0 0 0 46006 65 0 0 20 0 1 0 238559339 234455040 52670 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 57240 52670 800 2416 0 54342 0
Current children cumulated CPU time: 460.71 s

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

Current children cumulated memory: 307448 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 185218
/proc/meminfo: memFree=97817948/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=358624 memory=311680 CPUtime=2852.94 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 192970 0 0 0 284885 409 0 0 20 0 1 0 238559339 367230976 77920 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 89656 77920 800 2416 0 86758 0
Current children cumulated CPU time: 2852.94 s
Current children cumulated vsize: 358624 KiB
Current children cumulated memory: 311680 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/251 185220
/proc/meminfo: memFree=97697228/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=361280 memory=294528 CPUtime=2912.76 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 197261 0 0 0 290850 426 0 0 20 0 1 0 238559339 369950720 73632 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 90320 73632 800 2416 0 87422 0
Current children cumulated CPU time: 2912.76 s
Current children cumulated vsize: 361280 KiB
Current children cumulated memory: 294528 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/251 185223
/proc/meminfo: memFree=97677372/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=361616 memory=298880 CPUtime=2972.57 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 198433 0 0 0 296827 430 0 0 20 0 1 0 238559339 370294784 74720 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 90404 74720 800 2416 0 87506 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 361616 KiB
Current children cumulated memory: 298880 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/251 185230
/proc/meminfo: memFree=97770484/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=361808 memory=301072 CPUtime=3032.39 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 199588 0 0 0 302805 434 0 0 20 0 1 0 238559339 370491392 75268 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 90452 75268 800 2416 0 87554 0
Current children cumulated CPU time: 3032.39 s
Current children cumulated vsize: 361808 KiB
Current children cumulated memory: 301072 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/250 185232
/proc/meminfo: memFree=97763544/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=362312 memory=306828 CPUtime=3092.19 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 200192 0 0 0 308782 437 0 0 20 0 1 0 238559339 371007488 76707 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 90578 76707 800 2416 0 87680 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 362312 KiB
Current children cumulated memory: 306828 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 185234
/proc/meminfo: memFree=97644340/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=362884 memory=314176 CPUtime=3151.99 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 200934 0 0 0 314759 440 0 0 20 0 1 0 238559339 371593216 78544 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 90721 78544 800 2416 0 87823 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 362884 KiB
Current children cumulated memory: 314176 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 185237
/proc/meminfo: memFree=97656060/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=365616 memory=324384 CPUtime=3211.8 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 205072 0 0 0 320721 459 0 0 20 0 1 0 238559339 374390784 81096 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 91404 81096 800 2416 0 88506 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 365616 KiB
Current children cumulated memory: 324384 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 185239
/proc/meminfo: memFree=97595888/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=366808 memory=312272 CPUtime=3271.62 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 209201 0 0 0 326678 484 0 0 20 0 1 0 238559339 375611392 78068 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 91702 78068 800 2416 0 88804 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 366808 KiB
Current children cumulated memory: 312272 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 185241
/proc/meminfo: memFree=97712640/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=367092 memory=317452 CPUtime=3331.43 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 209894 0 0 0 332655 488 0 0 20 0 1 0 238559339 375902208 79363 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 91773 79363 800 2416 0 88875 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 367092 KiB
Current children cumulated memory: 317452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 185244
/proc/meminfo: memFree=97700160/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=367384 memory=323088 CPUtime=3391.24 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 210366 0 0 0 338634 490 0 0 20 0 1 0 238559339 376201216 80772 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 91846 80772 800 2416 0 88948 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 367384 KiB
Current children cumulated memory: 323088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 185246
/proc/meminfo: memFree=97597328/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=367740 memory=328236 CPUtime=3451.05 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 210989 0 0 0 344612 493 0 0 20 0 1 0 238559339 376565760 82059 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 91935 82059 800 2416 0 89037 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 367740 KiB
Current children cumulated memory: 328236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.00 4.08 4.08 3/238 185310
/proc/meminfo: memFree=98819824/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=368056 memory=312208 CPUtime=3510.85 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 211919 0 0 0 350585 500 0 0 20 0 1 0 238559339 376889344 78052 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 92014 78052 800 2416 0 89116 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 368056 KiB
Current children cumulated memory: 312208 KiB

[startup+3582.3 s]
/proc/loadavg: 2.23 3.56 3.90 2/233 185343
/proc/meminfo: memFree=99214536/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=368928 memory=342716 CPUtime=3570.62 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 212526 0 0 0 356558 504 0 0 20 0 1 0 238559339 377782272 85679 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 92232 85679 800 2416 0 89334 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 368928 KiB
Current children cumulated memory: 342716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 1.83 3.33 3.81 2/233 185345
/proc/meminfo: memFree=99216364/131382116 swapFree=33010684/33010684
[pid=185067] ppid=185064 vsize=369812 memory=319068 CPUtime=3600.01 cores=5,7
/proc/185067/stat : 185067 (CASHWMaxSAT-Dis) R 185064 185067 183662 0 -1 4194304 215917 0 0 0 359484 517 0 0 20 0 1 0 238559339 378687488 79767 18446744073709551615 4198400 14093885 140734461202496 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 38629376 140734461208936 140734461209051 140734461209051 140734461214655 0
/proc/185067/statm: 92453 79767 800 2416 0 89555 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 369812 KiB
Current children cumulated memory: 319068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.85 s, system=5.18126 s

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

Child status: 0

Real time (s): 3611.8
CPU time (s): 3600.03
CPU user time (s): 3594.85
CPU system time (s): 5.18126
CPU usage (%): 99.674
Max. virtual memory (cumulated for all children) (KiB): 581428
Max. memory (cumulated for all children) (KiB): 473508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.85
system time used= 5.18126
maximum resident set size= 473508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215917
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= 61
involuntary context switches= 22307


# summary of solver processes directly reported to runsolver:
#   pid: 185067
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3594.85
#   total CPU system time (s): 5.18126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6002 second user time and 35.9359 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-23 01:59:56
IDJOB=4544205
IDBENCH=175047
IDSOLVER=3323
FILE ID=nodeC011/4544205-1753228796
RUNJOBID= nodeC011-1753221479-183675
SLURM_JOB_ID= 9687813
Free space on /tmp= 432772 MiB

SOLVER NAME= CASHWMaxSATDisjCom-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-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544205-1753228796/watcher-4544205-1753228796 -o /tmp/evaluation-result-4544205-1753228796/solver-4544205-1753228796 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753221479-183675 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4544205-1753228796.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 4a59e763ae88014143ab229bcecf86f5
RANDOM SEED=397442020

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

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        98971820 kB
MemAvailable:   129296712 kB
Buffers:            3276 kB
Cached:         31094448 kB
SwapCached:            0 kB
Active:          1164308 kB
Inactive:       30578756 kB
Active(anon):     669416 kB
Inactive(anon):     2076 kB
Active(file):     494892 kB
Inactive(file): 30576680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13028 kB
Writeback:             4 kB
AnonPages:        648420 kB
Mapped:           118552 kB
Shmem:             26152 kB
KReclaimable:     185508 kB
Slab:             279252 kB
SReclaimable:     185508 kB
SUnreclaim:        93744 kB
KernelStack:        4048 kB
PageTables:         4380 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1075700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432800 MiB
End job on nodeC011 at 2025-07-23 03:00:08