Trace number 4505474

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) 979.123 981.963

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_mh.opb
MD5SUMae4404ba779864fb11c76f88911c57d7
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 benchmark13487619
Best CPU time to get the best result obtained on this benchmark68653.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019200
Biggest coefficient in the objective function 172808693
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 411931129818
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 172808693
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 411931129818
Number of bits of the biggest sum of numbers39
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 (56881 MiB free)
  memory of node 1: 64507 MiB (54334 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=72757, runsolver pid=72754

[startup+0.100065 s]*
/proc/loadavg: 4.23 4.06 3.17 6/265 72761
/proc/meminfo: memFree=113885388/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=59004 memory=37912 CPUtime=0.08 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 8957 0 0 0 7 1 0 0 20 0 1 0 64355965 60420096 9478 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 14751 9478 736 2416 0 11853 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65988 KiB
Current children cumulated memory: 42136 KiB

[startup+0.205639 s]*
/proc/loadavg: 4.23 4.06 3.17 5/266 72762
/proc/meminfo: memFree=113901408/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=103596 memory=79052 CPUtime=0.18 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 18983 0 0 0 16 2 0 0 20 0 1 0 64355965 106082304 19763 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 25899 19763 736 2416 0 23001 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 110580 KiB
Current children cumulated memory: 83276 KiB

[startup+0.305774 s]*
/proc/loadavg: 4.23 4.06 3.17 5/268 72766
/proc/meminfo: memFree=113877280/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=143144 memory=115976 CPUtime=0.28 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 27787 0 0 0 25 3 0 0 20 0 1 0 64355965 146579456 28994 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 35786 28994 736 2416 0 32888 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 150128 KiB
Current children cumulated memory: 120200 KiB

[startup+0.700221 s]
/proc/loadavg: 4.23 4.06 3.17 5/272 72774
/proc/meminfo: memFree=113861200/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=303784 memory=267484 CPUtime=0.67 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 55654 0 0 0 58 9 0 0 20 0 1 0 64355965 311074816 66871 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 75946 66871 736 2416 0 73048 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 310768 KiB
Current children cumulated memory: 271708 KiB

[startup+1.50018 s]
/proc/loadavg: 4.23 4.06 3.17 5/272 72774
/proc/meminfo: memFree=113860732/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=510324 memory=453792 CPUtime=1.46 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 90102 0 0 0 131 15 0 0 20 0 1 0 64355965 522571776 113448 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 127581 113448 736 2416 0 124683 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 517308 KiB
Current children cumulated memory: 458016 KiB

[startup+3.10572 s]
/proc/loadavg: 4.23 4.06 3.17 5/272 72774
/proc/meminfo: memFree=113882364/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=568096 memory=464324 CPUtime=3.07 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 92250 0 0 0 291 16 0 0 20 0 1 0 64355965 581730304 116081 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 142024 116081 736 2416 0 139126 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 575080 KiB
Current children cumulated memory: 468548 KiB

[startup+6.30022 s]
/proc/loadavg: 4.21 4.06 3.18 5/272 72774
/proc/meminfo: memFree=113897588/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=1137748 memory=1007112 CPUtime=6.26 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 199980 0 0 0 590 36 0 0 20 0 1 0 64355965 1165053952 251778 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 284437 251778 736 2416 0 281539 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1144732 KiB
Current children cumulated memory: 1011336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.06 3.18 5/272 72774
/proc/meminfo: memFree=112803324/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=2372860 memory=2228956 CPUtime=12.64 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 477860 0 0 0 1179 85 0 0 20 0 1 0 64355965 2429808640 557239 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 593215 557239 736 2416 0 590317 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2379844 KiB
Current children cumulated memory: 2233180 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.07 3.20 5/272 72774
/proc/meminfo: memFree=109644640/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=4254160 memory=4104784 CPUtime=25.41 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 938155 0 0 0 2379 162 0 0 20 0 1 0 64355965 4356259840 1026196 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 1063540 1026196 736 2416 0 1060642 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4261144 KiB
Current children cumulated memory: 4109008 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.07 3.22 5/272 72775
/proc/meminfo: memFree=103896692/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=7434956 memory=7021832 CPUtime=50.94 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 1258723 0 0 0 4831 263 0 0 20 0 1 0 64355965 7613394944 1755458 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 1858739 1755458 768 2416 0 1855841 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 7441940 KiB
Current children cumulated memory: 7026056 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.09 3.28 5/273 72782
/proc/meminfo: memFree=92689900/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

Current children cumulated CPU time: 700.34 s
Current children cumulated vsize: 15582900 KiB
Current children cumulated memory: 13478336 KiB

[startup+762.3 s]
/proc/loadavg: 4.10 4.10 3.74 5/272 72814
/proc/meminfo: memFree=94132776/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=15575916 memory=13488448 CPUtime=760.17 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 1705687 0 0 0 75420 597 0 0 20 0 1 0 64355965 15949737984 3372112 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 3893979 3372112 1056 2416 0 3891081 0
Current children cumulated CPU time: 760.17 s
Current children cumulated vsize: 15582900 KiB
Current children cumulated memory: 13492672 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 4.10 3.76 5/272 72818
/proc/meminfo: memFree=94106296/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=15575916 memory=13498688 CPUtime=820 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 1706983 0 0 0 81400 600 0 0 20 0 1 0 64355965 15949737984 3374672 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 3893979 3374672 1056 2416 0 3891081 0
Current children cumulated CPU time: 820 s
Current children cumulated vsize: 15582900 KiB
Current children cumulated memory: 13502912 KiB

[startup+882.3 s]
/proc/loadavg: 4.15 4.11 3.79 5/272 72820
/proc/meminfo: memFree=94013980/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72760] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72760/stat : 72760 (timeout) S 72757 72760 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64355965 2723840 320 18446744073709551615 94566229315584 94566229332097 140728068257392 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94566229346864 94566229348952 94566251687936 140728068266392 140728068266530 140728068266530 140728068272103 0
/proc/72760/statm: 665 320 320 5 0 90 0
[pid=72761] ppid=72760 vsize=15575916 memory=13508940 CPUtime=879.8 cores=0,2
/proc/72761/stat : 72761 (CASHWMaxSAT-Dis) R 72760 72760 72534 0 -1 4194304 1709337 0 0 0 87376 604 0 0 20 0 1 0 64355965 15949737984 3377235 18446744073709551615 4198400 14093885 140735335917104 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39796736 140735335922077 140735335922203 140735335922203 140735335927776 0
/proc/72761/statm: 3893979 3377235 1056 2416 0 3891081 0
Current children cumulated CPU time: 879.8 s
Current children cumulated vsize: 15582900 KiB
Current children cumulated memory: 13513164 KiB

