Trace number 4547496

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23? 3590.6 3600.84

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
MD5SUM3de1ff2182bb2a8df9b13aa693b03795
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 benchmark7728.55
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169577
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1966
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
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 202
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 758
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1792.84/3600.78	c Exit code from Second Program: 124
3590.55/3600.82	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (48159 MiB free)
  memory of node 1: 64465 MiB (43681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547496-1753268021/watcher-4547496-1753268021 -o /tmp/evaluation-result-4547496-1753268021/solver-4547496-1753268021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753267162-169077 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547496-1753268021.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100104 s]*
/proc/loadavg: 4.08 3.97 3.45 5/258 169638
/proc/meminfo: memFree=94034040/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=28916 memory=13984 CPUtime=0.07 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 3175 0 0 0 7 0 0 0 20 0 1 0 242480831 29609984 3496 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 7229 3496 864 2593 0 4122 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35900 KiB
Current children cumulated memory: 18336 KiB

[startup+0.213878 s]*
/proc/loadavg: 4.08 3.97 3.45 5/258 169638
/proc/meminfo: memFree=94017356/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=41784 memory=26576 CPUtime=0.19 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 6294 0 0 0 18 1 0 0 20 0 1 0 242480831 42786816 6644 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 10446 6644 864 2593 0 7339 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48768 KiB
Current children cumulated memory: 30928 KiB

[startup+0.313803 s]*
/proc/loadavg: 4.08 3.97 3.45 5/258 169638
/proc/meminfo: memFree=94005260/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=46108 memory=31440 CPUtime=0.29 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 7520 0 0 0 28 1 0 0 20 0 1 0 242480831 47214592 7860 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 11527 7860 864 2593 0 8420 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53092 KiB
Current children cumulated memory: 35792 KiB

[startup+0.700483 s]
/proc/loadavg: 4.08 3.97 3.45 5/258 169638
/proc/meminfo: memFree=93985288/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=104672 memory=86880 CPUtime=0.66 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 19360 0 0 0 61 5 0 0 20 0 1 0 242480831 107184128 21720 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 26168 21720 864 2593 0 23061 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 111656 KiB
Current children cumulated memory: 91232 KiB

[startup+1.50046 s]
/proc/loadavg: 4.08 3.97 3.45 5/258 169638
/proc/meminfo: memFree=93901932/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=204796 memory=186976 CPUtime=1.46 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 44376 0 0 0 135 11 0 0 20 0 1 0 242480831 209711104 46744 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 51199 46744 864 2593 0 48092 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 211780 KiB
Current children cumulated memory: 191328 KiB

[startup+3.11348 s]
/proc/loadavg: 4.07 3.98 3.46 5/258 169638
/proc/meminfo: memFree=93692012/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=375656 memory=356136 CPUtime=3.07 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 83625 0 0 0 288 19 0 0 20 0 1 0 242480831 384671744 89034 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 93914 89034 896 2593 0 90807 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 382640 KiB
Current children cumulated memory: 360488 KiB

[startup+6.30047 s]
/proc/loadavg: 4.07 3.98 3.46 5/258 169639
/proc/meminfo: memFree=93519500/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=875448 memory=835180 CPUtime=6.24 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 129410 0 0 0 588 36 0 0 20 0 1 0 242480831 896458752 208795 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 218862 208795 896 2593 0 215755 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 882432 KiB
Current children cumulated memory: 839532 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 3.98 3.46 5/258 169639
/proc/meminfo: memFree=92132488/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=2395552 memory=2133872 CPUtime=12.63 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 244467 0 0 0 1188 75 0 0 20 0 1 0 242480831 2453045248 533468 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 598888 533468 896 2593 0 595781 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2402536 KiB
Current children cumulated memory: 2138224 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 3.99 3.47 5/258 169639
/proc/meminfo: memFree=91474468/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=3246424 memory=2900124 CPUtime=25.4 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 395943 0 0 0 2421 119 0 0 20 0 1 0 242480831 3324338176 725031 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 811606 725031 960 2593 0 808499 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3253408 KiB
Current children cumulated memory: 2904476 KiB

