Trace number 4547507

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23? 3587.08 3597.17

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
MD5SUM39768e28ba132eeb426131d5bb977045
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36630
Total number of constraints339
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint389
Maximum length of a constraint36630
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 114245
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 85902757
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1792.99/3597.11	c Exit code from Second Program: 124
1792.99/3597.15	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: 63665 MiB (59849 MiB free)
  memory of node 1: 64507 MiB (62795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547507-1753267934/watcher-4547507-1753267934 -o /tmp/evaluation-result-4547507-1753267934/solver-4547507-1753267934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753267885-174853 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547507-1753267934.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=174969, runsolver pid=174966

[startup+0.100067 s]*
/proc/loadavg: 2.79 1.64 1.77 5/272 174973
/proc/meminfo: memFree=125575268/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=53456 memory=38048 CPUtime=0.08 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 9193 0 0 0 7 1 0 0 20 0 1 0 242472301 54738944 9512 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 13364 9512 864 2593 0 10257 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60440 KiB
Current children cumulated memory: 42272 KiB

[startup+0.205888 s]*
/proc/loadavg: 2.79 1.64 1.77 5/272 174973
/proc/meminfo: memFree=125484904/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=53456 memory=38176 CPUtime=0.18 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 9200 0 0 0 17 1 0 0 20 0 1 0 242472301 54738944 9544 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 13364 9544 864 2593 0 10257 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60440 KiB
Current children cumulated memory: 42400 KiB

[startup+0.30579 s]*
/proc/loadavg: 2.79 1.64 1.77 5/272 174973
/proc/meminfo: memFree=125484904/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=54016 memory=38432 CPUtime=0.28 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 9284 0 0 0 27 1 0 0 20 0 1 0 242472301 55312384 9608 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 13504 9608 864 2593 0 10397 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 61000 KiB
Current children cumulated memory: 42656 KiB

[startup+0.700208 s]
/proc/loadavg: 2.79 1.64 1.77 5/272 174973
/proc/meminfo: memFree=125476336/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=92272 memory=64996 CPUtime=0.67 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 16597 0 0 0 65 2 0 0 20 0 1 0 242472301 94486528 16249 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 23068 16249 896 2593 0 19961 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99256 KiB
Current children cumulated memory: 69220 KiB

[startup+1.50023 s]
/proc/loadavg: 2.79 1.64 1.77 5/272 174973
/proc/meminfo: memFree=125479728/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=149248 memory=116752 CPUtime=1.46 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 28457 0 0 0 142 4 0 0 20 0 1 0 242472301 152829952 29188 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 37312 29188 896 2593 0 34205 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 156232 KiB
Current children cumulated memory: 120976 KiB

[startup+3.10588 s]
/proc/loadavg: 2.97 1.69 1.79 5/272 174973
/proc/meminfo: memFree=125500516/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=149248 memory=116752 CPUtime=3.06 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 28457 0 0 0 302 4 0 0 20 0 1 0 242472301 152829952 29188 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 37312 29188 896 2593 0 34205 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 156232 KiB
Current children cumulated memory: 120976 KiB

[startup+6.30023 s]
/proc/loadavg: 2.97 1.69 1.79 5/272 174973
/proc/meminfo: memFree=125503212/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=149248 memory=116752 CPUtime=6.25 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 28457 0 0 0 621 4 0 0 20 0 1 0 242472301 152829952 29188 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 37312 29188 896 2593 0 34205 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 156232 KiB
Current children cumulated memory: 120976 KiB

[startup+12.7003 s]
/proc/loadavg: 3.13 1.77 1.81 5/272 174973
/proc/meminfo: memFree=125459088/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=277360 memory=228284 CPUtime=12.65 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 37177 0 0 0 1256 9 0 0 20 0 1 0 242472301 284016640 57071 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 69340 57071 896 2593 0 66233 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 284344 KiB
Current children cumulated memory: 232508 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 1.84 1.83 5/272 174973
/proc/meminfo: memFree=124298324/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=1338784 memory=1303196 CPUtime=25.41 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 138162 0 0 0 2495 46 0 0 20 0 1 0 242472301 1370914816 325799 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 334696 325799 896 2593 0 331589 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1345768 KiB
Current children cumulated memory: 1307420 KiB

[startup+51.1058 s]
/proc/loadavg: 3.60 2.03 1.90 5/272 174975
/proc/meminfo: memFree=117355544/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/174972/stat : 174972 (timeout) S 174969 174972 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242472301 2723840 320 18446744073709551615 94295773007872 94295773024385 140731809599600 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295773039152 94295773041240 94295791767552 140731809606046 140731809606176 140731809606176 140731809611751 0
/proc/174972/statm: 665 320 320 5 0 90 0
[pid=174973] ppid=174972 vsize=8305824 memory=7915500 CPUtime=50.94 cores=5,7
/proc/174973/stat : 174973 (CASHWMaxSAT-Dis) R 174972 174972 172165 0 -1 4194304 945792 0 0 0 4812 282 0 0 20 0 1 0 242472301 8505163776 1978875 18446744073709551615 4198400 14817773 140724687784064 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55189504 140724687788452 140724687788569 140724687788569 140724687794144 0
/proc/174973/statm: 2076456 1978875 960 2593 0 2073349 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 8312808 KiB
Current children cumulated memory: 7919724 KiB

[startup+102.3 s]
/proc/loadavg: 3.96 2.40 2.03 5/272 174977
/proc/meminfo: memFree=114876092/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 247 103 0 0 0 0 0 0 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=174972] ppid=174969 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11750820 memory=10256424 CPUtime=1719.43 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 1998961 0 0 0 171379 564 0 0 20 0 1 0 242652114 12032839680 2564106 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2937705 2564106 2560 595 0 2922372 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 11757804 KiB
Current children cumulated memory: 10260776 KiB

