Trace number 4509583

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.02 3611.02

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
MD5SUM3f10ffbf957f8216a1934b9362956d36
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark32
Best CPU time to get the best result obtained on this benchmark0.861547
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11744
Total number of constraints798
Number of constraints which are clauses366
Number of constraints which are cardinality constraints (but not clauses)366
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint367
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 133314
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 283127
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3611.01	s UNKNOWN

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 (63140 MiB free)
  memory of node 1: 64465 MiB (63674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509583-1751523121/watcher-4509583-1751523121 -o /tmp/evaluation-result-4509583-1751523121/solver-4509583-1751523121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4509583-1751523121.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10007 s]*
/proc/loadavg: 2.76 3.82 4.05 7/250 76736
/proc/meminfo: memFree=129844972/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=25056 memory=9972 CPUtime=0.1 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 1958 0 0 0 10 0 0 0 20 0 1 0 67990854 25657344 2493 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 6264 2493 864 2593 0 3157 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25056 KiB
Current children cumulated memory: 9972 KiB

[startup+0.213735 s]*
/proc/loadavg: 2.76 3.82 4.05 7/250 76736
/proc/meminfo: memFree=129828592/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=28484 memory=12788 CPUtime=0.22 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 2674 0 0 0 21 1 0 0 20 0 1 0 67990854 29167616 3197 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 7121 3197 864 2593 0 4014 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28484 KiB
Current children cumulated memory: 12788 KiB

[startup+0.312991 s]*
/proc/loadavg: 2.76 3.82 4.05 7/250 76736
/proc/meminfo: memFree=129804612/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=34492 memory=18804 CPUtime=0.31 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 4554 0 0 0 29 2 0 0 20 0 1 0 67990854 35319808 4701 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 8623 4701 896 2593 0 5516 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34492 KiB
Current children cumulated memory: 18804 KiB

[startup+0.700373 s]
/proc/loadavg: 2.76 3.82 4.05 7/250 76736
/proc/meminfo: memFree=129735308/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=72384 memory=52768 CPUtime=0.69 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 11260 0 0 0 63 6 0 0 20 0 1 0 67990854 74121216 13192 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 18096 13192 896 2593 0 14989 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72384 KiB
Current children cumulated memory: 52768 KiB

[startup+1.50033 s]
/proc/loadavg: 2.76 3.82 4.05 7/250 76736
/proc/meminfo: memFree=129529460/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=178412 memory=145796 CPUtime=1.48 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 21480 0 0 0 137 11 0 0 20 0 1 0 67990854 182693888 36449 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 44603 36449 896 2593 0 41496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 178412 KiB
Current children cumulated memory: 145796 KiB

[startup+3.11284 s]
/proc/loadavg: 2.86 3.83 4.05 7/250 76736
/proc/meminfo: memFree=128380312/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=553580 memory=526980 CPUtime=3.09 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 45095 0 0 0 285 24 0 0 20 0 1 0 67990854 566865920 131745 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 138395 131745 896 2593 0 135288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 553580 KiB
Current children cumulated memory: 526980 KiB

[startup+6.3003 s]
/proc/loadavg: 2.86 3.83 4.05 7/250 76736
/proc/meminfo: memFree=126432200/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=1578388 memory=1439176 CPUtime=6.26 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 159395 0 0 0 574 52 0 0 20 0 1 0 67990854 1616269312 359794 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 394597 359794 896 2593 0 391490 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1578388 KiB
Current children cumulated memory: 1439176 KiB

[startup+12.7003 s]
/proc/loadavg: 2.95 3.83 4.05 7/250 76737
/proc/meminfo: memFree=124689860/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2076912 memory=1908296 CPUtime=12.65 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 234618 0 0 0 1190 75 0 0 20 0 1 0 67990854 2126757888 477074 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 519228 477074 960 2593 0 516121 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2076912 KiB
Current children cumulated memory: 1908296 KiB

[startup+25.5003 s]
/proc/loadavg: 3.25 3.85 4.06 7/250 76737
/proc/meminfo: memFree=124588224/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2281832 memory=2060564 CPUtime=25.42 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 246577 0 0 0 2439 103 0 0 20 0 1 0 67990854 2336595968 515141 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 570458 515141 960 2593 0 567351 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2281832 KiB
Current children cumulated memory: 2060564 KiB