[startup+51.1138 s]
/proc/loadavg: 4.23 4.03 3.50 5/257 169639
/proc/meminfo: memFree=91739156/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169637/stat : 169637 (timeout) S 169634 169637 167733 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242480830 2723840 352 18446744073709551615 94521274728448 94521274744961 140722353297248 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94521274759728 94521274761816 94521305055232 140722353301918 140722353302048 140722353302048 140722353307623 0
/proc/169637/statm: 665 352 352 5 0 90 0
[pid=169638] ppid=169637 vsize=3604480 memory=3275496 CPUtime=50.94 cores=4,6
/proc/169638/stat : 169638 (CASHWMaxSAT-Dis) R 169637 169637 167733 0 -1 4194304 412802 0 0 0 4915 179 0 0 20 0 1 0 242480831 3690987520 818874 18446744073709551615 4198400 14817773 140736606631168 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54018048 140736606636452 140736606636569 140736606636569 140736606642144 0
/proc/169638/statm: 901120 818874 992 2593 0 898013 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3611464 KiB
Current children cumulated memory: 3279848 KiB

[startup+102.301 s]
/proc/loadavg: 4.15 4.04 3.54 5/258 169642
/proc/meminfo: memFree=92352848/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169637] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=77261016/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=26912428 memory=24243512 CPUtime=1659.53 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3544063 0 0 0 164861 1092 0 0 20 0 1 0 242660639 27558326272 6060878 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6728107 6060878 2528 595 0 6712774 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 26919412 KiB
Current children cumulated memory: 24247864 KiB

[startup+3522.3 s]
/proc/loadavg: 1.65 2.06 2.60 2/234 169935
/proc/meminfo: memFree=79117264/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=26912428 memory=24243512 CPUtime=1719.41 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3544710 0 0 0 170843 1098 0 0 20 0 1 0 242660639 27558326272 6060878 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6728107 6060878 2528 595 0 6712774 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 26919412 KiB
Current children cumulated memory: 24247864 KiB

[startup+3582.3 s]
/proc/loadavg: 1.35 1.90 2.51 2/234 169937
/proc/meminfo: memFree=79119248/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=26912428 memory=24244024 CPUtime=1779.26 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3545949 0 0 0 176823 1103 0 0 20 0 1 0 242660639 27558326272 6061006 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6728107 6061006 2528 595 0 6712774 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 26919412 KiB
Current children cumulated memory: 24248376 KiB

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

# cumulated CPU time of all completed processes:  user=3576.49 s, system=14.1107 s

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

[startup+3584 s]*
/proc/loadavg: 1.32 1.88 2.50 2/234 169937
/proc/meminfo: memFree=79119248/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=26912428 memory=24244024 CPUtime=1780.97 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3546155 0 0 0 176994 1103 0 0 20 0 1 0 242660639 27558326272 6061006 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6728107 6061006 2528 595 0 6712774 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 26919412 KiB
Current children cumulated memory: 24248376 KiB

[startup+3590.4 s]
/proc/loadavg: 1.29 1.87 2.49 2/234 169937
/proc/meminfo: memFree=79118896/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=26912428 memory=24244024 CPUtime=1787.34 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3546188 0 0 0 177631 1103 0 0 20 0 1 0 242660639 27558326272 6061006 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6728107 6061006 2528 595 0 6712774 0
Current children cumulated CPU time: 3580.18 s
Current children cumulated vsize: 26919412 KiB
Current children cumulated memory: 24248376 KiB

[startup+3596.8 s]
/proc/loadavg: 1.27 1.85 2.49 2/234 169937
/proc/meminfo: memFree=79119112/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=24191996 memory=21829228 CPUtime=1793.72 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3550373 0 0 0 178267 1105 0 0 20 0 1 0 242660639 24772603904 5457307 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6047999 5457307 2592 595 0 6032666 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 24198980 KiB
Current children cumulated memory: 21833580 KiB

[startup+3598.4 s]
/proc/loadavg: 1.25 1.84 2.48 2/234 169937
/proc/meminfo: memFree=81542088/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=24191996 memory=21829228 CPUtime=1795.33 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3555474 0 0 0 178426 1107 0 0 20 0 1 0 242660639 24772603904 5457307 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 6047999 5457307 2592 595 0 6032666 0
Current children cumulated CPU time: 3588.17 s
Current children cumulated vsize: 24198980 KiB
Current children cumulated memory: 21833580 KiB