[startup+942.3 s]
/proc/loadavg: 4.05 4.08 3.80 5/272 72826
/proc/meminfo: memFree=101968916/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 281 1709778 0 0 0 0 89040 636 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72822] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72822/stat : 72822 (timeout) S 72757 72822 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64445895 2723840 320 18446744073709551615 94103923777536 94103923794049 140733091649872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94103923808816 94103923810904 94103947169792 140733091654021 140733091654178 140733091654178 140733091659751 0
/proc/72822/statm: 665 320 320 5 0 90 0
[pid=72823] ppid=72822 vsize=10941948 memory=10229000 CPUtime=42.83 cores=0,2
/proc/72823/stat : 72823 (ExactPR-S9) R 72822 72822 72534 0 -1 4194304 1466752 0 0 0 3867 416 0 0 20 0 1 0 64445895 11204554752 2557250 18446744073709551615 94131672334336 94131681634437 140721622545888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94131683420480 94131683459560 94131712962560 140721622555036 140721622555174 140721622555174 140721622560747 0
/proc/72823/statm: 2735487 2557250 1664 2271 0 2730125 0
Current children cumulated CPU time: 939.59 s
Current children cumulated vsize: 10948932 KiB
Current children cumulated memory: 10233224 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+979.4 s]
/proc/loadavg: 4.09 4.09 3.82 5/271 72828
/proc/meminfo: memFree=90328148/131249996 swapFree=33010672/33010684
[pid=72757] ppid=72754 vsize=4324 memory=2944 CPUtime=896.76 cores=0,2
/proc/72757/stat : 72757 (Hybrid-CASHWMax) S 72754 72757 72534 0 -1 4194304 281 1709778 0 0 0 0 89040 636 20 0 1 0 64355964 4427776 736 18446744073709551615 94436433821696 94436434716229 140727374133392 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94436434955280 94436435003024 94436440276992 140727374137685 140727374137840 140727374137840 140727374143442 0
/proc/72757/statm: 1081 736 672 219 0 143 0
[pid=72822] ppid=72757 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72822/stat : 72822 (timeout) S 72757 72822 72534 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64445895 2723840 320 18446744073709551615 94103923777536 94103923794049 140733091649872 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94103923808816 94103923810904 94103947169792 140733091654021 140733091654178 140733091654178 140733091659751 0
/proc/72822/statm: 665 320 320 5 0 90 0
[pid=72823] ppid=72822 vsize=31970604 memory=22904896 CPUtime=79.79 cores=0,2
/proc/72823/stat : 72823 (ExactPR-S9) R 72822 72822 72534 0 -1 4194304 3160782 0 0 0 7125 854 0 0 20 0 1 0 64445895 32737898496 5726224 18446744073709551615 94131672334336 94131681634437 140721622545888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94131683420480 94131683459560 94131712962560 140721622555036 140721622555174 140721622555174 140721622560747 0
/proc/72823/statm: 7992651 5726224 1824 2271 0 7987289 0
Current children cumulated CPU time: 976.55 s
Current children cumulated vsize: 31977588 KiB
Current children cumulated memory: 22909120 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=962.704 s, system=16.4191 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+980.8 s]
/proc/loadavg: 4.08 4.09 3.82 5/270 72828
/proc/meminfo: memFree=88426444/131249996 swapFree=33010672/33010684
[pid=72822] ppid=72754 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72822/stat : 72822 (timeout) S 72754 72822 72534 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64445895 2723840 320 18446744073709551615 94103923777536 94103923794049 140733091649872 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94103923808816 94103923810904 94103947169792 140733091654021 140733091654178 140733091654178 140733091659751 0
/proc/72822/statm: 665 320 320 5 0 90 0
[pid=72823] ppid=72822 vsize=34350256 memory=25265796 CPUtime=81.18 cores=0,2
/proc/72823/stat : 72823 (ExactPR-S9) R 72822 72822 72534 0 -1 4194304 3745893 0 0 0 7174 944 0 0 20 0 1 0 64445895 35174662144 6316449 18446744073709551615 94131672334336 94131681634437 140721622545888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94131683420480 94131683459560 94131712962560 140721622555036 140721622555174 140721622555174 140721622560747 0
/proc/72823/statm: 8587564 6316449 1824 2271 0 8582202 0
Current cumulated CPU time of completed processes: 896.776 s
Current children cumulated CPU time: 81.18 s
Current children cumulated vsize: 34352916 KiB
Current children cumulated memory: 25267076 KiB

