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-3738386-1338755634/watcher-3738386-1338755634 -o /tmp/evaluation-result-3738386-1338755634/solver-3738386-1338755634 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738386-1338755634.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: 3.80 3.74 3.65 4/195 5896
/proc/meminfo: memFree=26960320/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5896/stat : 5896 (java6) D 5894 5896 4574 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341689337 9515008 182 33554432000 1073741824 1073778376 140736453691488 140736453682520 273448517301 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5896/statm: 2323 182 140 9 0 71 0
[startup+0.0216481 s]
/proc/loadavg: 3.80 3.74 3.65 4/195 5896
/proc/meminfo: memFree=26960320/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=1623620 CPUtime=0 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 1873 0 1 0 0 0 0 0 20 0 2 0 341689337 1662586880 1555 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 405905 1572 942 9 0 397014 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1623620
[startup+0.100256 s]
/proc/loadavg: 3.80 3.74 3.65 4/195 5896
/proc/meminfo: memFree=26960320/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 4760 0 1 0 8 1 0 0 20 0 18 0 341689337 2764726272 5951 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 674982 5951 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300261 s]
/proc/loadavg: 3.80 3.74 3.65 4/195 5896
/proc/meminfo: memFree=26960320/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2699928 CPUtime=0.53 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 7403 0 1 0 51 2 0 0 20 0 18 0 341689337 2764726272 10001 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 674982 10001 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2699928
[startup+0.700249 s]
/proc/loadavg: 3.80 3.74 3.65 4/195 5896
/proc/meminfo: memFree=26960320/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2699928 CPUtime=1.61 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 18622 0 1 0 155 6 0 0 20 0 18 0 341689337 2764726272 34642 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 674982 34642 2239 9 0 665676 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 2699928
[startup+1.50079 s]
/proc/loadavg: 3.80 3.74 3.65 7/217 5918
/proc/meminfo: memFree=26820596/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=4.27 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 23448 0 1 0 415 12 0 0 20 0 22 0 341689337 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 75395 2255 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2888 0 1 0 64 4 0 0 20 0 22 0 341689338 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341689340 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) R 5894 5896 4574 0 -1 4202560 5427 0 0 0 100 0 0 0 20 0 22 0 341689344 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077116508600 140077481069716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5912] ppid=5894 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/5896/task/5912/stat : 5912 (java) S 5894 5896 4574 0 -1 4202560 13741 0 0 0 96 4 0 0 20 0 22 0 341689344 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077115455800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5913] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5913/stat : 5913 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077114403192 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5914] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5914/stat : 5914 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077113350600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5915] ppid=5894 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/5896/task/5915/stat : 5915 (java) R 5894 5896 4574 0 -1 4202560 34 0 0 0 77 0 0 0 20 0 22 0 341689409 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077112267944 140077348419815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 152 0 0 0 72 4 0 0 20 0 22 0 341689409 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077111214872 140077347591821 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 75395 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 2966184
[startup+3.10092 s]
/proc/loadavg: 3.80 3.74 3.65 6/217 5918
/proc/meminfo: memFree=26559940/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=7.78 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 23847 0 1 0 759 19 0 0 20 0 22 0 341689337 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 107205 2269 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2888 0 1 0 64 4 0 0 20 0 22 0 341689338 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 1 1 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 341689340 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1.1 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) S 5894 5896 4574 0 -1 4202560 5457 0 0 0 110 0 0 0 20 0 22 0 341689344 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077116508600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5912] ppid=5894 vsize=2966184 CPUtime=1.11 cores=1,3,5,7
/proc/5896/task/5912/stat : 5912 (java) S 5894 5896 4574 0 -1 4202560 13970 0 0 0 107 4 0 0 20 0 22 0 341689344 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077115455800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5913] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5913/stat : 5913 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077114403192 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5914] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5914/stat : 5914 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077113350600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5915] ppid=5894 vsize=2966184 CPUtime=2.3 cores=1,3,5,7
/proc/5896/task/5915/stat : 5915 (java) R 5894 5896 4574 0 -1 4202560 39 0 0 0 229 1 0 0 20 0 22 0 341689409 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077112265872 140077348417912 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=2.29 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 195 0 0 0 224 5 0 0 20 0 22 0 341689409 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077111213968 140077478904433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 107205 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 2966184
[startup+6.30093 s]
/proc/loadavg: 3.82 3.74 3.65 5/217 5918
/proc/meminfo: memFree=26519116/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=14.41 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 25697 0 1 0 1419 22 0 0 20 0 22 0 341689337 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 118717 2283 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2888 0 1 0 64 4 0 0 20 0 22 0 341689338 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 15 0 0 0 6 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 22 0 341689340 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 43 0 0 0 11 2 0 0 20 0 22 0 341689341 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) S 5894 5896 4574 0 -1 4202560 5464 0 0 0 126 0 0 0 20 0 22 0 341689344 3037372416 118717 33554432000 1073741824 1073778376 140733826221104 140077116508600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=757.42 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 646 0 0 0 75721 21 0 0 20 0 22 0 341689409 3037372416 226262 33554432000 1073741824 1073778376 140733826221104 140077111213536 140077348018929 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 226262 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 226262 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1609.48
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.97 3.82 3.74 5/217 6240
/proc/meminfo: memFree=25677080/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=1726.18 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 39032 0 1 0 172422 196 0 0 20 0 22 0 341689337 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 235304 2284 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2940 0 1 0 66 5 0 0 20 0 22 0 341689338 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=5.28 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 244 0 0 0 516 12 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=5.22 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 230 0 0 0 512 10 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=5.38 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 235 0 0 0 527 11 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=5.31 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 244 0 0 0 519 12 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=5.2 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 226 0 0 0 510 10 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=5.37 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 221 0 0 0 528 9 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=5.38 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 245 0 0 0 526 12 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=5.3 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 242 0 0 0 518 12 0 0 20 0 22 0 341689340 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=58.25 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 2847 0 0 0 5767 58 0 0 20 0 22 0 341689341 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) S 5894 5896 4574 0 -1 4202560 5475 0 0 0 138 0 0 0 20 0 22 0 341689344 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077116508600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5912] ppid=5894 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/5896/task/5912/stat : 5912 (java) S 5894 5896 4574 0 -1 4202560 23530 0 0 0 243 5 0 0 20 0 22 0 341689344 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077115455800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5913] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5913/stat : 5913 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077114403192 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5914] ppid=5894 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/5896/task/5914/stat : 5914 (java) S 5894 5896 4574 0 -1 4202560 50 0 0 0 21 24 0 0 20 0 22 0 341689344 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077113350600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5915] ppid=5894 vsize=2966184 CPUtime=810.61 cores=1,3,5,7
/proc/5896/task/5915/stat : 5915 (java) R 5894 5896 4574 0 -1 4202560 447 0 0 0 81043 18 0 0 20 0 22 0 341689409 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077112266768 140077348420868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=810.54 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 664 0 0 0 81031 23 0 0 20 0 22 0 341689409 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077111213184 140077348419620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235304 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.18
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.901 s]
/proc/loadavg: 3.82 3.81 3.74 5/217 6240
/proc/meminfo: memFree=25613096/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=1800.12 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 39140 0 1 0 179813 199 0 0 20 0 22 0 341689337 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 235385 2284 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2945 0 1 0 66 5 0 0 20 0 22 0 341689338 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=5.45 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 533 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=5.42 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 245 0 0 0 532 10 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=5.55 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 242 0 0 0 544 11 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=5.47 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 535 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=5.32 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 233 0 0 0 521 11 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=5.55 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 231 0 0 0 545 10 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=5.52 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 252 0 0 0 540 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=5.47 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 535 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=62.07 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 2849 0 0 0 6148 59 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) S 5894 5896 4574 0 -1 4202560 5475 0 0 0 138 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077116508600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5912] ppid=5894 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/5896/task/5912/stat : 5912 (java) S 5894 5896 4574 0 -1 4202560 23530 0 0 0 243 5 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077115455800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5913] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5913/stat : 5913 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077114403192 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5914] ppid=5894 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/5896/task/5914/stat : 5914 (java) S 5894 5896 4574 0 -1 4202560 52 0 0 0 22 25 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077113350600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5915] ppid=5894 vsize=2966184 CPUtime=845.02 cores=1,3,5,7
/proc/5896/task/5915/stat : 5915 (java) R 5894 5896 4574 0 -1 4202560 454 0 0 0 84484 18 0 0 20 0 22 0 341689409 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077112265936 140077348585905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=844.94 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 675 0 0 0 84471 23 0 0 20 0 22 0 341689409 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077111213616 140077348445563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.901 s]
/proc/loadavg: 3.82 3.81 3.74 5/217 6240
/proc/meminfo: memFree=25613096/32873852 swapFree=6856/6856
[pid=5896] ppid=5894 vsize=2966184 CPUtime=1800.12 cores=1,3,5,7
/proc/5896/stat : 5896 (java) S 5894 5896 4574 0 -1 4202496 39140 0 1 0 179813 199 0 0 20 0 22 0 341689337 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140733826212240 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5896/statm: 741546 235385 2284 9 0 732240 0
[pid=5896/tid=5898] ppid=5894 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/5896/task/5898/stat : 5898 (java) S 5894 5896 4574 0 -1 4202560 2945 0 1 0 66 5 0 0 20 0 22 0 341689338 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077475226776 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5899] ppid=5894 vsize=2966184 CPUtime=5.45 cores=1,3,5,7
/proc/5896/task/5899/stat : 5899 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 533 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077341908008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5900] ppid=5894 vsize=2966184 CPUtime=5.42 cores=1,3,5,7
/proc/5896/task/5900/stat : 5900 (java) S 5894 5896 4574 0 -1 4202560 245 0 0 0 532 10 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077340855208 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5901] ppid=5894 vsize=2966184 CPUtime=5.55 cores=1,3,5,7
/proc/5896/task/5901/stat : 5901 (java) S 5894 5896 4574 0 -1 4202560 242 0 0 0 544 11 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077339802408 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5902] ppid=5894 vsize=2966184 CPUtime=5.47 cores=1,3,5,7
/proc/5896/task/5902/stat : 5902 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 535 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077137128104 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5903] ppid=5894 vsize=2966184 CPUtime=5.32 cores=1,3,5,7
/proc/5896/task/5903/stat : 5903 (java) S 5894 5896 4574 0 -1 4202560 233 0 0 0 521 11 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077136075304 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5904] ppid=5894 vsize=2966184 CPUtime=5.55 cores=1,3,5,7
/proc/5896/task/5904/stat : 5904 (java) S 5894 5896 4574 0 -1 4202560 231 0 0 0 545 10 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077135022504 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5905] ppid=5894 vsize=2966184 CPUtime=5.52 cores=1,3,5,7
/proc/5896/task/5905/stat : 5905 (java) S 5894 5896 4574 0 -1 4202560 252 0 0 0 540 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077133969704 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5906] ppid=5894 vsize=2966184 CPUtime=5.47 cores=1,3,5,7
/proc/5896/task/5906/stat : 5906 (java) S 5894 5896 4574 0 -1 4202560 255 0 0 0 535 12 0 0 20 0 22 0 341689340 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077132916904 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5896/tid=5907] ppid=5894 vsize=2966184 CPUtime=62.07 cores=1,3,5,7
/proc/5896/task/5907/stat : 5907 (java) S 5894 5896 4574 0 -1 4202560 2849 0 0 0 6148 59 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077120719848 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5908] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5908/stat : 5908 (java) S 5894 5896 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077119665912 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5909] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5909/stat : 5909 (java) S 5894 5896 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341689341 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077118613000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5910] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5910/stat : 5910 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077117561488 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5911] ppid=5894 vsize=2966184 CPUtime=1.38 cores=1,3,5,7
/proc/5896/task/5911/stat : 5911 (java) S 5894 5896 4574 0 -1 4202560 5475 0 0 0 138 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077116508600 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5912] ppid=5894 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/5896/task/5912/stat : 5912 (java) S 5894 5896 4574 0 -1 4202560 23530 0 0 0 243 5 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077115455800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5913] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5913/stat : 5913 (java) S 5894 5896 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077114403192 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5896/tid=5914] ppid=5894 vsize=2966184 CPUtime=0.47 cores=1,3,5,7
/proc/5896/task/5914/stat : 5914 (java) S 5894 5896 4574 0 -1 4202560 52 0 0 0 22 25 0 0 20 0 22 0 341689344 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077113350600 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5915] ppid=5894 vsize=2966184 CPUtime=845.02 cores=1,3,5,7
/proc/5896/task/5915/stat : 5915 (java) R 5894 5896 4574 0 -1 4202560 454 0 0 0 84484 18 0 0 20 0 22 0 341689409 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077112265936 140077348585905 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5916] ppid=5894 vsize=2966184 CPUtime=844.94 cores=1,3,5,7
/proc/5896/task/5916/stat : 5916 (java) R 5894 5896 4574 0 -1 4202560 675 0 0 0 84471 23 0 0 20 0 22 0 341689409 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077111213616 140077348445563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5896/tid=5917] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5917/stat : 5917 (java) S 5894 5896 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077110162856 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5896/tid=5918] ppid=5894 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/5896/task/5918/stat : 5918 (java) S 5894 5896 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341689411 3037372416 235385 33554432000 1073741824 1073778376 140733826221104 140077109110056 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 920.935
CPU time (s): 1801.16
CPU user time (s): 1798.73
CPU system time (s): 2.43263
CPU usage (%): 195.58
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 2.43263
maximum resident set size= 944352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39173
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48833
involuntary context switches= 89641
runsolver used 3.46247 second user time and 9.37557 second system time
The end