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-3263005-1303558494/watcher-3263005-1303558494 -o /tmp/evaluation-result-3263005-1303558494/solver-3263005-1303558494 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3263005-1303558494.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.81 4.12 4.09 5/213 32396
/proc/meminfo: memFree=15486508/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 917 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 825 33554432000 4194304 7232020 140733322890080 18446744073709551615 216634176197 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 25651 825 638 742 0 18222 0
[pid=32396/tid=32397] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 825 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 826 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 828 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 828 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 828 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 828 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=102604 CPUtime=0 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 467451994 105066496 828 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[startup+0.0987711 s]
/proc/loadavg: 3.81 4.12 4.09 5/213 32396
/proc/meminfo: memFree=15486508/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=108312 CPUtime=0.09 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 2087 0 0 0 9 0 0 0 18 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 1075520516 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 27078 1989 976 742 0 19649 0
[pid=32396/tid=32397] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1989 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108312
[startup+0.100768 s]
/proc/loadavg: 3.81 4.12 4.09 5/213 32396
/proc/meminfo: memFree=15486508/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=108312 CPUtime=0.09 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 2096 0 0 0 9 0 0 0 18 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 6233607 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 27078 1998 976 742 0 19649 0
[pid=32396/tid=32397] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=108312 CPUtime=0 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 467451994 110911488 1998 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 108312
[startup+0.302549 s]
/proc/loadavg: 3.81 4.12 4.09 5/213 32396
/proc/meminfo: memFree=15486508/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=113984 CPUtime=0.32 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 3133 0 0 0 31 1 0 0 18 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 1075532246 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 28496 3035 976 742 0 21067 0
[pid=32396/tid=32397] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=113984 CPUtime=0.01 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=113984 CPUtime=0 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 467451994 116719616 3035 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 113984
[startup+0.700668 s]
/proc/loadavg: 3.81 4.12 4.09 5/213 32396
/proc/meminfo: memFree=15486508/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=143744 CPUtime=0.71 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 11030 0 0 0 69 2 0 0 18 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101177138 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 35936 10931 1024 742 0 28507 0
[pid=32396/tid=32397] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=143744 CPUtime=0.01 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=143744 CPUtime=0 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 467451994 147193856 10931 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 143744
[startup+1.50052 s]
/proc/loadavg: 3.81 4.12 4.09 5/222 32405
/proc/meminfo: memFree=15363064/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=143872 CPUtime=1.54 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 11062 0 0 0 152 2 0 0 18 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216634212922 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 35968 10963 1024 742 0 28539 0
[pid=32396/tid=32397] ppid=32394 vsize=143872 CPUtime=0 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=143872 CPUtime=0.02 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=143872 CPUtime=0 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=143872 CPUtime=0 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=143872 CPUtime=0 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=143872 CPUtime=0.01 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=143872 CPUtime=0.01 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 467451994 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=143872 CPUtime=0 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467451995 147324928 10963 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 143872
[startup+3.10121 s]
/proc/loadavg: 3.81 4.12 4.09 5/222 32405
/proc/meminfo: memFree=15360336/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=152128 CPUtime=3.2 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 11833 0 0 0 318 2 0 0 18 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176949 0 0 4096 545260780 18446744073709551615 0 0 17 7 0 0 0
/proc/32396/statm: 38032 11734 1024 742 0 30603 0
[pid=32396/tid=32397] ppid=32394 vsize=152128 CPUtime=0.01 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=152128 CPUtime=0.04 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=152128 CPUtime=0.02 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=152128 CPUtime=0.02 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=152128 CPUtime=0.01 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=152128 CPUtime=0.03 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=152128 CPUtime=0.03 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 467451994 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=152128 CPUtime=0 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 467451995 155779072 11734 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 152128
[startup+6.30068 s]
/proc/loadavg: 4.07 4.17 4.10 5/222 32406
/proc/meminfo: memFree=15334216/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=152128 CPUtime=6.52 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 13020 0 0 0 649 3 0 0 21 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101185762 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 38032 12920 1025 742 0 30603 0
[pid=32396/tid=32397] ppid=32394 vsize=152128 CPUtime=0.03 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=152128 CPUtime=0.06 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 6 0 0 0 15 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=152128 CPUtime=0.05 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=152128 CPUtime=0.05 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 5 0 0 0 15 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=152128 CPUtime=0.04 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 467451994 155779072 12920 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 219 1 0 0 15 0 9 0 467451994 359874560 58752 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=351440 CPUtime=2.51 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 251 0 0 0 15 0 9 0 467451994 359874560 58752 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=351440 CPUtime=2.31 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 231 0 0 0 15 0 9 0 467451994 359874560 58752 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=351440 CPUtime=2.54 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 254 0 0 0 15 0 9 0 467451994 359874560 58752 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=351440 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 359874560 58752 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 950.95
Current children cumulated vsize (KiB) 351440
[startup+1002.32 s]
/proc/loadavg: 4.40 4.30 4.17 5/222 32432
/proc/meminfo: memFree=13733348/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=351440 CPUtime=1011.3 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 153289 0 0 0 101087 43 0 0 25 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646332559 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 87860 61298 1036 742 0 80431 0
[pid=32396/tid=32397] ppid=32394 vsize=351440 CPUtime=2.44 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 243 1 0 0 15 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=351440 CPUtime=2.54 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 254 0 0 0 15 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=351440 CPUtime=2.29 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 229 0 0 0 15 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=351440 CPUtime=2.28 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 227 1 0 0 15 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646332559 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=351440 CPUtime=2.62 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 262 0 0 0 16 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 0 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=351440 CPUtime=2.44 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 244 0 0 0 16 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 6168956 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=351440 CPUtime=2.63 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) R 32394 32396 32134 0 -1 4202560 2 0 0 0 263 0 0 0 16 0 9 0 467451994 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 0 0 0 -1 5 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=351440 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4194368 3 0 0 0 0 1 0 0 15 0 9 0 467451995 359874560 61298 33554432000 4194304 7232020 140733322890080 18446744073709551615 216633903039 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1011.3
Current children cumulated vsize (KiB) 351440
[startup+1062.3 s]
/proc/loadavg: 4.14 4.24 4.16 5/222 32434
/proc/meminfo: memFree=14015656/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=359696 CPUtime=1071.45 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 156908 0 0 0 107101 44 0 0 25 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176174 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 89924 64917 1036 742 0 82495 0
[pid=32396/tid=32397] ppid=32394 vsize=359696 CPUtime=2.48 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 247 1 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=359696 CPUtime=2.6 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 260 0 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=359696 CPUtime=2.31 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 231 0 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=359696 CPUtime=2.31 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 230 1 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=359696 CPUtime=2.67 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 267 0 0 0 16 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=359696 CPUtime=2.5 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 250 0 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=359696 CPUtime=2.67 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 267 0 0 0 15 0 9 0 467451994 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=359696 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 368328704 64917 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1071.45
Current children cumulated vsize (KiB) 359696
[startup+1122.3 s]
/proc/loadavg: 4.05 4.20 4.14 5/222 32435
/proc/meminfo: memFree=13909616/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=384336 CPUtime=1131.92 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 162648 0 0 0 113147 45 0 0 25 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176282 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 96084 69385 1036 742 0 88655 0
[pid=32396/tid=32397] ppid=32394 vsize=384336 CPUtime=2.64 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 263 1 0 0 15 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=384336 CPUtime=2.7 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 270 0 0 0 15 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=384336 CPUtime=2.49 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 249 0 0 0 16 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=384336 CPUtime=2.47 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 246 1 0 0 15 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=384336 CPUtime=2.84 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 284 0 0 0 15 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=384336 CPUtime=2.59 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 259 0 0 0 15 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=384336 CPUtime=2.81 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 281 0 0 0 16 0 9 0 467451994 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=384336 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 393560064 69385 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1131.92
Current children cumulated vsize (KiB) 384336
[startup+1182.3 s]
/proc/loadavg: 4.02 4.16 4.13 5/222 32437
/proc/meminfo: memFree=13794008/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=384464 CPUtime=1192.48 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 166953 0 0 0 119201 47 0 0 25 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176881 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 96116 70881 1036 742 0 88687 0
[pid=32396/tid=32397] ppid=32394 vsize=384464 CPUtime=2.78 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 277 1 0 0 15 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=384464 CPUtime=2.85 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 285 0 0 0 15 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=384464 CPUtime=2.66 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 266 0 0 0 15 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=384464 CPUtime=2.62 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 261 1 0 0 15 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=384464 CPUtime=3.02 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 302 0 0 0 15 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=384464 CPUtime=2.77 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 277 0 0 0 16 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=384464 CPUtime=3.07 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 307 0 0 0 16 0 9 0 467451994 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=384464 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 393691136 70881 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1192.48
Current children cumulated vsize (KiB) 384464
[startup+1242.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/222 32439
/proc/meminfo: memFree=13752444/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=433820 CPUtime=1252.98 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 176240 0 0 0 125250 48 0 0 25 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176945 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 108455 77706 1036 742 0 101026 0
[pid=32396/tid=32397] ppid=32394 vsize=433820 CPUtime=2.94 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 293 1 0 0 16 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=433820 CPUtime=3.01 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 301 0 0 0 16 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=433820 CPUtime=2.72 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 272 0 0 0 16 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=433820 CPUtime=2.79 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 278 1 0 0 16 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=433820 CPUtime=3.15 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 315 0 0 0 15 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=433820 CPUtime=2.88 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 288 0 0 0 15 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=433820 CPUtime=3.2 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 320 0 0 0 16 0 9 0 467451994 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=433820 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 444231680 77706 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1252.98
Current children cumulated vsize (KiB) 433820
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.14 4.16 4.13 2/192 32443
/proc/meminfo: memFree=15270652/32951124 swapFree=67111528/67111528
[pid=32396] ppid=32394 vsize=434780 CPUtime=1310.75 cores=5,7
/proc/32396/stat : 32396 (mono) R 32394 32396 32134 0 -1 4202496 176803 0 0 0 131027 48 0 0 25 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 1101176399 0 0 4096 545260780 18446744073709551615 0 0 17 5 0 0 0
/proc/32396/statm: 108695 77114 1036 742 0 101266 0
[pid=32396/tid=32397] ppid=32394 vsize=434780 CPUtime=2.94 cores=5,7
/proc/32396/task/32397/stat : 32397 (mono) S 32394 32396 32134 0 -1 4202560 4 0 0 0 293 1 0 0 15 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32398] ppid=32394 vsize=434780 CPUtime=3.03 cores=5,7
/proc/32396/task/32398/stat : 32398 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 303 0 0 0 15 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32399] ppid=32394 vsize=434780 CPUtime=2.74 cores=5,7
/proc/32396/task/32399/stat : 32399 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 274 0 0 0 16 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32400] ppid=32394 vsize=434780 CPUtime=2.8 cores=5,7
/proc/32396/task/32400/stat : 32400 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 279 1 0 0 15 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32401] ppid=32394 vsize=434780 CPUtime=3.18 cores=5,7
/proc/32396/task/32401/stat : 32401 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 318 0 0 0 16 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 7 0 0 0
[pid=32396/tid=32402] ppid=32394 vsize=434780 CPUtime=2.89 cores=5,7
/proc/32396/task/32402/stat : 32402 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 289 0 0 0 15 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32403] ppid=32394 vsize=434780 CPUtime=3.2 cores=5,7
/proc/32396/task/32403/stat : 32403 (mono) S 32394 32396 32134 0 -1 4202560 2 0 0 0 320 0 0 0 15 0 9 0 467451994 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646331289 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
[pid=32396/tid=32405] ppid=32394 vsize=434780 CPUtime=0.01 cores=5,7
/proc/32396/task/32405/stat : 32405 (mono) S 32394 32396 32134 0 -1 4202560 3 0 0 0 0 1 0 0 15 0 9 0 467451995 445214720 77114 33554432000 4194304 7232020 140733322890080 18446744073709551615 216646338993 0 0 4096 545260780 18446604471112487232 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1310.75
Current children cumulated vsize (KiB) 434780
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.03
CPU time (s): 1310.79
CPU user time (s): 1310.28
CPU system time (s): 0.502923
CPU usage (%): 100.828
Max. virtual memory (cumulated for all children) (KiB): 434780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1310.28
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176803
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= 43993
involuntary context switches= 12769
runsolver used 2.03769 second user time and 5.09422 second system time
The end