Trace number 4503302

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? (TO) 3602.02 3613.12

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-90.opb
MD5SUM44a09c98c00ea73bd3c28d44044dc987
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 benchmark104.761
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
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: 63837 MiB (63261 MiB free)
  memory of node 1: 64465 MiB (63915 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503302-1751169406/watcher-4503302-1751169406 -o /tmp/evaluation-result-4503302-1751169406/solver-4503302-1751169406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751169406-21522 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4503302-1751169406.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=21577, runsolver pid=21573

[startup+0.100068 s]*
/proc/loadavg: 0.73 1.29 1.89 5/260 21591
/proc/meminfo: memFree=130219276/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=26016 memory=7552 CPUtime=0.06 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 1257 0 0 0 6 0 0 0 20 0 1 0 32619858 26640384 1888 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 6504 1888 736 2416 0 3606 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 33000 KiB
Current children cumulated memory: 11904 KiB

[startup+0.214118 s]*
/proc/loadavg: 0.73 1.29 1.89 5/261 21592
/proc/meminfo: memFree=130212728/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=32024 memory=13568 CPUtime=0.19 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 2750 0 0 0 17 2 0 0 20 0 1 0 32619858 32792576 3392 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 8006 3392 736 2416 0 5108 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39008 KiB
Current children cumulated memory: 17920 KiB

[startup+0.313884 s]*
/proc/loadavg: 0.73 1.29 1.89 5/261 21592
/proc/meminfo: memFree=130197608/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=37300 memory=18816 CPUtime=0.28 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 4049 0 0 0 26 2 0 0 20 0 1 0 32619858 38195200 4704 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 9325 4704 736 2416 0 6427 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44284 KiB
Current children cumulated memory: 23168 KiB

[startup+0.700434 s]
/proc/loadavg: 0.73 1.29 1.89 5/261 21592
/proc/meminfo: memFree=130157540/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=61140 memory=42496 CPUtime=0.66 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 9988 0 0 0 61 5 0 0 20 0 1 0 32619858 62607360 10624 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 15285 10624 736 2416 0 12387 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 68124 KiB
Current children cumulated memory: 46848 KiB

[startup+1.50048 s]
/proc/loadavg: 0.73 1.29 1.89 4/255 21602
/proc/meminfo: memFree=130059576/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=132952 memory=114304 CPUtime=1.45 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 27925 0 0 0 136 9 0 0 20 0 1 0 32619858 136142848 28576 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 33238 28576 736 2416 0 30340 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 139936 KiB
Current children cumulated memory: 118656 KiB

[startup+3.11371 s]
/proc/loadavg: 0.99 1.34 1.90 4/255 21630
/proc/meminfo: memFree=129445904/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=351288 memory=330152 CPUtime=3.05 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 82100 0 0 0 286 19 0 0 20 0 1 0 32619858 359718912 82538 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 87822 82538 768 2416 0 84924 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 358272 KiB
Current children cumulated memory: 334504 KiB

[startup+6.30049 s]
/proc/loadavg: 0.99 1.34 1.90 5/261 21642
/proc/meminfo: memFree=129051520/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=363496 memory=343228 CPUtime=6.22 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 84463 0 0 0 602 20 0 0 20 0 1 0 32619858 372219904 85807 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 90874 85807 800 2416 0 87976 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 370480 KiB
Current children cumulated memory: 347580 KiB

[startup+12.7005 s]
/proc/loadavg: 1.53 1.44 1.93 5/261 21642
/proc/meminfo: memFree=129023920/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=370676 memory=350384 CPUtime=12.61 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 84719 0 0 0 1240 21 0 0 20 0 1 0 32619858 379572224 87596 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 92669 87596 800 2416 0 89771 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 377660 KiB
Current children cumulated memory: 354736 KiB

[startup+25.5004 s]
/proc/loadavg: 1.91 1.53 1.95 5/259 21691
/proc/meminfo: memFree=129229800/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=401024 memory=356200 CPUtime=25.36 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 85889 0 0 0 2514 22 0 0 20 0 1 0 32619858 410648576 89050 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 100256 89050 800 2416 0 97358 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 408008 KiB
Current children cumulated memory: 360552 KiB

[startup+51.1135 s]
/proc/loadavg: 2.62 1.73 2.01 5/260 21742
/proc/meminfo: memFree=128752020/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21583] ppid=21577 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/21583/stat : 21583 (timeout) S 21577 21583 21504 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 32619857 2723840 352 18446744073709551615 94119068524544 94119068541057 140725588234192 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94119068555824 94119068557912 94119072747520 140725588240800 140725588240930 140725588240930 140725588246503 0
/proc/21583/statm: 665 352 352 5 0 90 0
[pid=21584] ppid=21583 vsize=401024 memory=370900 CPUtime=50.88 cores=5,7
/proc/21584/stat : 21584 (CASHWMaxSAT-Dis) R 21583 21583 21504 0 -1 4194304 85997 0 0 0 5065 23 0 0 20 0 1 0 32619858 410648576 92725 18446744073709551615 4198400 14093885 140731703508160 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33566720 140731703515558 140731703515675 140731703515675 140731703521248 0
/proc/21584/statm: 100256 92725 800 2416 0 97358 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 408008 KiB
Current children cumulated memory: 375252 KiB