[startup+981.2 s]
/proc/loadavg: 4.08 4.09 3.82 5/270 72828
/proc/meminfo: memFree=87402468/131249996 swapFree=33010672/33010684
[pid=72822] ppid=72754 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72822/stat : 72822 (timeout) S 72754 72822 72534 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64445895 2723840 320 18446744073709551615 94103923777536 94103923794049 140733091649872 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94103923808816 94103923810904 94103947169792 140733091654021 140733091654178 140733091654178 140733091659751 0
/proc/72822/statm: 665 320 320 5 0 90 0
[pid=72823] ppid=72822 vsize=34350256 memory=25324172 CPUtime=81.58 cores=0,2
/proc/72823/stat : 72823 (ExactPR-S9) R 72822 72822 72534 0 -1 4194304 3757950 0 0 0 7212 946 0 0 20 0 1 0 64445895 35174662144 6331043 18446744073709551615 94131672334336 94131681634437 140721622545888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94131683420480 94131683459560 94131712962560 140721622555036 140721622555174 140721622555174 140721622560747 0
/proc/72823/statm: 8587564 6331043 1824 2271 0 8582202 0
Current cumulated CPU time of completed processes: 896.776 s
Current children cumulated CPU time: 81.58 s
Current children cumulated vsize: 34352916 KiB
Current children cumulated memory: 25325452 KiB

