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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499376-1751409390/watcher-4499376-1751409390 -o /tmp/evaluation-result-4499376-1751409390/solver-4499376-1751409390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751409390-58557 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4499376-1751409390.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=58608, runsolver pid=58600

[startup+0.100099 s]*
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129353400/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=23128 memory=8832 CPUtime=0.07 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 1425 0 0 0 7 0 0 0 20 0 1 0 56618384 23683072 2208 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 5782 2208 864 2593 0 2675 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 30112 KiB
Current children cumulated memory: 13184 KiB

[startup+0.215427 s]*
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129310308/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=29708 memory=15360 CPUtime=0.18 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 3055 0 0 0 18 0 0 0 20 0 1 0 56618384 30420992 3840 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 7427 3840 864 2593 0 4320 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36692 KiB
Current children cumulated memory: 19712 KiB

[startup+0.315598 s]*
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129286116/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=35296 memory=20864 CPUtime=0.29 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 4457 0 0 0 28 1 0 0 20 0 1 0 56618384 36143104 5216 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 8824 5216 864 2593 0 5717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42280 KiB
Current children cumulated memory: 25216 KiB

[startup+0.700531 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129261924/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=47912 memory=33548 CPUtime=0.65 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 7681 0 0 0 63 2 0 0 20 0 1 0 56618384 49061888 8387 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 11978 8387 960 2593 0 8871 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 54896 KiB
Current children cumulated memory: 37900 KiB

[startup+1.50051 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129219088/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=51364 memory=37344 CPUtime=1.44 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 10709 0 0 0 141 3 0 0 20 0 1 0 56618384 52596736 9336 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 12841 9336 992 2593 0 9734 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 41696 KiB

[startup+3.11472 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129193128/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=53360 memory=39392 CPUtime=3.05 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 11213 0 0 0 301 4 0 0 20 0 1 0 56618384 54640640 9848 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 13340 9848 992 2593 0 10233 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 60344 KiB
Current children cumulated memory: 43744 KiB

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

# cumulated CPU time of all completed processes:  user=4.03612 s, system=0.062998 s

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

[startup+3.2005 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129193128/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=53360 memory=39392 CPUtime=3.14 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 11213 0 0 0 310 4 0 0 20 0 1 0 56618384 54640640 9848 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 13340 9848 992 2593 0 10233 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 60344 KiB
Current children cumulated memory: 43744 KiB

[startup+3.60043 s]
/proc/loadavg: 0.46 1.59 2.67 5/267 58628
/proc/meminfo: memFree=129193128/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=53360 memory=39520 CPUtime=3.54 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 11243 0 0 0 350 4 0 0 20 0 1 0 56618384 54640640 9880 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 13340 9880 992 2593 0 10233 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 60344 KiB
Current children cumulated memory: 43872 KiB

[startup+4.00042 s]*
/proc/loadavg: 0.46 1.59 2.67 4/259 58638
/proc/meminfo: memFree=129191248/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=53360 memory=39520 CPUtime=3.95 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 11244 0 0 0 391 4 0 0 20 0 1 0 56618384 54640640 9880 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 13340 9880 992 2593 0 10233 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 60344 KiB
Current children cumulated memory: 43872 KiB

[startup+4.1146 s]
/proc/loadavg: 0.46 1.59 2.67 4/259 58638
/proc/meminfo: memFree=129191248/131382120 swapFree=33010416/33010684
[pid=58608] ppid=58600 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/58608/stat : 58608 (Hybrid-CASHWMax) S 58600 58608 58520 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 56618381 4427776 736 18446744073709551615 94193086447616 94193087342149 140728459959776 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94193087581200 94193087628944 94193114955776 140728459966807 140728459966961 140728459966961 140728459972563 0
/proc/58608/statm: 1081 736 672 219 0 143 0
[pid=58617] ppid=58608 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/58617/stat : 58617 (timeout) S 58608 58617 58520 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 56618383 2723840 352 18446744073709551615 94122906456064 94122906472577 140728057973328 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94122906487344 94122906489432 94122927407104 140728057977238 140728057977378 140728057977378 140728057982951 0
/proc/58617/statm: 665 352 352 5 0 90 0
[pid=58619] ppid=58617 vsize=53360 memory=39520 CPUtime=4.05 cores=0,2
/proc/58619/stat : 58619 (CASHWMaxSAT-Dis) R 58617 58617 58520 0 -1 4194304 11244 0 0 0 401 4 0 0 20 0 1 0 56618384 54640640 9880 18446744073709551615 4198400 14817773 140721394027984 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 47120384 140721394031004 140721394031131 140721394031131 140721394036704 0
/proc/58619/statm: 13340 9880 992 2593 0 10233 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 60344 KiB
Current children cumulated memory: 43872 KiB

Child status: 0

Real time (s): 4.1531
CPU time (s): 4.09912
CPU user time (s): 4.03612
CPU system time (s): 0.062998
CPU usage (%): 98.7001
Max. virtual memory (cumulated for all children) (KiB): 60344
Max. memory (cumulated for all children) (KiB): 43872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.03612
system time used= 0.062998
maximum resident set size= 39520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11965
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= 367
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 58608
#   total CPU time (s): 4.09912
#   total CPU user time (s): 4.03612
#   total CPU system time (s): 0.062998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054453 second user time and 0.132008 second system time

The end