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-3260541-1303513696/watcher-3260541-1303513696 -o /tmp/evaluation-result-3260541-1303513696/solver-3260541-1303513696 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3260541-1303513696.cnf
running on 2 cores: 4,6
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: 1.00 1.08 2.01 3/200 23043
/proc/meminfo: memFree=13657420/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=102604 CPUtime=0 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 921 0 0 0 0 0 0 0 24 0 8 0 541600337 105066496 829 33554432000 4194304 7232020 140736901433760 18446744073709551615 5667152 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 25684 830 639 742 0 18255 0
[pid=23043/tid=23044] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=102736 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 8 0 541600337 105201664 830 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[startup+0.0255949 s]
/proc/loadavg: 1.00 1.08 2.01 3/200 23043
/proc/meminfo: memFree=13657420/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=106144 CPUtime=0.02 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 1549 0 0 0 2 0 0 0 25 0 9 0 541600337 108691456 1455 33554432000 4194304 7232020 140736901433760 18446744073709551615 216734839493 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 26536 1457 974 742 0 19107 0
[pid=23043/tid=23044] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1458 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1458 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1458 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1459 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1459 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1459 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=106144 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 108691456 1459 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 106144
[startup+0.100582 s]
/proc/loadavg: 1.00 1.08 2.01 3/200 23043
/proc/meminfo: memFree=13657420/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=113428 CPUtime=0.09 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 3411 0 0 0 9 0 0 0 18 0 9 0 541600337 116150272 3317 33554432000 4194304 7232020 140736901433760 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 28357 3317 999 742 0 20928 0
[pid=23043/tid=23044] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 541600337 116150272 3317 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 116150272 3317 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541600337 116150272 3317 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 116150272 3318 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 116150272 3320 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 116150272 3320 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=113428 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 9 0 541600337 116150272 3320 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 113428
[startup+0.300569 s]
/proc/loadavg: 1.00 1.08 2.01 3/200 23043
/proc/meminfo: memFree=13657420/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=119312 CPUtime=0.29 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 4241 0 0 0 29 0 0 0 18 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775711 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 29828 4147 1024 742 0 22399 0
[pid=23043/tid=23044] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 541600337 122175488 4147 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119312
[startup+0.700501 s]
/proc/loadavg: 1.00 1.08 2.01 3/200 23043
/proc/meminfo: memFree=13657420/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=119312 CPUtime=0.69 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 4242 0 0 0 69 0 0 0 18 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076782132 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 29828 4148 1024 742 0 22399 0
[pid=23043/tid=23044] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 541600337 122175488 4148 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 119312
[startup+1.50132 s]
/proc/loadavg: 1.00 1.08 2.01 5/222 23070
/proc/meminfo: memFree=13603368/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=119312 CPUtime=1.5 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 4243 0 0 0 150 0 0 0 18 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076778388 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 29828 4149 1024 742 0 22399 0
[pid=23043/tid=23044] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 122175488 4149 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 119312
[startup+3.10105 s]
/proc/loadavg: 1.24 1.13 2.02 5/222 23070
/proc/meminfo: memFree=13297956/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=119312 CPUtime=3.1 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 4338 0 0 0 310 0 0 0 18 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076777533 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 29828 4244 1024 742 0 22399 0
[pid=23043/tid=23044] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 122175488 4244 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 119312
[startup+6.30045 s]
/proc/loadavg: 1.24 1.13 2.02 5/222 23070
/proc/meminfo: memFree=13249720/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=119312 CPUtime=6.31 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 4542 0 0 0 630 1 0 0 18 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775711 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/23043/statm: 29828 4448 1024 742 0 22399 0
[pid=23043/tid=23044] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=119312 CPUtime=0 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 541600337 122175488 4448 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 13461 0 0 0 4516 2 0 0 18 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775245 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36712 10137 1035 742 0 29283 0
[pid=23043/tid=23044] ppid=23041 vsize=146848 CPUtime=0.14 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 14 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146848 CPUtime=0.15 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 15 0 0 0 16 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146848 CPUtime=0.14 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146848 CPUtime=0.13 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146848 CPUtime=0.12 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 12 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146848 CPUtime=0.15 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146848 CPUtime=0.13 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 541600337 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146848 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150372352 10137 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 45.18
Current children cumulated vsize (KiB) 146848
[startup+47.9012 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12954824/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=146912 CPUtime=48.44 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 14982 0 0 0 4842 2 0 0 20 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 1074946960 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36728 10671 1035 742 0 29299 0
[pid=23043/tid=23044] ppid=23041 vsize=146912 CPUtime=0.15 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 15 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146912 CPUtime=0.16 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146912 CPUtime=0.16 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146912 CPUtime=0.15 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 15 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146912 CPUtime=0.13 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146912 CPUtime=0.18 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146912 CPUtime=0.16 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146912 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150437888 10671 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.44
Current children cumulated vsize (KiB) 146912
[startup+49.5069 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12947508/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=146976 CPUtime=50.08 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 15765 0 0 0 5006 2 0 0 18 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076772856 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36744 11454 1036 742 0 29315 0
[pid=23043/tid=23044] ppid=23041 vsize=146976 CPUtime=0.15 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 15 0 0 0 15 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146976 CPUtime=0.13 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 13 0 0 0 15 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146976 CPUtime=0.19 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 19 0 0 0 16 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 541600337 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146976 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150503424 11454 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.08
Current children cumulated vsize (KiB) 146976
[startup+50.3008 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12947508/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=146976 CPUtime=50.9 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 15767 0 0 0 5088 2 0 0 19 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775745 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36744 11308 1036 742 0 29315 0
[pid=23043/tid=23044] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146976 CPUtime=0.18 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146976 CPUtime=0.14 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 14 0 0 0 16 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146976 CPUtime=0.2 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146976 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 146976
[startup+50.7007 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12936100/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=146976 CPUtime=51.31 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 15767 0 0 0 5129 2 0 0 18 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076776033 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36744 11308 1036 742 0 29315 0
[pid=23043/tid=23044] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146976 CPUtime=0.18 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146976 CPUtime=0.14 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146976 CPUtime=0.2 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 541600337 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146976 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150503424 11308 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.31
Current children cumulated vsize (KiB) 146976
[startup+50.9007 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12936100/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=146976 CPUtime=51.51 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 15768 0 0 0 5149 2 0 0 18 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775832 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 36744 11309 1036 742 0 29315 0
[pid=23043/tid=23044] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=146976 CPUtime=0.18 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 18 0 0 0 16 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=146976 CPUtime=0.16 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 16 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=146976 CPUtime=0.14 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=146976 CPUtime=0.2 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 20 0 0 0 15 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=146976 CPUtime=0.17 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=146976 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 150503424 11309 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.51
Current children cumulated vsize (KiB) 146976
[startup+51.0007 s]
/proc/loadavg: 2.84 1.56 2.12 5/222 23072
/proc/meminfo: memFree=12936100/32951124 swapFree=67102140/67111528
[pid=23043] ppid=23041 vsize=155168 CPUtime=51.62 cores=4,6
/proc/23043/stat : 23043 (mono) R 23041 23043 20890 0 -1 4202496 16764 0 0 0 5160 2 0 0 18 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 1076775634 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/23043/statm: 38792 12305 1036 742 0 31363 0
[pid=23043/tid=23044] ppid=23041 vsize=155168 CPUtime=0.16 cores=4,6
/proc/23043/task/23044/stat : 23044 (mono) S 23041 23043 20890 0 -1 4202560 4 0 0 0 16 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23045] ppid=23041 vsize=155168 CPUtime=0.18 cores=4,6
/proc/23043/task/23045/stat : 23045 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 18 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23046] ppid=23041 vsize=155168 CPUtime=0.17 cores=4,6
/proc/23043/task/23046/stat : 23046 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 16 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23047] ppid=23041 vsize=155168 CPUtime=0.16 cores=4,6
/proc/23043/task/23047/stat : 23047 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 16 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23048] ppid=23041 vsize=155168 CPUtime=0.14 cores=4,6
/proc/23043/task/23048/stat : 23048 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 14 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
[pid=23043/tid=23049] ppid=23041 vsize=155168 CPUtime=0.21 cores=4,6
/proc/23043/task/23049/stat : 23049 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 21 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23050] ppid=23041 vsize=155168 CPUtime=0.17 cores=4,6
/proc/23043/task/23050/stat : 23050 (mono) S 23041 23043 20890 0 -1 4202560 2 0 0 0 17 0 0 0 15 0 9 0 541600337 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216746994585 0 0 4096 545260780 18446604441353046080 0 0 -1 6 0 0 0
[pid=23043/tid=23052] ppid=23041 vsize=155168 CPUtime=0 cores=4,6
/proc/23043/task/23052/stat : 23052 (mono) S 23041 23043 20890 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 541600338 158892032 12305 33554432000 4194304 7232020 140736901433760 18446744073709551615 216747002289 0 0 4096 545260780 18446604441353046080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.62
Current children cumulated vsize (KiB) 155168
Child status: 0
Real time (s): 51.0664
CPU time (s): 51.6911
CPU user time (s): 51.6611
CPU system time (s): 0.029995
CPU usage (%): 101.223
Max. virtual memory (cumulated for all children) (KiB): 155168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.6611
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16978
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= 14466
involuntary context switches= 3121
runsolver used 0.096985 second user time and 0.187971 second system time
The end