[startup+3582.3 s]
/proc/loadavg: 1.75 2.30 2.83 2/247 175275
/proc/meminfo: memFree=117465152/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11750820 memory=10256552 CPUtime=1779.27 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 1999503 0 0 0 177359 568 0 0 20 0 1 0 242652114 12032839680 2564138 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2937705 2564138 2560 595 0 2922372 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 11757804 KiB
Current children cumulated memory: 10260904 KiB

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

# cumulated CPU time of all completed processes:  user=3564.03 s, system=23.0536 s

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

[startup+3584 s]*
/proc/loadavg: 1.69 2.28 2.82 2/247 175275
/proc/meminfo: memFree=117449020/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11750820 memory=10256552 CPUtime=1780.97 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 1999511 0 0 0 177529 568 0 0 20 0 1 0 242652114 12032839680 2564138 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2937705 2564138 2560 595 0 2922372 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 11757804 KiB
Current children cumulated memory: 10260904 KiB

[startup+3590.4 s]
/proc/loadavg: 1.63 2.25 2.81 2/247 175275
/proc/meminfo: memFree=117449020/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11750820 memory=10256552 CPUtime=1787.35 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 1999671 0 0 0 178166 569 0 0 20 0 1 0 242652114 12032839680 2564138 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2937705 2564138 2560 595 0 2922372 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 11757804 KiB
Current children cumulated memory: 10260904 KiB

[startup+3593.6 s]
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=117449524/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11750820 memory=10256552 CPUtime=1790.55 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 1999790 0 0 0 178484 571 0 0 20 0 1 0 242652114 12032839680 2564138 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2937705 2564138 2560 595 0 2922372 0
Current children cumulated CPU time: 3583.54 s
Current children cumulated vsize: 11757804 KiB
Current children cumulated memory: 10260904 KiB

[startup+3595.2 s]
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=117429612/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11854560 memory=10355960 CPUtime=1792.13 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 2001703 0 0 0 178640 573 0 0 20 0 1 0 242652114 12139069440 2588990 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2963640 2588990 2560 595 0 2948307 0
Current children cumulated CPU time: 3585.12 s
Current children cumulated vsize: 11861544 KiB
Current children cumulated memory: 10360312 KiB

[startup+3596 s]*
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=117427744/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=11756248 memory=10262064 CPUtime=1792.93 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 2001737 0 0 0 178720 573 0 0 20 0 1 0 242652114 12038397952 2565516 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 2939062 2565516 2560 595 0 2923729 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 11763232 KiB
Current children cumulated memory: 10266416 KiB

