Trace number 4547520

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? 3586.59 3596.1

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
MD5SUM0942a69f21bd48da4c21a008e6f37b2a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.980711
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables980
Total number of constraints981
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint980
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 245
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3586.50/3596.04	c Exit code from Second Program: 124
3586.50/3596.08	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: 63708 MiB (61716 MiB free)
  memory of node 1: 64465 MiB (59883 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547520-1753268542/watcher-4547520-1753268542 -o /tmp/evaluation-result-4547520-1753268542/solver-4547520-1753268542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753268540-159420 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547520-1753268542.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
Starting watchdog thread
solver pid=159578, runsolver pid=159574
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 1.68 2.00 2.48 4/268 159591
/proc/meminfo: memFree=124501432/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=31004 memory=16088 CPUtime=0.07 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 3649 0 0 0 7 0 0 0 20 0 1 0 242532848 31748096 4022 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 7751 4022 960 2593 0 4644 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 20440 KiB

[startup+0.205672 s]*
/proc/loadavg: 1.68 2.00 2.48 5/266 159599
/proc/meminfo: memFree=124499416/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=32876 memory=18008 CPUtime=0.18 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 4119 0 0 0 18 0 0 0 20 0 1 0 242532848 33665024 4502 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 8219 4502 960 2593 0 5112 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 22360 KiB

[startup+0.305543 s]*
/proc/loadavg: 1.68 2.00 2.48 4/268 159605
/proc/meminfo: memFree=124497400/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=33052 memory=18256 CPUtime=0.27 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 4593 0 0 0 27 0 0 0 20 0 1 0 242532848 33845248 4564 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 8263 4564 960 2593 0 5156 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 40036 KiB
Current children cumulated memory: 22608 KiB

[startup+0.700197 s]
/proc/loadavg: 1.68 2.00 2.48 4/267 159625
/proc/meminfo: memFree=124495800/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=37644 memory=23292 CPUtime=0.67 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 7064 0 0 0 66 1 0 0 20 0 1 0 242532848 38547456 5823 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 9411 5823 992 2593 0 6304 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44628 KiB
Current children cumulated memory: 27644 KiB

[startup+1.50019 s]
/proc/loadavg: 1.68 2.00 2.48 5/273 159640
/proc/meminfo: memFree=124487924/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=35100 memory=20776 CPUtime=1.46 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 8441 0 0 0 145 1 0 0 20 0 1 0 242532848 35942400 5194 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 8775 5194 992 2593 0 5668 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 42084 KiB
Current children cumulated memory: 25128 KiB

[startup+3.10565 s]
/proc/loadavg: 1.86 2.03 2.49 5/273 159640
/proc/meminfo: memFree=124470388/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=35208 memory=21012 CPUtime=3.06 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 10168 0 0 0 305 1 0 0 20 0 1 0 242532848 36052992 5253 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 8802 5253 992 2593 0 5695 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 42192 KiB
Current children cumulated memory: 25364 KiB

[startup+6.30021 s]
/proc/loadavg: 1.86 2.03 2.49 5/273 159640
/proc/meminfo: memFree=124467792/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=40820 memory=26064 CPUtime=6.25 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 14036 0 0 0 623 2 0 0 20 0 1 0 242532848 41799680 6516 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 10205 6516 992 2593 0 7098 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 47804 KiB
Current children cumulated memory: 30416 KiB

[startup+12.7002 s]
/proc/loadavg: 2.27 2.11 2.51 5/273 159640
/proc/meminfo: memFree=124450104/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=53064 memory=38292 CPUtime=12.63 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 15564 0 0 0 1261 2 0 0 20 0 1 0 242532848 54337536 9573 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 13266 9573 992 2593 0 10159 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 60048 KiB
Current children cumulated memory: 42644 KiB

[startup+25.5002 s]
/proc/loadavg: 2.53 2.18 2.53 5/273 159641
/proc/meminfo: memFree=124433412/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=51808 memory=37364 CPUtime=25.4 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 18261 0 0 0 2537 3 0 0 20 0 1 0 242532848 53051392 9341 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 12952 9341 992 2593 0 9845 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 58792 KiB
Current children cumulated memory: 41716 KiB

[startup+51.1057 s]
/proc/loadavg: 3.04 2.32 2.57 5/273 159641
/proc/meminfo: memFree=124379192/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159585/stat : 159585 (timeout) S 159578 159585 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242532848 2723840 352 18446744073709551615 94674356178944 94674356195457 140722481327680 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94674356210224 94674356212312 94674388942848 140722481334686 140722481334816 140722481334816 140722481340391 0
/proc/159585/statm: 665 352 352 5 0 90 0
[pid=159587] ppid=159585 vsize=73764 memory=59376 CPUtime=50.93 cores=1,3
/proc/159587/stat : 159587 (CASHWMaxSAT-Dis) R 159585 159585 156365 0 -1 4194304 21765 0 0 0 5089 4 0 0 20 0 1 0 242532848 75534336 14844 18446744073709551615 4198400 14817773 140733630271040 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 37617664 140733630278052 140733630278169 140733630278169 140733630283744 0
/proc/159587/statm: 18441 14844 992 2593 0 15334 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 80748 KiB
Current children cumulated memory: 63728 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.62 2.66 5/273 159643
/proc/meminfo: memFree=124316792/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 250 105 0 0 0 0 0 0 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159585] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/159766/statm: 33439 18619 2624 595 0 18106 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 140740 KiB
Current children cumulated memory: 78828 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.10 1.54 2/248 159920
/proc/meminfo: memFree=124489772/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=133896 memory=74648 CPUtime=1660.35 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 45644 0 0 0 164526 1509 0 0 20 0 1 0 242712649 137109504 18662 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33474 18662 2624 595 0 18141 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 140880 KiB
Current children cumulated memory: 79000 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.51 2/248 159933
/proc/meminfo: memFree=124489820/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1720.21 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 46802 0 0 0 170463 1558 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.09 1.48 2/247 159935
/proc/meminfo: memFree=124490200/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1780.08 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48282 0 0 0 176402 1606 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

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

