Trace number 4542530

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-06-01? 3591.39 3602.57

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
MD5SUMa8e56f9e5ad0cb5cee4856e95cb4d672
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 benchmark1193.42
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2235696
Total number of constraints106882
Number of constraints which are clauses54005
Number of constraints which are cardinality constraints (but not clauses)48506
Number of constraints which are nor clauses,nor cardinality constraints4371
Minimum length of a constraint44
Maximum length of a constraint49
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1791.97/3602.52	c Exit code from Second Program: 124
1791.97/3602.55	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 (51422 MiB free)
  memory of node 1: 64465 MiB (58342 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542530-1753217888/watcher-4542530-1753217888 -o /tmp/evaluation-result-4542530-1753217888/solver-4542530-1753217888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753212335-159174 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4542530-1753217888.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
Current StackSize limit: 8192 KiB

solver pid=160010, runsolver pid=160007

[startup+0.100064 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 160014
/proc/meminfo: memFree=112161596/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=33692 memory=18760 CPUtime=0.07 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 4384 0 0 0 6 1 0 0 20 0 1 0 237411360 34500608 4690 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 8423 4690 864 2593 0 5316 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 23240 KiB

[startup+0.206144 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 160014
/proc/meminfo: memFree=111988556/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=51796 memory=36484 CPUtime=0.18 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 9314 0 0 0 16 2 0 0 20 0 1 0 237411360 53039104 9121 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 12949 9121 864 2593 0 9842 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 58780 KiB
Current children cumulated memory: 40964 KiB

[startup+0.306019 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 160014
/proc/meminfo: memFree=111996332/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=73880 memory=57356 CPUtime=0.28 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 14544 0 0 0 25 3 0 0 20 0 1 0 237411360 75653120 14339 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 18470 14339 864 2593 0 15363 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 80864 KiB
Current children cumulated memory: 61836 KiB

[startup+0.700232 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 160014
/proc/meminfo: memFree=111996332/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=143172 memory=124904 CPUtime=0.66 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 27868 0 0 0 62 4 0 0 20 0 1 0 237411360 146608128 31226 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 35793 31226 864 2593 0 32686 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 150156 KiB
Current children cumulated memory: 129384 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 160014
/proc/meminfo: memFree=111903996/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=282268 memory=261996 CPUtime=1.46 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 51407 0 0 0 137 9 0 0 20 0 1 0 237411360 289042432 65499 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 70567 65499 864 2593 0 67460 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 289252 KiB
Current children cumulated memory: 266476 KiB

[startup+3.10569 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 160014
/proc/meminfo: memFree=112173980/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=568800 memory=541048 CPUtime=3.07 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 91576 0 0 0 288 19 0 0 20 0 1 0 237411360 582451200 135262 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 142200 135262 864 2593 0 139093 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 575784 KiB
Current children cumulated memory: 545528 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 160014
/proc/meminfo: memFree=112066244/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=1118644 memory=1077116 CPUtime=6.25 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 162340 0 0 0 587 38 0 0 20 0 1 0 237411360 1145491456 269279 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 279661 269279 864 2593 0 276554 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1125628 KiB
Current children cumulated memory: 1081596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 160069
/proc/meminfo: memFree=111863564/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=2085484 memory=2000080 CPUtime=12.63 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 263897 0 0 0 1190 73 0 0 20 0 1 0 237411360 2135535616 500020 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 521371 500020 896 2593 0 518264 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2092468 KiB
Current children cumulated memory: 2004560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 160069
/proc/meminfo: memFree=110890908/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=3397272 memory=3147992 CPUtime=25.39 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 416000 0 0 0 2423 116 0 0 20 0 1 0 237411360 3478806528 786998 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 849318 786998 896 2593 0 846211 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3404256 KiB
Current children cumulated memory: 3152472 KiB

[startup+51.1061 s]
/proc/loadavg: 4.32 4.14 4.11 5/272 160070
/proc/meminfo: memFree=109598196/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160013/stat : 160013 (timeout) S 160010 160013 159162 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 237411360 2723840 352 18446744073709551615 94744009687040 94744009703553 140734326217872 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94744009718320 94744009720408 94744011640832 140734326221214 140734326221344 140734326221344 140734326226919 0
/proc/160013/statm: 665 352 352 5 0 90 0
[pid=160014] ppid=160013 vsize=4111188 memory=3805132 CPUtime=50.91 cores=1,3
/proc/160014/stat : 160014 (CASHWMaxSAT-Dis) R 160013 160013 159162 0 -1 4194304 512761 0 0 0 4903 188 0 0 20 0 1 0 237411360 4209856512 951283 18446744073709551615 4198400 14817773 140728802423824 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 50110464 140728802429348 140728802429465 140728802429465 140728802435040 0
/proc/160014/statm: 1027797 951283 992 2593 0 1024690 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 4118172 KiB
Current children cumulated memory: 3809612 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/273 160077
/proc/meminfo: memFree=110260192/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160013] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3

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

/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=30585220 memory=27255996 CPUtime=1719.35 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3606623 0 0 0 171038 897 0 0 20 0 1 0 237591169 31319265280 6813999 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 7646305 6813999 2496 595 0 7630972 0
Current children cumulated CPU time: 3511.32 s
Current children cumulated vsize: 30592204 KiB
Current children cumulated memory: 27260476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 160477
/proc/meminfo: memFree=93352140/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=30585220 memory=27255996 CPUtime=1779.21 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3607208 0 0 0 177023 898 0 0 20 0 1 0 237591169 31319265280 6813999 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 7646305 6813999 2496 595 0 7630972 0
Current children cumulated CPU time: 3571.18 s
Current children cumulated vsize: 30592204 KiB
Current children cumulated memory: 27260476 KiB

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

# cumulated CPU time of all completed processes:  user=3557.48 s, system=33.9123 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.09 4.09 5/270 160477
/proc/meminfo: memFree=93352644/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=30585220 memory=27255996 CPUtime=1780.91 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3607208 0 0 0 177193 898 0 0 20 0 1 0 237591169 31319265280 6813999 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 7646305 6813999 2496 595 0 7630972 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 30592204 KiB
Current children cumulated memory: 27260476 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 160477
/proc/meminfo: memFree=93355368/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=30585220 memory=27255996 CPUtime=1787.29 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3607208 0 0 0 177831 898 0 0 20 0 1 0 237591169 31319265280 6813999 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 7646305 6813999 2496 595 0 7630972 0
Current children cumulated CPU time: 3579.26 s
Current children cumulated vsize: 30592204 KiB
Current children cumulated memory: 27260476 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 160478
/proc/meminfo: memFree=93377760/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=26479812 memory=23525432 CPUtime=1793.67 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3608752 0 0 0 178468 899 0 0 20 0 1 0 237591169 27115327488 5881358 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 6619953 5881358 2560 595 0 6604620 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 26486796 KiB
Current children cumulated memory: 23529912 KiB

[startup+3600 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 160478
/proc/meminfo: memFree=97901704/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=25687048 memory=22732668 CPUtime=1796.87 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3609290 0 0 0 178788 899 0 0 20 0 1 0 237591169 26303537152 5683167 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 6421762 5683167 2560 595 0 6406429 0
Current children cumulated CPU time: 3588.84 s
Current children cumulated vsize: 25694032 KiB
Current children cumulated memory: 22737148 KiB

[startup+3601.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 160478
/proc/meminfo: memFree=97901704/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=25687048 memory=22732668 CPUtime=1798.46 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3609290 0 0 0 178947 899 0 0 20 0 1 0 237591169 26303537152 5683167 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 6421762 5683167 2560 595 0 6406429 0
Current children cumulated CPU time: 3590.43 s
Current children cumulated vsize: 25694032 KiB
Current children cumulated memory: 22737148 KiB

[startup+3602 s]*
/proc/loadavg: 4.08 4.08 4.09 5/270 160478
/proc/meminfo: memFree=97901704/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
[pid=160218] ppid=160217 vsize=25687048 memory=22732668 CPUtime=1798.86 cores=1,3
/proc/160218/stat : 160218 (SynLSCD) R 160217 160217 159162 0 -1 4194304 3609290 0 0 0 178987 899 0 0 20 0 1 0 237591169 26303537152 5683167 18446744073709551615 94410270248960 94410272683113 140731816164432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94410273164536 94410273197568 94410282430464 140731816167840 140731816167975 140731816167975 140731816173550 0
/proc/160218/statm: 6421762 5683167 2560 595 0 6406429 0
Current children cumulated CPU time: 3590.83 s
Current children cumulated vsize: 25694032 KiB
Current children cumulated memory: 22737148 KiB

[startup+3602.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 160478
/proc/meminfo: memFree=97901704/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1791.97 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB

[startup+3602.5 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 160478
/proc/meminfo: memFree=97901704/131250000 swapFree=33010416/33010684
[pid=160010] ppid=160007 vsize=4324 memory=3072 CPUtime=1791.97 cores=1,3
/proc/160010/stat : 160010 (Hybrid-CASHWMax) S 160007 160010 159162 0 -1 4194304 283 833594 0 0 0 0 176750 2447 20 0 1 0 237411359 4427776 768 18446744073709551615 94043983642624 94043984537157 140724645789920 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94043984776208 94043984823952 94044009127936 140724645792085 140724645792239 140724645792239 140724645797843 0
/proc/160010/statm: 1081 768 704 219 0 143 0
[pid=160217] ppid=160010 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/160217/stat : 160217 (timeout) S 160010 160217 159162 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 237591168 2723840 352 18446744073709551615 94330654629888 94330654646401 140733356060048 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94330654661168 94330654663256 94330659954688 140733356067206 140733356067360 140733356067360 140733356072935 0
/proc/160217/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1791.97 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB

Child status: 0

Real time (s): 3602.57
CPU time (s): 3591.39
CPU user time (s): 3557.48
CPU system time (s): 33.9123
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 30592204
Max. memory (cumulated for all children) (KiB): 27260732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.48
system time used= 33.9123
maximum resident set size= 27256252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4445042
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= 1285
involuntary context switches= 6006


# summary of solver processes directly reported to runsolver:
#   pid: 160010
#   total CPU time (s): 3591.39
#   total CPU user time (s): 3557.48
#   total CPU system time (s): 33.9123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77584 second user time and 18.2082 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-22 22:58:08
IDJOB=4542530
IDBENCH=163934
IDSOLVER=3328
FILE ID=nodeC028/4542530-1753217888
RUNJOBID= nodeC028-1753212335-159174
SLURM_JOB_ID= 9687802
Free space on /tmp= 432820 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542530-1753217888/watcher-4542530-1753217888 -o /tmp/evaluation-result-4542530-1753217888/solver-4542530-1753217888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753212335-159174 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4542530-1753217888.opb 3600 HOME

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

MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=231843970

nodeC028 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		: 3600.116
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	: 7000.16
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		: 3581.735
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.310
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	: 7000.16
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		: 3600.053
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	: 7000.16
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		: 3600.135
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	: 7000.16
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		: 3600.084
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	: 7000.16
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		: 3700.000
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	: 7000.16
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        112399476 kB
MemAvailable:   120395468 kB
Buffers:            2132 kB
Cached:          8763420 kB
SwapCached:            4 kB
Active:          8827488 kB
Inactive:        7806224 kB
Active(anon):    7886108 kB
Inactive(anon):     8308 kB
Active(file):     941380 kB
Inactive(file):  7797916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             71800 kB
Writeback:             0 kB
AnonPages:       7870368 kB
Mapped:           123008 kB
Shmem:             26256 kB
KReclaimable:     191868 kB
Slab:             286936 kB
SReclaimable:     191868 kB
SUnreclaim:        95068 kB
KernelStack:        4368 kB
PageTables:        19180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8687156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3041280 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC028 at 2025-07-22 23:58:11