[startup+51.1129 s]
/proc/loadavg: 3.51 3.87 4.05 7/250 76737
/proc/meminfo: memFree=124748712/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2210408 memory=1994420 CPUtime=50.96 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 262321 0 0 0 4946 150 0 0 20 0 1 0 67990854 2263457792 498605 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 552602 498605 960 2593 0 549495 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2210408 KiB
Current children cumulated memory: 1994420 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.91 4.05 7/251 76740
/proc/meminfo: memFree=124683760/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2220632 memory=2027240 CPUtime=101.99 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 273712 0 0 0 9995 204 0 0 20 0 1 0 67990854 2273927168 506810 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 555158 506810 960 2593 0 552051 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2220632 KiB
Current children cumulated memory: 2027240 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.96 4.06 7/253 76745
/proc/meminfo: memFree=124662408/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2217116 memory=2033964 CPUtime=161.82 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 285544 0 0 0 15931 251 0 0 20 0 1 0 67990854 2270326784 508491 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 554279 508491 960 2593 0 551172 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2217116 KiB
Current children cumulated memory: 2033964 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.98 4.06 7/253 76747
/proc/meminfo: memFree=124600264/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2218104 memory=2037000 CPUtime=221.64 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 296433 0 0 0 21870 294 0 0 20 0 1 0 67990854 2271338496 509250 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 554526 509250 960 2593 0 551419 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2218104 KiB
Current children cumulated memory: 2037000 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.00 4.06 7/252 76749
/proc/meminfo: memFree=124611004/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2222856 memory=2041752 CPUtime=281.47 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 308174 0 0 0 27799 348 0 0 20 0 1 0 67990854 2276204544 510438 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 555714 510438 960 2593 0 552607 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2222856 KiB
Current children cumulated memory: 2041752 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.01 4.06 7/253 76752
/proc/meminfo: memFree=124578896/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2287260 memory=2108100 CPUtime=341.3 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 317226 0 0 0 33749 381 0 0 20 0 1 0 67990854 2342154240 527025 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 571815 527025 960 2593 0 568708 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2287260 KiB
Current children cumulated memory: 2108100 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.04 4.07 7/252 76754
/proc/meminfo: memFree=124291376/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2287440 memory=2108384 CPUtime=401.13 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 323243 0 0 0 39708 405 0 0 20 0 1 0 67990854 2342338560 527096 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 571860 527096 960 2593 0 568753 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2287440 KiB
Current children cumulated memory: 2108384 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.05 4.07 7/250 76756
/proc/meminfo: memFree=124568128/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2287640 memory=2108584 CPUtime=460.96 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 329418 0 0 0 45669 427 0 0 20 0 1 0 67990854 2342543360 527146 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 571910 527146 960 2593 0 568803 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 2404576 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.36 4.25 6/250 76911
/proc/meminfo: memFree=124421612/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2343444 memory=2117216 CPUtime=2853.67 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 536346 0 0 0 284048 1319 0 0 20 0 1 0 67990854 2399686656 529304 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 585861 529304 960 2593 0 582754 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 2343444 KiB
Current children cumulated memory: 2117216 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.29 4.23 6/250 76913
/proc/meminfo: memFree=124400672/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2322548 memory=2096424 CPUtime=2913.48 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 540765 0 0 0 290009 1339 0 0 20 0 1 0 67990854 2378289152 524106 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 580637 524106 960 2593 0 577530 0
Current children cumulated CPU time: 2913.48 s
Current children cumulated vsize: 2322548 KiB
Current children cumulated memory: 2096424 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.27 4.22 6/249 76930
/proc/meminfo: memFree=124453168/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2332224 memory=2105996 CPUtime=2973.29 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 543850 0 0 0 295973 1356 0 0 20 0 1 0 67990854 2388197376 526499 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 583056 526499 960 2593 0 579949 0
Current children cumulated CPU time: 2973.29 s
Current children cumulated vsize: 2332224 KiB
Current children cumulated memory: 2105996 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.23 4.21 6/250 76935
/proc/meminfo: memFree=124382760/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2360400 memory=2134172 CPUtime=3033.1 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 549792 0 0 0 301924 1386 0 0 20 0 1 0 67990854 2417049600 533543 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 590100 533543 960 2593 0 586993 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 2360400 KiB
Current children cumulated memory: 2134172 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.20 4.20 6/250 76937
/proc/meminfo: memFree=124405428/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2348956 memory=2122832 CPUtime=3092.91 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 555020 0 0 0 307878 1413 0 0 20 0 1 0 67990854 2405330944 530708 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 587239 530708 960 2593 0 584132 0
Current children cumulated CPU time: 3092.91 s
Current children cumulated vsize: 2348956 KiB
Current children cumulated memory: 2122832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.20 4.19 6/250 76939
/proc/meminfo: memFree=124453916/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2367892 memory=2141664 CPUtime=3152.71 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 557883 0 0 0 313847 1424 0 0 20 0 1 0 67990854 2424721408 535416 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 591973 535416 960 2593 0 588866 0
Current children cumulated CPU time: 3152.71 s
Current children cumulated vsize: 2367892 KiB
Current children cumulated memory: 2141664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.17 4.18 6/250 76941
/proc/meminfo: memFree=124468312/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2324744 memory=2098620 CPUtime=3212.53 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 559977 0 0 0 319820 1433 0 0 20 0 1 0 67990854 2380537856 524655 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581186 524655 960 2593 0 578079 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 2324744 KiB
Current children cumulated memory: 2098620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.15 4.17 6/250 76943
/proc/meminfo: memFree=124492352/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2325212 memory=2101032 CPUtime=3272.33 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 563767 0 0 0 325784 1449 0 0 20 0 1 0 67990854 2381017088 525258 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581303 525258 960 2593 0 578196 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 2325212 KiB
Current children cumulated memory: 2101032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.14 4.17 6/249 76945
/proc/meminfo: memFree=124490652/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2325784 memory=2101708 CPUtime=3332.14 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 567629 0 0 0 331751 1463 0 0 20 0 1 0 67990854 2381602816 525427 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581446 525427 960 2593 0 578339 0
Current children cumulated CPU time: 3332.14 s
Current children cumulated vsize: 2325784 KiB
Current children cumulated memory: 2101708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.16 6/249 76947
/proc/meminfo: memFree=124494672/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2326284 memory=2102104 CPUtime=3391.96 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 571048 0 0 0 337715 1481 0 0 20 0 1 0 67990854 2382114816 525526 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581571 525526 960 2593 0 578464 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 2326284 KiB
Current children cumulated memory: 2102104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.16 6/249 76949
/proc/meminfo: memFree=124491124/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2326096 memory=2102020 CPUtime=3451.76 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 574865 0 0 0 343682 1494 0 0 20 0 1 0 67990854 2381922304 525505 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581524 525505 960 2593 0 578417 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 2326096 KiB
Current children cumulated memory: 2102020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.16 6/249 76951
/proc/meminfo: memFree=124468636/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2326624 memory=2102548 CPUtime=3511.58 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 576269 0 0 0 349658 1500 0 0 20 0 1 0 67990854 2382462976 525637 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581656 525637 960 2593 0 578549 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 2326624 KiB
Current children cumulated memory: 2102548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.15 6/250 76958
/proc/meminfo: memFree=124488312/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2327176 memory=2103100 CPUtime=3571.38 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 580505 0 0 0 355620 1518 0 0 20 0 1 0 67990854 2383028224 525775 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 581794 525775 960 2593 0 578687 0
Current children cumulated CPU time: 3571.38 s
Current children cumulated vsize: 2327176 KiB
Current children cumulated memory: 2103100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.07 4.10 4.15 5/246 76969
/proc/meminfo: memFree=125442564/131382120 swapFree=33010416/33010684
[pid=76731] ppid=76719 vsize=2395392 memory=2171192 CPUtime=3600.01 cores=1,3
/proc/76731/stat : 76731 (CASHWMaxSAT-Dis) R 76719 76731 76667 0 -1 4194304 582615 0 0 0 358475 1526 0 0 20 0 1 0 67990854 2452881408 542798 18446744073709551615 4198400 14817773 140724031824112 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55607296 140724031830378 140724031830493 140724031830493 140724031836095 0
/proc/76731/statm: 598848 542798 960 2593 0 595741 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2395392 KiB
Current children cumulated memory: 2171192 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.02 s]
# the end of solver process 76731 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3584.76 s, system=15.2678 s

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

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.02
CPU user time (s): 3584.76
CPU system time (s): 15.2678
CPU usage (%): 99.6955
Max. virtual memory (cumulated for all children) (KiB): 2927144
Max. memory (cumulated for all children) (KiB): 2651936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.76
system time used= 15.2678
maximum resident set size= 2651936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 2341


