Trace number 4515155

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? 3586.25 3596.13

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
MD5SUM84d6a262f1f6531f4a7714720272edd7
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 benchmark56.7591
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
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 1285216
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285383
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3586.12/3596.08	c Exit code from Second Program: 124
3586.23/3596.12	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 (62374 MiB free)
  memory of node 1: 64465 MiB (63877 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515155-1751139068/watcher-4515155-1751139068 -o /tmp/evaluation-result-4515155-1751139068/solver-4515155-1751139068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751133631-11478 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4515155-1751139068.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=12892, runsolver pid=12889

[startup+0.100062 s]*
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=129254604/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=29124 memory=14628 CPUtime=0.08 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 3056 0 0 0 8 0 0 0 20 0 1 0 29584325 29822976 3657 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 7281 3657 864 2593 0 4174 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 36108 KiB
Current children cumulated memory: 18980 KiB

[startup+0.205904 s]*
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=129030216/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=42724 memory=28236 CPUtime=0.19 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 6524 0 0 0 18 1 0 0 20 0 1 0 29584325 43749376 7059 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 10681 7059 896 2593 0 7574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49708 KiB
Current children cumulated memory: 32588 KiB

[startup+0.305854 s]*
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=129014148/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=50252 memory=34700 CPUtime=0.29 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 8633 0 0 0 28 1 0 0 20 0 1 0 29584325 51458048 8675 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 12563 8675 896 2593 0 9456 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57236 KiB
Current children cumulated memory: 39052 KiB

[startup+0.700232 s]
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=128939292/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=66704 memory=50864 CPUtime=0.67 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 12336 0 0 0 66 1 0 0 20 0 1 0 29584325 68304896 12716 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 16676 12716 896 2593 0 13569 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 55216 KiB

[startup+1.50023 s]
/proc/loadavg: 4.18 4.13 4.07 5/273 12896
/proc/meminfo: memFree=128515464/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=66704 memory=50864 CPUtime=1.47 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 12336 0 0 0 146 1 0 0 20 0 1 0 29584325 68304896 12716 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 16676 12716 896 2593 0 13569 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 55216 KiB

[startup+3.10571 s]
/proc/loadavg: 4.16 4.13 4.07 5/273 12896
/proc/meminfo: memFree=127228392/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=66704 memory=50864 CPUtime=3.07 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 12336 0 0 0 306 1 0 0 20 0 1 0 29584325 68304896 12716 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 16676 12716 896 2593 0 13569 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 55216 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.13 4.07 5/273 12896
/proc/meminfo: memFree=127229872/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=66704 memory=50864 CPUtime=6.25 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 12336 0 0 0 624 1 0 0 20 0 1 0 29584325 68304896 12716 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 16676 12716 896 2593 0 13569 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 55216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.07 5/274 12898
/proc/meminfo: memFree=126505664/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=1147292 memory=1046808 CPUtime=12.64 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 112339 0 0 0 1231 33 0 0 20 0 1 0 29584325 1174827008 261702 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 286823 261702 896 2593 0 283716 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1154276 KiB
Current children cumulated memory: 1051160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.07 5/273 12898
/proc/meminfo: memFree=123799980/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=3395168 memory=3203288 CPUtime=25.41 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 338059 0 0 0 2423 118 0 0 20 0 1 0 29584325 3476652032 800822 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 848792 800822 960 2593 0 845685 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3402152 KiB
Current children cumulated memory: 3207640 KiB

[startup+51.1058 s]
/proc/loadavg: 4.21 4.14 4.08 5/273 12898
/proc/meminfo: memFree=122114572/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12895/stat : 12895 (timeout) S 12892 12895 11463 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29584325 2723840 352 18446744073709551615 94892416122880 94892416139393 140721485630112 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94892416154160 94892416156248 94892440240128 140721485633952 140721485634082 140721485634082 140721485639655 0
/proc/12895/statm: 665 352 352 5 0 90 0
[pid=12896] ppid=12895 vsize=3501952 memory=3250580 CPUtime=50.94 cores=0,2
/proc/12896/stat : 12896 (CASHWMaxSAT-Dis) R 12895 12895 11463 0 -1 4194304 345339 0 0 0 4970 124 0 0 20 0 1 0 29584325 3585998848 812645 18446744073709551615 4198400 14817773 140728484455264 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47845376 140728484456870 140728484456987 140728484456987 140728484462560 0
/proc/12896/statm: 875488 812645 960 2593 0 872381 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3508936 KiB
Current children cumulated memory: 3254932 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.20 4.10 5/274 12903
/proc/meminfo: memFree=118088496/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=12895] ppid=12892 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2283600 memory=1804680 CPUtime=1659.79 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 320544 0 0 0 165709 270 0 0 20 0 1 0 29764127 2338406400 451170 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 570900 451170 2528 595 0 555567 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 2290584 KiB
Current children cumulated memory: 1808904 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.57 2.37 2/248 13506
/proc/meminfo: memFree=128259088/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811080 CPUtime=1719.64 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322203 0 0 0 171689 275 0 0 20 0 1 0 29764127 2347978752 452770 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452770 2528 595 0 557904 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815304 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.50 2.29 2/247 13509
/proc/meminfo: memFree=128260004/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1779.51 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322226 0 0 0 177670 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

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

