runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3261069-1303542384/watcher-3261069-1303542384 -o /tmp/evaluation-result-3261069-1303542384/solver-3261069-1303542384 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3261069-1303542384.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.24 3.50 3.58 4/213 6895
/proc/meminfo: memFree=14592788/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=102604 CPUtime=0 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 919 0 0 0 0 0 0 0 23 0 8 0 465839354 105066496 827 33554432000 4194304 7232020 140733866829696 18446744073709551615 5667152 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 25651 827 640 742 0 18222 0
[pid=6895/tid=6896] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=102736 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 465839354 105201664 828 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0

[startup+0.0700539 s]
/proc/loadavg: 2.24 3.50 3.58 4/213 6895
/proc/meminfo: memFree=14592788/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=107824 CPUtime=0.06 cores=5,7
/proc/6895/stat : 6895 (mono) S 6893 6895 6310 0 -1 4202496 1908 0 0 0 6 0 0 0 18 0 9 0 465839354 110411776 1810 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/6895/statm: 26956 1819 976 742 0 19527 0
[pid=6895/tid=6896] ppid=6893 vsize=107824 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 465839354 110411776 1819 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=107960 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 110551040 1871 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 107824

[startup+0.108016 s]
/proc/loadavg: 2.24 3.50 3.58 4/213 6895
/proc/meminfo: memFree=14592788/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=118636 CPUtime=0.1 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 4395 0 0 0 10 0 0 0 18 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 29659 4297 1000 742 0 22230 0
[pid=6895/tid=6896] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) R 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624936308 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=118636 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) R 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 465839354 121483264 4297 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 118636

[startup+0.300982 s]
/proc/loadavg: 2.24 3.50 3.58 4/213 6895
/proc/meminfo: memFree=14592788/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=128488 CPUtime=0.29 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 6009 0 0 0 29 0 0 0 18 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099915159 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 32122 5911 1000 742 0 24693 0
[pid=6895/tid=6896] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=128488 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 465839354 131571712 5911 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 128488

[startup+0.700908 s]
/proc/loadavg: 2.24 3.50 3.58 4/213 6895
/proc/meminfo: memFree=14592788/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=128552 CPUtime=0.7 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 6839 0 0 0 70 0 0 0 18 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 1090991164 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 32138 6741 1000 742 0 24709 0
[pid=6895/tid=6896] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=128552 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 465839354 131637248 6741 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 128552

[startup+1.50077 s]
/proc/loadavg: 2.24 3.50 3.58 5/222 6939
/proc/meminfo: memFree=14394792/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=128560 CPUtime=1.5 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 6862 0 0 0 150 0 0 0 19 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099930780 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 32140 6763 1003 742 0 24711 0
[pid=6895/tid=6896] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=128560 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 131645440 6763 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 128560

[startup+3.10049 s]
/proc/loadavg: 2.38 3.51 3.59 5/222 6974
/proc/meminfo: memFree=14323088/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=128624 CPUtime=3.11 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 6902 0 0 0 311 0 0 0 18 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099923435 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 32156 6803 1024 742 0 24727 0
[pid=6895/tid=6896] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=128624 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 131710976 6803 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 128624

[startup+6.30089 s]
/proc/loadavg: 2.38 3.51 3.59 5/222 6974
/proc/meminfo: memFree=14310076/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=136296 CPUtime=6.32 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 9073 0 0 0 631 1 0 0 18 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099909152 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/6895/statm: 34074 8319 1024 742 0 26645 0
[pid=6895/tid=6896] ppid=6893 vsize=136296 CPUtime=0 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=136296 CPUtime=0 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=136296 CPUtime=0.01 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=136296 CPUtime=0 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=136296 CPUtime=0 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 465839354 139567104 8319 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0

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

/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 344085 0 0 0 42222 60 0 0 25 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 6137318 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 193802 167122 1036 742 0 186373 0
[pid=6895/tid=6896] ppid=6893 vsize=775208 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=775208 CPUtime=0.19 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 19 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=775208 CPUtime=0.15 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=775208 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=775208 CPUtime=0.1 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=775208 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=775208 CPUtime=0.09 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 465839354 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=775208 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 465839355 793812992 167122 33554432000 4194304 7232020 140733866829696 18446744073709551615 270612498367 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 422.82
Current children cumulated vsize (KiB) 775208

