Trace number 4547912

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-07-23UNSAT 1198.19 1201.78

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.09/1201.74	c Exit code from Second Program: 20
1198.09/1201.77	c #vars 7001 #constraints 7000 0.999857 1
1198.09/1201.77	c intsize: 3
1198.09/1201.77	c 7000 constraints
1198.09/1201.77	c Finish cloning data from SAT to LS
1198.09/1201.77	c restart_num_ls  -100000 0
1198.09/1201.77	c Use LS-small
1198.09/1201.77	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 (57041 MiB free)
  memory of node 1: 64465 MiB (61376 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547912-1753274499/watcher-4547912-1753274499 -o /tmp/evaluation-result-4547912-1753274499/solver-4547912-1753274499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753272570-201786 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4547912-1753274499.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=202807, runsolver pid=202804

[startup+0.100106 s]*
/proc/loadavg: 4.10 4.15 3.75 5/259 202811
/proc/meminfo: memFree=121260116/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=28028 memory=9472 CPUtime=0.08 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 1703 0 0 0 8 0 0 0 20 0 1 0 243129056 28700672 2368 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 7007 2368 736 2416 0 4109 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35012 KiB
Current children cumulated memory: 13824 KiB

[startup+0.214086 s]*
/proc/loadavg: 4.10 4.15 3.75 5/259 202811
/proc/meminfo: memFree=121260116/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=34900 memory=16408 CPUtime=0.19 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 3850 0 0 0 18 1 0 0 20 0 1 0 243129056 35737600 4102 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 8725 4102 768 2416 0 5827 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41884 KiB
Current children cumulated memory: 20760 KiB

[startup+0.314096 s]*
/proc/loadavg: 4.10 4.15 3.75 5/259 202811
/proc/meminfo: memFree=121275704/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=35272 memory=19964 CPUtime=0.29 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 5221 0 0 0 28 1 0 0 20 0 1 0 243129056 36118528 4991 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 8818 4991 768 2416 0 5920 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 24316 KiB

[startup+0.700446 s]
/proc/loadavg: 4.10 4.15 3.75 5/259 202811
/proc/meminfo: memFree=121224232/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=38584 memory=22652 CPUtime=0.66 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 5892 0 0 0 65 1 0 0 20 0 1 0 243129056 39510016 5663 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 9646 5663 800 2416 0 6748 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45568 KiB
Current children cumulated memory: 27004 KiB

[startup+1.50046 s]
/proc/loadavg: 4.26 4.18 3.76 5/259 202811
/proc/meminfo: memFree=121123368/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=43964 memory=28476 CPUtime=1.46 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 6820 0 0 0 144 2 0 0 20 0 1 0 243129056 45019136 7119 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 10991 7119 800 2416 0 8093 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 50948 KiB
Current children cumulated memory: 32828 KiB

[startup+3.11279 s]
/proc/loadavg: 4.26 4.18 3.76 5/259 202811
/proc/meminfo: memFree=120685368/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=59252 memory=40732 CPUtime=3.07 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 8655 0 0 0 304 3 0 0 20 0 1 0 243129056 60674048 10183 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 14813 10183 800 2416 0 11915 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66236 KiB
Current children cumulated memory: 45084 KiB

[startup+6.30047 s]
/proc/loadavg: 4.24 4.18 3.76 5/259 202811
/proc/meminfo: memFree=119312116/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=76584 memory=57988 CPUtime=6.24 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 11196 0 0 0 620 4 0 0 20 0 1 0 243129056 78422016 14497 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 19146 14497 800 2416 0 16248 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 83568 KiB
Current children cumulated memory: 62340 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 4.17 3.76 6/259 202811
/proc/meminfo: memFree=118136732/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=100236 memory=81888 CPUtime=12.63 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 12564 0 0 0 1258 5 0 0 20 0 1 0 243129056 102641664 20472 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 25059 20472 800 2416 0 22161 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 107220 KiB
Current children cumulated memory: 86240 KiB

[startup+25.5005 s]
/proc/loadavg: 4.18 4.17 3.77 6/259 202811
/proc/meminfo: memFree=114375888/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=128048 memory=108400 CPUtime=25.39 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 15323 0 0 0 2533 6 0 0 20 0 1 0 243129056 131121152 27100 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 32012 27100 800 2416 0 29114 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 135032 KiB
Current children cumulated memory: 112752 KiB

[startup+51.1138 s]
/proc/loadavg: 4.18 4.17 3.78 5/260 202813
/proc/meminfo: memFree=99948268/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=160480 memory=145776 CPUtime=50.94 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 17049 0 0 0 5086 8 0 0 20 0 1 0 243129056 164331520 36444 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 40120 36444 800 2416 0 37222 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 167464 KiB
Current children cumulated memory: 150128 KiB

[startup+102.301 s]
/proc/loadavg: 4.14 4.15 3.80 6/260 202815
/proc/meminfo: memFree=100615080/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/202811/statm: 113554 106630 800 2416 0 110656 0
Current children cumulated CPU time: 1059.15 s
Current children cumulated vsize: 461200 KiB
Current children cumulated memory: 430872 KiB

[startup+1122.3 s]
/proc/loadavg: 2.18 2.82 3.43 3/242 203040
/proc/meminfo: memFree=101200036/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=460780 memory=424380 CPUtime=1118.97 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 165103 0 0 0 111460 437 0 0 20 0 1 0 243129056 471838720 106095 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 115195 106095 800 2416 0 112297 0
Current children cumulated CPU time: 1118.97 s
Current children cumulated vsize: 467764 KiB
Current children cumulated memory: 428732 KiB

[startup+1182.3 s]
/proc/loadavg: 2.06 2.67 3.34 3/242 203053
/proc/meminfo: memFree=101186900/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=468064 memory=424984 CPUtime=1178.78 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 174518 0 0 0 117420 458 0 0 20 0 1 0 243129056 479297536 106246 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 117016 106246 800 2416 0 114118 0
Current children cumulated CPU time: 1178.78 s
Current children cumulated vsize: 475048 KiB
Current children cumulated memory: 429336 KiB

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

# cumulated CPU time of all completed processes:  user=1192.33 s, system=5.86057 s

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

[startup+1190.4 s]
/proc/loadavg: 2.06 2.66 3.33 3/242 203053
/proc/meminfo: memFree=101189556/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=549452 memory=446236 CPUtime=1186.86 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 175232 0 0 0 118227 459 0 0 20 0 1 0 243129056 562638848 111559 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 137363 111559 800 2416 0 134465 0
Current children cumulated CPU time: 1186.86 s
Current children cumulated vsize: 556436 KiB
Current children cumulated memory: 450588 KiB

[startup+1196.8 s]
/proc/loadavg: 2.05 2.64 3.31 3/242 203054
/proc/meminfo: memFree=101191680/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=202810] ppid=202807 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/202810/stat : 202810 (timeout) S 202807 202810 201766 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 243129055 2723840 320 18446744073709551615 94167444660224 94167444676737 140728657180752 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94167444691504 94167444693592 94167453409280 140728657185182 140728657185312 140728657185312 140728657190887 0
/proc/202810/statm: 665 320 320 5 0 90 0
[pid=202811] ppid=202810 vsize=468216 memory=435380 CPUtime=1193.23 cores=5,7
/proc/202811/stat : 202811 (CASHWMaxSAT-Dis) R 202810 202810 201766 0 -1 4194304 175666 0 0 0 118861 462 0 0 20 0 1 0 243129056 479453184 108845 18446744073709551615 4198400 14093885 140728156625216 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 47706112 140728156629412 140728156629529 140728156629529 140728156635104 0
/proc/202811/statm: 117054 108845 800 2416 0 114156 0
Current children cumulated CPU time: 1193.23 s
Current children cumulated vsize: 475200 KiB
Current children cumulated memory: 439732 KiB

