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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484796-1751286474/watcher-4484796-1751286474 -o /tmp/evaluation-result-4484796-1751286474/solver-4484796-1751286474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751279092-43172 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4484796-1751286474.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=44784, runsolver pid=44781
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.05 4.11 4.09 5/276 44788
/proc/meminfo: memFree=128798648/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=38580 memory=20224 CPUtime=0.07 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 4393 0 0 0 7 0 0 0 20 0 1 0 44325340 39505920 5056 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 9645 5056 736 2416 0 6747 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 24576 KiB

[startup+0.205771 s]*
/proc/loadavg: 4.05 4.11 4.09 5/276 44788
/proc/meminfo: memFree=128782520/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=58260 memory=39808 CPUtime=0.18 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 9298 0 0 0 17 1 0 0 20 0 1 0 44325340 59658240 9952 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 14565 9952 736 2416 0 11667 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65244 KiB
Current children cumulated memory: 44160 KiB

[startup+0.305772 s]*
/proc/loadavg: 4.05 4.11 4.09 5/276 44788
/proc/meminfo: memFree=128758328/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=76908 memory=58496 CPUtime=0.28 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 13957 0 0 0 26 2 0 0 20 0 1 0 44325340 78753792 14624 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 19227 14624 736 2416 0 16329 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 62848 KiB

[startup+0.700204 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44788
/proc/meminfo: memFree=128750580/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=84652 memory=69248 CPUtime=0.67 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 17299 0 0 0 64 3 0 0 20 0 1 0 44325340 86683648 17312 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 21163 17312 768 2416 0 18265 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 91636 KiB
Current children cumulated memory: 73600 KiB

[startup+1.5002 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44788
/proc/meminfo: memFree=128750580/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=87576 memory=72064 CPUtime=1.47 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 18016 0 0 0 144 3 0 0 20 0 1 0 44325340 89677824 18016 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 21894 18016 768 2416 0 18996 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94560 KiB
Current children cumulated memory: 76416 KiB

[startup+3.10556 s]
/proc/loadavg: 4.05 4.10 4.09 5/276 44842
/proc/meminfo: memFree=129004048/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=90296 memory=74752 CPUtime=3.07 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 18676 0 0 0 303 4 0 0 20 0 1 0 44325340 92463104 18688 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 22574 18688 768 2416 0 19676 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 97280 KiB
Current children cumulated memory: 79104 KiB

[startup+6.30022 s]
/proc/loadavg: 4.04 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128990960/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=90432 memory=75948 CPUtime=6.26 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 19768 0 0 0 622 4 0 0 20 0 1 0 44325340 92602368 18987 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 22608 18987 768 2416 0 19710 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 97416 KiB
Current children cumulated memory: 80300 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/276 44842
/proc/meminfo: memFree=128985532/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=102392 memory=86196 CPUtime=12.64 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 20285 0 0 0 1260 4 0 0 20 0 1 0 44325340 104849408 21549 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 25598 21549 768 2416 0 22700 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109376 KiB
Current children cumulated memory: 90548 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/276 44842
/proc/meminfo: memFree=128965052/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=109548 memory=93332 CPUtime=25.4 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 20555 0 0 0 2536 4 0 0 20 0 1 0 44325340 112177152 23333 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 27387 23333 768 2416 0 24489 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 116532 KiB
Current children cumulated memory: 97684 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.10 4.09 5/275 44842
/proc/meminfo: memFree=128950352/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/44787/stat : 44787 (timeout) S 44784 44787 43154 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 44325340 2723840 352 18446744073709551615 94596324528128 94596324544641 140733374276448 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94596324559408 94596324561496 94596332367872 140733374278040 140733374278178 140733374278178 140733374283751 0
/proc/44787/statm: 665 352 352 5 0 90 0
[pid=44788] ppid=44787 vsize=113968 memory=98344 CPUtime=50.94 cores=4,6
/proc/44788/stat : 44788 (CASHWMaxSAT-Dis) R 44787 44787 43154 0 -1 4194304 21326 0 0 0 5090 4 0 0 20 0 1 0 44325340 116703232 24586 18446744073709551615 4198400 14093885 140734354624912 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27086848 140734354626973 140734354627099 140734354627099 140734354632672 0
/proc/44788/statm: 28492 24586 768 2416 0 25594 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 120952 KiB
Current children cumulated memory: 102696 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/275 44844
/proc/meminfo: memFree=128931008/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 250 102 0 0 0 0 0 0 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44787] ppid=44784 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2557 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268391 0 0 0 254258 1442 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.26 3.58 4/264 45085
/proc/meminfo: memFree=125833888/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2616.85 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268391 0 0 0 260242 1443 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.22 3.54 4/264 45087
/proc/meminfo: memFree=125819376/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2676.7 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 266226 1444 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

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

# cumulated CPU time of all completed processes:  user=3572.56 s, system=14.5864 s

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

[startup+3584 s]*
/proc/loadavg: 3.13 3.22 3.54 3/256 45140
/proc/meminfo: memFree=126943544/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2678.4 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 266396 1444 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3590.4 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126944224/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2684.79 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 267034 1445 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3593.6 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2687.99 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 267354 1445 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3595.2 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2689.58 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 267513 1445 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3595.6 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2689.98 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 267553 1445 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3596 s]*
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=896.68 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 283 27285 0 0 0 0 89658 10 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
[pid=44888] ppid=44784 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/44888/stat : 44888 (timeout) S 44784 44888 43154 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 44415240 2723840 320 18446744073709551615 94613028966400 94613028982913 140735577970160 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94613028997680 94613028999768 94613049548800 140735577979269 140735577979426 140735577979426 140735577984999 0
/proc/44888/statm: 665 320 320 5 0 90 0
[pid=44889] ppid=44888 vsize=1477608 memory=1293768 CPUtime=2690.39 cores=4,6
/proc/44889/stat : 44889 (ExactPR-S9) R 44888 44888 43154 0 -1 4194304 268398 0 0 0 267594 1445 0 0 20 0 1 0 44415241 1513070592 323442 18446744073709551615 94761611268096 94761620568197 140735988615104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94761622354240 94761622393320 94761659736064 140735988623772 140735988623910 140735988623910 140735988629483 0
/proc/44889/statm: 369402 323442 3488 2271 0 364040 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 1484592 KiB
Current children cumulated memory: 1297992 KiB

[startup+3596.11 s]
/proc/loadavg: 3.04 3.20 3.53 3/256 45140
/proc/meminfo: memFree=126940128/131249996 swapFree=33010684/33010684
[pid=44784] ppid=44781 vsize=4324 memory=2944 CPUtime=3587.14 cores=4,6
/proc/44784/stat : 44784 (Hybrid-CASHWMax) S 44781 44784 43154 0 -1 4194304 535 298528 0 0 0 0 357256 1458 20 0 1 0 44325339 4427776 736 18446744073709551615 94882622750720 94882623645253 140722160186544 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94882623884304 94882623932048 94882646089728 140722160195925 140722160196080 140722160196080 140722160201682 0
/proc/44784/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3587.15
CPU user time (s): 3572.56
CPU system time (s): 14.5864
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 1639192
Max. memory (cumulated for all children) (KiB): 1297992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.56
system time used= 14.5864
maximum resident set size= 1293896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1960
involuntary context switches= 1526


# summary of solver processes directly reported to runsolver:
#   pid: 44784
#   total CPU time (s): 3587.15
#   total CPU user time (s): 3572.56
#   total CPU system time (s): 14.5864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93375 second user time and 15.5784 second system time

The end