Trace number 4492782

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.08 3609.5

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
MD5SUM34508937f6127f0a8669d934526c1066
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 benchmark1.25863
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints109861
Number of constraints which are clauses109861
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint60
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 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3609.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: 63665 MiB (63132 MiB free)
  memory of node 1: 64507 MiB (64026 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492782-1751133693/watcher-4492782-1751133693 -o /tmp/evaluation-result-4492782-1751133693/solver-4492782-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11801 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4492782-1751133693.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=12452, runsolver pid=12449
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 2.88 0.92 0.38 5/267 12462
/proc/meminfo: memFree=130180200/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=36712 memory=22272 CPUtime=0.09 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 4835 0 0 0 9 0 0 0 20 0 1 0 29049188 37593088 5568 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 9178 5568 864 2593 0 6071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36712 KiB
Current children cumulated memory: 22272 KiB

[startup+0.205387 s]*
/proc/loadavg: 2.88 0.92 0.38 5/267 12462
/proc/meminfo: memFree=130156260/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=55928 memory=41344 CPUtime=0.2 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 9624 0 0 0 19 1 0 0 20 0 1 0 29049188 57270272 10336 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 13982 10336 864 2593 0 10875 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55928 KiB
Current children cumulated memory: 41344 KiB

[startup+0.305002 s]*
/proc/loadavg: 2.88 0.92 0.38 6/267 12462
/proc/meminfo: memFree=130132068/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=74240 memory=59648 CPUtime=0.3 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 14184 0 0 0 28 2 0 0 20 0 1 0 29049188 76021760 14912 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 18560 14912 864 2593 0 15453 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74240 KiB
Current children cumulated memory: 59648 KiB

[startup+0.700122 s]
/proc/loadavg: 2.88 0.92 0.38 5/267 12462
/proc/meminfo: memFree=130101264/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=105100 memory=89924 CPUtime=0.68 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 23808 0 0 0 65 3 0 0 20 0 1 0 29049188 107622400 22481 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 26275 22481 960 2593 0 23168 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105100 KiB
Current children cumulated memory: 89924 KiB

[startup+1.50012 s]
/proc/loadavg: 2.88 0.92 0.38 5/267 12462
/proc/meminfo: memFree=130095988/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=112856 memory=97832 CPUtime=1.48 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 26673 0 0 0 145 3 0 0 20 0 1 0 29049188 115564544 24458 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 28214 24458 992 2593 0 25107 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112856 KiB
Current children cumulated memory: 97832 KiB

[startup+3.10528 s]
/proc/loadavg: 2.97 0.97 0.40 5/267 12462
/proc/meminfo: memFree=130075608/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=113708 memory=98792 CPUtime=3.08 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 28659 0 0 0 304 4 0 0 20 0 1 0 29049188 116436992 24698 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 28427 24698 992 2593 0 25320 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113708 KiB
Current children cumulated memory: 98792 KiB

[startup+6.30012 s]
/proc/loadavg: 2.97 0.97 0.40 5/267 12462
/proc/meminfo: memFree=130062572/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=120328 memory=105396 CPUtime=6.27 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 30592 0 0 0 622 5 0 0 20 0 1 0 29049188 123215872 26349 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 30082 26349 992 2593 0 26975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 120328 KiB
Current children cumulated memory: 105396 KiB

[startup+12.7001 s]
/proc/loadavg: 3.12 1.07 0.43 5/267 12462
/proc/meminfo: memFree=130029736/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=128984 memory=114024 CPUtime=12.65 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 33706 0 0 0 1260 5 0 0 20 0 1 0 29049188 132079616 28506 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 32246 28506 992 2593 0 29139 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128984 KiB
Current children cumulated memory: 114024 KiB

[startup+25.5001 s]
/proc/loadavg: 3.26 1.17 0.47 5/267 12463
/proc/meminfo: memFree=129995416/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=119640 memory=104836 CPUtime=25.41 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 36903 0 0 0 2534 7 0 0 20 0 1 0 29049188 122511360 26209 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 29910 26209 992 2593 0 26803 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 119640 KiB
Current children cumulated memory: 104836 KiB

[startup+51.1053 s]
/proc/loadavg: 3.51 1.40 0.57 5/267 12463
/proc/meminfo: memFree=129936644/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=135476 memory=120752 CPUtime=50.95 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 40931 0 0 0 5085 10 0 0 20 0 1 0 29049188 138727424 30188 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 33869 30188 992 2593 0 30762 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 135476 KiB
Current children cumulated memory: 120752 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 1.87 0.78 5/267 12465
/proc/meminfo: memFree=129858512/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=151452 memory=136824 CPUtime=101.98 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 47163 0 0 0 10183 15 0 0 20 0 1 0 29049188 155086848 34206 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 37863 34206 992 2593 0 34756 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 151452 KiB
Current children cumulated memory: 136824 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.27 0.99 5/267 12467
/proc/meminfo: memFree=129807656/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=178336 memory=163812 CPUtime=161.82 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 49113 0 0 0 16165 17 0 0 20 0 1 0 29049188 182616064 40953 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 44584 40953 992 2593 0 41477 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 178336 KiB
Current children cumulated memory: 163812 KiB

[startup+222.3 s]
/proc/loadavg: 4.32 2.69 1.22 5/266 12469
/proc/meminfo: memFree=129781964/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=169168 memory=154624 CPUtime=221.66 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 52255 0 0 0 22146 20 0 0 20 0 1 0 29049188 173228032 38656 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 42292 38656 992 2593 0 39185 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 169168 KiB
Current children cumulated memory: 154624 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 2.95 1.40 5/264 12471
/proc/meminfo: memFree=129715056/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=210792 memory=196288 CPUtime=281.51 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 59376 0 0 0 28122 29 0 0 20 0 1 0 29049188 215851008 49072 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 52698 49072 992 2593 0 49591 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 210792 KiB
Current children cumulated memory: 196288 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.16 1.57 5/263 12473
/proc/meminfo: memFree=129676576/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=210792 memory=196464 CPUtime=341.36 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 61673 0 0 0 34103 33 0 0 20 0 1 0 29049188 215851008 49116 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 52698 49116 992 2593 0 49591 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 210792 KiB
Current children cumulated memory: 196464 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.33 1.73 5/262 12475
/proc/meminfo: memFree=129620856/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=210792 memory=196536 CPUtime=401.21 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 65398 0 0 0 40079 42 0 0 20 0 1 0 29049188 215851008 49134 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 52698 49134 992 2593 0 49591 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 210792 KiB
Current children cumulated memory: 196536 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.47 1.88 5/262 12477
/proc/meminfo: memFree=129642808/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=210792 memory=196556 CPUtime=461.06 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 69965 0 0 0 46057 49 0 0 20 0 1 0 29049188 215851008 49139 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 52698 49139 992 2593 0 49591 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 364404 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.00 5/263 12591
/proc/meminfo: memFree=129250312/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=375596 memory=361152 CPUtime=2914.7 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 186693 0 0 0 291117 353 0 0 20 0 1 0 29049188 384610304 90288 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 93899 90288 992 2593 0 90792 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 375596 KiB
Current children cumulated memory: 361152 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.00 5/263 12597
/proc/meminfo: memFree=129281900/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=340636 memory=326192 CPUtime=2974.54 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 188943 0 0 0 297093 361 0 0 20 0 1 0 29049188 348811264 81548 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 85159 81548 992 2593 0 82052 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 340636 KiB
Current children cumulated memory: 326192 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.01 5/263 12601
/proc/meminfo: memFree=129295488/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=321724 memory=307280 CPUtime=3034.38 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 191265 0 0 0 303069 369 0 0 20 0 1 0 29049188 329445376 76820 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 80431 76820 992 2593 0 77324 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 321724 KiB
Current children cumulated memory: 307280 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/263 12603
/proc/meminfo: memFree=129246660/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=369364 memory=354920 CPUtime=3094.22 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 193715 0 0 0 309045 377 0 0 20 0 1 0 29049188 378228736 88730 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 92341 88730 992 2593 0 89234 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 369364 KiB
Current children cumulated memory: 354920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/262 12605
/proc/meminfo: memFree=129288924/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=373772 memory=359328 CPUtime=3154.06 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 195898 0 0 0 315023 383 0 0 20 0 1 0 29049188 382742528 89832 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 93443 89832 992 2593 0 90336 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 373772 KiB
Current children cumulated memory: 359328 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/262 12607
/proc/meminfo: memFree=129289820/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=337780 memory=323336 CPUtime=3213.9 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 197818 0 0 0 321000 390 0 0 20 0 1 0 29049188 345886720 80834 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 84445 80834 992 2593 0 81338 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 337780 KiB
Current children cumulated memory: 323336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.14 4.03 5/265 12613
/proc/meminfo: memFree=129239024/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=340096 memory=325652 CPUtime=3273.74 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 200399 0 0 0 326975 399 0 0 20 0 1 0 29049188 348258304 81413 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 85024 81413 992 2593 0 81917 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 340096 KiB
Current children cumulated memory: 325652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.03 5/265 12615
/proc/meminfo: memFree=129183844/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=421880 memory=407436 CPUtime=3333.58 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 202154 0 0 0 332953 405 0 0 20 0 1 0 29049188 432005120 101859 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 105470 101859 992 2593 0 102363 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 421880 KiB
Current children cumulated memory: 407436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/265 12617
/proc/meminfo: memFree=129250244/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=322876 memory=308432 CPUtime=3393.42 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 204001 0 0 0 338931 411 0 0 20 0 1 0 29049188 330625024 77108 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 80719 77108 992 2593 0 77612 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 322876 KiB
Current children cumulated memory: 308432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/265 12618
/proc/meminfo: memFree=129161196/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=381120 memory=366676 CPUtime=3453.26 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 205471 0 0 0 344909 417 0 0 20 0 1 0 29049188 390266880 91669 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 95280 91669 992 2593 0 92173 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 381120 KiB
Current children cumulated memory: 366676 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.03 5/265 12620
/proc/meminfo: memFree=129205564/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=364512 memory=350068 CPUtime=3513.1 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 208213 0 0 0 350885 425 0 0 20 0 1 0 29049188 373260288 87517 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 91128 87517 992 2593 0 88021 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 364512 KiB
Current children cumulated memory: 350068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/263 12638
/proc/meminfo: memFree=129183648/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=351784 memory=337340 CPUtime=3572.94 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 210982 0 0 0 356862 432 0 0 20 0 1 0 29049188 360226816 84335 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 87946 84335 992 2593 0 84839 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 351784 KiB
Current children cumulated memory: 337340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.10 4.10 4.03 4/261 12684
/proc/meminfo: memFree=129602688/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=358140 memory=343696 CPUtime=3600.07 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 212267 0 0 0 359571 436 0 0 20 0 1 0 29049188 366735360 85924 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 89535 85924 992 2593 0 86428 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 358140 KiB
Current children cumulated memory: 343696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.71 s, system=4.36607 s

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

[startup+3609.5 s]
/proc/loadavg: 4.10 4.10 4.03 4/261 12684
/proc/meminfo: memFree=129602688/131250000 swapFree=33010684/33010684
[pid=12452] ppid=12449 vsize=358140 memory=343696 CPUtime=3600.07 cores=0,2
/proc/12452/stat : 12452 (CASHWMaxSAT-Dis) R 12449 12452 11786 0 -1 4194304 212267 0 0 0 359571 436 0 0 20 0 1 0 29049188 366735360 85924 18446744073709551615 4198400 14817773 140727957732528 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 36077568 140727957739882 140727957739997 140727957739997 140727957745599 0
/proc/12452/statm: 89535 85924 992 2593 0 86428 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 358140 KiB
Current children cumulated memory: 343696 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.08
CPU user time (s): 3595.71
CPU system time (s): 4.36607
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 600668
Max. memory (cumulated for all children) (KiB): 585788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.71
system time used= 4.36607
maximum resident set size= 585788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212267
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= 47
involuntary context switches= 7858


# summary of solver processes directly reported to runsolver:
#   pid: 12452
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3595.71
#   total CPU system time (s): 4.36607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92726 second user time and 14.248 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-28 20:01:33
IDJOB=4492782
IDBENCH=147823
IDSOLVER=3322
FILE ID=nodeC027/4492782-1751133693
RUNJOBID= nodeC027-1751133631-11801
SLURM_JOB_ID= 9587427
Free space on /tmp= 433020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492782-1751133693/watcher-4492782-1751133693 -o /tmp/evaluation-result-4492782-1751133693/solver-4492782-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11801 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4492782-1751133693.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 34508937f6127f0a8669d934526c1066
RANDOM SEED=1434631096

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130211624 kB
MemAvailable:   129812644 kB
Buffers:            3280 kB
Cached:           367804 kB
SwapCached:            0 kB
Active:           327484 kB
Inactive:         161060 kB
Active(anon):     135532 kB
Inactive(anon):        0 kB
Active(file):     191952 kB
Inactive(file):   161060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44800 kB
Writeback:            20 kB
AnonPages:        120372 kB
Mapped:           111044 kB
Shmem:             18068 kB
KReclaimable:      83980 kB
Slab:             167264 kB
SReclaimable:      83980 kB
SUnreclaim:        83284 kB
KernelStack:        4300 kB
PageTables:         3316 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     439980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC027 at 2025-06-28 21:01:43