[startup+1200 s]*
/proc/loadavg: 2.05 2.64 3.31 3/243 203060
/proc/meminfo: memFree=101615360/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=1194.47 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 282 175890 0 0 0 0 118983 464 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=203059] ppid=202807 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/203059/stat : 203059 (timeout) S 202807 203059 201766 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243248857 2723840 352 18446744073709551615 94391272996864 94391273013377 140729600421616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94391273028144 94391273030232 94391280402432 140729600428422 140729600428576 140729600428576 140729600434151 0
/proc/203059/statm: 665 352 352 5 0 90 0
[pid=203060] ppid=203059 vsize=103144 memory=29728 CPUtime=1.94 cores=5,7
/proc/203060/stat : 203060 (SynLSCD) R 203059 203059 201766 0 -1 4194304 5530 0 0 0 131 63 0 0 20 0 1 0 243248858 105619456 7432 18446744073709551615 94232558542848 94232560977449 140720940814848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94232561458424 94232561491456 94232570482688 140720940816800 140720940816935 140720940816935 140720940822510 0
/proc/203060/statm: 25786 7432 2464 595 0 10453 0
Current children cumulated CPU time: 1196.41 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34208 KiB

[startup+1200.8 s]
/proc/loadavg: 2.05 2.64 3.31 3/243 203060
/proc/meminfo: memFree=101615360/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=1194.47 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 282 175890 0 0 0 0 118983 464 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=203059] ppid=202807 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/203059/stat : 203059 (timeout) S 202807 203059 201766 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243248857 2723840 352 18446744073709551615 94391272996864 94391273013377 140729600421616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94391273028144 94391273030232 94391280402432 140729600428422 140729600428576 140729600428576 140729600434151 0
/proc/203059/statm: 665 352 352 5 0 90 0
[pid=203060] ppid=203059 vsize=103144 memory=29728 CPUtime=2.73 cores=5,7
/proc/203060/stat : 203060 (SynLSCD) R 203059 203059 201766 0 -1 4194304 5530 0 0 0 183 90 0 0 20 0 1 0 243248858 105619456 7432 18446744073709551615 94232558542848 94232560977449 140720940814848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94232561458424 94232561491456 94232570482688 140720940816800 140720940816935 140720940816935 140720940822510 0
/proc/203060/statm: 25786 7432 2464 595 0 10453 0
Current children cumulated CPU time: 1197.2 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34208 KiB