# summary of solver processes directly reported to runsolver:
#   pid: 76731
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3584.76
#   total CPU system time (s): 15.2678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3267 second user time and 35.7154 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-03 08:12:02
IDJOB=4509583
IDBENCH=158625
IDSOLVER=3322
FILE ID=nodeC003/4509583-1751523121
RUNJOBID= nodeC003-1751523121-76679
SLURM_JOB_ID= 9598648
Free space on /tmp= 432020 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509583-1751523121/watcher-4509583-1751523121 -o /tmp/evaluation-result-4509583-1751523121/solver-4509583-1751523121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76679 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4509583-1751523121.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=816912516

nodeC003 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.726
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.44
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.197
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.44
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.160
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.44
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		: 1197.158
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.44
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		: 3700.000
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.44
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.151
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.44
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.151
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.44
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		: 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 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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129851032 kB
MemAvailable:   129886112 kB
Buffers:            2736 kB
Cached:           832116 kB
SwapCached:           36 kB
Active:           561992 kB
Inactive:         340096 kB
Active(anon):      77552 kB
Inactive(anon):     7608 kB
Active(file):     484440 kB
Inactive(file):   332488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55852 kB
Writeback:            16 kB
AnonPages:         70252 kB
Mapped:           103036 kB
Shmem:             17924 kB
KReclaimable:     115556 kB
Slab:             200416 kB
SReclaimable:     115556 kB
SUnreclaim:        84860 kB
KernelStack:        3840 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149208 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431956 MiB
End job on nodeC003 at 2025-07-03 09:12:13