Trace number 4511866

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01? (MO) 495.367 496.766

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
MD5SUMb7a2e8144dd82d545640c8e4101e7ef6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.58733
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables607488
Total number of constraints5258
Number of constraints which are clauses2372
Number of constraints which are cardinality constraints (but not clauses)2372
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2373
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 855779
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2070814
Number of bits of the biggest sum of numbers21
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 (53700 MiB free)
  memory of node 1: 64465 MiB (58749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511866-1751198632/watcher-4511866-1751198632 -o /tmp/evaluation-result-4511866-1751198632/solver-4511866-1751198632 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751193586-23320 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4511866-1751198632.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
solver pid=26295, runsolver pid=26292
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115125716/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=39344 memory=18456 CPUtime=0.08 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 4060 0 0 0 8 0 0 0 20 0 1 0 35540750 40288256 4614 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 9836 4614 736 2416 0 6938 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46328 KiB
Current children cumulated memory: 22808 KiB

[startup+0.205804 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115125716/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=58816 memory=34156 CPUtime=0.18 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 8145 0 0 0 18 0 0 0 20 0 1 0 35540750 60227584 8539 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 14704 8539 736 2416 0 11806 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65800 KiB
Current children cumulated memory: 38508 KiB

[startup+0.305779 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115133492/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=77616 memory=49984 CPUtime=0.28 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 12472 0 0 0 27 1 0 0 20 0 1 0 35540750 79478784 12496 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 19404 12496 736 2416 0 16506 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 84600 KiB
Current children cumulated memory: 54336 KiB

[startup+0.700237 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115129396/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=147032 memory=110600 CPUtime=0.67 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 27349 0 0 0 63 4 0 0 20 0 1 0 35540750 150560768 27650 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 36758 27650 736 2416 0 33860 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 154016 KiB
Current children cumulated memory: 114952 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115117236/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=295548 memory=242856 CPUtime=1.47 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 55816 0 0 0 138 9 0 0 20 0 1 0 35540750 302641152 60714 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 73887 60714 736 2416 0 70989 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 302532 KiB
Current children cumulated memory: 247208 KiB

[startup+3.10558 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 26299
/proc/meminfo: memFree=115067648/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=404588 memory=358784 CPUtime=3.07 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 84311 0 0 0 293 14 0 0 20 0 1 0 35540750 414298112 89696 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 101147 89696 736 2416 0 98249 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 411572 KiB
Current children cumulated memory: 363136 KiB

[startup+6.30023 s]
/proc/loadavg: 4.22 4.11 4.10 5/272 26299
/proc/meminfo: memFree=114980964/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=691500 memory=602924 CPUtime=6.25 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 132669 0 0 0 602 23 0 0 20 0 1 0 35540750 708096000 150731 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 172875 150731 768 2416 0 169977 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 698484 KiB
Current children cumulated memory: 607276 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.11 4.10 5/272 26299
/proc/meminfo: memFree=114618344/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=1202172 memory=1112304 CPUtime=12.63 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 174304 0 0 0 1223 40 0 0 20 0 1 0 35540750 1231024128 278076 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 300543 278076 768 2416 0 297645 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1209156 KiB
Current children cumulated memory: 1116656 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.10 4.09 5/272 26299
/proc/meminfo: memFree=113018152/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=2863408 memory=2608184 CPUtime=25.39 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 257814 0 0 0 2459 80 0 0 20 0 1 0 35540750 2932129792 652046 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 715852 652046 768 2416 0 712954 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2870392 KiB
Current children cumulated memory: 2612536 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.11 4.10 5/272 26300
/proc/meminfo: memFree=111846032/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/26298/stat : 26298 (timeout) S 26295 26298 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35540750 2723840 352 18446744073709551615 94326445551616 94326445568129 140726095657680 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94326445582896 94326445584984 94326456107008 140726095661472 140726095661602 140726095661602 140726095667175 0
/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=3296692 memory=3118056 CPUtime=50.92 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 360683 0 0 0 4983 109 0 0 20 0 1 0 35540750 3375812608 779514 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 824173 779514 768 2416 0 821275 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3303676 KiB
Current children cumulated memory: 3122408 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 26302
/proc/meminfo: memFree=107799416/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 248 102 0 0 0 0 0 0 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26298] ppid=26295 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/26298/statm: 665 352 352 5 0 90 0
[pid=26299] ppid=26298 vsize=9775140 memory=9085000 CPUtime=341.32 cores=0,2
/proc/26299/stat : 26299 (CASHWMaxSAT-Dis) R 26298 26298 23310 0 -1 4194304 844190 0 0 0 33804 328 0 0 20 0 1 0 35540750 10009743360 2271250 18446744073709551615 4198400 14093885 140722979881088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36667392 140722979887526 140722979887643 140722979887643 140722979893216 0
/proc/26299/statm: 2443785 2271250 768 2416 0 2440887 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 9782124 KiB
Current children cumulated memory: 9089352 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 26419
/proc/meminfo: memFree=118476620/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=380.56 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 282 882932 0 0 0 0 37701 355 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26417] ppid=26295 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26295 26417 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=4310376 memory=4114628 CPUtime=20.57 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 622717 0 0 0 1900 157 0 0 20 0 1 0 35578914 4413825024 1028657 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 1077594 1028657 2304 595 0 1062261 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 4317360 KiB
Current children cumulated memory: 4118852 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 26423
/proc/meminfo: memFree=102497568/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=380.56 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 282 882932 0 0 0 0 37701 355 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26417] ppid=26295 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26295 26417 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=16564496 memory=14680004 CPUtime=80.4 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 2397067 0 0 0 7416 624 0 0 20 0 1 0 35578914 16962043904 3670001 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 4141124 3670001 2304 595 0 4125791 0
Current children cumulated CPU time: 460.96 s
Current children cumulated vsize: 16571480 KiB
Current children cumulated memory: 14684228 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+494.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 26424
/proc/meminfo: memFree=97566544/131249996 swapFree=33010684/33010684
[pid=26295] ppid=26292 vsize=4324 memory=2944 CPUtime=380.56 cores=0,2
/proc/26295/stat : 26295 (Hybrid-CASHWMax) S 26292 26295 23310 0 -1 4194304 282 882932 0 0 0 0 37701 355 20 0 1 0 35540748 4427776 736 18446744073709551615 94476592246784 94476593141317 140734704435520 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94476593380368 94476593428112 94476624355328 140734704441687 140734704441841 140734704441841 140734704447443 0
/proc/26295/statm: 1081 736 672 219 0 143 0
[pid=26417] ppid=26295 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26295 26417 23310 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=34560480 memory=19369908 CPUtime=112.32 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3118693 0 0 0 10453 779 0 0 20 0 1 0 35578914 35389931520 4842477 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8640120 4842477 2464 595 0 8624787 0
Current children cumulated CPU time: 492.88 s
Current children cumulated vsize: 34567464 KiB
Current children cumulated memory: 19374132 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=483.022 s, system=12.3449 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+494.409 s]*
/proc/loadavg: 4.11 4.09 4.09 5/271 26424
/proc/meminfo: memFree=96473168/131249996 swapFree=33010684/33010684
[pid=26417] ppid=26292 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26292 26417 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=34560480 memory=19738548 CPUtime=112.43 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3118873 0 0 0 10457 786 0 0 20 0 1 0 35578914 35389931520 4934637 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8640120 4934637 2464 595 0 8624787 0
Current cumulated CPU time of completed processes: 380.575 s
Current children cumulated CPU time: 112.43 s
Current children cumulated vsize: 34563140 KiB
Current children cumulated memory: 19739828 KiB

[startup+495.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 26425
/proc/meminfo: memFree=95242568/131249996 swapFree=33010684/33010684
[pid=26417] ppid=26292 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26292 26417 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=34719864 memory=21031068 CPUtime=113.22 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3161473 0 0 0 10509 813 0 0 20 0 1 0 35578914 35553140736 5257767 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8679966 5257767 2464 595 0 8664633 0
Current cumulated CPU time of completed processes: 380.575 s
Current children cumulated CPU time: 113.22 s
Current children cumulated vsize: 34722524 KiB
Current children cumulated memory: 21032348 KiB

[startup+496 s]*
/proc/loadavg: 4.11 4.09 4.09 5/271 26425
/proc/meminfo: memFree=94710508/131249996 swapFree=33010684/33010684
[pid=26417] ppid=26292 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26292 26417 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=35050260 memory=21426972 CPUtime=114.02 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3244098 0 0 0 10575 827 0 0 20 0 1 0 35578914 35891466240 5356743 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8762565 5356743 2464 595 0 8747232 0
Current cumulated CPU time of completed processes: 380.575 s
Current children cumulated CPU time: 114.02 s
Current children cumulated vsize: 35052920 KiB
Current children cumulated memory: 21428252 KiB

[startup+496.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 26425
/proc/meminfo: memFree=94710508/131249996 swapFree=33010684/33010684
[pid=26417] ppid=26292 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26292 26417 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=35130384 memory=21523356 CPUtime=114.22 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3264125 0 0 0 10592 830 0 0 20 0 1 0 35578914 35973513216 5380839 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8782596 5380839 2464 595 0 8767263 0
Current cumulated CPU time of completed processes: 380.575 s
Current children cumulated CPU time: 114.22 s
Current children cumulated vsize: 35133044 KiB
Current children cumulated memory: 21524636 KiB

[startup+496.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 26425
/proc/meminfo: memFree=94710508/131249996 swapFree=33010684/33010684
[pid=26417] ppid=26292 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/26417/stat : 26417 (timeout) S 26292 26417 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35578914 2723840 320 18446744073709551615 94051259924480 94051259940993 140734813875232 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94051259955760 94051259957848 94051280023552 140734813878664 140734813878818 140734813878818 140734813884391 0
/proc/26417/statm: 665 320 320 5 0 90 0
[pid=26418] ppid=26417 vsize=35171568 memory=21572764 CPUtime=114.31 cores=0,2
/proc/26418/stat : 26418 (SynLSCD) R 26417 26417 23310 0 -1 4194304 3274417 0 0 0 10600 831 0 0 20 0 1 0 35578914 36015685632 5393191 18446744073709551615 94624443420672 94624445854825 140729631506144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94624446336248 94624446369280 94624456052736 140729631512994 140729631513129 140729631513129 140729631518702 0
/proc/26418/statm: 8792892 5393191 2464 595 0 8777559 0
Current cumulated CPU time of completed processes: 380.575 s
Current children cumulated CPU time: 114.31 s
Current children cumulated vsize: 35174228 KiB
Current children cumulated memory: 21574044 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 496.766
CPU time (s): 495.367
CPU user time (s): 483.022
CPU system time (s): 12.3449
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 35174228
Max. memory (cumulated for all children) (KiB): 21574044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 483.022
system time used= 12.3449
maximum resident set size= 21572764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4157745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 453
involuntary context switches= 687


# summary of solver processes directly reported to runsolver:
#   pid: 26295,26417,26418
#   total CPU time (s): 495.367
#   total CPU user time (s): 483.022
#   total CPU system time (s): 12.3449

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10253 second user time and 2.37975 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-29 14:03:53
IDJOB=4511866
IDBENCH=160486
IDSOLVER=3331
FILE ID=nodeC015/4511866-1751198632
RUNJOBID= nodeC015-1751193586-23320
SLURM_JOB_ID= 9587589
Free space on /tmp= 432880 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511866-1751198632/watcher-4511866-1751198632 -o /tmp/evaluation-result-4511866-1751198632/solver-4511866-1751198632 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751193586-23320 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4511866-1751198632.opb 3600 HOME

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

MD5SUM BENCH= b7a2e8144dd82d545640c8e4101e7ef6
RANDOM SEED=1570654152

nodeC015 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.075
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.14
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.040
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.14
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		: 3597.883
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.14
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.004
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.14
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.129
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.14
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.050
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.14
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		: 3601.959
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.14
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.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115149720 kB
MemAvailable:   115180732 kB
Buffers:            3280 kB
Cached:           840200 kB
SwapCached:            0 kB
Active:         13730476 kB
Inactive:         583816 kB
Active(anon):   13488888 kB
Inactive(anon):        0 kB
Active(file):     241588 kB
Inactive(file):   583816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44352 kB
Writeback:             0 kB
AnonPages:      13473884 kB
Mapped:           115044 kB
Shmem:             18076 kB
KReclaimable:      89696 kB
Slab:             175272 kB
SReclaimable:      89696 kB
SUnreclaim:        85576 kB
KernelStack:        4352 kB
PageTables:        30192 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   15934888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6440960 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432800 MiB
End job on nodeC015 at 2025-06-29 14:12:10