[startup+3596.8 s]
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=117427744/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
[pid=175078] ppid=175077 vsize=7719644 memory=7498900 CPUtime=1793.73 cores=5,7
/proc/175078/stat : 175078 (SynLSCD) R 175077 175077 172165 0 -1 4194304 2001861 0 0 0 178795 578 0 0 20 0 1 0 242652114 7904915456 1874725 18446744073709551615 94155465572352 94155468006953 140731012722192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94155468487928 94155468520960 94155492343808 140731012725152 140731012725287 140731012725287 140731012730862 0
/proc/175078/statm: 1929911 1874725 2624 595 0 1914578 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 7726628 KiB
Current children cumulated memory: 7503252 KiB

[startup+3597 s]*
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=124794172/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1792.99 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

[startup+3597.11 s]
/proc/loadavg: 1.58 2.23 2.80 2/247 175276
/proc/meminfo: memFree=124794172/131249988 swapFree=33010160/33010684
[pid=174969] ppid=174966 vsize=4324 memory=2944 CPUtime=1792.99 cores=5,7
/proc/174969/stat : 174969 (Hybrid-CASHWMax) S 174966 174969 172165 0 -1 4194304 280 1113863 0 0 0 0 177600 1699 20 0 1 0 242472299 4427776 736 18446744073709551615 94854029082624 94854029977157 140724305625248 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94854030216208 94854030263952 94854049042432 140724305627477 140724305627631 140724305627631 140724305633235 0
/proc/174969/statm: 1081 736 672 219 0 143 0
[pid=175077] ppid=174969 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/175077/stat : 175077 (timeout) S 174969 175077 172165 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242652114 2723840 352 18446744073709551615 94442319163392 94442319179905 140720645122896 0 0 0 0 3293184 73735 1 0 0 17 7 0 0 0 0 0 94442319194672 94442319196760 94442333065216 140720645126534 140720645126688 140720645126688 140720645132263 0
/proc/175077/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1792.99 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

Child status: 0

Real time (s): 3597.17
CPU time (s): 3587.08
CPU user time (s): 3564.03
CPU system time (s): 23.0536
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 12592240
Max. memory (cumulated for all children) (KiB): 11349336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.03
system time used= 23.0536
maximum resident set size= 11349592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3117736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1401
involuntary context switches= 3613


# summary of solver processes directly reported to runsolver:
#   pid: 174969
#   total CPU time (s): 3587.08
#   total CPU user time (s): 3564.03
#   total CPU system time (s): 23.0536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40795 second user time and 15.9056 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-23 12:52:14
IDJOB=4547507
IDBENCH=164250
IDSOLVER=3424
FILE ID=nodeC034/4547507-1753267934
RUNJOBID= nodeC034-1753267885-174853
SLURM_JOB_ID= 9689189
Free space on /tmp= 432972 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-t1722.0.s.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547507-1753267934/watcher-4547507-1753267934 -o /tmp/evaluation-result-4547507-1753267934/solver-4547507-1753267934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753267885-174853 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547507-1753267934.opb 3600 HOME

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

MD5SUM BENCH= 39768e28ba132eeb426131d5bb977045
RANDOM SEED=781697829

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.794
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		: 3599.958
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		: 3623.049
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		: 3611.963
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.763
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		: 3601.932
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.664
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		: 3599.757
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:        125588468 kB
MemAvailable:   127458948 kB
Buffers:            2128 kB
Cached:          2607376 kB
SwapCached:           32 kB
Active:          3410964 kB
Inactive:        1486736 kB
Active(anon):    2312308 kB
Inactive(anon):     2152 kB
Active(file):    1098656 kB
Inactive(file):  1484584 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19180 kB
Writeback:             0 kB
AnonPages:       2291236 kB
Mapped:           121212 kB
Shmem:             26264 kB
KReclaimable:     252560 kB
Slab:             351576 kB
SReclaimable:     252560 kB
SUnreclaim:        99016 kB
KernelStack:        4352 kB
PageTables:         7840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2771852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1124352 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= 433020 MiB
End job on nodeC034 at 2025-07-23 13:52:12