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: 63794 MiB (61974 MiB free)
  memory of node 1: 64507 MiB (53139 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520783-1751569752/watcher-4520783-1751569752 -o /tmp/evaluation-result-4520783-1751569752/solver-4520783-1751569752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85030 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4520783-1751569752.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=85087, runsolver pid=85071

[startup+0.100067 s]*
/proc/loadavg: 1.72 3.36 3.87 7/260 85099
/proc/meminfo: memFree=117864620/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=19976 memory=6144 CPUtime=0.06 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 846 0 0 0 6 0 0 0 20 0 1 0 72655062 20455424 1536 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 4994 1536 768 2416 0 2096 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26960 KiB
Current children cumulated memory: 10496 KiB

[startup+0.213356 s]*
/proc/loadavg: 1.72 3.36 3.87 6/256 85101
/proc/meminfo: memFree=117856588/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=19976 memory=6144 CPUtime=0.17 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 846 0 0 0 17 0 0 0 20 0 1 0 72655062 20455424 1536 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 4994 1536 768 2416 0 2096 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26960 KiB
Current children cumulated memory: 10496 KiB

[startup+0.313167 s]*
/proc/loadavg: 1.72 3.36 3.87 6/256 85105
/proc/meminfo: memFree=117856560/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=19976 memory=6144 CPUtime=0.26 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 846 0 0 0 26 0 0 0 20 0 1 0 72655062 20455424 1536 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 4994 1536 768 2416 0 2096 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 26960 KiB
Current children cumulated memory: 10496 KiB

[startup+0.700368 s]
/proc/loadavg: 1.72 3.36 3.87 6/254 85109
/proc/meminfo: memFree=117868196/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=23744 memory=9600 CPUtime=0.63 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 1741 0 0 0 61 2 0 0 20 0 1 0 72655062 24313856 2400 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 5936 2400 768 2416 0 3038 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 13952 KiB

[startup+1.50038 s]
/proc/loadavg: 1.72 3.36 3.87 6/254 85109
/proc/meminfo: memFree=117864416/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=33344 memory=18248 CPUtime=1.41 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 2842 0 0 0 134 7 0 0 20 0 1 0 72655062 34144256 4562 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 8336 4562 800 2416 0 5438 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 40328 KiB
Current children cumulated memory: 22600 KiB

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

# cumulated CPU time of all completed processes:  user=2.19735 s, system=0.12283 s

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

[startup+1.60045 s]
/proc/loadavg: 1.72 3.36 3.87 6/254 85109
/proc/meminfo: memFree=117864416/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=33344 memory=18376 CPUtime=1.5 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 2858 0 0 0 143 7 0 0 20 0 1 0 72655062 34144256 4594 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 8336 4594 800 2416 0 5438 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 40328 KiB
Current children cumulated memory: 22728 KiB

[startup+2.00034 s]*
/proc/loadavg: 1.72 3.36 3.87 5/256 85115
/proc/meminfo: memFree=117853512/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=40420 memory=24276 CPUtime=1.91 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 3305 0 0 0 182 9 0 0 20 0 1 0 72655062 41390080 6069 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 10105 6069 800 2416 0 7207 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 47404 KiB
Current children cumulated memory: 28628 KiB

[startup+2.40035 s]
/proc/loadavg: 1.72 3.36 3.87 5/256 85115
/proc/meminfo: memFree=117853512/131382112 swapFree=33010160/33010684
[pid=85087] ppid=85071 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/85087/stat : 85087 (Hybrid-CASHWMax) S 85071 85087 85018 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 72655058 4427776 736 18446744073709551615 94426064973824 94426065868357 140724760035616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94426066107408 94426066155152 94426095501312 140724760037719 140724760037873 140724760037873 140724760043475 0
/proc/85087/statm: 1081 736 672 219 0 143 0
[pid=85098] ppid=85087 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85098/stat : 85098 (timeout) S 85087 85098 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655061 2723840 352 18446744073709551615 94050189459456 94050189475969 140722058535200 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94050189490736 94050189492824 94050195918848 140722058541462 140722058541602 140722058541602 140722058547175 0
/proc/85098/statm: 665 352 352 5 0 90 0
[pid=85099] ppid=85098 vsize=42168 memory=23448 CPUtime=2.29 cores=1,3
/proc/85099/stat : 85099 (CASHWMaxSAT-Dis) R 85098 85098 85018 0 -1 4194304 3801 0 0 0 219 10 0 0 20 0 1 0 72655062 43180032 5862 18446744073709551615 4198400 14093885 140732931463856 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 52760576 140732931467676 140732931467803 140732931467803 140732931473376 0
/proc/85099/statm: 10542 5862 800 2416 0 7644 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 49152 KiB
Current children cumulated memory: 27800 KiB

Child status: 0

Real time (s): 2.42583
CPU time (s): 2.32018
CPU user time (s): 2.19735
CPU system time (s): 0.12283
CPU usage (%): 95.6446
Max. virtual memory (cumulated for all children) (KiB): 49152
Max. memory (cumulated for all children) (KiB): 30676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.19735
system time used= 0.12283
maximum resident set size= 27604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 439
involuntary context switches= 6


# summary of solver processes directly reported to runsolver:
#   pid: 85087
#   total CPU time (s): 2.32018
#   total CPU user time (s): 2.19735
#   total CPU system time (s): 0.12283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049521 second user time and 0.082425 second system time

The end