Trace number 4507322

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.02 3609.3

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
MD5SUM5fb93660b547b6cc9dd610c04b6e276e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5712
Total number of constraints5882
Number of constraints which are clauses5798
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint84
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 85
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.30	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 (62979 MiB free)
  memory of node 1: 64507 MiB (63708 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507322-1751180361/watcher-4507322-1751180361 -o /tmp/evaluation-result-4507322-1751180361/solver-4507322-1751180361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751180146-24285 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4507322-1751180361.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24485, runsolver pid=24482

[startup+0.100063 s]*
/proc/loadavg: 3.96 3.00 3.27 5/271 24486
/proc/meminfo: memFree=129729540/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=31968 memory=17432 CPUtime=0.09 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 3818 0 0 0 9 0 0 0 20 0 1 0 33713981 32735232 4358 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 7992 4358 960 2593 0 4885 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31968 KiB
Current children cumulated memory: 17432 KiB

[startup+0.205717 s]*
/proc/loadavg: 3.96 3.00 3.27 5/271 24486
/proc/meminfo: memFree=129729792/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=33104 memory=18584 CPUtime=0.19 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 4106 0 0 0 19 0 0 0 20 0 1 0 33713981 33898496 4646 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 8276 4646 960 2593 0 5169 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33104 KiB
Current children cumulated memory: 18584 KiB

[startup+0.30564 s]*
/proc/loadavg: 3.96 3.00 3.27 5/271 24486
/proc/meminfo: memFree=129729792/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=33368 memory=18848 CPUtime=0.29 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 4456 0 0 0 29 0 0 0 20 0 1 0 33713981 34168832 4712 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 8342 4712 960 2593 0 5235 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33368 KiB
Current children cumulated memory: 18848 KiB

[startup+0.700169 s]
/proc/loadavg: 3.96 3.00 3.27 5/271 24486
/proc/meminfo: memFree=129729792/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=47220 memory=32660 CPUtime=0.69 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 8744 0 0 0 68 1 0 0 20 0 1 0 33713981 48353280 8165 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 11805 8165 960 2593 0 8698 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47220 KiB
Current children cumulated memory: 32660 KiB

[startup+1.50014 s]
/proc/loadavg: 3.96 3.00 3.27 5/271 24486
/proc/meminfo: memFree=129693944/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=66288 memory=51804 CPUtime=1.48 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 14340 0 0 0 146 2 0 0 20 0 1 0 33713981 67878912 12951 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 16572 12951 960 2593 0 13465 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66288 KiB
Current children cumulated memory: 51804 KiB

[startup+3.10501 s]
/proc/loadavg: 3.97 3.01 3.27 5/271 24486
/proc/meminfo: memFree=129714208/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=66288 memory=51860 CPUtime=3.08 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 14908 0 0 0 306 2 0 0 20 0 1 0 33713981 67878912 12965 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 16572 12965 960 2593 0 13465 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66288 KiB
Current children cumulated memory: 51860 KiB

[startup+6.30016 s]
/proc/loadavg: 3.97 3.01 3.27 5/271 24487
/proc/meminfo: memFree=129704612/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=70640 memory=54292 CPUtime=6.27 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 15527 0 0 0 625 2 0 0 20 0 1 0 33713981 72335360 13573 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 17660 13573 960 2593 0 14553 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70640 KiB
Current children cumulated memory: 54292 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 3.05 3.28 5/271 24487
/proc/meminfo: memFree=129711936/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=73252 memory=58032 CPUtime=12.65 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 18035 0 0 0 1262 3 0 0 20 0 1 0 33713981 75010048 14508 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 18313 14508 960 2593 0 15206 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73252 KiB
Current children cumulated memory: 58032 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 3.09 3.29 5/269 24487
/proc/meminfo: memFree=129689076/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=67372 memory=52512 CPUtime=25.41 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 20923 0 0 0 2538 3 0 0 20 0 1 0 33713981 68988928 13128 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 16843 13128 960 2593 0 13736 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67372 KiB
Current children cumulated memory: 52512 KiB

[startup+51.1054 s]
/proc/loadavg: 4.02 3.17 3.31 5/265 24533
/proc/meminfo: memFree=129795608/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=75092 memory=60656 CPUtime=50.93 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 30120 0 0 0 5088 5 0 0 20 0 1 0 33713981 76894208 15164 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 18773 15164 960 2593 0 15666 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 75092 KiB
Current children cumulated memory: 60656 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.33 3.36 4/260 24643
/proc/meminfo: memFree=129787376/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=97912 memory=83440 CPUtime=101.97 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 38846 0 0 0 10190 7 0 0 20 0 1 0 33713981 100261888 20860 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 24478 20860 960 2593 0 21371 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 97912 KiB
Current children cumulated memory: 83440 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.47 3.41 5/266 24728
/proc/meminfo: memFree=129717188/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=101512 memory=86272 CPUtime=161.8 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 44096 0 0 0 16170 10 0 0 20 0 1 0 33713981 103948288 21568 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 25378 21568 960 2593 0 22271 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 101512 KiB
Current children cumulated memory: 86272 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.57 3.45 5/265 24775
/proc/meminfo: memFree=129762592/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=114288 memory=99952 CPUtime=221.64 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 45526 0 0 0 22154 10 0 0 20 0 1 0 33713981 117030912 24988 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 28572 24988 960 2593 0 25465 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 114288 KiB
Current children cumulated memory: 99952 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.68 3.50 4/264 25028
/proc/meminfo: memFree=129757240/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=118024 memory=103664 CPUtime=281.47 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 50511 0 0 0 28135 12 0 0 20 0 1 0 33713981 120856576 25916 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 29506 25916 960 2593 0 26399 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 118024 KiB
Current children cumulated memory: 103664 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.77 3.54 5/267 25139
/proc/meminfo: memFree=129752208/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=141776 memory=127472 CPUtime=341.3 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 51390 0 0 0 34117 13 0 0 20 0 1 0 33713981 145178624 31868 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 35444 31868 960 2593 0 32337 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 141776 KiB
Current children cumulated memory: 127472 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.83 3.58 5/268 25145
/proc/meminfo: memFree=129689032/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=141776 memory=127472 CPUtime=401.13 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 51440 0 0 0 40100 13 0 0 20 0 1 0 33713981 145178624 31868 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 35444 31868 960 2593 0 32337 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 141776 KiB
Current children cumulated memory: 127472 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.89 3.62 5/267 25148
/proc/meminfo: memFree=129659212/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=150012 memory=135664 CPUtime=460.97 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 56537 0 0 0 46082 15 0 0 20 0 1 0 33713981 153612288 33916 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 37503 33916 960 2593 0 34396 0

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

Current children cumulated memory: 253576 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 25316
/proc/meminfo: memFree=129378856/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=268744 memory=254344 CPUtime=2914.7 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 137580 0 0 0 291360 110 0 0 20 0 1 0 33713981 275193856 63586 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67186 63586 960 2593 0 64079 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 268744 KiB
Current children cumulated memory: 254344 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 25322
/proc/meminfo: memFree=129378016/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=268744 memory=254344 CPUtime=2974.55 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 137692 0 0 0 297345 110 0 0 20 0 1 0 33713981 275193856 63586 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67186 63586 960 2593 0 64079 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 268744 KiB
Current children cumulated memory: 254344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 25326
/proc/meminfo: memFree=129409608/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=269376 memory=254984 CPUtime=3034.4 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 137854 0 0 0 303330 110 0 0 20 0 1 0 33713981 275841024 63746 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67344 63746 960 2593 0 64237 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 269376 KiB
Current children cumulated memory: 254984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 25330
/proc/meminfo: memFree=129368352/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=269376 memory=254984 CPUtime=3094.26 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 137854 0 0 0 309316 110 0 0 20 0 1 0 33713981 275841024 63746 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67344 63746 960 2593 0 64237 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 269376 KiB
Current children cumulated memory: 254984 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 25332
/proc/meminfo: memFree=129364956/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=271096 memory=256648 CPUtime=3154.11 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 138284 0 0 0 315301 110 0 0 20 0 1 0 33713981 277602304 64162 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67774 64162 960 2593 0 64667 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 271096 KiB
Current children cumulated memory: 256648 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 25334
/proc/meminfo: memFree=129365844/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=271096 memory=256776 CPUtime=3213.96 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 138311 0 0 0 321286 110 0 0 20 0 1 0 33713981 277602304 64194 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 67774 64194 960 2593 0 64667 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 271096 KiB
Current children cumulated memory: 256776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 25336
/proc/meminfo: memFree=129367712/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=272852 memory=258440 CPUtime=3273.81 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 138834 0 0 0 327271 110 0 0 20 0 1 0 33713981 279400448 64610 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 68213 64610 960 2593 0 65106 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 272852 KiB
Current children cumulated memory: 258440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 25339
/proc/meminfo: memFree=129343048/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=272852 memory=258568 CPUtime=3333.66 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 138865 0 0 0 333256 110 0 0 20 0 1 0 33713981 279400448 64642 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 68213 64642 960 2593 0 65106 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 272852 KiB
Current children cumulated memory: 258568 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 25345
/proc/meminfo: memFree=129345560/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=273584 memory=259208 CPUtime=3393.52 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 139022 0 0 0 339242 110 0 0 20 0 1 0 33713981 280150016 64802 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 68396 64802 960 2593 0 65289 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 273584 KiB
Current children cumulated memory: 259208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 25347
/proc/meminfo: memFree=129329392/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=273584 memory=259208 CPUtime=3453.37 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 139022 0 0 0 345227 110 0 0 20 0 1 0 33713981 280150016 64802 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 68396 64802 960 2593 0 65289 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 273584 KiB
Current children cumulated memory: 259208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 25349
/proc/meminfo: memFree=129373420/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=196568 memory=182368 CPUtime=3513.22 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 139242 0 0 0 351212 110 0 0 20 0 1 0 33713981 201285632 45592 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 49142 45592 960 2593 0 46035 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 196568 KiB
Current children cumulated memory: 182368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 25355
/proc/meminfo: memFree=129332752/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=230232 memory=215884 CPUtime=3573.08 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 140946 0 0 0 357196 112 0 0 20 0 1 0 33713981 235757568 53971 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 57558 53971 960 2593 0 54451 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 230232 KiB
Current children cumulated memory: 215884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 25355
/proc/meminfo: memFree=129343376/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=197164 memory=182836 CPUtime=3600.01 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 142115 0 0 0 359888 113 0 0 20 0 1 0 33713981 201895936 45709 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 49291 45709 960 2593 0 46184 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 197164 KiB
Current children cumulated memory: 182836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.88 s, system=1.13471 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 25355
/proc/meminfo: memFree=129343376/131249996 swapFree=33010684/33010684
[pid=24485] ppid=24482 vsize=197164 memory=182836 CPUtime=3600.01 cores=5,7
/proc/24485/stat : 24485 (CASHWMaxSAT-Dis) R 24482 24485 24272 0 -1 4194304 142115 0 0 0 359888 113 0 0 20 0 1 0 33713981 201895936 45709 18446744073709551615 4198400 14817773 140727925980256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 23457792 140727925987690 140727925987805 140727925987805 140727925993407 0
/proc/24485/statm: 49291 45709 960 2593 0 46184 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 197164 KiB
Current children cumulated memory: 182836 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3598.88
CPU system time (s): 1.13471
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 358456
Max. memory (cumulated for all children) (KiB): 330784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.88
system time used= 1.13471
maximum resident set size= 341544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142115
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= 54
involuntary context switches= 1604


# summary of solver processes directly reported to runsolver:
#   pid: 24485
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.88
#   total CPU system time (s): 1.13471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6226 second user time and 15.0812 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 08:59:21
IDJOB=4507322
IDBENCH=158343
IDSOLVER=3322
FILE ID=nodeC024/4507322-1751180361
RUNJOBID= nodeC024-1751180146-24285
SLURM_JOB_ID= 9587545
Free space on /tmp= 433016 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507322-1751180361/watcher-4507322-1751180361 -o /tmp/evaluation-result-4507322-1751180361/solver-4507322-1751180361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751180146-24285 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4507322-1751180361.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1219428535

nodeC024 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.681
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.36
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.607
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.36
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		: 3623.120
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129729124 kB
MemAvailable:   129405196 kB
Buffers:            3280 kB
Cached:           486160 kB
SwapCached:            0 kB
Active:           633288 kB
Inactive:         266156 kB
Active(anon):     428068 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):   266156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14108 kB
Writeback:            28 kB
AnonPages:        408996 kB
Mapped:           114940 kB
Shmem:             18064 kB
KReclaimable:      87472 kB
Slab:             173412 kB
SReclaimable:      87472 kB
SUnreclaim:        85940 kB
KernelStack:        4400 kB
PageTables:         3968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     759904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC024 at 2025-06-29 09:59:30