Trace number 4522714

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01? (MO) 1265.22 1268.88

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
MD5SUM80bbccedb85ca0271e993b8d74e189a8
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 benchmark6142
Best CPU time to get the best result obtained on this benchmark58.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250000
Total number of constraints250001
Number of constraints which are clauses150000
Number of constraints which are cardinality constraints (but not clauses)100000
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint100000
Number of terms in the objective function 100000
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 100000
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100000
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (57049 MiB free)
  memory of node 1: 64507 MiB (45348 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522714-1751643642/watcher-4522714-1751643642 -o /tmp/evaluation-result-4522714-1751643642/solver-4522714-1751643642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751643641-93747 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4522714-1751643642.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=93813, runsolver pid=93810

[startup+0.100066 s]*
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=104755828/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=66352 memory=50904 CPUtime=0.07 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 12922 0 0 0 6 1 0 0 20 0 1 0 80043179 67944448 12726 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 16588 12726 864 2593 0 13481 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 73336 KiB
Current children cumulated memory: 55384 KiB

[startup+0.205883 s]*
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=104715760/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=78772 memory=63960 CPUtime=0.18 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 16189 0 0 0 16 2 0 0 20 0 1 0 80043179 80662528 15990 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 19693 15990 864 2593 0 16586 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85756 KiB
Current children cumulated memory: 68440 KiB

[startup+0.305821 s]*
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=104598948/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=116932 memory=100900 CPUtime=0.27 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 23414 0 0 0 24 3 0 0 20 0 1 0 80043179 119738368 25225 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 29233 25225 864 2593 0 26126 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 123916 KiB
Current children cumulated memory: 105380 KiB

[startup+0.700242 s]
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=104485860/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=187588 memory=171224 CPUtime=0.66 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 39948 0 0 0 60 6 0 0 20 0 1 0 80043179 192090112 42806 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 46897 42806 864 2593 0 43790 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 194572 KiB
Current children cumulated memory: 175704 KiB

[startup+1.50023 s]
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=104183444/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=296192 memory=280152 CPUtime=1.46 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 67203 0 0 0 136 10 0 0 20 0 1 0 80043179 303300608 70038 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 74048 70038 864 2593 0 70941 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 303176 KiB
Current children cumulated memory: 284632 KiB

[startup+3.10571 s]
/proc/loadavg: 0.33 0.13 0.10 5/272 93817
/proc/meminfo: memFree=103316672/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=514408 memory=496824 CPUtime=3.07 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 120339 0 0 0 288 19 0 0 20 0 1 0 80043179 526753792 124206 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 128602 124206 864 2593 0 125495 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 521392 KiB
Current children cumulated memory: 501304 KiB

[startup+6.30024 s]
/proc/loadavg: 0.62 0.20 0.13 5/272 93817
/proc/meminfo: memFree=102734492/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=529656 memory=513784 CPUtime=6.26 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 124063 0 0 0 606 20 0 0 20 0 1 0 80043179 542367744 128446 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 132414 128446 896 2593 0 129307 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 536640 KiB
Current children cumulated memory: 518264 KiB

[startup+12.7002 s]
/proc/loadavg: 0.89 0.26 0.15 5/272 93817
/proc/meminfo: memFree=101440188/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=1038444 memory=991160 CPUtime=12.64 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 162851 0 0 0 1227 37 0 0 20 0 1 0 80043179 1063366656 247790 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 259611 247790 896 2593 0 256504 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1045428 KiB
Current children cumulated memory: 995640 KiB

[startup+25.5003 s]
/proc/loadavg: 1.58 0.45 0.21 5/272 93817
/proc/meminfo: memFree=100343588/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=1342168 memory=1244616 CPUtime=25.4 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 238808 0 0 0 2481 59 0 0 20 0 1 0 80043179 1374380032 311154 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 335542 311154 1216 2593 0 332435 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1349152 KiB
Current children cumulated memory: 1249096 KiB

[startup+51.1059 s]
/proc/loadavg: 2.53 0.76 0.32 5/272 93818
/proc/meminfo: memFree=100617508/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=1342348 memory=1250288 CPUtime=50.93 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 244839 0 0 0 5024 69 0 0 20 0 1 0 80043179 1374564352 312572 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 335587 312572 1248 2593 0 332480 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1349332 KiB
Current children cumulated memory: 1254768 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.52 5/272 93820
/proc/meminfo: memFree=100566336/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0

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

/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 268193 0 0 0 105799 136 0 0 20 0 1 0 80043179 1373552640 315744 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 335340 315744 1248 2593 0 332233 0
Current children cumulated CPU time: 1059.35 s
Current children cumulated vsize: 1348344 KiB
Current children cumulated memory: 1267456 KiB

[startup+1122.3 s]
/proc/loadavg: 4.10 4.01 2.93 5/271 93864
/proc/meminfo: memFree=99340560/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=1341864 memory=1263480 CPUtime=1119.16 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 268790 0 0 0 111778 138 0 0 20 0 1 0 80043179 1374068736 315870 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 335466 315870 1248 2593 0 332359 0
Current children cumulated CPU time: 1119.16 s
Current children cumulated vsize: 1348848 KiB
Current children cumulated memory: 1267960 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.02 3.01 5/272 93867
/proc/meminfo: memFree=99289688/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93816] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93816/stat : 93816 (timeout) S 93813 93816 93728 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 80043178 2723840 352 18446744073709551615 94712547278848 94712547295361 140731540888192 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94712547310128 94712547312216 94712577175552 140731540892053 140731540892193 140731540892193 140731540897767 0
/proc/93816/statm: 665 352 352 5 0 90 0
[pid=93817] ppid=93816 vsize=1341864 memory=1263480 CPUtime=1178.98 cores=1,3
/proc/93817/stat : 93817 (CASHWMaxSAT-Dis) R 93816 93816 93728 0 -1 4194304 268868 0 0 0 117760 138 0 0 20 0 1 0 80043179 1374068736 315870 18446744073709551615 4198400 14817773 140726180742048 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 46243840 140726180743579 140726180743706 140726180743706 140726180749280 0
/proc/93817/statm: 335466 315870 1248 2593 0 332359 0
Current children cumulated CPU time: 1178.98 s
Current children cumulated vsize: 1348848 KiB
Current children cumulated memory: 1267960 KiB