[startup+1201.2 s]
/proc/loadavg: 2.13 2.64 3.31 3/243 203060
/proc/meminfo: memFree=101615360/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=1194.47 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 282 175890 0 0 0 0 118983 464 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=203059] ppid=202807 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/203059/stat : 203059 (timeout) S 202807 203059 201766 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243248857 2723840 352 18446744073709551615 94391272996864 94391273013377 140729600421616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94391273028144 94391273030232 94391280402432 140729600428422 140729600428576 140729600428576 140729600434151 0
/proc/203059/statm: 665 352 352 5 0 90 0
[pid=203060] ppid=203059 vsize=103144 memory=29728 CPUtime=3.13 cores=5,7
/proc/203060/stat : 203060 (SynLSCD) R 203059 203059 201766 0 -1 4194304 5530 0 0 0 209 104 0 0 20 0 1 0 243248858 105619456 7432 18446744073709551615 94232558542848 94232560977449 140720940814848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94232561458424 94232561491456 94232570482688 140720940816800 140720940816935 140720940816935 140720940822510 0
/proc/203060/statm: 25786 7432 2464 595 0 10453 0
Current children cumulated CPU time: 1197.6 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34208 KiB

[startup+1201.6 s]
/proc/loadavg: 2.13 2.64 3.31 3/243 203060
/proc/meminfo: memFree=101615360/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=1194.47 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 282 175890 0 0 0 0 118983 464 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=203059] ppid=202807 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/203059/stat : 203059 (timeout) S 202807 203059 201766 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243248857 2723840 352 18446744073709551615 94391272996864 94391273013377 140729600421616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94391273028144 94391273030232 94391280402432 140729600428422 140729600428576 140729600428576 140729600434151 0
/proc/203059/statm: 665 352 352 5 0 90 0
[pid=203060] ppid=203059 vsize=103144 memory=29728 CPUtime=3.53 cores=5,7
/proc/203060/stat : 203060 (SynLSCD) R 203059 203059 201766 0 -1 4194304 5530 0 0 0 235 118 0 0 20 0 1 0 243248858 105619456 7432 18446744073709551615 94232558542848 94232560977449 140720940814848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94232561458424 94232561491456 94232570482688 140720940816800 140720940816935 140720940816935 140720940822510 0
/proc/203060/statm: 25786 7432 2464 595 0 10453 0
Current children cumulated CPU time: 1198 s
Current children cumulated vsize: 110128 KiB
Current children cumulated memory: 34208 KiB