# cumulated CPU time of all completed processes:  user=3570.01 s, system=16.5841 s

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

[startup+3584 s]*
/proc/loadavg: 1.07 1.08 1.47 2/247 159935
/proc/meminfo: memFree=124490200/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1781.77 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48282 0 0 0 176570 1607 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3574.53 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3590.4 s]
/proc/loadavg: 1.06 1.08 1.47 2/247 159936
/proc/meminfo: memFree=124490264/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1788.16 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48428 0 0 0 177204 1612 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3593.6 s]
/proc/loadavg: 1.06 1.08 1.47 2/247 159936
/proc/meminfo: memFree=124490264/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1791.34 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48428 0 0 0 177520 1614 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3584.1 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3595.2 s]
/proc/loadavg: 1.06 1.08 1.47 2/247 159936
/proc/meminfo: memFree=124490264/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1792.94 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48576 0 0 0 177679 1615 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3595.6 s]
/proc/loadavg: 1.06 1.08 1.47 2/247 159936
/proc/meminfo: memFree=124490264/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1793.34 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48576 0 0 0 177718 1616 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

[startup+3596 s]*
/proc/loadavg: 1.06 1.08 1.47 2/247 159936
/proc/meminfo: memFree=124490264/131250000 swapFree=33010672/33010684
[pid=159578] ppid=159574 vsize=4324 memory=2944 CPUtime=1792.76 cores=1,3
/proc/159578/stat : 159578 (Hybrid-CASHWMax) S 159574 159578 156365 0 -1 4194304 284 58291 0 0 0 0 179237 39 20 0 1 0 242532846 4427776 736 18446744073709551615 94102944722944 94102945617477 140732605864816 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102945856528 94102945904272 94102946832384 140732605868373 140732605868527 140732605868527 140732605874131 0
/proc/159578/statm: 1081 736 672 219 0 143 0
[pid=159765] ppid=159578 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/159765/stat : 159765 (timeout) S 159578 159765 156365 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242712648 2723840 352 18446744073709551615 94897027047424 94897027063937 140721801713952 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94897027078704 94897027080792 94897045577728 140721801722246 140721801722400 140721801722400 140721801727975 0
/proc/159765/statm: 665 352 352 5 0 90 0
[pid=159766] ppid=159765 vsize=134140 memory=74856 CPUtime=1793.74 cores=1,3
/proc/159766/stat : 159766 (SynLSCD) R 159765 159765 156365 0 -1 4194304 48576 0 0 0 177758 1616 0 0 20 0 1 0 242712649 137359360 18714 18446744073709551615 94374378872832 94374381307433 140727685122208 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94374381788408 94374381821440 94374413938688 140727685126560 140727685126695 140727685126695 140727685132270 0
/proc/159766/statm: 33535 18714 2624 595 0 18202 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 141124 KiB
Current children cumulated memory: 79208 KiB

Child status: 0

Real time (s): 3596.1
CPU time (s): 3586.59
CPU user time (s): 3570.01
CPU system time (s): 16.5841
CPU usage (%): 99.7358
Max. virtual memory (cumulated for all children) (KiB): 307860
Max. memory (cumulated for all children) (KiB): 290860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.01
system time used= 16.5841
maximum resident set size= 286508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1303
involuntary context switches= 1835


# summary of solver processes directly reported to runsolver:
#   pid: 159578
#   total CPU time (s): 3586.59
#   total CPU user time (s): 3570.01
#   total CPU system time (s): 16.5841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19164 second user time and 15.2868 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-23 13:02:22
IDJOB=4547520
IDBENCH=172509
IDSOLVER=3424
FILE ID=nodeC026/4547520-1753268542
RUNJOBID= nodeC026-1753268540-159420
SLURM_JOB_ID= 9689181
Free space on /tmp= 432992 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547520-1753268542/watcher-4547520-1753268542 -o /tmp/evaluation-result-4547520-1753268542/solver-4547520-1753268542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753268540-159420 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547520-1753268542.opb 3600 HOME

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=926326012

nodeC026 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.687
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.59
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.571
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.59
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		: 3531.245
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.59
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.445
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.59
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		: 3579.399
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.59
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.599
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.59
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.530
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.59
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		: 3474.895
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124519408 kB
MemAvailable:   129578728 kB
Buffers:            2128 kB
Cached:          5683372 kB
SwapCached:            4 kB
Active:          1239344 kB
Inactive:        4541220 kB
Active(anon):     116004 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4535876 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             69804 kB
Writeback:            52 kB
AnonPages:         98084 kB
Mapped:           117552 kB
Shmem:             26268 kB
KReclaimable:     460904 kB
Slab:             565060 kB
SReclaimable:     460904 kB
SUnreclaim:       104156 kB
KernelStack:        4256 kB
PageTables:         3324 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     425952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC026 at 2025-07-23 14:02:18