Trace number 4516776

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-CASHWMaxSATDisjComS+SynLSCD 2025-06-01UNSAT 1198.49 1201.88

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
MD5SUM0934d7cef3e2008f3f8157a455916830
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.253014
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7001
Total number of constraints7000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)846
Number of constraints which are nor clauses,nor cardinality constraints6154
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1198.40/1201.84	c Exit code from Second Program: 20
1198.40/1201.87	c #vars 7001 #constraints 7000 0.999857 1
1198.40/1201.87	c 7000 constraints
1198.40/1201.87	c Finish cloning data from SAT to LS
1198.40/1201.87	c restart_num_ls  -100000 0
1198.40/1201.87	c Use LS-small
1198.40/1201.87	s UNSATISFIABLE

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: 63837 MiB (62546 MiB free)
  memory of node 1: 64465 MiB (63425 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516776-1751237542/watcher-4516776-1751237542 -o /tmp/evaluation-result-4516776-1751237542/solver-4516776-1751237542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751230610-28100 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4516776-1751237542.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100069 s]*
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128990364/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=27424 memory=8960 CPUtime=0.07 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 1581 0 0 0 7 0 0 0 20 0 1 0 39433027 28082176 2240 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 6856 2240 736 2416 0 3958 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34408 KiB
Current children cumulated memory: 13312 KiB

[startup+0.217211 s]*
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128990364/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=33288 memory=14440 CPUtime=0.17 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 3210 0 0 0 16 1 0 0 20 0 1 0 39433027 34086912 3610 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 8322 3610 768 2416 0 5424 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 18792 KiB

[startup+0.315043 s]*
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128986584/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=39932 memory=21048 CPUtime=0.26 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 5038 0 0 0 25 1 0 0 20 0 1 0 39433027 40890368 5262 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 9983 5262 768 2416 0 7085 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 25400 KiB

[startup+0.700423 s]
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128982552/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=36920 memory=21020 CPUtime=0.63 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 5499 0 0 0 62 1 0 0 20 0 1 0 39433027 37806080 5255 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 9230 5255 800 2416 0 6332 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 43904 KiB
Current children cumulated memory: 25372 KiB

[startup+1.50047 s]
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128982560/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=43964 memory=27356 CPUtime=1.43 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 6572 0 0 0 141 2 0 0 20 0 1 0 39433027 45019136 6839 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 10991 6839 800 2416 0 8093 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 50948 KiB
Current children cumulated memory: 31708 KiB

[startup+3.11358 s]
/proc/loadavg: 4.09 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128974756/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=52180 memory=37352 CPUtime=3.04 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 8372 0 0 0 302 2 0 0 20 0 1 0 39433027 53432320 9338 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 13045 9338 800 2416 0 10147 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 59164 KiB
Current children cumulated memory: 41704 KiB

[startup+6.30046 s]
/proc/loadavg: 4.08 4.20 4.22 5/258 30651
/proc/meminfo: memFree=128970708/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=76584 memory=56196 CPUtime=6.22 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 10836 0 0 0 618 4 0 0 20 0 1 0 39433027 78422016 14049 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 19146 14049 800 2416 0 16248 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 83568 KiB
Current children cumulated memory: 60548 KiB

[startup+12.7005 s]
/proc/loadavg: 4.08 4.19 4.22 5/258 30651
/proc/meminfo: memFree=128946984/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=88744 memory=72436 CPUtime=12.6 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 11836 0 0 0 1256 4 0 0 20 0 1 0 39433027 90873856 18109 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 22186 18109 800 2416 0 19288 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 95728 KiB
Current children cumulated memory: 76788 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 4.20 4.22 5/258 30652
/proc/meminfo: memFree=128898188/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=128048 memory=109292 CPUtime=25.37 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 14640 0 0 0 2530 7 0 0 20 0 1 0 39433027 131121152 27323 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 32012 27323 800 2416 0 29114 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 135032 KiB
Current children cumulated memory: 113644 KiB

[startup+51.1137 s]
/proc/loadavg: 4.24 4.22 4.22 5/257 30652
/proc/meminfo: memFree=128817216/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=160480 memory=145648 CPUtime=50.91 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 16120 0 0 0 5083 8 0 0 20 0 1 0 39433027 164331520 36412 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 40120 36412 800 2416 0 37222 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 167464 KiB
Current children cumulated memory: 150000 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.20 4.21 5/257 30654
/proc/meminfo: memFree=128789476/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0

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

/proc/30651/statm: 145566 119577 800 2416 0 142668 0
Current children cumulated CPU time: 999.43 s
Current children cumulated vsize: 589248 KiB
Current children cumulated memory: 482660 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.09 4.12 5/260 31187
/proc/meminfo: memFree=129425472/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=454216 memory=428380 CPUtime=1059.27 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 161920 0 0 0 105516 411 0 0 20 0 1 0 39433027 465117184 107095 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 113554 107095 800 2416 0 110656 0
Current children cumulated CPU time: 1059.27 s
Current children cumulated vsize: 461200 KiB
Current children cumulated memory: 432732 KiB