[startup+102.301 s]
/proc/loadavg: 3.49 2.13 2.13 5/261 21844
/proc/meminfo: memFree=127798352/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0

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

/proc/loadavg: 4.11 4.09 4.07 5/258 22067
/proc/meminfo: memFree=124876256/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=1194.02 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 283 207237 0 0 0 0 119118 284 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21956] ppid=21577 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21577 21956 21504 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2257.58 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 224933 825 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 805644 KiB
Current children cumulated memory: 703572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/258 22071
/proc/meminfo: memFree=124876424/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=1194.02 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 283 207237 0 0 0 0 119118 284 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21956] ppid=21577 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21577 21956 21504 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2317.41 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 230916 825 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current children cumulated CPU time: 3511.43 s
Current children cumulated vsize: 805644 KiB
Current children cumulated memory: 703572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/257 22073
/proc/meminfo: memFree=124875388/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=1194.02 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 283 207237 0 0 0 0 119118 284 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21956] ppid=21577 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21577 21956 21504 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2377.24 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 236864 860 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 805644 KiB
Current children cumulated memory: 703572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.12 4.09 4.07 5/257 22132
/proc/meminfo: memFree=125416212/131382116 swapFree=33010684/33010684
[pid=21577] ppid=21573 vsize=4324 memory=2944 CPUtime=1194.02 cores=5,7
/proc/21577/stat : 21577 (Hybrid-CASHWMax) S 21573 21577 21504 0 -1 4194304 283 207237 0 0 0 0 119118 284 20 0 1 0 32619855 4427776 736 18446744073709551615 94708137885696 94708138780229 140726369717056 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94708139019280 94708139067024 94708155719680 140726369724759 140726369724913 140726369724913 140726369730515 0
/proc/21577/statm: 1081 736 672 219 0 143 0
[pid=21956] ppid=21577 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21577 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2405.98 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239704 894 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 805644 KiB
Current children cumulated memory: 703572 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

[startup+3613.12 s]
# the end of solver process 21956 was just reported to runsolver
# Child status: 124

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

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

[startup+3611.21 s]*
/proc/loadavg: 4.12 4.09 4.07 5/256 22132
/proc/meminfo: memFree=125412116/131382116 swapFree=33010684/33010684
[pid=21956] ppid=21573 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21573 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2406.08 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239714 894 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current cumulated CPU time of completed processes: 1194.04 s
Current children cumulated CPU time: 2406.08 s
Current children cumulated vsize: 801320 KiB
Current children cumulated memory: 700628 KiB

[startup+3612 s]*
/proc/loadavg: 4.12 4.09 4.07 5/256 22132
/proc/meminfo: memFree=125412368/131382116 swapFree=33010684/33010684
[pid=21956] ppid=21573 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21573 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2406.86 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239791 895 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current cumulated CPU time of completed processes: 1194.04 s
Current children cumulated CPU time: 2406.86 s
Current children cumulated vsize: 801320 KiB
Current children cumulated memory: 700628 KiB

[startup+3612.8 s]
/proc/loadavg: 4.12 4.09 4.07 5/256 22132
/proc/meminfo: memFree=125412368/131382116 swapFree=33010684/33010684
[pid=21956] ppid=21573 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21573 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2407.65 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239869 896 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current cumulated CPU time of completed processes: 1194.04 s
Current children cumulated CPU time: 2407.65 s
Current children cumulated vsize: 801320 KiB
Current children cumulated memory: 700628 KiB