# cumulated CPU time of all completed processes:  user=3577.38 s, system=8.87206 s

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

[startup+3584 s]*
/proc/loadavg: 1.13 1.50 2.29 2/247 13509
/proc/meminfo: memFree=128260004/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1781.21 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322226 0 0 0 177840 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3574.16 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3590.4 s]
/proc/loadavg: 1.12 1.49 2.28 2/247 13510
/proc/meminfo: memFree=128262920/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1787.58 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322231 0 0 0 178477 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3593.6 s]
/proc/loadavg: 1.11 1.48 2.27 2/247 13510
/proc/meminfo: memFree=128262920/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1790.77 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322231 0 0 0 178796 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3583.72 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3595.2 s]
/proc/loadavg: 1.11 1.48 2.27 2/247 13510
/proc/meminfo: memFree=128262920/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1792.37 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322231 0 0 0 178956 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3595.6 s]
/proc/loadavg: 1.11 1.48 2.27 2/247 13510
/proc/meminfo: memFree=128262920/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1792.77 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322231 0 0 0 178996 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3596 s]*
/proc/loadavg: 1.11 1.48 2.27 2/247 13510
/proc/meminfo: memFree=128262672/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=1792.95 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 284 458287 0 0 0 0 178695 600 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
[pid=13305] ppid=12892 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/13305/stat : 13305 (timeout) S 12892 13305 11463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29764126 2723840 320 18446744073709551615 94530963685376 94530963701889 140731456433216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94530963716656 94530963718744 94530979930112 140731456436616 140731456436770 140731456436770 140731456442343 0
/proc/13305/statm: 665 320 320 5 0 90 0
[pid=13306] ppid=13305 vsize=2292948 memory=1811208 CPUtime=1793.17 cores=0,2
/proc/13306/stat : 13306 (SynLSCD) R 13305 13305 11463 0 -1 4194304 322231 0 0 0 179036 281 0 0 20 0 1 0 29764127 2347978752 452802 18446744073709551615 94285691289600 94285693723753 140720519889232 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94285694205176 94285694238208 94285714341888 140720519895458 140720519895593 140720519895593 140720519901166 0
/proc/13306/statm: 573237 452802 2528 595 0 557904 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 2299932 KiB
Current children cumulated memory: 1815432 KiB

[startup+3596.11 s]
/proc/loadavg: 1.11 1.48 2.27 2/247 13510
/proc/meminfo: memFree=128262672/131250000 swapFree=33010684/33010684
[pid=12892] ppid=12889 vsize=4324 memory=2944 CPUtime=3586.23 cores=0,2
/proc/12892/stat : 12892 (Hybrid-CASHWMax) S 12889 12892 11463 0 -1 4194304 340 781232 0 0 0 0 357737 886 20 0 1 0 29584323 4427776 736 18446744073709551615 94354793205760 94354794100293 140732649628416 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 94354794339344 94354794387088 94354818187264 140732649634135 140732649634289 140732649634289 140732649639891 0
/proc/12892/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.13
CPU time (s): 3586.25
CPU user time (s): 3577.38
CPU system time (s): 8.87206
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 4815780
Max. memory (cumulated for all children) (KiB): 4547464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.38
system time used= 8.87206
maximum resident set size= 4551504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782543
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= 1352
involuntary context switches= 4677


# summary of solver processes directly reported to runsolver:
#   pid: 12892
#   total CPU time (s): 3586.25
#   total CPU user time (s): 3577.38
#   total CPU system time (s): 8.87206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68483 second user time and 17.4361 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-28 21:31:08
IDJOB=4515155
IDBENCH=164178
IDSOLVER=3328
FILE ID=nodeC019/4515155-1751139068
RUNJOBID= nodeC019-1751133631-11478
SLURM_JOB_ID= 9587419
Free space on /tmp= 432576 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515155-1751139068/watcher-4515155-1751139068 -o /tmp/evaluation-result-4515155-1751139068/solver-4515155-1751139068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751133631-11478 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4515155-1751139068.opb 3600 HOME

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

MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7
RANDOM SEED=1031105402

nodeC019 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.678
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.37
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.668
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.37
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		: 3599.275
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.37
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.120
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.673
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.37
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.614
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.37
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		: 3600.578
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.37
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	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129289748 kB
MemAvailable:   129343476 kB
Buffers:            3280 kB
Cached:           874352 kB
SwapCached:            0 kB
Active:           690488 kB
Inactive:         652304 kB
Active(anon):     483228 kB
Inactive(anon):        0 kB
Active(file):     207260 kB
Inactive(file):   652304 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            497884 kB
Writeback:             0 kB
AnonPages:        467820 kB
Mapped:           116212 kB
Shmem:             18064 kB
KReclaimable:      66804 kB
Slab:             148468 kB
SReclaimable:      66804 kB
SUnreclaim:        81664 kB
KernelStack:        4368 kB
PageTables:         4016 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     834648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC019 at 2025-06-28 22:31:04