Trace number 4506747

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.08 3611.5

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
MD5SUMe3ebae4cd87024085ca08d92094a2c8e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark604.662
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20111
Total number of constraints20451
Number of constraints which are clauses20282
Number of constraints which are cardinality constraints (but not clauses)169
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint169
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 170
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2.88/2.96	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.88/2.96	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.07/3611.50	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 (56636 MiB free)
  memory of node 1: 64507 MiB (62402 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506747-1751174585/watcher-4506747-1751174585 -o /tmp/evaluation-result-4506747-1751174585/solver-4506747-1751174585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751169647-22615 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4506747-1751174585.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=23455, runsolver pid=23452


[startup+0.100101 s]*
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121886652/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=32312 memory=12928 CPUtime=0.1 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 2662 0 0 0 9 1 0 0 20 0 1 0 33138294 33087488 3232 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 8078 3232 736 2416 0 5180 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32312 KiB
Current children cumulated memory: 12928 KiB

[startup+0.213115 s]*
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121880604/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=38068 memory=18816 CPUtime=0.21 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 4122 0 0 0 20 1 0 0 20 0 1 0 33138294 38981632 4704 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 9517 4704 736 2416 0 6619 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 18816 KiB

[startup+0.313104 s]*
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121872540/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=43452 memory=24064 CPUtime=0.32 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 5449 0 0 0 30 2 0 0 20 0 1 0 33138294 44494848 6016 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 10863 6016 736 2416 0 7965 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43452 KiB
Current children cumulated memory: 24064 KiB

[startup+0.700304 s]
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121864476/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=66240 memory=47404 CPUtime=0.69 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 11563 0 0 0 65 4 0 0 20 0 1 0 33138294 67829760 11851 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 16560 11851 768 2416 0 13662 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66240 KiB
Current children cumulated memory: 47404 KiB

[startup+1.50029 s]
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121848348/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=67828 memory=50668 CPUtime=1.48 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 13275 0 0 0 144 4 0 0 20 0 1 0 33138294 69455872 12667 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 16957 12667 800 2416 0 14059 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67828 KiB
Current children cumulated memory: 50668 KiB

[startup+3.11311 s]
/proc/loadavg: 4.09 4.16 4.16 5/251 23456
/proc/meminfo: memFree=121846664/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=70548 memory=53996 CPUtime=3.09 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 14133 0 0 0 305 4 0 0 20 0 1 0 33138294 72241152 13499 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 17637 13499 800 2416 0 14739 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70548 KiB
Current children cumulated memory: 53996 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 4.18 4.17 5/251 23456
/proc/meminfo: memFree=121819104/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=74968 memory=59124 CPUtime=6.27 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 15835 0 0 0 622 5 0 0 20 0 1 0 33138294 76767232 14781 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 18742 14781 800 2416 0 15844 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74968 KiB
Current children cumulated memory: 59124 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.18 4.17 5/251 23456
/proc/meminfo: memFree=121807836/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=92960 memory=66352 CPUtime=12.65 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 17712 0 0 0 1259 6 0 0 20 0 1 0 33138294 95191040 16588 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 23240 16588 800 2416 0 20342 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92960 KiB
Current children cumulated memory: 66352 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.17 4.16 5/251 23456
/proc/meminfo: memFree=121791416/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=111812 memory=95272 CPUtime=25.4 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 18307 0 0 0 2534 6 0 0 20 0 1 0 33138294 114495488 23818 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 27953 23818 800 2416 0 25055 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 111812 KiB
Current children cumulated memory: 95272 KiB

[startup+51.1133 s]
/proc/loadavg: 4.15 4.17 4.16 5/251 23456
/proc/meminfo: memFree=121556040/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=161132 memory=127388 CPUtime=50.92 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 18944 0 0 0 5083 9 0 0 20 0 1 0 33138294 164999168 31847 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 40283 31847 800 2416 0 37385 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 161132 KiB
Current children cumulated memory: 127388 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/251 23459
/proc/meminfo: memFree=121770464/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=173280 memory=145680 CPUtime=101.94 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 20372 0 0 0 10175 19 0 0 20 0 1 0 33138294 177438720 36420 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 43320 36420 800 2416 0 40422 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 173280 KiB
Current children cumulated memory: 145680 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/250 23463
/proc/meminfo: memFree=121743160/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=173280 memory=141584 CPUtime=161.72 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 24026 0 0 0 16142 30 0 0 20 0 1 0 33138294 177438720 35396 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 43320 35396 800 2416 0 40422 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 173280 KiB
Current children cumulated memory: 141584 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/250 23465
/proc/meminfo: memFree=121742472/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=173280 memory=141584 CPUtime=221.52 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 29072 0 0 0 22107 45 0 0 20 0 1 0 33138294 177438720 35396 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 43320 35396 800 2416 0 40422 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 173280 KiB
Current children cumulated memory: 141584 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/250 23467
/proc/meminfo: memFree=121732028/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=173280 memory=147728 CPUtime=281.31 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 33269 0 0 0 28074 57 0 0 20 0 1 0 33138294 177438720 36932 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 43320 36932 800 2416 0 40422 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 173280 KiB
Current children cumulated memory: 147728 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/250 23469
/proc/meminfo: memFree=121761080/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=123960 memory=108532 CPUtime=341.1 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 38918 0 0 0 34040 70 0 0 20 0 1 0 33138294 126935040 27133 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 30990 27133 800 2416 0 28092 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 123960 KiB
Current children cumulated memory: 108532 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 23477
/proc/meminfo: memFree=121724184/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=284240 memory=200016 CPUtime=400.9 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 44024 0 0 0 40006 84 0 0 20 0 1 0 33138294 291061760 50004 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 71060 50004 800 2416 0 68162 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 284240 KiB
Current children cumulated memory: 200016 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 23479
/proc/meminfo: memFree=121724628/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=204100 memory=164916 CPUtime=460.69 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 48108 0 0 0 45971 98 0 0 20 0 1 0 33138294 208998400 41229 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 51025 41229 800 2416 0 48127 0
Current children cumulated CPU time: 460.69 s

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

Current children cumulated memory: 266920 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 23738
/proc/meminfo: memFree=129258776/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=217596 memory=187924 CPUtime=2912.64 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 267838 0 0 0 290594 670 0 0 20 0 1 0 33138294 222818304 46981 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 54399 46981 800 2416 0 51501 0
Current children cumulated CPU time: 2912.64 s
Current children cumulated vsize: 217596 KiB
Current children cumulated memory: 187924 KiB

[startup+2982.3 s]
/proc/loadavg: 4.62 4.23 4.14 5/251 23740
/proc/meminfo: memFree=129188412/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=217728 memory=176040 CPUtime=2972.49 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 269380 0 0 0 296567 682 0 0 20 0 1 0 33138294 222953472 44010 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 54432 44010 800 2416 0 51534 0
Current children cumulated CPU time: 2972.49 s
Current children cumulated vsize: 217728 KiB
Current children cumulated memory: 176040 KiB

[startup+3042.3 s]
/proc/loadavg: 4.47 4.27 4.16 5/250 23742
/proc/meminfo: memFree=129174408/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=268084 memory=228448 CPUtime=3032.34 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 271410 0 0 0 302540 694 0 0 20 0 1 0 33138294 274518016 57112 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 67021 57112 800 2416 0 64123 0
Current children cumulated CPU time: 3032.34 s
Current children cumulated vsize: 268084 KiB
Current children cumulated memory: 228448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.85 4.42 4.22 5/250 23744
/proc/meminfo: memFree=129157720/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=269732 memory=231820 CPUtime=3092.18 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 277203 0 0 0 308507 711 0 0 20 0 1 0 33138294 276205568 57955 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 67433 57955 800 2416 0 64535 0
Current children cumulated CPU time: 3092.18 s
Current children cumulated vsize: 269732 KiB
Current children cumulated memory: 231820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.43 4.39 4.22 5/249 23746
/proc/meminfo: memFree=129167220/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=271124 memory=218180 CPUtime=3152.03 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 283040 0 0 0 314473 730 0 0 20 0 1 0 33138294 277630976 54545 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 67781 54545 800 2416 0 64883 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 271124 KiB
Current children cumulated memory: 218180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.33 4.21 5/250 23751
/proc/meminfo: memFree=129205904/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=221180 memory=193744 CPUtime=3211.88 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 285881 0 0 0 320443 745 0 0 20 0 1 0 33138294 226488320 48436 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 55295 48436 800 2416 0 52397 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 221180 KiB
Current children cumulated memory: 193744 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.30 4.20 5/250 23753
/proc/meminfo: memFree=129262336/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=221452 memory=198056 CPUtime=3271.73 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 287266 0 0 0 326415 758 0 0 20 0 1 0 33138294 226766848 49514 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 55363 49514 800 2416 0 52465 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 221452 KiB
Current children cumulated memory: 198056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.26 4.19 5/250 23755
/proc/meminfo: memFree=129209376/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=221588 memory=200312 CPUtime=3331.58 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 288646 0 0 0 332388 770 0 0 20 0 1 0 33138294 226906112 50078 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 55397 50078 800 2416 0 52499 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 221588 KiB
Current children cumulated memory: 200312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/250 23757
/proc/meminfo: memFree=129185476/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=273168 memory=237512 CPUtime=3391.43 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 292920 0 0 0 338357 786 0 0 20 0 1 0 33138294 279724032 59378 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 68292 59378 800 2416 0 65394 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 273168 KiB
Current children cumulated memory: 237512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/250 23763
/proc/meminfo: memFree=129197160/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=275320 memory=218316 CPUtime=3451.24 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 299471 0 0 0 344320 804 0 0 20 0 1 0 33138294 281927680 54579 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 68830 54579 800 2416 0 65932 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 275320 KiB
Current children cumulated memory: 218316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/250 23765
/proc/meminfo: memFree=129217604/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=277004 memory=211996 CPUtime=3511.09 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 305484 0 0 0 350290 819 0 0 20 0 1 0 33138294 283652096 52999 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 69251 52999 800 2416 0 66353 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 277004 KiB
Current children cumulated memory: 211996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/250 23767
/proc/meminfo: memFree=129170452/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=227048 memory=190996 CPUtime=3570.94 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 307169 0 0 0 356260 834 0 0 20 0 1 0 33138294 232497152 47749 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 56762 47749 800 2416 0 53864 0
Current children cumulated CPU time: 3570.94 s
Current children cumulated vsize: 227048 KiB
Current children cumulated memory: 190996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.08 4.16 4.17 5/250 23767
/proc/meminfo: memFree=129132492/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=227048 memory=193108 CPUtime=3600.07 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 307854 0 0 0 359166 841 0 0 20 0 1 0 33138294 232497152 48277 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 56762 48277 800 2416 0 53864 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 227048 KiB
Current children cumulated memory: 193108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.67 s, system=8.41333 s

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

[startup+3611.5 s]
/proc/loadavg: 4.08 4.16 4.17 5/250 23767
/proc/meminfo: memFree=129132492/131382112 swapFree=33010684/33010684
[pid=23455] ppid=23452 vsize=227048 memory=193108 CPUtime=3600.07 cores=4,6
/proc/23455/stat : 23455 (CASHWMaxSAT-Dis) R 23452 23455 22604 0 -1 4194304 307854 0 0 0 359166 841 0 0 20 0 1 0 33138294 232497152 48277 18446744073709551615 4198400 14093885 140727658301552 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24272896 140727658305898 140727658306013 140727658306013 140727658311615 0
/proc/23455/statm: 56762 48277 800 2416 0 53864 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 227048 KiB
Current children cumulated memory: 193108 KiB

Child status: 0

Real time (s): 3611.5
CPU time (s): 3600.08
CPU user time (s): 3591.67
CPU system time (s): 8.41333
CPU usage (%): 99.6837
Max. virtual memory (cumulated for all children) (KiB): 488348
Max. memory (cumulated for all children) (KiB): 364496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.67
system time used= 8.41333
maximum resident set size= 386000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307854
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= 57
involuntary context switches= 5229


# summary of solver processes directly reported to runsolver:
#   pid: 23455
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.67
#   total CPU system time (s): 8.41333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6978 second user time and 35.3126 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-29 07:23:05
IDJOB=4506747
IDBENCH=158263
IDSOLVER=3323
FILE ID=nodeC009/4506747-1751174585
RUNJOBID= nodeC009-1751169647-22615
SLURM_JOB_ID= 9587522
Free space on /tmp= 432720 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506747-1751174585/watcher-4506747-1751174585 -o /tmp/evaluation-result-4506747-1751174585/solver-4506747-1751174585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751169647-22615 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4506747-1751174585.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=724233983

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121896420 kB
MemAvailable:   122242468 kB
Buffers:            3280 kB
Cached:          1155868 kB
SwapCached:            0 kB
Active:          7966196 kB
Inactive:         910692 kB
Active(anon):    7735704 kB
Inactive(anon):        0 kB
Active(file):     230492 kB
Inactive(file):   910692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14224 kB
Writeback:             0 kB
AnonPages:       7720816 kB
Mapped:           111988 kB
Shmem:             17960 kB
KReclaimable:      88600 kB
Slab:             169716 kB
SReclaimable:      88600 kB
SUnreclaim:        81116 kB
KernelStack:        4048 kB
PageTables:        18232 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8284220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2267136 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC009 at 2025-06-29 08:23:17