Trace number 4505934

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02? (MO) 1163.7 1167.54

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
MD5SUMc802f246252f1c3f359f42604d33488d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11408
Best CPU time to get the best result obtained on this benchmark7035.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 174643715
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 174643715
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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 (59818 MiB free)
  memory of node 1: 64507 MiB (59398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505934-1751494004/watcher-4505934-1751494004 -o /tmp/evaluation-result-4505934-1751494004/solver-4505934-1751494004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751485798-72547 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4505934-1751494004.opb 3600 HOME 

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


[startup+0.100067 s]*
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=122038560/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=68236 memory=45408 CPUtime=0.08 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 11353 0 0 0 6 2 0 0 20 0 1 0 65078169 69873664 11352 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 17059 11352 736 2416 0 14161 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75220 KiB
Current children cumulated memory: 49888 KiB

[startup+0.205825 s]*
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=122011340/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=124220 memory=95212 CPUtime=0.18 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 23030 0 0 0 14 4 0 0 20 0 1 0 65078169 127201280 23803 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 31055 23803 736 2416 0 28157 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 131204 KiB
Current children cumulated memory: 99692 KiB

[startup+0.305751 s]*
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121977572/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=160088 memory=129120 CPUtime=0.29 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 31603 0 0 0 23 6 0 0 20 0 1 0 65078169 163930112 32280 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 40022 32280 736 2416 0 37124 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 167072 KiB
Current children cumulated memory: 133600 KiB

[startup+0.70024 s]
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121945540/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=216752 memory=179032 CPUtime=0.68 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 43081 0 0 0 60 8 0 0 20 0 1 0 65078169 221954048 44758 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 54188 44758 736 2416 0 51290 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 223736 KiB
Current children cumulated memory: 183512 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121889216/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=292624 memory=265564 CPUtime=1.47 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 62461 0 0 0 135 12 0 0 20 0 1 0 65078169 299646976 66391 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 73156 66391 736 2416 0 70258 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 299608 KiB
Current children cumulated memory: 270044 KiB

[startup+3.10554 s]
/proc/loadavg: 4.14 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121642776/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=531564 memory=504372 CPUtime=3.07 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 121652 0 0 0 285 22 0 0 20 0 1 0 65078169 544321536 126093 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 132891 126093 736 2416 0 129993 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 538548 KiB
Current children cumulated memory: 508852 KiB

[startup+6.30024 s]
/proc/loadavg: 4.12 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121291364/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=900264 memory=871876 CPUtime=6.26 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 194619 0 0 0 589 37 0 0 20 0 1 0 65078169 921870336 217969 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 225066 217969 768 2416 0 222168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 907248 KiB
Current children cumulated memory: 876356 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.16 4.11 5/270 73729
/proc/meminfo: memFree=121144764/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=1226508 memory=1135508 CPUtime=12.64 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 224590 0 0 0 1219 45 0 0 20 0 1 0 65078169 1255944192 283877 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 306627 283877 768 2416 0 303729 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1233492 KiB
Current children cumulated memory: 1139988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.11 5/270 73729
/proc/meminfo: memFree=120359880/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=1991744 memory=1939044 CPUtime=25.4 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 288944 0 0 0 2467 73 0 0 20 0 1 0 65078169 2039545856 484761 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 497936 484761 768 2416 0 495038 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1998728 KiB
Current children cumulated memory: 1943524 KiB

[startup+51.1058 s]
/proc/loadavg: 4.06 4.13 4.10 5/270 73729
/proc/meminfo: memFree=105684288/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73727] ppid=73724 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/73727/stat : 73727 (timeout) S 73724 73727 72534 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65078169 2723840 352 18446744073709551615 94318964899840 94318964916353 140728260415840 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94318964931120 94318964933208 94318989099008 140728260422040 140728260422178 140728260422178 140728260427751 0
/proc/73727/statm: 665 352 352 5 0 90 0
[pid=73728] ppid=73727 vsize=7250984 memory=6301668 CPUtime=50.94 cores=5,7
/proc/73728/stat : 73728 (CASHWMaxSAT-Dis) R 73727 73727 72534 0 -1 4194304 640038 0 0 0 4893 201 0 0 20 0 1 0 65078169 7425007616 1575417 18446744073709551615 4198400 14093885 140726982051360 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43950080 140726982056349 140726982056475 140726982056475 140726982062048 0
/proc/73728/statm: 1812746 1575417 768 2416 0 1809848 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7257968 KiB
Current children cumulated memory: 6306148 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/271 73780
/proc/meminfo: memFree=113218900/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 251 102 0 0 0 0 0 0 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0

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