[startup+1201.7 s]
/proc/loadavg: 2.13 2.64 3.31 3/243 203060
/proc/meminfo: memFree=101615360/131382116 swapFree=33009904/33010684
[pid=202807] ppid=202804 vsize=4324 memory=3072 CPUtime=1194.47 cores=5,7
/proc/202807/stat : 202807 (Hybrid-CASHWMax) S 202804 202807 201766 0 -1 4194304 282 175890 0 0 0 0 118983 464 20 0 1 0 243129053 4427776 768 18446744073709551615 94355814178816 94355815073349 140725909599296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94355815312400 94355815360144 94355821027328 140725909604693 140725909604847 140725909604847 140725909610451 0
/proc/202807/statm: 1081 768 704 219 0 143 0
[pid=203059] ppid=202807 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/203059/stat : 203059 (timeout) S 202807 203059 201766 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 243248857 2723840 352 18446744073709551615 94391272996864 94391273013377 140729600421616 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94391273028144 94391273030232 94391280402432 140729600428422 140729600428576 140729600428576 140729600434151 0
/proc/203059/statm: 665 352 352 5 0 90 0
[pid=203060] ppid=203059 vsize=103628 memory=30368 CPUtime=3.62 cores=5,7
/proc/203060/stat : 203060 (SynLSCD) R 203059 203059 201766 0 -1 4194304 5660 0 0 0 243 119 0 0 20 0 1 0 243248858 106115072 7592 18446744073709551615 94232558542848 94232560977449 140720940814848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94232561458424 94232561491456 94232570482688 140720940816800 140720940816935 140720940816935 140720940822510 0
/proc/203060/statm: 25907 7592 2496 595 0 10574 0
Current children cumulated CPU time: 1198.09 s
Current children cumulated vsize: 110612 KiB
Current children cumulated memory: 34848 KiB

Child status: 0

Real time (s): 1201.78
CPU time (s): 1198.19
CPU user time (s): 1192.33
CPU system time (s): 5.86057
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 686664
Max. memory (cumulated for all children) (KiB): 558276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1192.33
system time used= 5.86057
maximum resident set size= 558276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182978
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= 829
involuntary context switches= 1862


# summary of solver processes directly reported to runsolver:
#   pid: 202807
#   total CPU time (s): 1198.19
#   total CPU user time (s): 1192.33
#   total CPU system time (s): 5.86057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56715 second user time and 12.5632 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-23 14:41:39
IDJOB=4547912
IDBENCH=175827
IDSOLVER=3425
FILE ID=nodeC004/4547912-1753274499
RUNJOBID= nodeC004-1753272570-201786
SLURM_JOB_ID= 9690012
Free space on /tmp= 432912 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-07-23
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-4547912-1753274499/watcher-4547912-1753274499 -o /tmp/evaluation-result-4547912-1753274499/solver-4547912-1753274499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1753272570-201786 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4547912-1753274499.opb 3600 HOME

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

MD5SUM BENCH= 0934d7cef3e2008f3f8157a455916830
RANDOM SEED=202081202

nodeC004 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.242
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.74
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.334
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.74
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.520
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.74
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		: 1197.275
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.74
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		: 3491.861
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.74
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		: 1197.221
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.74
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.361
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.74
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.502
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        121264212 kB
MemAvailable:   122171544 kB
Buffers:            2128 kB
Cached:          1654648 kB
SwapCached:           32 kB
Active:          7455640 kB
Inactive:         587764 kB
Active(anon):    6402292 kB
Inactive(anon):    10468 kB
Active(file):    1053348 kB
Inactive(file):   577296 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16808 kB
Writeback:            28 kB
AnonPages:       6387724 kB
Mapped:           120812 kB
Shmem:             26132 kB
KReclaimable:     232628 kB
Slab:             325868 kB
SReclaimable:     232628 kB
SUnreclaim:        93240 kB
KernelStack:        4144 kB
PageTables:        15676 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7116036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3586048 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432932 MiB
End job on nodeC004 at 2025-07-23 15:01:41