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-3731043-1338683282/watcher-3731043-1338683282 -o /tmp/evaluation-result-3731043-1338683282/solver-3731043-1338683282 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731043-1338683282.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.00 2.00 1.95 3/194 3055
/proc/meminfo: memFree=28454276/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (java) R 3053 3055 1585 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334453634 9515008 182 33554432000 1073741824 1073778376 140735080770480 140735080761512 214537420469 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 2323 182 140 9 0 71 0
[startup+0.0445561 s]
/proc/loadavg: 2.00 2.00 1.95 3/194 3055
/proc/meminfo: memFree=28454276/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 3909 0 1 0 2 0 0 0 20 0 13 0 334453634 2686889984 5118 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 655979 5118 1683 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 1.95 3/194 3055
/proc/meminfo: memFree=28454276/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 4898 0 1 0 8 1 0 0 20 0 18 0 334453634 3028844544 6612 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 739464 6612 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300218 s]
/proc/loadavg: 2.00 2.00 1.95 3/194 3055
/proc/meminfo: memFree=28454276/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 5951 0 1 0 45 1 0 0 20 0 19 0 334453634 3097006080 9436 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 9436 2248 9 0 746526 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 3024420
[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 1.95 3/194 3055
/proc/meminfo: memFree=28454276/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=1.15 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 9909 0 1 0 111 4 0 0 20 0 19 0 334453634 3097006080 47444 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 47444 2260 9 0 746526 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 3024420
[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 3075
/proc/meminfo: memFree=28141460/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=2.03 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 10069 0 1 0 194 9 0 0 20 0 19 0 334453634 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 113007 2278 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) R 3053 3055 1585 0 -1 4202560 3239 0 1 0 138 8 0 0 20 0 19 0 334453635 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232341262760 140232176057792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) S 3053 3055 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232324688040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334453637 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 22 0 0 0 20 0 19 0 334453640 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 113007 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 3024420
[startup+3.10072 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 3077
/proc/meminfo: memFree=28009644/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=3.64 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 10087 0 1 0 355 9 0 0 20 0 19 0 334453634 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 115569 2278 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) R 3053 3055 1585 0 -1 4202560 3241 0 1 0 297 8 0 0 20 0 19 0 334453635 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232341261616 140232175895882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) S 3053 3055 1585 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232324688040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) S 3053 3055 1585 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334453637 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 22 0 0 0 20 0 19 0 334453640 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3077] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3077/stat : 3077 (java) S 3053 3055 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334453785 3097006080 115569 33554432000 1073741824 1073778376 140733519907472 140232295339176 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 3024420
[startup+6.30771 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 3077
/proc/meminfo: memFree=27994624/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=6.92 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 10118 0 1 0 681 11 0 0 20 0 19 0 334453634 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 119075 2278 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=6.23 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) S 3053 3055 1585 0 -1 4202560 3244 0 1 0 615 8 0 0 20 0 19 0 334453635 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232341261752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) R 3053 3055 1585 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232324688040 140232345438475 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) R 3053 3055 1585 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) R 3053 3055 1585 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232319425320 214537374855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) R 3053 3055 1585 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 334453636 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232317320408 214537374855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334453637 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232304907272 214540792892 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 23 0 0 0 20 0 19 0 334453640 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3077] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3077/stat : 3077 (java) S 3053 3055 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334453785 3097006080 119075 33554432000 1073741824 1073778376 140733519907472 140232295339176 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 3024420
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 3077
/proc/meminfo: memFree=27869148/32873648 swapFree=7116/7116
################
# More data... #
################
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 166 0 0 0 212 4 0 0 20 0 19 0 334453636 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=2.03 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 152 0 0 0 199 4 0 0 20 0 19 0 334453636 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=2.27 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 189 0 0 0 222 5 0 0 20 0 19 0 334453636 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 101 0 0 0 3 2 0 0 20 0 19 0 334453637 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 23 0 0 0 20 0 19 0 334453640 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 95 0 0 0 28 30 0 0 20 0 19 0 334453640 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3083] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3083/stat : 3083 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334475413 3097006080 271363 33554432000 1073741824 1073778376 140733519907472 140232295339432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.95
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/213 3228
/proc/meminfo: memFree=28071320/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=1736.45 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 11925 0 1 0 173560 85 0 0 20 0 19 0 334453634 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 274287 2279 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=1716.93 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) R 3053 3055 1585 0 -1 4202560 3531 0 1 0 171654 39 0 0 20 0 19 0 334453635 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232341261472 140232175946263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) S 3053 3055 1585 0 -1 4202560 169 0 0 0 236 4 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232324688040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=2.3 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 177 0 0 0 225 5 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 163 0 0 0 236 4 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=2.36 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) S 3053 3055 1585 0 -1 4202560 181 0 0 0 232 4 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 178 0 0 0 236 4 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=2.23 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 168 0 0 0 219 4 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=2.11 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 157 0 0 0 206 5 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=2.33 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 190 0 0 0 228 5 0 0 20 0 19 0 334453636 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 105 0 0 0 3 2 0 0 20 0 19 0 334453637 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 23 0 0 0 20 0 19 0 334453640 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 99 0 0 0 29 31 0 0 20 0 19 0 334453640 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3083] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3083/stat : 3083 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334475413 3097006080 274287 33554432000 1073741824 1073778376 140733519907472 140232295339432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1736.45
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/213 3229
/proc/meminfo: memFree=28052808/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=1796.98 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 11975 0 1 0 179611 87 0 0 20 0 19 0 334453634 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 277382 2279 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=1776.71 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) R 3053 3055 1585 0 -1 4202560 3537 0 1 0 177630 41 0 0 20 0 19 0 334453635 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232341261736 140232175994057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=2.49 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) S 3053 3055 1585 0 -1 4202560 171 0 0 0 245 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232324688040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 182 0 0 0 234 6 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=2.49 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 175 0 0 0 245 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=2.45 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) S 3053 3055 1585 0 -1 4202560 183 0 0 0 241 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=2.51 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 179 0 0 0 247 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=2.32 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 170 0 0 0 227 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 162 0 0 0 217 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=2.41 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 197 0 0 0 236 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 109 0 0 0 3 2 0 0 20 0 19 0 334453637 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 23 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 103 0 0 0 30 32 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3083] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3083/stat : 3083 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334475413 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232295339432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/213 3229
/proc/meminfo: memFree=28052808/32873648 swapFree=7116/7116
[pid=3055] ppid=3053 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/3055/stat : 3055 (java) S 3053 3055 1585 0 -1 4202496 11975 0 1 0 179922 87 0 0 20 0 19 0 334453634 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140733519898608 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3055/statm: 756105 277382 2279 9 0 746526 0
[pid=3055/tid=3057] ppid=3053 vsize=3024420 CPUtime=1779.82 cores=0,2,4,6
/proc/3055/task/3057/stat : 3057 (java) R 3053 3055 1585 0 -1 4202560 3537 0 1 0 177941 41 0 0 20 0 19 0 334453635 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232341261616 140232175994075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3058] ppid=3053 vsize=3024420 CPUtime=2.49 cores=0,2,4,6
/proc/3055/task/3058/stat : 3058 (java) S 3053 3055 1585 0 -1 4202560 171 0 0 0 245 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232324688040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3059] ppid=3053 vsize=3024420 CPUtime=2.4 cores=0,2,4,6
/proc/3055/task/3059/stat : 3059 (java) S 3053 3055 1585 0 -1 4202560 182 0 0 0 234 6 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232323635496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3060] ppid=3053 vsize=3024420 CPUtime=2.49 cores=0,2,4,6
/proc/3055/task/3060/stat : 3060 (java) S 3053 3055 1585 0 -1 4202560 175 0 0 0 245 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232322582952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3061] ppid=3053 vsize=3024420 CPUtime=2.45 cores=0,2,4,6
/proc/3055/task/3061/stat : 3061 (java) S 3053 3055 1585 0 -1 4202560 183 0 0 0 241 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232321530408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3062] ppid=3053 vsize=3024420 CPUtime=2.51 cores=0,2,4,6
/proc/3055/task/3062/stat : 3062 (java) S 3053 3055 1585 0 -1 4202560 179 0 0 0 247 4 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232320477864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3063] ppid=3053 vsize=3024420 CPUtime=2.32 cores=0,2,4,6
/proc/3055/task/3063/stat : 3063 (java) S 3053 3055 1585 0 -1 4202560 170 0 0 0 227 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232319425320 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3055/tid=3064] ppid=3053 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/3055/task/3064/stat : 3064 (java) S 3053 3055 1585 0 -1 4202560 162 0 0 0 217 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232318372776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3065] ppid=3053 vsize=3024420 CPUtime=2.41 cores=0,2,4,6
/proc/3055/task/3065/stat : 3065 (java) S 3053 3055 1585 0 -1 4202560 197 0 0 0 236 5 0 0 20 0 19 0 334453636 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232317320232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3066] ppid=3053 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/3055/task/3066/stat : 3066 (java) S 3053 3055 1585 0 -1 4202560 109 0 0 0 3 2 0 0 20 0 19 0 334453637 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232304908392 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3067] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3067/stat : 3067 (java) S 3053 3055 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232303854712 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3068] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3068/stat : 3068 (java) S 3053 3055 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334453638 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232302802056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3069] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232301750800 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3070] ppid=3053 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/3055/task/3070/stat : 3070 (java) S 3053 3055 1585 0 -1 4202560 2601 0 0 0 23 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232300698168 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3055/tid=3071] ppid=3053 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/3055/task/3071/stat : 3071 (java) S 3053 3055 1585 0 -1 4202560 3010 0 0 0 30 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232299645624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3072] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3072/stat : 3072 (java) S 3053 3055 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232298593272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3055/tid=3073] ppid=3053 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/3055/task/3073/stat : 3073 (java) S 3053 3055 1585 0 -1 4202560 103 0 0 0 30 33 0 0 20 0 19 0 334453640 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232297540936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3055/tid=3083] ppid=3053 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3083/stat : 3083 (java) S 3053 3055 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334475413 3097006080 277382 33554432000 1073741824 1073778376 140733519907472 140232295339432 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3024420
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): 1785.42
CPU time (s): 1800.59
CPU user time (s): 1799.33
CPU system time (s): 1.26381
CPU usage (%): 100.85
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.26381
maximum resident set size= 1109660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12009
page faults= 1
swaps= 0
block input operations= 72
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45643
involuntary context switches= 52492
runsolver used 6.95194 second user time and 14.5418 second system time
The end