[startup+1122.3 s]
/proc/loadavg: 4.17 4.10 4.12 5/260 31188
/proc/meminfo: memFree=129422028/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=460528 memory=421760 CPUtime=1119.12 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 168170 0 0 0 111480 432 0 0 20 0 1 0 39433027 471580672 105440 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 115132 105440 800 2416 0 112234 0
Current children cumulated CPU time: 1119.12 s
Current children cumulated vsize: 467512 KiB
Current children cumulated memory: 426112 KiB

[startup+1182.3 s]
/proc/loadavg: 4.80 4.30 4.19 5/260 31190
/proc/meminfo: memFree=129407472/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=467912 memory=444940 CPUtime=1178.97 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 176590 0 0 0 117444 453 0 0 20 0 1 0 39433027 479141888 111235 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 116978 111235 800 2416 0 114080 0
Current children cumulated CPU time: 1178.97 s
Current children cumulated vsize: 474896 KiB
Current children cumulated memory: 449292 KiB

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

# cumulated CPU time of all completed processes:  user=1192.63 s, system=5.85273 s

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

[startup+1190.4 s]
/proc/loadavg: 4.75 4.31 4.19 5/260 31192
/proc/meminfo: memFree=129405716/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=468064 memory=438924 CPUtime=1187.05 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 177733 0 0 0 118247 458 0 0 20 0 1 0 39433027 479297536 109731 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 117016 109731 800 2416 0 114118 0
Current children cumulated CPU time: 1187.05 s
Current children cumulated vsize: 475048 KiB
Current children cumulated memory: 443276 KiB

[startup+1196.8 s]
/proc/loadavg: 4.69 4.30 4.19 5/260 31192
/proc/meminfo: memFree=129395840/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=30650] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/30650/stat : 30650 (timeout) S 30647 30650 28087 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 39433027 2723840 320 18446744073709551615 94225758679040 94225758695553 140737092835568 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94225758710320 94225758712408 94225780854784 140737092843936 140737092844066 140737092844066 140737092849639 0
/proc/30650/statm: 665 320 320 5 0 90 0
[pid=30651] ppid=30650 vsize=549452 memory=455108 CPUtime=1193.43 cores=5,7
/proc/30651/stat : 30651 (CASHWMaxSAT-Dis) R 30650 30650 28087 0 -1 4194304 178427 0 0 0 118884 459 0 0 20 0 1 0 39433027 562638848 113777 18446744073709551615 4198400 14093885 140733806787952 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 29913088 140733806795174 140733806795291 140733806795291 140733806800864 0
/proc/30651/statm: 137363 113777 800 2416 0 134465 0
Current children cumulated CPU time: 1193.43 s
Current children cumulated vsize: 556436 KiB
Current children cumulated memory: 459460 KiB

[startup+1200 s]*
/proc/loadavg: 4.64 4.30 4.19 5/260 31194
/proc/meminfo: memFree=129815196/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=1194.66 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 281 179079 0 0 0 0 119004 462 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=31193] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/31193/stat : 31193 (timeout) S 30647 31193 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 39552828 2723840 320 18446744073709551615 94258281062400 94258281078913 140726063711904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94258281093680 94258281095768 94258303070208 140726063720840 140726063720994 140726063720994 140726063726567 0
/proc/31193/statm: 665 320 320 5 0 90 0
[pid=31194] ppid=31193 vsize=103144 memory=29660 CPUtime=1.96 cores=5,7
/proc/31194/stat : 31194 (SynLSCD) R 31193 31193 28087 0 -1 4194304 5530 0 0 0 134 62 0 0 20 0 1 0 39552828 105619456 7415 18446744073709551615 94742682046464 94742684480617 140727977209536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94742684962040 94742684995072 94742710714368 140727977216418 140727977216553 140727977216553 140727977222126 0
/proc/31194/statm: 25786 7415 2464 595 0 10453 0
Current children cumulated CPU time: 1196.62 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34012 KiB

[startup+1200.8 s]
/proc/loadavg: 4.64 4.30 4.19 5/260 31194
/proc/meminfo: memFree=129815196/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=1194.66 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 281 179079 0 0 0 0 119004 462 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=31193] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/31193/stat : 31193 (timeout) S 30647 31193 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 39552828 2723840 320 18446744073709551615 94258281062400 94258281078913 140726063711904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94258281093680 94258281095768 94258303070208 140726063720840 140726063720994 140726063720994 140726063726567 0
/proc/31193/statm: 665 320 320 5 0 90 0
[pid=31194] ppid=31193 vsize=103144 memory=29660 CPUtime=2.73 cores=5,7
/proc/31194/stat : 31194 (SynLSCD) R 31193 31193 28087 0 -1 4194304 5530 0 0 0 185 88 0 0 20 0 1 0 39552828 105619456 7415 18446744073709551615 94742682046464 94742684480617 140727977209536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94742684962040 94742684995072 94742710714368 140727977216418 140727977216553 140727977216553 140727977222126 0
/proc/31194/statm: 25786 7415 2464 595 0 10453 0
Current children cumulated CPU time: 1197.39 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34012 KiB

