runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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-3189517-1302286924/watcher-3189517-1302286924 -o /tmp/evaluation-result-3189517-1302286924/solver-3189517-1302286924 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3189517-1302286924.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: 3.34 3.94 4.03 3/184 28229
/proc/meminfo: memFree=12768576/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=102536 CPUtime=0 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 780 0 0 0 0 0 0 0 18 0 8 0 340292062 104996864 686 33554432000 4194304 7232020 140735606369040 18446744073709551615 5666888 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 25634 691 534 742 0 18205 0
[pid=28229/tid=28230] ppid=28227 vsize=102536 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 8 0 340292063 104996864 701 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=102536 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 340292063 104996864 709 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=102536 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 340292063 104996864 724 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=102536 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 340292063 104996864 726 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=102604 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 340292063 105066496 733 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=102604 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 340292063 105066496 743 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=102604 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 340292063 105066496 752 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[startup+0.0778459 s]
/proc/loadavg: 3.34 3.94 4.03 3/184 28229
/proc/meminfo: memFree=12768576/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=112412 CPUtime=0.06 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 2883 0 0 0 6 0 0 0 18 0 9 0 340292062 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676625551 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 28103 2787 1008 742 0 20674 0
[pid=28229/tid=28230] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) R 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) R 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676634293 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=112412 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115109888 2787 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 112412
[startup+0.101121 s]
/proc/loadavg: 3.34 3.94 4.03 3/184 28229
/proc/meminfo: memFree=12768576/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=112448 CPUtime=0.09 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 2911 0 0 0 9 0 0 0 18 0 9 0 340292062 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083030867 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 28112 2815 1025 742 0 20683 0
[pid=28229/tid=28230] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=112448 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 340292063 115146752 2815 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 112448
[startup+0.301059 s]
/proc/loadavg: 3.34 3.94 4.03 3/184 28229
/proc/meminfo: memFree=12768576/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=112512 CPUtime=0.3 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 2918 0 0 0 29 1 0 0 18 0 9 0 340292062 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031864 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 28128 2822 1025 742 0 20699 0
[pid=28229/tid=28230] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=112512 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 115212288 2822 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 112512
[startup+0.700985 s]
/proc/loadavg: 3.34 3.94 4.03 3/184 28229
/proc/meminfo: memFree=12768576/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=114640 CPUtime=0.7 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 3324 0 0 0 69 1 0 0 18 0 9 0 340292062 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031675 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 28660 3228 1025 742 0 21231 0
[pid=28229/tid=28230] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=114640 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 340292063 117391360 3228 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 114640
[startup+1.50086 s]
/proc/loadavg: 3.34 3.94 4.03 5/220 28275
/proc/meminfo: memFree=12737044/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=117532 CPUtime=1.51 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 3921 0 0 0 150 1 0 0 18 0 9 0 340292062 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031119 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/28229/statm: 29383 3825 1025 742 0 21954 0
[pid=28229/tid=28230] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=117532 CPUtime=0 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 340292063 120352768 3825 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 117532
[startup+3.10062 s]
/proc/loadavg: 3.34 3.94 4.03 6/220 28310
/proc/meminfo: memFree=12731080/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=121808 CPUtime=3.12 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 4805 0 0 0 310 2 0 0 18 0 9 0 340292062 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031002 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 30452 4596 1025 742 0 23023 0
[pid=28229/tid=28230] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=121808 CPUtime=0 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 340292063 124731392 4596 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 121808
[startup+6.30106 s]
/proc/loadavg: 3.31 3.92 4.03 5/220 28380
/proc/meminfo: memFree=12712384/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=121872 CPUtime=6.34 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 5921 0 0 0 632 2 0 0 18 0 9 0 340292062 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031002 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 30468 5177 1025 742 0 23039 0
[pid=28229/tid=28230] ppid=28227 vsize=121872 CPUtime=0.01 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 340292063 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=121872 CPUtime=0.01 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 340292063 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=121872 CPUtime=0.01 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 340292063 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=121872 CPUtime=0.01 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 340292063 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=121872 CPUtime=0.01 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 340292063 124796928 5177 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 115 1 0 0 16 0 9 0 340292063 292052992 46245 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=285208 CPUtime=1.14 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 114 0 0 0 15 0 9 0 340292063 292052992 46245 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=285208 CPUtime=1.24 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 124 0 0 0 15 0 9 0 340292063 292052992 46245 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=285208 CPUtime=1.13 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 112 1 0 0 16 0 9 0 340292063 292052992 46245 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=285208 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 292052992 46245 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 946.37
Current children cumulated vsize (KiB) 285208
[startup+1002.3 s]
/proc/loadavg: 4.03 4.03 4.01 5/220 28441
/proc/meminfo: memFree=12121380/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293464 CPUtime=1006.69 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 96680 0 0 0 100639 30 0 0 25 0 9 0 340292062 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083030768 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73366 46911 1037 742 0 65937 0
[pid=28229/tid=28230] ppid=28227 vsize=293464 CPUtime=1.23 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 123 0 0 0 16 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293464 CPUtime=1.28 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 127 1 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293464 CPUtime=1.16 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 116 0 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293464 CPUtime=1.27 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 126 1 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293464 CPUtime=1.24 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 124 0 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293464 CPUtime=1.29 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 129 0 0 0 16 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293464 CPUtime=1.21 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 120 1 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293464 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300507136 46911 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1006.69
Current children cumulated vsize (KiB) 293464
[startup+1062.3 s]
/proc/loadavg: 4.01 4.02 4.01 5/220 28443
/proc/meminfo: memFree=12061100/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293848 CPUtime=1066.78 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 97101 0 0 0 106647 31 0 0 25 0 9 0 340292062 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083030848 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73462 47332 1037 742 0 66033 0
[pid=28229/tid=28230] ppid=28227 vsize=293848 CPUtime=1.26 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 126 0 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293848 CPUtime=1.29 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 128 1 0 0 16 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293848 CPUtime=1.21 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 121 0 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293848 CPUtime=1.29 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 128 1 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293848 CPUtime=1.26 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 126 0 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293848 CPUtime=1.3 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 130 0 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293848 CPUtime=1.23 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 122 1 0 0 16 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293848 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300900352 47332 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1066.78
Current children cumulated vsize (KiB) 293848
[startup+1122.3 s]
/proc/loadavg: 4.00 4.02 4.00 5/220 28445
/proc/meminfo: memFree=12082416/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293848 CPUtime=1127.03 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 101988 0 0 0 112670 33 0 0 20 0 9 0 340292062 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031609 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73462 38654 1037 742 0 66033 0
[pid=28229/tid=28230] ppid=28227 vsize=293848 CPUtime=1.36 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 136 0 0 0 16 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293848 CPUtime=1.35 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 134 1 0 0 16 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293848 CPUtime=1.28 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 128 0 0 0 15 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293848 CPUtime=1.37 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 136 1 0 0 16 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293848 CPUtime=1.36 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 136 0 0 0 15 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293848 CPUtime=1.39 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 139 0 0 0 15 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293848 CPUtime=1.29 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 128 1 0 0 15 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293848 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300900352 38654 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1127.03
Current children cumulated vsize (KiB) 293848
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 4.00 5/220 28445
/proc/meminfo: memFree=12132132/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293848 CPUtime=1187.34 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 105440 0 0 0 118697 37 0 0 25 0 9 0 340292062 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274668265314 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73462 39009 1037 742 0 66033 0
[pid=28229/tid=28230] ppid=28227 vsize=293848 CPUtime=1.46 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 146 0 0 0 15 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293848 CPUtime=1.49 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 148 1 0 0 16 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293848 CPUtime=1.35 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 135 0 0 0 15 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293848 CPUtime=1.45 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 144 1 0 0 16 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293848 CPUtime=1.43 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 143 0 0 0 15 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293848 CPUtime=1.46 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 146 0 0 0 16 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293848 CPUtime=1.36 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 135 1 0 0 16 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293848 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300900352 39009 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1187.34
Current children cumulated vsize (KiB) 293848
[startup+1242.3 s]
/proc/loadavg: 4.04 4.02 4.00 5/220 28447
/proc/meminfo: memFree=12133732/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293848 CPUtime=1247.67 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 110610 0 0 0 124728 39 0 0 25 0 9 0 340292062 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031669 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73462 42754 1037 742 0 66033 0
[pid=28229/tid=28230] ppid=28227 vsize=293848 CPUtime=1.54 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 154 0 0 0 16 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293848 CPUtime=1.6 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 159 1 0 0 16 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293848 CPUtime=1.47 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 147 0 0 0 16 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293848 CPUtime=1.52 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 151 1 0 0 15 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293848 CPUtime=1.55 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 155 0 0 0 15 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293848 CPUtime=1.54 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 154 0 0 0 15 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293848 CPUtime=1.43 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 142 1 0 0 16 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293848 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300900352 42754 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1247.67
Current children cumulated vsize (KiB) 293848
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 4.02 4.00 5/220 28449
/proc/meminfo: memFree=12110528/32951132 swapFree=67111528/67111528
[pid=28229] ppid=28227 vsize=293848 CPUtime=1305.6 cores=5,7
/proc/28229/stat : 28229 (mono) R 28227 28229 27190 0 -1 4202496 114329 0 0 0 130519 41 0 0 25 0 9 0 340292062 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 1083031669 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/28229/statm: 73462 45252 1037 742 0 66033 0
[pid=28229/tid=28230] ppid=28227 vsize=293848 CPUtime=1.6 cores=5,7
/proc/28229/task/28230/stat : 28230 (mono) S 28227 28229 27190 0 -1 4202560 4 0 0 0 160 0 0 0 15 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28231] ppid=28227 vsize=293848 CPUtime=1.67 cores=5,7
/proc/28229/task/28231/stat : 28231 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 166 1 0 0 15 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28232] ppid=28227 vsize=293848 CPUtime=1.54 cores=5,7
/proc/28229/task/28232/stat : 28232 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 153 1 0 0 15 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28233] ppid=28227 vsize=293848 CPUtime=1.61 cores=5,7
/proc/28229/task/28233/stat : 28233 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 160 1 0 0 16 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 7 0 0 0
[pid=28229/tid=28234] ppid=28227 vsize=293848 CPUtime=1.6 cores=5,7
/proc/28229/task/28234/stat : 28234 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 160 0 0 0 16 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28235] ppid=28227 vsize=293848 CPUtime=1.59 cores=5,7
/proc/28229/task/28235/stat : 28235 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 159 0 0 0 15 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28236] ppid=28227 vsize=293848 CPUtime=1.46 cores=5,7
/proc/28229/task/28236/stat : 28236 (mono) S 28227 28229 27190 0 -1 4202560 2 0 0 0 145 1 0 0 16 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676624281 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
[pid=28229/tid=28239] ppid=28227 vsize=293848 CPUtime=0.01 cores=5,7
/proc/28229/task/28239/stat : 28239 (mono) S 28227 28229 27190 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 340292063 300900352 45252 33554432000 4194304 7232020 140735606369040 18446744073709551615 274676631985 0 0 4096 545260780 18446604471161828352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1305.6
Current children cumulated vsize (KiB) 293848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1305.62
CPU user time (s): 1305.2
CPU system time (s): 0.419936
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 293848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.2
system time used= 0.419936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114329
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= 49369
involuntary context switches= 14697
runsolver used 2.10668 second user time and 5.01024 second system time
The end