[startup+3613 s]*
/proc/loadavg: 4.19 4.11 4.08 5/256 22132
/proc/meminfo: memFree=125404048/131382116 swapFree=33010684/33010684
[pid=21956] ppid=21573 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21573 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2407.87 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239890 897 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current cumulated CPU time of completed processes: 1194.04 s
Current children cumulated CPU time: 2407.87 s
Current children cumulated vsize: 801320 KiB
Current children cumulated memory: 700628 KiB

[startup+3613.11 s]
/proc/loadavg: 4.19 4.11 4.08 5/256 22132
/proc/meminfo: memFree=125404048/131382116 swapFree=33010684/33010684
[pid=21956] ppid=21573 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/21956/stat : 21956 (timeout) S 21573 21956 21504 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 32739658 2723840 320 18446744073709551615 94565954125824 94565954142337 140726968027936 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94565954157104 94565954159192 94565954240512 140726968035720 140726968035874 140726968035874 140726968041447 0
/proc/21956/statm: 665 320 320 5 0 90 0
[pid=21957] ppid=21956 vsize=798660 memory=699348 CPUtime=2407.97 cores=5,7
/proc/21957/stat : 21957 (SynLSCD) R 21956 21956 21504 0 -1 4194304 124419 0 33 0 239900 897 0 0 20 0 1 0 32739659 817827840 174837 18446744073709551615 94511954264064 94511956698217 140736789014672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94511957179640 94511957212672 94511962304512 140736789023138 140736789023273 140736789023273 140736789028846 0
/proc/21957/statm: 199665 174837 2496 595 0 184332 0
Current cumulated CPU time of completed processes: 1194.04 s
Current children cumulated CPU time: 2407.97 s
Current children cumulated vsize: 801320 KiB
Current children cumulated memory: 700628 KiB

Child status: 124

Real time (s): 3613.12
CPU time (s): 3602.02
CPU user time (s): 3590.19
CPU system time (s): 11.8253
CPU usage (%): 99.6928
Max. virtual memory (cumulated for all children) (KiB): 805644
Max. memory (cumulated for all children) (KiB): 703572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.19
system time used= 11.8253
maximum resident set size= 699348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332057
page faults= 33
swaps= 0
block input operations= 27536
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 636
involuntary context switches= 3177


# summary of solver processes directly reported to runsolver:
#   pid: 21577,21956
#   total CPU time (s): 3602.02
#   total CPU user time (s): 3590.19
#   total CPU system time (s): 11.8253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6271 second user time and 38.8954 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 05:56:47
IDJOB=4503302
IDBENCH=155421
IDSOLVER=3331
FILE ID=nodeC004/4503302-1751169406
RUNJOBID= nodeC004-1751169406-21522
SLURM_JOB_ID= 9587518
Free space on /tmp= 432992 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-90.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503302-1751169406/watcher-4503302-1751169406 -o /tmp/evaluation-result-4503302-1751169406/solver-4503302-1751169406 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751169406-21522 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4503302-1751169406.opb 3600 HOME

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

MD5SUM BENCH= 44a09c98c00ea73bd3c28d44044dc987
RANDOM SEED=214149693

nodeC004 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	: 0xb00001f
cpu MHz		: 1197.754
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.208
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.195
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1196.935
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.370
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.252
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.346
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1198.357
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130237612 kB
MemAvailable:   129919788 kB
Buffers:            3280 kB
Cached:           493972 kB
SwapCached:            0 kB
Active:           306296 kB
Inactive:         261440 kB
Active(anon):      88476 kB
Inactive(anon):        0 kB
Active(file):     217820 kB
Inactive(file):   261440 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            101516 kB
Writeback:             8 kB
AnonPages:         74276 kB
Mapped:           105248 kB
Shmem:             17976 kB
KReclaimable:      85084 kB
Slab:             166780 kB
SReclaimable:      85084 kB
SUnreclaim:        81696 kB
KernelStack:        4016 kB
PageTables:         3028 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     369296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432892 MiB
End job on nodeC004 at 2025-06-29 06:57:00