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-3741499-1338744078/watcher-3741499-1338744078 -o /tmp/evaluation-result-3741499-1338744078/solver-3741499-1338744078 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741499-1338744078.opb
running on 4 cores: 1,3,5,7
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 2.00 3/194 12980
/proc/meminfo: memFree=27979896/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 1212 0 0 0 0 0 0 0 20 0 2 0 340533287 95129600 922 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 23225 927 703 9 0 16769 0
[pid=12980/tid=12981] ppid=12978 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) D 12978 12980 7854 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 340533288 95129600 927 33554432000 1073741824 1073778376 140735297119632 140302692511272 214528257319 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.0797669 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12980
/proc/meminfo: memFree=27979896/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 4847 0 1 0 7 1 0 0 20 0 18 0 340533287 3028844544 6045 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 739464 6045 2055 9 0 729885 0
[pid=12980/tid=12981] ppid=12978 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3045 0 1 0 6 0 0 0 20 0 18 0 340533288 3028844544 6048 33554432000 1073741824 1073778376 140735297119632 140302692514720 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12980
/proc/meminfo: memFree=27979896/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 4997 0 1 0 9 1 0 0 20 0 18 0 340533287 3028844544 6705 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 739464 6705 2130 9 0 729885 0
[pid=12980/tid=12981] ppid=12978 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3054 0 1 0 6 2 0 0 20 0 18 0 340533288 3028844544 6705 33554432000 1073741824 1073778376 140735297119632 140302692514720 140302564908327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300186 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12980
/proc/meminfo: memFree=27979896/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 6420 0 1 0 49 2 0 0 20 0 18 0 340533287 3028844544 9552 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 739464 9557 2240 9 0 729885 0
[pid=12980/tid=12981] ppid=12978 vsize=2957856 CPUtime=0.28 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3066 0 1 0 26 2 0 0 20 0 18 0 340533288 3028844544 9561 33554432000 1073741824 1073778376 140735297119632 140302692514720 140302564849779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856
[startup+0.700202 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12980
/proc/meminfo: memFree=27979896/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 12111 0 1 0 142 3 0 0 20 0 19 0 340533287 3097006080 18187 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 18187 2270 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3097 0 1 0 66 2 0 0 20 0 19 0 340533288 3097006080 18187 33554432000 1073741824 1073778376 140735297119632 140302692508104 140302564940975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12999
/proc/meminfo: memFree=27913588/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=2.34 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 12132 0 1 0 231 3 0 0 20 0 19 0 340533287 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 19230 2274 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=1.48 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3099 0 1 0 146 2 0 0 20 0 19 0 340533288 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302692514408 140302565619293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3482 0 0 0 44 0 0 0 20 0 19 0 340533292 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 38 0 0 0 20 0 19 0 340533292 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 19230 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12999
/proc/meminfo: memFree=27909492/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=3.96 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 12138 0 1 0 393 3 0 0 20 0 19 0 340533287 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 20767 2274 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=3.08 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3104 0 1 0 306 2 0 0 20 0 19 0 340533288 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302692516264 140302565551245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 46 0 0 0 20 0 19 0 340533292 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 20767 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 3024420
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12999
/proc/meminfo: memFree=27897856/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 12144 0 1 0 714 3 0 0 20 0 19 0 340533287 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 23027 2274 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=6.28 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3110 0 1 0 626 2 0 0 20 0 19 0 340533288 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302692514288 140302565568732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340533289 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 46 0 0 0 20 0 19 0 340533292 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 23027 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 89 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 91 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 96 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 47 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 99 0 0 0 34 41 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.44
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 13080
/proc/meminfo: memFree=28130656/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=1784.46 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 13163 0 1 0 178348 98 0 0 20 0 19 0 340533287 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 202721 2287 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=1782.13 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3287 0 1 0 178178 35 0 0 20 0 19 0 340533288 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302692515208 140302565641509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 94 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 100 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 98 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 89 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 91 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 96 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 47 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 103 0 0 0 35 43 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 13080
/proc/meminfo: memFree=28128616/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 13163 0 1 0 179909 98 0 0 20 0 19 0 340533287 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 202721 2287 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=1797.73 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3287 0 1 0 179738 35 0 0 20 0 19 0 340533288 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302692515208 140302565095330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 94 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 100 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 98 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 89 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 91 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 96 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 47 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 103 0 0 0 36 43 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 13080
/proc/meminfo: memFree=28128616/32873648 swapFree=7116/7116
[pid=12980] ppid=12978 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/12980/stat : 12980 (java) S 12978 12980 7854 0 -1 4202496 13163 0 1 0 179909 98 0 0 20 0 19 0 340533287 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140735297110768 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12980/statm: 756105 202721 2287 9 0 746526 0
[pid=12980/tid=12981] ppid=12978 vsize=3024420 CPUtime=1797.73 cores=1,3,5,7
/proc/12980/task/12981/stat : 12981 (java) R 12978 12980 7854 0 -1 4202560 3287 0 1 0 179738 35 0 0 20 0 19 0 340533288 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302692515208 140302565095330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12983] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12983/stat : 12983 (java) S 12978 12980 7854 0 -1 4202560 94 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302558399016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12984] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12984/stat : 12984 (java) S 12978 12980 7854 0 -1 4202560 100 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302557346216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12985] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12985/stat : 12985 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302488693032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12986] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12986/stat : 12986 (java) S 12978 12980 7854 0 -1 4202560 98 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302487640232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12980/tid=12987] ppid=12978 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/12980/task/12987/stat : 12987 (java) S 12978 12980 7854 0 -1 4202560 87 0 0 0 5 5 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302486588456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12988] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12988/stat : 12988 (java) S 12978 12980 7854 0 -1 4202560 89 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302485535656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12989] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12989/stat : 12989 (java) S 12978 12980 7854 0 -1 4202560 91 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302484482856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12990] ppid=12978 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12980/task/12990/stat : 12990 (java) S 12978 12980 7854 0 -1 4202560 96 0 0 0 5 6 0 0 20 0 19 0 340533289 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302483430056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12991] ppid=12978 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12980/task/12991/stat : 12991 (java) S 12978 12980 7854 0 -1 4202560 12 0 0 0 0 2 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302471231976 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12992] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12992/stat : 12992 (java) S 12978 12980 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302470178040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12993] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12993/stat : 12993 (java) S 12978 12980 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340533290 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302469125128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12994] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12994/stat : 12994 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302468073616 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12995] ppid=12978 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/12980/task/12995/stat : 12995 (java) S 12978 12980 7854 0 -1 4202560 3483 0 0 0 47 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302467021752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12980/tid=12996] ppid=12978 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12980/task/12996/stat : 12996 (java) S 12978 12980 7854 0 -1 4202560 4355 0 0 0 39 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302465968952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12997] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12997/stat : 12997 (java) S 12978 12980 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302464916344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12980/tid=12998] ppid=12978 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/12980/task/12998/stat : 12998 (java) S 12978 12980 7854 0 -1 4202560 103 0 0 0 36 43 0 0 20 0 19 0 340533292 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302463863752 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12980/tid=12999] ppid=12978 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12980/task/12999/stat : 12999 (java) S 12978 12980 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340533333 3097006080 202721 33554432000 1073741824 1073778376 140735297119632 140302461732008 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1797.92
CPU time (s): 1800.53
CPU user time (s): 1799.14
CPU system time (s): 1.39179
CPU usage (%): 100.145
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.39179
maximum resident set size= 811008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13196
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37994
involuntary context switches= 2184
runsolver used 8.5387 second user time and 12.955 second system time
The end