/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 107656 0 0 0 4253 34 0 0 20 0 1 0 65168094 1171849216 256488 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 286096 256488 1888 2271 0 280734 0
Current children cumulated CPU time: 938.99 s
Current children cumulated vsize: 1151368 KiB
Current children cumulated memory: 1030304 KiB

[startup+1002.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/271 73950
/proc/meminfo: memFree=117849220/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=896.12 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 284 1382377 0 0 0 0 89162 450 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73824] ppid=73724 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73724 73824 72534 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=1144384 memory=1028896 CPUtime=102.72 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 108087 0 0 0 10238 34 0 0 20 0 1 0 65168094 1171849216 257224 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 286096 257224 1888 2271 0 280734 0
Current children cumulated CPU time: 998.84 s
Current children cumulated vsize: 1151368 KiB
Current children cumulated memory: 1033248 KiB

[startup+1062.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/271 73952
/proc/meminfo: memFree=116263524/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=896.12 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 284 1382377 0 0 0 0 89162 450 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73824] ppid=73724 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73724 73824 72534 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=1158068 memory=1054264 CPUtime=162.6 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 108841 0 0 0 16224 36 0 0 20 0 1 0 65168094 1185861632 263566 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 289517 263566 1888 2271 0 284155 0
Current children cumulated CPU time: 1058.72 s
Current children cumulated vsize: 1165052 KiB
Current children cumulated memory: 1058616 KiB

[startup+1122.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/271 73954
/proc/meminfo: memFree=116300892/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=896.12 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 284 1382377 0 0 0 0 89162 450 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73824] ppid=73724 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73724 73824 72534 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=1161132 memory=1066120 CPUtime=222.47 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 109307 0 0 0 22211 36 0 0 20 0 1 0 65168094 1188999168 266530 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 290283 266530 1888 2271 0 284921 0
Current children cumulated CPU time: 1118.59 s
Current children cumulated vsize: 1168116 KiB
Current children cumulated memory: 1070472 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1164.4 s]
/proc/loadavg: 4.11 4.14 4.11 5/271 73955
/proc/meminfo: memFree=86132276/131249996 swapFree=33010672/33010684
[pid=73724] ppid=73721 vsize=4324 memory=3072 CPUtime=896.12 cores=5,7
/proc/73724/stat : 73724 (Hybrid-CASHWMax) S 73721 73724 72534 0 -1 4194304 284 1382377 0 0 0 0 89162 450 20 0 1 0 65078167 4427776 768 18446744073709551615 94226628681728 94226629576261 140723879007392 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94226629815312 94226629863056 94226652819456 140723879016789 140723879016944 140723879016944 140723879022546 0
/proc/73724/statm: 1081 768 704 219 0 143 0
[pid=73824] ppid=73724 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73724 73824 72534 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=31764948 memory=31510684 CPUtime=264.42 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 7709311 0 0 0 25348 1094 0 0 20 0 1 0 65168094 32527306752 7877671 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 7941237 7877671 1888 2271 0 7935875 0
Current children cumulated CPU time: 1160.54 s
Current children cumulated vsize: 31771932 KiB
Current children cumulated memory: 31515036 KiB

Sending SIGTERM to process tree (bottom up)

[startup+1164.41 s]
# the end of solver process 73724 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=891.629 s, system=4.50815 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+1166.4 s]
# the end of solver process 73824 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=891.629 s, system=4.51007 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+1167.54 s]
# the end of solver process 73825 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=1146.56 s, system=17.1471 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+1164.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 73955
/proc/meminfo: memFree=85713272/131249996 swapFree=33010672/33010684
[pid=73824] ppid=73721 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73721 73824 72534 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3293184 73735 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=32089136 memory=31834780 CPUtime=264.82 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 7790358 0 0 0 25377 1105 0 0 20 0 1 0 65168094 32859275264 7958695 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 8022284 7958695 1888 2271 0 8016922 0
Current cumulated CPU time of completed processes: 896.138 s
Current children cumulated CPU time: 264.82 s
Current children cumulated vsize: 32091796 KiB
Current children cumulated memory: 31836060 KiB

