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: 63708 MiB (54204 MiB free)
  memory of node 1: 64465 MiB (60819 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520369-1751559846/watcher-4520369-1751559846 -o /tmp/evaluation-result-4520369-1751559846/solver-4520369-1751559846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751550848-81821 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4520369-1751559846.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
Starting watchdog thread
solver pid=83724, runsolver pid=83721
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 83728
/proc/meminfo: memFree=117784284/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=38648 memory=21552 CPUtime=0.07 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 4832 0 0 0 7 0 0 0 20 0 1 0 71664063 39575552 5388 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 9662 5388 768 2416 0 6764 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 25904 KiB

[startup+0.205816 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 83728
/proc/meminfo: memFree=117776228/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=34288 memory=18748 CPUtime=0.18 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 5308 0 0 0 18 0 0 0 20 0 1 0 71664063 35110912 4687 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 8572 4687 800 2416 0 5674 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41272 KiB
Current children cumulated memory: 23100 KiB

[startup+0.305664 s]*
/proc/loadavg: 4.10 4.10 4.09 5/272 83728
/proc/meminfo: memFree=117776228/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=35936 memory=20156 CPUtime=0.28 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 5654 0 0 0 28 0 0 0 20 0 1 0 71664063 36798464 5039 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 8984 5039 800 2416 0 6086 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 24508 KiB

[startup+0.700232 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 83728
/proc/meminfo: memFree=117776228/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=38612 memory=22652 CPUtime=0.67 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 5772 0 0 0 66 1 0 0 20 0 1 0 71664063 39538688 5663 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 9653 5663 800 2416 0 6755 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 27004 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117743716/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=38612 memory=22780 CPUtime=1.47 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 5799 0 0 0 146 1 0 0 20 0 1 0 71664063 39538688 5695 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 9653 5695 800 2416 0 6755 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 27132 KiB

[startup+3.10553 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117711468/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=38612 memory=23036 CPUtime=3.07 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 5874 0 0 0 306 1 0 0 20 0 1 0 71664063 39538688 5759 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 9653 5759 800 2416 0 6755 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 27388 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117631080/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=71976 memory=56316 CPUtime=6.25 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 14182 0 0 0 623 2 0 0 20 0 1 0 71664063 73703424 14079 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 17994 14079 800 2416 0 15096 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 78960 KiB
Current children cumulated memory: 60668 KiB

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

# cumulated CPU time of all completed processes:  user=7.96356 s, system=0.046417 s

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

[startup+6.40026 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117631080/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=72768 memory=57084 CPUtime=6.35 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 14386 0 0 0 633 2 0 0 20 0 1 0 71664063 74514432 14271 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 18192 14271 800 2416 0 15294 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 61436 KiB

[startup+7.2002 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117606888/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=79000 memory=63356 CPUtime=7.15 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 15963 0 0 0 712 3 0 0 20 0 1 0 71664063 80896000 15839 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 19750 15839 800 2416 0 16852 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 85984 KiB
Current children cumulated memory: 67708 KiB

[startup+7.60021 s]
/proc/loadavg: 4.09 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117606888/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=81904 memory=66300 CPUtime=7.55 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 16692 0 0 0 752 3 0 0 20 0 1 0 71664063 83869696 16575 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 20476 16575 800 2416 0 17578 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 88888 KiB
Current children cumulated memory: 70652 KiB

[startup+8.0002 s]*
/proc/loadavg: 4.08 4.10 4.09 5/271 83728
/proc/meminfo: memFree=117582696/131250000 swapFree=33009904/33010684
[pid=83724] ppid=83721 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/83724/stat : 83724 (Hybrid-CASHWMax) S 83721 83724 81809 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 71664061 4427776 736 18446744073709551615 94641359097856 94641359992389 140731507938176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94641360231440 94641360279184 94641371500544 140731507943767 140731507943921 140731507943921 140731507949523 0
/proc/83724/statm: 1081 736 672 219 0 143 0
[pid=83727] ppid=83724 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/83727/stat : 83727 (timeout) S 83724 83727 81809 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 71664062 2723840 352 18446744073709551615 93963647004672 93963647021185 140737377296544 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 93963647035952 93963647038040 93963653603328 140737377298838 140737377298978 140737377298978 140737377304551 0
/proc/83727/statm: 665 352 352 5 0 90 0
[pid=83728] ppid=83727 vsize=84676 memory=69116 CPUtime=7.95 cores=1,3
/proc/83728/stat : 83728 (CASHWMaxSAT-Dis) R 83727 83727 81809 0 -1 4194304 17391 0 0 0 792 3 0 0 20 0 1 0 71664063 86708224 17279 18446744073709551615 4198400 14093885 140723583072000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 46956544 140723583076764 140723583076891 140723583076891 140723583082464 0
/proc/83728/statm: 21169 17279 800 2416 0 18271 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 73468 KiB

Child status: 0

Real time (s): 8.05226
CPU time (s): 8.00997
CPU user time (s): 7.96356
CPU system time (s): 0.046417
CPU usage (%): 99.4749
Max. virtual memory (cumulated for all children) (KiB): 91660
Max. memory (cumulated for all children) (KiB): 73468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.96356
system time used= 0.046417
maximum resident set size= 69372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18173
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= 328
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 83724
#   total CPU time (s): 8.00997
#   total CPU user time (s): 7.96356
#   total CPU system time (s): 0.046417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028104 second user time and 0.069605 second system time

The end