[startup+1201.6 s]
/proc/loadavg: 4.64 4.30 4.19 5/260 31194
/proc/meminfo: memFree=129815196/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=1194.66 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 281 179079 0 0 0 0 119004 462 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=31193] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/31193/stat : 31193 (timeout) S 30647 31193 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 39552828 2723840 320 18446744073709551615 94258281062400 94258281078913 140726063711904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94258281093680 94258281095768 94258303070208 140726063720840 140726063720994 140726063720994 140726063726567 0
/proc/31193/statm: 665 320 320 5 0 90 0
[pid=31194] ppid=31193 vsize=103144 memory=29660 CPUtime=3.53 cores=5,7
/proc/31194/stat : 31194 (SynLSCD) R 31193 31193 28087 0 -1 4194304 5530 0 0 0 238 115 0 0 20 0 1 0 39552828 105619456 7415 18446744073709551615 94742682046464 94742684480617 140727977209536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94742684962040 94742684995072 94742710714368 140727977216418 140727977216553 140727977216553 140727977222126 0
/proc/31194/statm: 25786 7415 2464 595 0 10453 0
Current children cumulated CPU time: 1198.19 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34012 KiB

[startup+1201.8 s]
/proc/loadavg: 4.64 4.30 4.19 5/260 31194
/proc/meminfo: memFree=129815196/131382120 swapFree=33010684/33010684
[pid=30647] ppid=30644 vsize=4324 memory=3072 CPUtime=1194.66 cores=5,7
/proc/30647/stat : 30647 (Hybrid-CASHWMax) S 30644 30647 28087 0 -1 4194304 281 179079 0 0 0 0 119004 462 20 0 1 0 39433025 4427776 768 18446744073709551615 94424078311424 94424079205957 140735479114144 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94424079445008 94424079492752 94424110743552 140735479118167 140735479118321 140735479118321 140735479123923 0
/proc/30647/statm: 1081 768 704 219 0 143 0
[pid=31193] ppid=30647 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/31193/stat : 31193 (timeout) S 30647 31193 28087 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 39552828 2723840 320 18446744073709551615 94258281062400 94258281078913 140726063711904 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94258281093680 94258281095768 94258303070208 140726063720840 140726063720994 140726063720994 140726063726567 0
/proc/31193/statm: 665 320 320 5 0 90 0
[pid=31194] ppid=31193 vsize=103628 memory=30172 CPUtime=3.74 cores=5,7
/proc/31194/stat : 31194 (SynLSCD) R 31193 31193 28087 0 -1 4194304 5667 0 0 0 254 120 0 0 20 0 1 0 39552828 106115072 7543 18446744073709551615 94742682046464 94742684480617 140727977209536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94742684962040 94742684995072 94742710714368 140727977216418 140727977216553 140727977216553 140727977222126 0
/proc/31194/statm: 25907 7543 2464 595 0 10574 0
Current children cumulated CPU time: 1198.4 s
Current children cumulated vsize: 110612 KiB
Current children cumulated memory: 34524 KiB

Child status: 0

Real time (s): 1201.88
CPU time (s): 1198.49
CPU user time (s): 1192.63
CPU system time (s): 5.85273
CPU usage (%): 99.7173
Max. virtual memory (cumulated for all children) (KiB): 686664
Max. memory (cumulated for all children) (KiB): 571548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.63
system time used= 5.85272
maximum resident set size= 567196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186169
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= 887
involuntary context switches= 1555


# summary of solver processes directly reported to runsolver:
#   pid: 30647
#   total CPU time (s): 1198.49
#   total CPU user time (s): 1192.63
#   total CPU system time (s): 5.85273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19463 second user time and 12.7552 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-30 00:52:22
IDJOB=4516776
IDBENCH=175827
IDSOLVER=3331
FILE ID=nodeC002/4516776-1751237542
RUNJOBID= nodeC002-1751230610-28100
SLURM_JOB_ID= 9587702
Free space on /tmp= 433012 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516776-1751237542/watcher-4516776-1751237542 -o /tmp/evaluation-result-4516776-1751237542/solver-4516776-1751237542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751230610-28100 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4516776-1751237542.opb 3600 HOME

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

MD5SUM BENCH= 0934d7cef3e2008f3f8157a455916830
RANDOM SEED=1669877795

nodeC002 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	: 0xb00001f
cpu MHz		: 3662.438
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3691.431
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.661
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3662.417
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.448
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128994460 kB
MemAvailable:   128806508 kB
Buffers:            3280 kB
Cached:           622388 kB
SwapCached:            0 kB
Active:          1394476 kB
Inactive:         373756 kB
Active(anon):    1160524 kB
Inactive(anon):        0 kB
Active(file):     233952 kB
Inactive(file):   373756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16808 kB
Writeback:             0 kB
AnonPages:       1145636 kB
Mapped:           112424 kB
Shmem:             17960 kB
KReclaimable:      87932 kB
Slab:             170352 kB
SReclaimable:      87932 kB
SUnreclaim:        82420 kB
KernelStack:        4128 kB
PageTables:         5560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1523720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    913408 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC002 at 2025-06-30 01:12:24