[startup+1242.3 s]
/proc/loadavg: 4.07 4.03 3.08 5/273 93949
/proc/meminfo: memFree=68335744/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=1194.69 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 283 269137 0 0 0 0 119327 142 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93875] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93813 93875 93728 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=18476748 memory=18323444 CPUtime=44.05 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 4497900 0 0 0 3737 668 0 0 20 0 1 0 80162983 18920189952 4580861 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 4619187 4580861 1824 2271 0 4613825 0
Current children cumulated CPU time: 1238.74 s
Current children cumulated vsize: 18483732 KiB
Current children cumulated memory: 18327924 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1265.7 s]
/proc/loadavg: 4.04 4.03 3.11 5/272 93950
/proc/meminfo: memFree=54402252/131249988 swapFree=33010160/33010684
[pid=93813] ppid=93810 vsize=4324 memory=3072 CPUtime=1194.69 cores=1,3
/proc/93813/stat : 93813 (Hybrid-CASHWMax) S 93810 93813 93728 0 -1 4194304 283 269137 0 0 0 0 119327 142 20 0 1 0 80043177 4427776 768 18446744073709551615 94612538134528 94612539029061 140730429520512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94612539268112 94612539315856 94612561850368 140730429528406 140730429528560 140730429528560 140730429534163 0
/proc/93813/statm: 1081 768 704 219 0 143 0
[pid=93875] ppid=93813 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93813 93875 93728 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=31761148 memory=31607668 CPUtime=67.33 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 7818956 0 0 0 5575 1158 0 0 20 0 1 0 80162983 32523415552 7901917 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 7940287 7901917 1824 2271 0 7934925 0
Current children cumulated CPU time: 1262.02 s
Current children cumulated vsize: 31768132 KiB
Current children cumulated memory: 31612148 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

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

Solver just ended.
Dumping a history of the last processes samples

[startup+1266.4 s]
/proc/loadavg: 4.04 4.03 3.11 5/271 93950
/proc/meminfo: memFree=53941004/131249988 swapFree=33010160/33010684
[pid=93875] ppid=93810 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93810 93875 93728 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=32169308 memory=32016244 CPUtime=68.04 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 7921083 0 0 0 5630 1174 0 0 20 0 1 0 80162983 32941371392 8004061 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 8042327 8004061 1824 2271 0 8036965 0
Current cumulated CPU time of completed processes: 1194.71 s
Current children cumulated CPU time: 68.04 s
Current children cumulated vsize: 32171968 KiB
Current children cumulated memory: 32017652 KiB

