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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525643-1751626622/watcher-4525643-1751626622 -o /tmp/evaluation-result-4525643-1751626622/solver-4525643-1751626622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751617353-88057 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4525643-1751626622.wbo -timer=3600 -hve=512 -f=3 -n: -precision=0 

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
Current StackSize limit: 8192 KiB

solver pid=89811, runsolver pid=89808

[startup+0.100064 s]*
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=127354984/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=101600 memory=90072 CPUtime=0.09 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 22197 0 0 0 6 3 0 0 20 0 1 0 78284720 104038400 22518 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 25400 22518 864 1162 0 24009 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105792 KiB
Current children cumulated memory: 93016 KiB

[startup+0.20552 s]*
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=127354984/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=153040 memory=141912 CPUtime=0.19 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 35099 0 0 0 15 4 0 0 20 0 1 0 78284720 156712960 35478 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 38260 35478 928 1162 0 36869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 157232 KiB
Current children cumulated memory: 144856 KiB

[startup+0.305433 s]*
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=127354984/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=190832 memory=179672 CPUtime=0.3 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 44552 0 0 0 24 6 0 0 20 0 1 0 78284720 195411968 44918 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 47708 44918 928 1162 0 46317 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 195024 KiB
Current children cumulated memory: 182616 KiB

[startup+0.700203 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=127354984/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=341208 memory=329432 CPUtime=0.68 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 81972 0 0 0 58 10 0 0 20 0 1 0 78284720 349396992 82358 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 85302 82358 928 1162 0 83911 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 345400 KiB
Current children cumulated memory: 332376 KiB

[startup+1.50021 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=127193984/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=746116 memory=733096 CPUtime=1.48 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 182833 0 0 0 123 25 0 0 20 0 1 0 78284720 764022784 183274 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 186529 183274 992 1162 0 185138 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 750308 KiB
Current children cumulated memory: 736040 KiB

[startup+3.10536 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 89813
/proc/meminfo: memFree=126871424/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=773704 memory=762148 CPUtime=3.08 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 190758 0 0 0 281 27 0 0 20 0 1 0 78284720 792272896 190537 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 193426 190537 1024 1162 0 192035 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 777896 KiB
Current children cumulated memory: 765092 KiB

[startup+6.3002 s]
/proc/loadavg: 4.20 4.13 4.10 5/268 89813
/proc/meminfo: memFree=126827260/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=822372 memory=807788 CPUtime=6.27 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 200618 0 0 0 598 29 0 0 20 0 1 0 78284720 842108928 201947 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 205593 201947 1024 1162 0 204202 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 826564 KiB
Current children cumulated memory: 810732 KiB

[startup+12.7001 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 89814
/proc/meminfo: memFree=126811132/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=839356 memory=825168 CPUtime=12.65 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205084 0 0 0 1236 29 0 0 20 0 1 0 78284720 859500544 206292 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 209839 206292 1184 1162 0 208448 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 843548 KiB
Current children cumulated memory: 828112 KiB

[startup+25.5001 s]
/proc/loadavg: 4.21 4.14 4.10 5/268 89814
/proc/meminfo: memFree=126811132/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825680 CPUtime=25.42 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205215 0 0 0 2512 30 0 0 20 0 1 0 78284720 860188672 206420 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206420 1184 1162 0 208616 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828624 KiB

[startup+51.1047 s]
/proc/loadavg: 4.14 4.12 4.10 5/268 89814
/proc/meminfo: memFree=126811156/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825680 CPUtime=50.96 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205232 0 0 0 5066 30 0 0 20 0 1 0 78284720 860188672 206420 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206420 1184 1162 0 208616 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828624 KiB

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

# cumulated CPU time of all completed processes:  user=59.7178 s, system=0.342168 s

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

[startup+51.2002 s]
/proc/loadavg: 4.14 4.12 4.10 5/268 89814
/proc/meminfo: memFree=126811156/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825680 CPUtime=51.06 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205232 0 0 0 5076 30 0 0 20 0 1 0 78284720 860188672 206420 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206420 1184 1162 0 208616 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828624 KiB

[startup+54.4001 s]
/proc/loadavg: 4.14 4.12 4.10 5/268 89814
/proc/meminfo: memFree=126811156/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825680 CPUtime=54.25 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205232 0 0 0 5395 30 0 0 20 0 1 0 78284720 860188672 206420 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206420 1184 1162 0 208616 0
Current children cumulated CPU time: 54.25 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828624 KiB

[startup+57.6001 s]
/proc/loadavg: 4.13 4.12 4.10 5/268 89814
/proc/meminfo: memFree=126811156/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825680 CPUtime=57.44 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205232 0 0 0 5714 30 0 0 20 0 1 0 78284720 860188672 206420 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206420 1184 1162 0 208616 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828624 KiB

[startup+59.2001 s]
/proc/loadavg: 4.13 4.12 4.10 5/268 89814
/proc/meminfo: memFree=126811156/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825808 CPUtime=59.04 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205236 0 0 0 5874 30 0 0 20 0 1 0 78284720 860188672 206452 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206452 1184 1162 0 208616 0
Current children cumulated CPU time: 59.04 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828752 KiB

[startup+60.0001 s]*
/proc/loadavg: 4.20 4.14 4.10 5/268 89815
/proc/meminfo: memFree=126811012/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
[pid=89813] ppid=89811 vsize=840028 memory=825808 CPUtime=59.84 cores=4,6
/proc/89813/stat : 89813 (toulbar2) R 89811 89811 88046 0 -1 4194304 205248 0 0 0 5954 30 0 0 20 0 1 0 78284720 860188672 206452 18446744073709551615 4198400 8956741 140731274931840 0 0 0 0 0 33570818 0 0 0 17 4 0 0 0 0 0 9785056 9890480 22155264 140731274934643 140731274934762 140731274934762 140731274940364 0
/proc/89813/statm: 210007 206452 1184 1162 0 208616 0
Current children cumulated CPU time: 59.84 s
Current children cumulated vsize: 844220 KiB
Current children cumulated memory: 828752 KiB

[startup+60.2001 s]
/proc/loadavg: 4.20 4.14 4.10 5/268 89815
/proc/meminfo: memFree=126811012/131250000 swapFree=33010684/33010684
[pid=89811] ppid=89808 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/89811/stat : 89811 (toulbar2.sh) S 89808 89811 88046 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 78284719 4292608 736 18446744073709551615 93960642035712 93960642930245 140725732171360 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93960643169296 93960643217040 93960659214336 140725732178229 140725732178405 140725732178405 140725732184009 0
/proc/89811/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 60.2149
CPU time (s): 60.0599
CPU user time (s): 59.7178
CPU system time (s): 0.342168
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 844220
Max. memory (cumulated for all children) (KiB): 828752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.7178
system time used= 0.342168
maximum resident set size= 825936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 74


# summary of solver processes directly reported to runsolver:
#   pid: 89811
#   total CPU time (s): 60.0599
#   total CPU user time (s): 59.7178
#   total CPU system time (s): 0.342168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111898 second user time and 0.251516 second system time

The end