[startup+428.701 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13124000/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=775272 CPUtime=429.23 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 344101 0 0 0 42863 60 0 0 25 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 6136308 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 193818 167138 1036 742 0 186389 0
[pid=6895/tid=6896] ppid=6893 vsize=775272 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=775272 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 16 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=775272 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=775272 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=775272 CPUtime=0.1 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 10 0 0 0 15 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=775272 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=775272 CPUtime=0.09 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 465839354 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=775272 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 793878528 167138 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 429.23
Current children cumulated vsize (KiB) 775272

[startup+435.101 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13069688/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=817000 CPUtime=435.64 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 354187 0 0 0 43503 61 0 0 25 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099942815 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 204250 177224 1036 742 0 196821 0
[pid=6895/tid=6896] ppid=6893 vsize=817000 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=817000 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=817000 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=817000 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=817000 CPUtime=0.12 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 12 0 0 0 16 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=817000 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=817000 CPUtime=0.09 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 9 0 0 0 15 0 9 0 465839354 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=817000 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 836608000 177224 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 435.64
Current children cumulated vsize (KiB) 817000

[startup+438.3 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13040176/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=833448 CPUtime=438.85 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 359696 0 0 0 43823 62 0 0 25 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270612808286 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 208362 182733 1036 742 0 200933 0
[pid=6895/tid=6896] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=833448 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=833448 CPUtime=0.11 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=833448 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 438.85
Current children cumulated vsize (KiB) 833448

[startup+439.901 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13038436/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=833448 CPUtime=440.46 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 359696 0 0 0 43984 62 0 0 25 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099942622 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 208362 182733 1036 742 0 200933 0
[pid=6895/tid=6896] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=833448 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=833448 CPUtime=0.11 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=833448 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 440.46
Current children cumulated vsize (KiB) 833448

[startup+440.701 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13038436/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=833448 CPUtime=441.26 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 359696 0 0 0 44064 62 0 0 25 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 1099909196 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 208362 182733 1036 742 0 200933 0
[pid=6895/tid=6896] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=833448 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=833448 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=833448 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=833448 CPUtime=0.11 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 11 0 0 0 16 0 9 0 465839354 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=833448 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 853450752 182733 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 441.26
Current children cumulated vsize (KiB) 833448

[startup+441.107 s]
/proc/loadavg: 4.01 3.92 3.75 5/222 6985
/proc/meminfo: memFree=13037072/32951124 swapFree=67111528/67111528
[pid=6895] ppid=6893 vsize=833636 CPUtime=441.66 cores=5,7
/proc/6895/stat : 6895 (mono) R 6893 6895 6310 0 -1 4202496 359772 0 0 0 44104 62 0 0 25 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 6240137 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/6895/statm: 208409 182808 1074 742 0 200980 0
[pid=6895/tid=6896] ppid=6893 vsize=833636 CPUtime=0.16 cores=5,7
/proc/6895/task/6896/stat : 6896 (mono) S 6893 6895 6310 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6897] ppid=6893 vsize=833636 CPUtime=0.2 cores=5,7
/proc/6895/task/6897/stat : 6897 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6898] ppid=6893 vsize=833636 CPUtime=0.16 cores=5,7
/proc/6895/task/6898/stat : 6898 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6899] ppid=6893 vsize=833636 CPUtime=0.16 cores=5,7
/proc/6895/task/6899/stat : 6899 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6900] ppid=6893 vsize=833636 CPUtime=0.13 cores=5,7
/proc/6895/task/6900/stat : 6900 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6901] ppid=6893 vsize=833636 CPUtime=0.13 cores=5,7
/proc/6895/task/6901/stat : 6901 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
[pid=6895/tid=6902] ppid=6893 vsize=833636 CPUtime=0.11 cores=5,7
/proc/6895/task/6902/stat : 6902 (mono) S 6893 6895 6310 0 -1 4202560 2 0 0 0 11 0 0 0 15 0 9 0 465839354 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624926617 0 0 4096 545260780 18446604466413859968 0 0 -1 7 0 0 0
[pid=6895/tid=6904] ppid=6893 vsize=833636 CPUtime=0 cores=5,7
/proc/6895/task/6904/stat : 6904 (mono) S 6893 6895 6310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 465839355 853643264 182808 33554432000 4194304 7232020 140733866829696 18446744073709551615 270624934321 0 0 4096 545260780 18446604466413859968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 441.66
Current children cumulated vsize (KiB) 833636

Child status: 0
Real time (s): 441.163
CPU time (s): 441.73
CPU user time (s): 441.067
CPU system time (s): 0.662899
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 833636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.067
system time used= 0.662899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359829
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= 9073
involuntary context switches= 2712

runsolver used 0.674897 second user time and 1.73974 second system time

The end