[startup+1165.6 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 73955
/proc/meminfo: memFree=85318136/131249996 swapFree=33010672/33010684
[pid=73824] ppid=73721 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73721 73824 72534 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3293184 73735 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=32742164 memory=32486428 CPUtime=265.61 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 7953256 0 0 0 25434 1127 0 0 20 0 1 0 65168094 33527975936 8121607 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 8185541 8121607 1888 2271 0 8180179 0
Current cumulated CPU time of completed processes: 896.138 s
Current children cumulated CPU time: 265.61 s
Current children cumulated vsize: 32744824 KiB
Current children cumulated memory: 32487708 KiB

[startup+1166 s]*
/proc/loadavg: 4.11 4.14 4.11 5/270 73955
/proc/meminfo: memFree=84512248/131249996 swapFree=33010672/33010684
[pid=73824] ppid=73721 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73721 73824 72534 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3293184 73735 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=33063252 memory=32808988 CPUtime=266.02 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 8033888 0 0 0 25464 1138 0 0 20 0 1 0 65168094 33856770048 8202247 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 8265813 8202247 1888 2271 0 8260451 0
Current cumulated CPU time of completed processes: 896.138 s
Current children cumulated CPU time: 266.02 s
Current children cumulated vsize: 33065912 KiB
Current children cumulated memory: 32810268 KiB

[startup+1166.4 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 73955
/proc/meminfo: memFree=84512248/131249996 swapFree=33010672/33010684
[pid=73824] ppid=73721 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/73824/stat : 73824 (timeout) S 73721 73824 72534 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 65168093 2723840 320 18446744073709551615 94702916268032 94702916284545 140727054631840 0 0 0 0 3293184 73735 1 0 0 17 5 0 0 0 0 0 94702916299312 94702916301400 94702930333696 140727054633349 140727054633506 140727054633506 140727054639079 0
/proc/73824/statm: 665 320 320 5 0 90 0
[pid=73825] ppid=73824 vsize=33368824 memory=33114524 CPUtime=266.41 cores=5,7
/proc/73825/stat : 73825 (ExactPR-S9) R 73824 73824 72534 0 -1 4194304 8110281 0 0 0 25492 1149 0 0 20 0 1 0 65168094 34169675776 8278631 18446744073709551615 94357824487424 94357833787525 140721620616048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94357835573568 94357835612648 94357862760448 140721620621724 140721620621862 140721620621862 140721620627435 0
/proc/73825/statm: 8342206 8278631 1888 2271 0 8336844 0
Current cumulated CPU time of completed processes: 896.138 s
Current children cumulated CPU time: 266.41 s
Current children cumulated vsize: 33371484 KiB
Current children cumulated memory: 33115804 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1167.54
CPU time (s): 1163.7
CPU user time (s): 1146.56
CPU system time (s): 17.1471
CPU usage (%): 99.6712
Max. virtual memory (cumulated for all children) (KiB): 33371484
Max. memory (cumulated for all children) (KiB): 33115804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.56
system time used= 17.1471
maximum resident set size= 33114524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9493053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 374
involuntary context switches= 6405


# summary of solver processes directly reported to runsolver:
#   pid: 73724,73824,73825
#   total CPU time (s): 1163.7
#   total CPU user time (s): 1146.56
#   total CPU system time (s): 17.1471

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.492 second user time and 5.69336 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 00:06:44
IDJOB=4505934
IDBENCH=157385
IDSOLVER=3330
FILE ID=nodeC017/4505934-1751494004
RUNJOBID= nodeC017-1751485798-72547
SLURM_JOB_ID= 9598536
Free space on /tmp= 432360 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505934-1751494004/watcher-4505934-1751494004 -o /tmp/evaluation-result-4505934-1751494004/solver-4505934-1751494004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751485798-72547 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4505934-1751494004.opb 3600 HOME

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

MD5SUM BENCH= c802f246252f1c3f359f42604d33488d
RANDOM SEED=117433482

nodeC017 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		: 3600.058
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122078736 kB
MemAvailable:   125741100 kB
Buffers:            1688 kB
Cached:          4431732 kB
SwapCached:            8 kB
Active:          3885748 kB
Inactive:        4144512 kB
Active(anon):    3596620 kB
Inactive(anon):    18292 kB
Active(file):     289128 kB
Inactive(file):  4126220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             56032 kB
Writeback:            32 kB
AnonPages:       3599044 kB
Mapped:           115736 kB
Shmem:             18072 kB
KReclaimable:     172112 kB
Slab:             262920 kB
SReclaimable:     172112 kB
SUnreclaim:        90808 kB
KernelStack:        4320 kB
PageTables:        10480 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4154372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1357824 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432308 MiB
End job on nodeC017 at 2025-07-03 00:26:12