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-3291556-1303791076/watcher-3291556-1303791076 -o /tmp/evaluation-result-3291556-1303791076/solver-3291556-1303791076 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3291556-1303791076.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.74 3.66 3.63 2/174 16081
/proc/meminfo: memFree=24826616/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=21044 CPUtime=0 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4194304 237 0 0 0 0 0 0 0 22 0 1 0 569338274 21549056 184 33554432000 4194304 7232020 140736706460352 18446744073709551615 260900431409 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16081/statm: 5261 193 159 742 0 115 0
[startup+0.10971 s]
/proc/loadavg: 2.74 3.66 3.63 2/174 16081
/proc/meminfo: memFree=24826616/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=121372 CPUtime=0.1 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 4548 0 0 0 10 0 0 0 18 0 9 0 569338274 124284928 4454 33554432000 4194304 7232020 140736706460352 18446744073709551615 260905086672 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 30343 4454 999 742 0 22914 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 121372
[startup+0.200588 s]
/proc/loadavg: 2.74 3.66 3.63 2/174 16081
/proc/meminfo: memFree=24826616/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=126692 CPUtime=0.19 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 5724 0 0 0 19 0 0 0 18 0 9 0 569338274 129732608 5630 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075163083 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 31673 5630 1024 742 0 24244 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 126692
[startup+0.30057 s]
/proc/loadavg: 2.74 3.66 3.63 2/174 16081
/proc/meminfo: memFree=24826616/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=126756 CPUtime=0.29 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 5800 0 0 0 29 0 0 0 18 0 9 0 569338274 129798144 5706 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075159994 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 31689 5706 1024 742 0 24260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126756
[startup+0.700496 s]
/proc/loadavg: 2.74 3.66 3.63 2/174 16081
/proc/meminfo: memFree=24826616/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=126884 CPUtime=0.69 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 5831 0 0 0 69 0 0 0 18 0 9 0 569338274 129929216 5737 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075160016 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 31721 5737 1024 742 0 24292 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126884
[startup+1.50035 s]
/proc/loadavg: 2.84 3.66 3.63 5/187 16100
/proc/meminfo: memFree=24750260/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=126948 CPUtime=1.49 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 5994 0 0 0 149 0 0 0 20 0 9 0 569338274 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156143 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 31737 5900 1024 742 0 24308 0
[pid=16081/tid=16083] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=126948 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 129994752 5900 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126948
[startup+3.10112 s]
/proc/loadavg: 2.84 3.66 3.63 9/211 16128
/proc/meminfo: memFree=24645288/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=127076 CPUtime=3.1 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 6775 0 0 0 310 0 0 0 25 0 9 0 569338274 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075155583 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 31769 6681 1024 742 0 24340 0
[pid=16081/tid=16083] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569338275 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=127076 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 130125824 6681 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 127076
[startup+6.30047 s]
/proc/loadavg: 2.84 3.66 3.63 5/222 16142
/proc/meminfo: memFree=23796296/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=134084 CPUtime=6.31 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 8508 0 0 0 631 0 0 0 25 0 9 0 569338274 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156133 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 33521 8414 1024 742 0 26092 0
[pid=16081/tid=16083] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=134084 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 137302016 8414 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 134084
[startup+12.7014 s]
/proc/loadavg: 3.68 3.82 3.69 6/222 16142
/proc/meminfo: memFree=22210500/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=142468 CPUtime=12.74 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 10496 0 0 0 1273 1 0 0 25 0 9 0 569338274 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156126 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 35617 10402 1025 742 0 28188 0
[pid=16081/tid=16083] ppid=16079 vsize=142468 CPUtime=0.01 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=142468 CPUtime=0.01 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=142468 CPUtime=0.01 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=142468 CPUtime=0.02 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=142468 CPUtime=0.01 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=142468 CPUtime=0 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=142468 CPUtime=0.01 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 569338275 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=142468 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 145887232 10402 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 142468
[startup+25.501 s]
/proc/loadavg: 3.73 3.83 3.69 5/222 16142
/proc/meminfo: memFree=19213552/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=159172 CPUtime=25.61 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 13986 0 0 0 2559 2 0 0 25 0 9 0 569338274 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075152573 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 39793 13892 1025 742 0 32364 0
[pid=16081/tid=16083] ppid=16079 vsize=159172 CPUtime=0.03 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 3 0 0 0 16 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=159172 CPUtime=0.03 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=159172 CPUtime=0.02 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=159172 CPUtime=0.03 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=159172 CPUtime=0.03 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=159172 CPUtime=0.02 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=159172 CPUtime=0.02 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 569338275 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=159172 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 162992128 13892 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 159172
[startup+51.1013 s]
/proc/loadavg: 3.89 3.85 3.70 5/222 16143
/proc/meminfo: memFree=18584136/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=176004 CPUtime=51.29 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 20693 0 0 0 5126 3 0 0 25 0 9 0 569338274 180228096 18799 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075152701 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 44001 18799 1036 742 0 36572 0
[pid=16081/tid=16083] ppid=16079 vsize=176004 CPUtime=0.05 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 5 0 0 0 15 0 9 0 569338275 180228096 18799 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=176004 CPUtime=0.05 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 5 0 0 0 16 0 9 0 569338275 180228096 18799 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=176004 CPUtime=0.05 cores=0,2
################
# More data... #
################
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 134 0 0 0 16 0 9 0 569338275 385425408 64690 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=376392 CPUtime=1.18 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 118 0 0 0 15 0 9 0 569338275 385425408 64690 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=376392 CPUtime=1.17 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 117 0 0 0 16 0 9 0 569338275 385425408 64690 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=376392 CPUtime=1.27 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 126 1 0 0 16 0 9 0 569338275 385425408 64690 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=376392 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 385425408 64690 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1006.68
Current children cumulated vsize (KiB) 376392
[startup+1062.3 s]
/proc/loadavg: 4.03 4.06 3.91 5/222 16170
/proc/meminfo: memFree=18077916/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=376392 CPUtime=1067.02 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 148786 0 0 0 106668 34 0 0 25 0 9 0 569338274 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075155583 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 94098 69109 1036 742 0 86669 0
[pid=16081/tid=16083] ppid=16079 vsize=376392 CPUtime=1.21 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 121 0 0 0 15 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=376392 CPUtime=1.36 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 136 0 0 0 15 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=376392 CPUtime=1.26 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 126 0 0 0 16 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=376392 CPUtime=1.39 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 139 0 0 0 16 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=376392 CPUtime=1.32 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 132 0 0 0 15 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=376392 CPUtime=1.27 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 127 0 0 0 16 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=376392 CPUtime=1.36 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 135 1 0 0 16 0 9 0 569338275 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=376392 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 385425408 69109 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1067.02
Current children cumulated vsize (KiB) 376392
[startup+1122.3 s]
/proc/loadavg: 4.01 4.05 3.91 5/222 16172
/proc/meminfo: memFree=18098088/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=392840 CPUtime=1127.37 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 151880 0 0 0 112703 34 0 0 25 0 9 0 569338274 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156126 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 98210 71916 1036 742 0 90781 0
[pid=16081/tid=16083] ppid=16079 vsize=392840 CPUtime=1.4 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 140 0 0 0 16 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=392840 CPUtime=1.42 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 142 0 0 0 15 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=392840 CPUtime=1.37 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 137 0 0 0 16 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=392840 CPUtime=1.48 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 148 0 0 0 15 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=392840 CPUtime=1.38 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 137 1 0 0 16 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=392840 CPUtime=1.4 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 140 0 0 0 16 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=392840 CPUtime=1.47 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 146 1 0 0 16 0 9 0 569338275 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=392840 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 402268160 71916 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.37
Current children cumulated vsize (KiB) 392840
[startup+1182.3 s]
/proc/loadavg: 4.00 4.04 3.91 5/222 16173
/proc/meminfo: memFree=18079448/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=409480 CPUtime=1187.6 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 156350 0 0 0 118724 36 0 0 25 0 9 0 569338274 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075155583 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 102370 76386 1036 742 0 94941 0
[pid=16081/tid=16083] ppid=16079 vsize=409480 CPUtime=1.46 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 146 0 0 0 15 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=409480 CPUtime=1.48 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 148 0 0 0 16 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=409480 CPUtime=1.43 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 143 0 0 0 15 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=409480 CPUtime=1.55 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 155 0 0 0 15 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=409480 CPUtime=1.45 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 144 1 0 0 16 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=409480 CPUtime=1.45 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 145 0 0 0 15 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=409480 CPUtime=1.55 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 154 1 0 0 15 0 9 0 569338275 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=409480 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 419307520 76386 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1187.6
Current children cumulated vsize (KiB) 409480
[startup+1242.3 s]
/proc/loadavg: 4.00 4.03 3.91 5/222 16175
/proc/meminfo: memFree=18074700/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=409992 CPUtime=1247.66 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 157285 0 0 0 124730 36 0 0 25 0 9 0 569338274 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156143 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 102498 77321 1036 742 0 95069 0
[pid=16081/tid=16083] ppid=16079 vsize=409992 CPUtime=1.49 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 149 0 0 0 16 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=409992 CPUtime=1.53 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 153 0 0 0 16 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=409992 CPUtime=1.44 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 144 0 0 0 16 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=409992 CPUtime=1.55 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 155 0 0 0 15 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=409992 CPUtime=1.46 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 145 1 0 0 15 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=409992 CPUtime=1.45 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 145 0 0 0 15 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=409992 CPUtime=1.57 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 156 1 0 0 16 0 9 0 569338275 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=409992 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 419831808 77321 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1247.66
Current children cumulated vsize (KiB) 409992
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.02 3.91 5/222 16176
/proc/meminfo: memFree=18015008/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=467784 CPUtime=1305.67 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 171924 0 0 0 130528 39 0 0 25 0 9 0 569338274 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156345 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 116946 91960 1036 742 0 109517 0
[pid=16081/tid=16083] ppid=16079 vsize=467784 CPUtime=1.57 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 157 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=467784 CPUtime=1.6 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 160 0 0 0 15 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=467784 CPUtime=1.52 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 152 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=467784 CPUtime=1.62 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 162 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=467784 CPUtime=1.52 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 151 1 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=467784 CPUtime=1.53 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 153 0 0 0 15 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=467784 CPUtime=1.69 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 168 1 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=467784 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1305.67
Current children cumulated vsize (KiB) 467784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.00 4.02 3.91 5/222 16176
/proc/meminfo: memFree=18015008/32950928 swapFree=67071984/67111528
[pid=16081] ppid=16079 vsize=467784 CPUtime=1305.67 cores=0,2
/proc/16081/stat : 16081 (mono) R 16079 16081 14972 0 -1 4202496 171924 0 0 0 130528 39 0 0 25 0 9 0 569338274 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 1075156345 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/16081/statm: 116946 91960 1036 742 0 109517 0
[pid=16081/tid=16083] ppid=16079 vsize=467784 CPUtime=1.57 cores=0,2
/proc/16081/task/16083/stat : 16083 (mono) S 16079 16081 14972 0 -1 4202560 4 0 0 0 157 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16084] ppid=16079 vsize=467784 CPUtime=1.6 cores=0,2
/proc/16081/task/16084/stat : 16084 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 160 0 0 0 15 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16085] ppid=16079 vsize=467784 CPUtime=1.52 cores=0,2
/proc/16081/task/16085/stat : 16085 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 152 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16086] ppid=16079 vsize=467784 CPUtime=1.62 cores=0,2
/proc/16081/task/16086/stat : 16086 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 162 0 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16087] ppid=16079 vsize=467784 CPUtime=1.52 cores=0,2
/proc/16081/task/16087/stat : 16087 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 151 1 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
[pid=16081/tid=16088] ppid=16079 vsize=467784 CPUtime=1.53 cores=0,2
/proc/16081/task/16088/stat : 16088 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 153 0 0 0 15 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16089] ppid=16079 vsize=467784 CPUtime=1.69 cores=0,2
/proc/16081/task/16089/stat : 16089 (mono) S 16079 16081 14972 0 -1 4202560 2 0 0 0 168 1 0 0 16 0 9 0 569338275 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917210009 0 0 4096 545260780 18446604453856119616 0 0 -1 0 0 0 0
[pid=16081/tid=16090] ppid=16079 vsize=467784 CPUtime=0 cores=0,2
/proc/16081/task/16090/stat : 16090 (mono) S 16079 16081 14972 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 569338276 479010816 91960 33554432000 4194304 7232020 140736706460352 18446744073709551615 260917217713 0 0 4096 545260780 18446604453856119616 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1305.67
Current children cumulated vsize (KiB) 467784
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1305.7
CPU user time (s): 1305.29
CPU system time (s): 0.407937
CPU usage (%): 100.436
Max. virtual memory (cumulated for all children) (KiB): 467784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.29
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171924
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= 23644
involuntary context switches= 10272
runsolver used 2.08968 second user time and 5.02724 second system time
The end