[startup+981.4 s]
/proc/loadavg: 4.08 4.09 3.82 5/270 72828
/proc/meminfo: memFree=87402468/131249996 swapFree=33010672/33010684
[pid=72822] ppid=72754 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/72822/stat : 72822 (timeout) S 72754 72822 72534 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 64445895 2723840 320 18446744073709551615 94103923777536 94103923794049 140733091649872 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94103923808816 94103923810904 94103947169792 140733091654021 140733091654178 140733091654178 140733091659751 0
/proc/72822/statm: 665 320 320 5 0 90 0
[pid=72823] ppid=72822 vsize=34350256 memory=25364144 CPUtime=81.77 cores=0,2
/proc/72823/stat : 72823 (ExactPR-S9) R 72822 72822 72534 0 -1 4194304 3766411 0 0 0 7229 948 0 0 20 0 1 0 64445895 35174662144 6341036 18446744073709551615 94131672334336 94131681634437 140721622545888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94131683420480 94131683459560 94131712962560 140721622555036 140721622555174 140721622555174 140721622560747 0
/proc/72823/statm: 8587564 6341036 1824 2271 0 8582202 0
Current cumulated CPU time of completed processes: 896.776 s
Current children cumulated CPU time: 81.77 s
Current children cumulated vsize: 34352916 KiB
Current children cumulated memory: 25365424 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 981.963
CPU time (s): 979.123
CPU user time (s): 962.704
CPU system time (s): 16.4191
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 34352916
Max. memory (cumulated for all children) (KiB): 25365424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 962.704
system time used= 16.4191
maximum resident set size= 25364144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5476581
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= 371
involuntary context switches= 1681


# summary of solver processes directly reported to runsolver:
#   pid: 72757,72822,72823
#   total CPU time (s): 979.123
#   total CPU user time (s): 962.704
#   total CPU system time (s): 16.4191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04295 second user time and 4.84003 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-02 22:06:22
IDJOB=4505474
IDBENCH=155759
IDSOLVER=3330
FILE ID=nodeC017/4505474-1751486780
RUNJOBID= nodeC017-1751485798-72544
SLURM_JOB_ID= 9598536
Free space on /tmp= 431928 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505474-1751486780/watcher-4505474-1751486780 -o /tmp/evaluation-result-4505474-1751486780/solver-4505474-1751486780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751485798-72544 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4505474-1751486780.opb 3600 HOME

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

MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=2126425127

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113885388 kB
MemAvailable:   117937924 kB
Buffers:            1688 kB
Cached:          4821960 kB
SwapCached:            8 kB
Active:          8871740 kB
Inactive:        4537092 kB
Active(anon):    8584936 kB
Inactive(anon):    18320 kB
Active(file):     286804 kB
Inactive(file):  4518772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            307232 kB
Writeback:           256 kB
AnonPages:       8588276 kB
Mapped:           111268 kB
Shmem:             18072 kB
KReclaimable:     172000 kB
Slab:             263268 kB
SReclaimable:     172000 kB
SUnreclaim:        91268 kB
KernelStack:        4240 kB
PageTables:        20272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9350960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4628480 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= 431900 MiB
End job on nodeC017 at 2025-07-02 22:22:44