Trace number 4506071

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+ExactPRS 2025-06-01? (MO) 1251.71 1255.23

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
MD5SUMc3fbcb3bbc6f19a0312d063de4b77764
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-64400
Best CPU time to get the best result obtained on this benchmark72003.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1783
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 899428
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 899428
Number of bits of the biggest sum of numbers20
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: 63708 MiB (44299 MiB free)
  memory of node 1: 64465 MiB (59520 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506071-1751487773/watcher-4506071-1751487773 -o /tmp/evaluation-result-4506071-1751487773/solver-4506071-1751487773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751480037-68309 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4506071-1751487773.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69531, runsolver pid=69528
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.12 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106311488/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=39844 memory=20652 CPUtime=0.07 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 4626 0 0 0 7 0 0 0 20 0 1 0 64399825 40800256 5163 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 9961 5163 736 2416 0 7063 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 25004 KiB

[startup+0.20592 s]*
/proc/loadavg: 4.12 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106311488/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=58632 memory=39468 CPUtime=0.18 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 9351 0 0 0 17 1 0 0 20 0 1 0 64399825 60039168 9867 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 14658 9867 736 2416 0 11760 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65616 KiB
Current children cumulated memory: 43820 KiB

[startup+0.305785 s]*
/proc/loadavg: 4.12 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106311488/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=77588 memory=56664 CPUtime=0.27 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 13825 0 0 0 26 1 0 0 20 0 1 0 64399825 79450112 14166 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 19397 14166 736 2416 0 16499 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 84572 KiB
Current children cumulated memory: 61016 KiB

[startup+0.700221 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106311488/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=126340 memory=103768 CPUtime=0.66 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 25600 0 0 0 63 3 0 0 20 0 1 0 64399825 129372160 25942 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 31637 25942 736 2416 0 28739 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 133324 KiB
Current children cumulated memory: 108120 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106319728/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=281932 memory=256184 CPUtime=1.46 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 63259 0 0 0 135 11 0 0 20 0 1 0 64399825 288698368 64046 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 70483 64046 736 2416 0 67585 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 288916 KiB
Current children cumulated memory: 260536 KiB

[startup+3.10556 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 69535
/proc/meminfo: memFree=106335356/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=552596 memory=525164 CPUtime=3.06 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 127827 0 0 0 285 21 0 0 20 0 1 0 64399825 565858304 131291 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 138149 131291 736 2416 0 135251 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 559580 KiB
Current children cumulated memory: 529516 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 69536
/proc/meminfo: memFree=106351208/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=999688 memory=956296 CPUtime=6.25 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 191406 0 0 0 589 36 0 0 20 0 1 0 64399825 1023680512 239074 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 249922 239074 768 2416 0 247024 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1006672 KiB
Current children cumulated memory: 960648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 69536
/proc/meminfo: memFree=106387248/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=1440992 memory=1370204 CPUtime=12.63 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 255964 0 0 0 1211 52 0 0 20 0 1 0 64399825 1475575808 342551 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 360248 342551 992 2416 0 357350 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1447976 KiB
Current children cumulated memory: 1374556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 69536
/proc/meminfo: memFree=106606844/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=1267496 memory=1191948 CPUtime=25.4 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 258038 0 0 0 2486 54 0 0 20 0 1 0 64399825 1297915904 297987 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 316874 297987 1024 2416 0 313976 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1274480 KiB
Current children cumulated memory: 1196300 KiB

[startup+51.1058 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 69537
/proc/meminfo: memFree=106886564/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=1267496 memory=1193996 CPUtime=50.92 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 258077 0 0 0 5038 54 0 0 20 0 1 0 64399825 1297915904 298499 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 316874 298499 1024 2416 0 313976 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1274480 KiB
Current children cumulated memory: 1198348 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 69539
/proc/meminfo: memFree=107052008/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=1398972 memory=1263412 CPUtime=1119.17 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 272028 0 0 0 111795 122 0 0 20 0 1 0 64399825 1432547328 315853 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 349743 315853 1024 2416 0 346845 0
Current children cumulated CPU time: 1119.17 s
Current children cumulated vsize: 1405956 KiB
Current children cumulated memory: 1267764 KiB

[startup+1182.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/272 69758
/proc/meminfo: memFree=115750928/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69534] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69534/stat : 69534 (timeout) S 69531 69534 68297 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64399825 2723840 352 18446744073709551615 93886894600192 93886894616705 140736812853376 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93886894631472 93886894633560 93886895034368 140736812857750 140736812857890 140736812857890 140736812863463 0
/proc/69534/statm: 665 352 352 5 0 90 0
[pid=69535] ppid=69534 vsize=1398972 memory=1311592 CPUtime=1178.99 cores=1,3
/proc/69535/stat : 69535 (CASHWMaxSAT-Dis) R 69534 69534 68297 0 -1 4194304 272324 0 0 0 117777 122 0 0 20 0 1 0 64399825 1432547328 327898 18446744073709551615 4198400 14093885 140721405131424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 24584192 140721405139356 140721405139483 140721405139483 140721405145056 0
/proc/69535/statm: 349743 327898 1024 2416 0 346845 0
Current children cumulated CPU time: 1178.99 s
Current children cumulated vsize: 1405956 KiB
Current children cumulated memory: 1315944 KiB

[startup+1242.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/272 69764
/proc/meminfo: memFree=99792136/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=1194.68 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 283 272823 0 0 0 0 119341 127 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69762] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69531 69762 68297 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=22939032 memory=17179412 CPUtime=44.11 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 3117231 0 0 0 3774 637 0 0 20 0 1 0 64519628 23489568768 4294853 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 5734758 4294853 1824 2271 0 5729396 0
Current children cumulated CPU time: 1238.79 s
Current children cumulated vsize: 22946016 KiB
Current children cumulated memory: 17183764 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1252.5 s]
/proc/loadavg: 4.13 4.13 4.10 5/272 69765
/proc/meminfo: memFree=91074324/131250000 swapFree=33010684/33010684
[pid=69531] ppid=69528 vsize=4324 memory=2944 CPUtime=1194.68 cores=1,3
/proc/69531/stat : 69531 (Hybrid-CASHWMax) S 69528 69531 68297 0 -1 4194304 283 272823 0 0 0 0 119341 127 20 0 1 0 64399823 4427776 736 18446744073709551615 94415199367168 94415200261701 140736964324144 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94415200500752 94415200548496 94415216205824 140736964331863 140736964332017 140736964332017 140736964337619 0
/proc/69531/statm: 1081 736 672 219 0 143 0
[pid=69762] ppid=69531 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69531 69762 68297 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=31812872 memory=26053268 CPUtime=54.29 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5335701 0 0 0 4485 944 0 0 20 0 1 0 64519628 32576380928 6513317 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 7953218 6513317 1824 2271 0 7947856 0
Current children cumulated CPU time: 1248.97 s
Current children cumulated vsize: 31819856 KiB
Current children cumulated memory: 26057620 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=1239.93 s, system=11.7832 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+1252.8 s]
/proc/loadavg: 4.13 4.13 4.10 5/271 69765
/proc/meminfo: memFree=90525844/131250000 swapFree=33010684/33010684
[pid=69762] ppid=69528 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69528 69762 68297 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=32074732 memory=26315284 CPUtime=54.58 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5401197 0 0 0 4506 952 0 0 20 0 1 0 64519628 32844525568 6578821 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 8018683 6578821 1824 2271 0 8013321 0
Current cumulated CPU time of completed processes: 1194.69 s
Current children cumulated CPU time: 54.58 s
Current children cumulated vsize: 32077392 KiB
Current children cumulated memory: 26316692 KiB

[startup+1253.6 s]
/proc/loadavg: 4.13 4.13 4.10 5/271 69765
/proc/meminfo: memFree=90187156/131250000 swapFree=33010684/33010684
[pid=69762] ppid=69528 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69528 69762 68297 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=32739796 memory=26980628 CPUtime=55.38 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5567685 0 0 0 4561 977 0 0 20 0 1 0 64519628 33525551104 6745157 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 8184949 6745157 1920 2271 0 8179587 0
Current cumulated CPU time of completed processes: 1194.69 s
Current children cumulated CPU time: 55.38 s
Current children cumulated vsize: 32742456 KiB
Current children cumulated memory: 26982036 KiB

[startup+1254 s]*
/proc/loadavg: 4.13 4.13 4.10 5/271 69765
/proc/meminfo: memFree=89696908/131250000 swapFree=33010684/33010684
[pid=69762] ppid=69528 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69528 69762 68297 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=29843572 memory=25182556 CPUtime=55.78 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5567870 0 0 0 4601 977 0 0 20 0 1 0 64519628 30559817728 6295639 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 7460893 6295639 1920 2271 0 7455531 0
Current cumulated CPU time of completed processes: 1194.69 s
Current children cumulated CPU time: 55.78 s
Current children cumulated vsize: 29846232 KiB
Current children cumulated memory: 25183964 KiB

[startup+1254.4 s]
/proc/loadavg: 4.13 4.13 4.10 5/271 69765
/proc/meminfo: memFree=89696908/131250000 swapFree=33010684/33010684
[pid=69762] ppid=69528 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69528 69762 68297 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=29843572 memory=25182556 CPUtime=56.18 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5567870 0 0 0 4641 977 0 0 20 0 1 0 64519628 30559817728 6295639 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 7460893 6295639 1920 2271 0 7455531 0
Current cumulated CPU time of completed processes: 1194.69 s
Current children cumulated CPU time: 56.18 s
Current children cumulated vsize: 29846232 KiB
Current children cumulated memory: 25183964 KiB

[startup+1254.5 s]
/proc/loadavg: 4.13 4.13 4.10 5/271 69765
/proc/meminfo: memFree=89696908/131250000 swapFree=33010684/33010684
[pid=69762] ppid=69528 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/69762/stat : 69762 (timeout) S 69528 69762 68297 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 64519628 2723840 352 18446744073709551615 94773687496704 94773687513217 140733424990288 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94773687527984 94773687530072 94773697069056 140733424994694 140733424994850 140733424994850 140733425000423 0
/proc/69762/statm: 665 352 352 5 0 90 0
[pid=69763] ppid=69762 vsize=29843572 memory=25182556 CPUtime=56.28 cores=1,3
/proc/69763/stat : 69763 (ExactPR-S) R 69762 69762 68297 0 -1 4194304 5567870 0 0 0 4651 977 0 0 20 0 1 0 64519628 30559817728 6295639 18446744073709551615 94899283218432 94899292518469 140734009902944 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94899294304576 94899294343656 94899330801664 140734009911710 140734009911847 140734009911847 140734009917420 0
/proc/69763/statm: 7460893 6295639 1920 2271 0 7455531 0
Current cumulated CPU time of completed processes: 1194.69 s
Current children cumulated CPU time: 56.28 s
Current children cumulated vsize: 29846232 KiB
Current children cumulated memory: 25183964 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1255.23
CPU time (s): 1251.71
CPU user time (s): 1239.93
CPU system time (s): 11.7832
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 32742456
Max. memory (cumulated for all children) (KiB): 26982036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.93
system time used= 11.7832
maximum resident set size= 26980628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5841087
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= 408
involuntary context switches= 2526


# summary of solver processes directly reported to runsolver:
#   pid: 69531,69762,69763
#   total CPU time (s): 1251.71
#   total CPU user time (s): 1239.93
#   total CPU system time (s): 11.7832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53038 second user time and 6.23555 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-02 22:22:53
IDJOB=4506071
IDBENCH=157811
IDSOLVER=3329
FILE ID=nodeC028/4506071-1751487773
RUNJOBID= nodeC028-1751480037-68309
SLURM_JOB_ID= 9598521
Free space on /tmp= 431336 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506071-1751487773/watcher-4506071-1751487773 -o /tmp/evaluation-result-4506071-1751487773/solver-4506071-1751487773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751480037-68309 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4506071-1751487773.opb 3600 HOME

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

MD5SUM BENCH= c3fbcb3bbc6f19a0312d063de4b77764
RANDOM SEED=221424692

nodeC028 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.179
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.16
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.944
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.16
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		: 3626.518
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.16
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.084
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.16
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		: 3600.066
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.16
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.104
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.16
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		: 3605.007
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.16
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		: 3593.452
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        106311600 kB
MemAvailable:   108239136 kB
Buffers:            3280 kB
Cached:          2730304 kB
SwapCached:            0 kB
Active:         19876548 kB
Inactive:        2421056 kB
Active(anon):   19582088 kB
Inactive(anon):        0 kB
Active(file):     294460 kB
Inactive(file):  2421056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52596 kB
Writeback:             4 kB
AnonPages:      19566480 kB
Mapped:           114248 kB
Shmem:             18068 kB
KReclaimable:     102516 kB
Slab:             191508 kB
SReclaimable:     102516 kB
SUnreclaim:        88992 kB
KernelStack:        4352 kB
PageTables:        42924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   21653844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5457920 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431288 MiB
End job on nodeC028 at 2025-07-02 22:43:48