[startup+1267.2 s]
/proc/loadavg: 4.04 4.03 3.11 5/271 93950
/proc/meminfo: memFree=53235800/131249988 swapFree=33010160/33010684
[pid=93875] ppid=93810 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93810 93875 93728 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=32635720 memory=32482676 CPUtime=68.83 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 8037687 0 0 0 5693 1190 0 0 20 0 1 0 80162983 33418977280 8120669 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 8158930 8120669 1824 2271 0 8153568 0
Current cumulated CPU time of completed processes: 1194.71 s
Current children cumulated CPU time: 68.83 s
Current children cumulated vsize: 32638380 KiB
Current children cumulated memory: 32484084 KiB

[startup+1267.6 s]
/proc/loadavg: 4.04 4.03 3.11 5/271 93950
/proc/meminfo: memFree=53235800/131249988 swapFree=33010160/33010684
[pid=93875] ppid=93810 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93810 93875 93728 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=32869492 memory=32716020 CPUtime=69.23 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 8096040 0 0 0 5724 1199 0 0 20 0 1 0 80162983 33658359808 8179005 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 8217373 8179005 1824 2271 0 8212011 0
Current cumulated CPU time of completed processes: 1194.71 s
Current children cumulated CPU time: 69.23 s
Current children cumulated vsize: 32872152 KiB
Current children cumulated memory: 32717428 KiB

[startup+1267.7 s]
/proc/loadavg: 4.04 4.03 3.11 5/271 93950
/proc/meminfo: memFree=53235800/131249988 swapFree=33010160/33010684
[pid=93875] ppid=93810 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/93875/stat : 93875 (timeout) S 93810 93875 93728 0 -1 4194304 113 0 0 0 0 0 0 0 20 0 1 0 80162983 2723840 352 18446744073709551615 94276800507904 94276800524417 140734698747776 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94276800539184 94276800541272 94276809129984 140734698752389 140734698752545 140734698752545 140734698758119 0
/proc/93875/statm: 665 352 352 5 0 90 0
[pid=93876] ppid=93875 vsize=32927748 memory=32774516 CPUtime=69.33 cores=1,3
/proc/93876/stat : 93876 (ExactPR-S) R 93875 93875 93728 0 -1 4194304 8110664 0 0 0 5732 1201 0 0 20 0 1 0 80162983 33718013952 8193629 18446744073709551615 94623601618944 94623610918981 140736066560992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94623612705088 94623612744168 94623635353600 140736066566557 140736066566694 140736066566694 140736066572268 0
/proc/93876/statm: 8231937 8193629 1824 2271 0 8226575 0
Current cumulated CPU time of completed processes: 1194.71 s
Current children cumulated CPU time: 69.33 s
Current children cumulated vsize: 32930408 KiB
Current children cumulated memory: 32775924 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1268.88
CPU time (s): 1265.22
CPU user time (s): 1250.6
CPU system time (s): 14.619
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 32930408
Max. memory (cumulated for all children) (KiB): 32775924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1250.6
system time used= 14.619
maximum resident set size= 32774644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8380221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 370
involuntary context switches= 565


# summary of solver processes directly reported to runsolver:
#   pid: 93813,93875,93876
#   total CPU time (s): 1265.22
#   total CPU user time (s): 1250.6
#   total CPU system time (s): 14.619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.88253 second user time and 6.48923 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-04 17:40:43
IDJOB=4522714
IDBENCH=179278
IDSOLVER=3327
FILE ID=nodeC034/4522714-1751643642
RUNJOBID= nodeC034-1751643641-93747
SLURM_JOB_ID= 9672339
Free space on /tmp= 429792 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522714-1751643642/watcher-4522714-1751643642 -o /tmp/evaluation-result-4522714-1751643642/solver-4522714-1751643642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751643641-93747 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4522714-1751643642.opb 3600 HOME

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

MD5SUM BENCH= 80bbccedb85ca0271e993b8d74e189a8
RANDOM SEED=1419128500

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.774
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.232
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.054
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.561
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.277
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.724
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.653
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        104895576 kB
MemAvailable:   129624184 kB
Buffers:            2128 kB
Cached:         25464916 kB
SwapCached:           36 kB
Active:           636232 kB
Inactive:       24990232 kB
Active(anon):     173280 kB
Inactive(anon):     4208 kB
Active(file):     462952 kB
Inactive(file): 24986024 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            181264 kB
Writeback:             0 kB
AnonPages:        162836 kB
Mapped:           115504 kB
Shmem:             18068 kB
KReclaimable:     237340 kB
Slab:             331628 kB
SReclaimable:     237340 kB
SUnreclaim:        94288 kB
KernelStack:        4336 kB
PageTables:         3268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     511680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429720 MiB
End job on nodeC034 at 2025-07-04 18:01:52