runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710023-1338217990/watcher-3710023-1338217990 -o /tmp/evaluation-result-3710023-1338217990/solver-3710023-1338217990 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710023-1338217990.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 25621
/proc/meminfo: memFree=28427652/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25621/stat : 25621 (java) D 25619 25621 24478 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 287924971 9515008 182 33554432000 1073741824 1073778376 140736906251184 140736906242216 217410518709 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/25621/statm: 2323 182 140 9 0 71 0
[startup+0.0576759 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 25621
/proc/meminfo: memFree=28427652/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 3133 0 1 0 2 0 0 0 20 0 13 0 287924971 9446973440 3831 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2306390 3831 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100209 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 25621
/proc/meminfo: memFree=28427652/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 4345 0 1 0 8 1 0 0 20 0 18 0 287924971 9787842560 5042 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2389610 5042 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300169 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 25621
/proc/meminfo: memFree=28427652/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9558440 CPUtime=0.54 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 7222 0 1 0 53 1 0 0 20 0 18 0 287924971 9787842560 10788 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2389610 10788 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558440
[startup+0.700167 s]
/proc/loadavg: 2.10 2.08 2.02 3/194 25621
/proc/meminfo: memFree=28427652/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 9601 0 1 0 140 4 0 0 20 0 19 0 287924971 9856004096 37596 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 37630 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625004
[startup+1.50069 s]
/proc/loadavg: 2.10 2.08 2.02 4/213 25640
/proc/meminfo: memFree=28283924/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=2.44 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 10213 0 1 0 240 4 0 0 20 0 19 0 287924971 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 38134 2262 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=1.46 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2625 0 1 0 143 3 0 0 20 0 19 0 287924972 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098608894536 140098549444772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 2949 0 0 0 48 0 0 0 20 0 19 0 287924977 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 3440 0 0 0 47 0 0 0 20 0 19 0 287924977 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 38134 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625004
[startup+3.10069 s]
/proc/loadavg: 2.09 2.07 2.02 3/213 25640
/proc/meminfo: memFree=28282924/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=4.05 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 10215 0 1 0 401 4 0 0 20 0 19 0 287924971 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 38135 2262 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=3.05 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2626 0 1 0 302 3 0 0 20 0 19 0 287924972 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098608894456 140098549330671 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 2949 0 0 0 49 0 0 0 20 0 19 0 287924977 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 3440 0 0 0 47 0 0 0 20 0 19 0 287924977 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 38135 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625004
[startup+6.30063 s]
/proc/loadavg: 2.09 2.07 2.02 3/213 25640
/proc/meminfo: memFree=28256372/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=7.72 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 16339 0 1 0 766 6 0 0 20 0 19 0 287924971 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 44607 2287 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=6.21 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2630 0 1 0 618 3 0 0 20 0 19 0 287924972 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098608894456 140098549312615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287924973 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 287924974 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 9004 0 0 0 90 2 0 0 20 0 19 0 287924977 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 287924977 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 44607 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 87 0 0 0 42 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 59 0 0 0 42 2 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 341 0 0 0 50 5 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=3.84 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 145 0 0 0 382 2 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 9004 0 0 0 91 2 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 4047 0 0 0 67 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 97 0 0 0 18 17 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.69
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/213 25716
/proc/meminfo: memFree=28031072/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=1726.83 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 18362 0 1 0 172630 53 0 0 20 0 19 0 287924971 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 103623 2288 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=1716.96 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2698 0 1 0 171665 31 0 0 20 0 19 0 287924972 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098608894256 140098549295812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 66 0 0 0 36 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 200 0 0 0 51 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 164 0 0 0 47 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 55 0 0 0 48 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 207 0 0 0 55 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 87 0 0 0 44 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 59 0 0 0 45 2 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 341 0 0 0 53 5 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=3.97 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 149 0 0 0 395 2 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 9004 0 0 0 91 2 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 4047 0 0 0 67 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 99 0 0 0 19 18 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.83
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 25716
/proc/meminfo: memFree=28020468/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=1786.92 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 18369 0 1 0 178638 54 0 0 20 0 19 0 287924971 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 103623 2288 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=1776.84 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2699 0 1 0 177652 32 0 0 20 0 19 0 287924972 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098608894256 140098549302278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 66 0 0 0 38 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 200 0 0 0 52 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 164 0 0 0 48 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 55 0 0 0 49 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 207 0 0 0 57 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 87 0 0 0 45 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 59 0 0 0 46 2 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 341 0 0 0 54 5 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=4.06 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 151 0 0 0 404 2 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 9004 0 0 0 91 2 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 4047 0 0 0 67 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 103 0 0 0 20 19 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.92
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 25716
/proc/meminfo: memFree=28014324/32873648 swapFree=7372/7372
[pid=25621] ppid=25619 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/25621/stat : 25621 (java) S 25619 25621 24478 0 -1 4202496 18369 0 1 0 179948 54 0 0 20 0 19 0 287924971 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140735140283888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25621/statm: 2406251 103623 2288 9 0 2396937 0
[pid=25621/tid=25623] ppid=25619 vsize=9625004 CPUtime=1789.94 cores=0,2,4,6
/proc/25621/task/25623/stat : 25623 (java) R 25619 25621 24478 0 -1 4202560 2699 0 1 0 178962 32 0 0 20 0 19 0 287924972 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098608894256 140098549444772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25624] ppid=25619 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/25621/task/25624/stat : 25624 (java) S 25619 25621 24478 0 -1 4202560 66 0 0 0 38 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098547624360 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25625] ppid=25619 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/25621/task/25625/stat : 25625 (java) S 25619 25621 24478 0 -1 4202560 200 0 0 0 52 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098546571816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25626] ppid=25619 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25621/task/25626/stat : 25626 (java) S 25619 25621 24478 0 -1 4202560 164 0 0 0 48 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098450176168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25627] ppid=25619 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/25621/task/25627/stat : 25627 (java) S 25619 25621 24478 0 -1 4202560 55 0 0 0 49 3 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098449123624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25628] ppid=25619 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/25621/task/25628/stat : 25628 (java) S 25619 25621 24478 0 -1 4202560 207 0 0 0 57 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098448071592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25629] ppid=25619 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/25621/task/25629/stat : 25629 (java) S 25619 25621 24478 0 -1 4202560 87 0 0 0 45 4 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098447019048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25630] ppid=25619 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/25621/task/25630/stat : 25630 (java) S 25619 25621 24478 0 -1 4202560 59 0 0 0 46 2 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098445965992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25631] ppid=25619 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/25621/task/25631/stat : 25631 (java) S 25619 25621 24478 0 -1 4202560 341 0 0 0 54 5 0 0 20 0 19 0 287924973 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098444913448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25621/tid=25632] ppid=25619 vsize=9625004 CPUtime=4.06 cores=0,2,4,6
/proc/25621/task/25632/stat : 25632 (java) S 25619 25621 24478 0 -1 4202560 151 0 0 0 404 2 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098432715112 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25633] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25633/stat : 25633 (java) S 25619 25621 24478 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287924974 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098431661432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25634] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25634/stat : 25634 (java) S 25619 25621 24478 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287924975 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098430608264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25635] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25635/stat : 25635 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098429557008 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25636] ppid=25619 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/25621/task/25636/stat : 25636 (java) S 25619 25621 24478 0 -1 4202560 9004 0 0 0 91 2 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098428504888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25637] ppid=25619 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/25621/task/25637/stat : 25637 (java) S 25619 25621 24478 0 -1 4202560 4047 0 0 0 67 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098427452344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25621/tid=25638] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25638/stat : 25638 (java) S 25619 25621 24478 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098426399480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25621/tid=25639] ppid=25619 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/25621/task/25639/stat : 25639 (java) S 25619 25621 24478 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 287924977 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098425347144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25621/tid=25640] ppid=25619 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25621/task/25640/stat : 25640 (java) S 25619 25621 24478 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 287925031 9856004096 103623 33554432000 1073741824 1073778376 140735140292752 140098424292392 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.47
CPU time (s): 1800.61
CPU user time (s): 1799.62
CPU system time (s): 0.991849
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.991849
maximum resident set size= 414620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18404
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39893
involuntary context switches= 25345
runsolver used 5.84911 second user time and 14.4248 second system time
The end