[startup+3600 s]*
/proc/loadavg: 1.25 1.84 2.48 2/234 169937
/proc/meminfo: memFree=82337296/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
[pid=169771] ppid=169770 vsize=23399232 memory=21036464 CPUtime=1796.94 cores=4,6
/proc/169771/stat : 169771 (SynLSCD) R 169770 169770 167733 0 -1 4194304 3555494 0 0 0 178586 1108 0 0 20 0 1 0 242660639 23960813568 5259116 18446744073709551615 94370951081984 94370953516585 140734538071392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94370953997560 94370954030592 94370975551488 140734538078624 140734538078759 140734538078759 140734538084334 0
/proc/169771/statm: 5849808 5259116 2592 595 0 5834475 0
Current children cumulated CPU time: 3589.78 s
Current children cumulated vsize: 23406216 KiB
Current children cumulated memory: 21040816 KiB

[startup+3600.4 s]
/proc/loadavg: 1.25 1.84 2.48 2/234 169937
/proc/meminfo: memFree=82337296/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=1792.84 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 282 422283 0 0 0 0 179031 253 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
[pid=169770] ppid=169634 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/169770/stat : 169770 (timeout) S 169634 169770 167733 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242660638 2723840 352 18446744073709551615 94411926134784 94411926151297 140723423572528 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 94411926166064 94411926168152 94411944538112 140723423574406 140723423574560 140723423574560 140723423580135 0
/proc/169770/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 1792.84 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4352 KiB

[startup+3600.8 s]
/proc/loadavg: 1.25 1.84 2.48 2/234 169937
/proc/meminfo: memFree=82337296/131382120 swapFree=33010160/33010684
[pid=169634] ppid=169631 vsize=4324 memory=2944 CPUtime=3590.55 cores=4,6
/proc/169634/stat : 169634 (Hybrid-CASHWMax) S 169631 169634 167733 0 -1 4194304 310 3977950 0 0 0 0 357647 1408 20 0 1 0 242480828 4427776 736 18446744073709551615 94497701654528 94497702549061 140723054152096 0 0 0 2 4 65536 1 0 0 17 4 0 0 0 0 0 94497702788112 94497702835856 94497736032256 140723054160213 140723054160367 140723054160367 140723054165971 0
/proc/169634/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3590.55 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3600.84
CPU time (s): 3590.6
CPU user time (s): 3576.49
CPU system time (s): 14.1107
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 27050492
Max. memory (cumulated for all children) (KiB): 24362392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.49
system time used= 14.1107
maximum resident set size= 24376476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3979795
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= 1312
involuntary context switches= 2859


# summary of solver processes directly reported to runsolver:
#   pid: 169634
#   total CPU time (s): 3590.6
#   total CPU user time (s): 3576.49
#   total CPU system time (s): 14.1107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9908 second user time and 38.0136 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-23 12:53:41
IDJOB=4547496
IDBENCH=164408
IDSOLVER=3424
FILE ID=nodeC003/4547496-1753268021
RUNJOBID= nodeC003-1753267162-169077
SLURM_JOB_ID= 9689158
Free space on /tmp= 432132 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547496-1753268021/watcher-4547496-1753268021 -o /tmp/evaluation-result-4547496-1753268021/solver-4547496-1753268021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753267162-169077 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547496-1753268021.opb 3600 HOME

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=2142829151

nodeC003 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		: 3491.719
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.44
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.239
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.44
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.125
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.44
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.44
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		: 1596.220
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.44
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		: 3532.670
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.44
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.687
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.44
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.324
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        94045128 kB
MemAvailable:   120529980 kB
Buffers:            2736 kB
Cached:         27244544 kB
SwapCached:           36 kB
Active:          9959400 kB
Inactive:       26139224 kB
Active(anon):    8869856 kB
Inactive(anon):     7604 kB
Active(file):    1089544 kB
Inactive(file): 26131620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             27164 kB
Writeback:             0 kB
AnonPages:       8852012 kB
Mapped:           120468 kB
Shmem:             26116 kB
KReclaimable:     206628 kB
Slab:             298088 kB
SReclaimable:     206628 kB
SUnreclaim:        91460 kB
KernelStack:        4128 kB
PageTables:        20616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9629476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4708352 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432240 MiB
End job on nodeC003 at 2025-07-23 13:53:43