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-3736947-1338720786/watcher-3736947-1338720786 -o /tmp/evaluation-result-3736947-1338720786/solver-3736947-1338720786 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736947-1338720786.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.03 2.04 3/194 8525
/proc/meminfo: memFree=28942808/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8525/stat : 8525 (java) D 8523 8525 7854 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 338204094 9515008 182 33554432000 1073741824 1073778376 140734661959888 140734661950920 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8525/statm: 2323 182 140 9 0 71 0
[startup+0.0418961 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 8525
/proc/meminfo: memFree=28942808/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 3922 0 1 0 1 0 0 0 20 0 13 0 338204094 2686889984 5129 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 655979 5129 1677 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916
[startup+0.100254 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 8525
/proc/meminfo: memFree=28942808/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 4936 0 1 0 8 1 0 0 20 0 18 0 338204094 3028844544 6637 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 739464 6637 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300164 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 8525
/proc/meminfo: memFree=28942808/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=2957856 CPUtime=0.4 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 5480 0 1 0 39 1 0 0 20 0 18 0 338204094 3028844544 8607 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 739464 8607 2238 9 0 729885 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 2957856
[startup+0.700244 s]
/proc/loadavg: 2.00 2.03 2.04 3/194 8525
/proc/meminfo: memFree=28942808/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=1.39 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 11918 0 1 0 137 2 0 0 20 0 19 0 338204094 3097006080 16788 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 16788 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 3024420
[startup+1.50071 s]
/proc/loadavg: 2.32 2.09 2.06 3/213 8545
/proc/meminfo: memFree=28767564/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=2.21 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 12071 0 1 0 214 7 0 0 20 0 19 0 338204094 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 94101 2273 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 3230 0 1 0 140 6 0 0 20 0 19 0 338204095 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459194429856 140459066835648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338204097 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4496 0 0 0 34 0 0 0 20 0 19 0 338204100 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3147 0 0 0 37 0 0 0 20 0 19 0 338204100 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8545] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8545/stat : 8545 (java) S 8523 8525 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338204147 3097006080 94101 33554432000 1073741824 1073778376 140736962289872 140458695378088 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 3024420
[startup+3.10072 s]
/proc/loadavg: 2.32 2.09 2.06 4/213 8545
/proc/meminfo: memFree=28498160/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=3.9 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 12148 0 1 0 382 8 0 0 20 0 19 0 338204094 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 114607 2291 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 3269 0 1 0 298 8 0 0 20 0 19 0 338204095 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459194428592 140459066431363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338204097 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 39 0 0 0 20 0 19 0 338204100 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3148 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8545] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8545/stat : 8545 (java) S 8523 8525 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338204147 3097006080 114607 33554432000 1073741824 1073778376 140736962289872 140458695378088 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 3024420
[startup+6.30067 s]
/proc/loadavg: 2.29 2.09 2.06 3/213 8545
/proc/meminfo: memFree=28489568/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=7.2 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 12162 0 1 0 711 9 0 0 20 0 19 0 338204094 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 115625 2291 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 3273 0 1 0 615 8 0 0 20 0 19 0 338204095 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459194429816 140459066789560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338204096 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338204097 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3148 0 0 0 41 0 0 0 20 0 19 0 338204100 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8545] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8545/stat : 8545 (java) S 8523 8525 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338204147 3097006080 115625 33554432000 1073741824 1073778376 140736962289872 140458695378088 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=10.74 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 199 0 0 0 1063 11 0 0 20 0 19 0 338204096 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=10.8 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 275 0 0 0 1069 11 0 0 20 0 19 0 338204096 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=10.89 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 339 0 0 0 1080 9 0 0 20 0 19 0 338204096 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 100 0 0 0 11 4 0 0 20 0 19 0 338204097 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3149 0 0 0 43 0 0 0 20 0 19 0 338204100 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 92 0 0 0 29 36 0 0 20 0 19 0 338204100 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8634] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8634/stat : 8634 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338281107 3097006080 355314 33554432000 1073741824 1073778376 140736962289872 140458695377704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.21
Current children cumulated vsize (KiB) 3024420
[startup+1662.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/214 8643
/proc/meminfo: memFree=27478392/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=1729.72 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 15389 0 1 0 172833 139 0 0 20 0 19 0 338204094 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 360965 2292 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=1636.91 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 4327 0 1 0 163651 40 0 0 20 0 19 0 338204095 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459194428704 140459066810299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=11.05 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 305 0 0 0 1096 9 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=11.13 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 207 0 0 0 1104 9 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=11.72 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 230 0 0 0 1162 10 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=11.57 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 225 0 0 0 1147 10 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=11.41 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 229 0 0 0 1131 10 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=11.29 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 199 0 0 0 1118 11 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=11.45 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 279 0 0 0 1134 11 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=11.44 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 353 0 0 0 1135 9 0 0 20 0 19 0 338204096 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 102 0 0 0 11 5 0 0 20 0 19 0 338204097 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3149 0 0 0 43 0 0 0 20 0 19 0 338204100 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 94 0 0 0 30 38 0 0 20 0 19 0 338204100 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8634] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8634/stat : 8634 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338281107 3097006080 360965 33554432000 1073741824 1073778376 140736962289872 140458695377704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1729.72
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/213 8643
/proc/meminfo: memFree=27453704/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=1793.11 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 15465 0 1 0 179167 144 0 0 20 0 19 0 338204094 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 365598 2292 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=1695.71 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 4355 0 1 0 169530 41 0 0 20 0 19 0 338204095 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459194428688 140459066803277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=11.68 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 320 0 0 0 1158 10 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=11.62 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 209 0 0 0 1153 9 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=12.33 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 230 0 0 0 1223 10 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=12.06 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 228 0 0 0 1195 11 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=11.97 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 232 0 0 0 1186 11 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=11.86 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 202 0 0 0 1174 12 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=12.06 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 280 0 0 0 1194 12 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=12.06 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 366 0 0 0 1197 9 0 0 20 0 19 0 338204096 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 106 0 0 0 11 5 0 0 20 0 19 0 338204097 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3149 0 0 0 43 0 0 0 20 0 19 0 338204100 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 98 0 0 0 32 39 0 0 20 0 19 0 338204100 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8634] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8634/stat : 8634 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338281107 3097006080 365598 33554432000 1073741824 1073778376 140736962289872 140458695377704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1793.11
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1728.8 s]
/proc/loadavg: 2.00 2.08 2.08 3/213 8643
/proc/meminfo: memFree=27451532/32873648 swapFree=7116/7116
[pid=8525] ppid=8523 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/8525/stat : 8525 (java) S 8523 8525 7854 0 -1 4202496 15472 0 1 0 179862 144 0 0 20 0 19 0 338204094 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140736962281008 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8525/statm: 756105 366112 2292 9 0 746526 0
[pid=8525/tid=8527] ppid=8523 vsize=3024420 CPUtime=1702.06 cores=1,3,5,7
/proc/8525/task/8527/stat : 8527 (java) R 8523 8525 7854 0 -1 4202560 4358 0 1 0 170165 41 0 0 20 0 19 0 338204095 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459194428704 140459066716641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8528] ppid=8523 vsize=3024420 CPUtime=11.8 cores=1,3,5,7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8525 7854 0 -1 4202560 322 0 0 0 1170 10 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459060353448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8529] ppid=8523 vsize=3024420 CPUtime=11.69 cores=1,3,5,7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8525 7854 0 -1 4202560 209 0 0 0 1160 9 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459059300904 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8530] ppid=8523 vsize=3024420 CPUtime=12.38 cores=1,3,5,7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8525 7854 0 -1 4202560 230 0 0 0 1228 10 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459058247848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8531] ppid=8523 vsize=3024420 CPUtime=12.13 cores=1,3,5,7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8525 7854 0 -1 4202560 229 0 0 0 1202 11 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459057195304 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8532] ppid=8523 vsize=3024420 CPUtime=12.05 cores=1,3,5,7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8525 7854 0 -1 4202560 232 0 0 0 1194 11 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459056143272 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8533] ppid=8523 vsize=3024420 CPUtime=11.91 cores=1,3,5,7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8525 7854 0 -1 4202560 202 0 0 0 1179 12 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140459055090728 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8525/tid=8534] ppid=8523 vsize=3024420 CPUtime=12.12 cores=1,3,5,7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8525 7854 0 -1 4202560 281 0 0 0 1200 12 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458718128808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8535] ppid=8523 vsize=3024420 CPUtime=12.15 cores=1,3,5,7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8525 7854 0 -1 4202560 366 0 0 0 1206 9 0 0 20 0 19 0 338204096 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458717076264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8536] ppid=8523 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8525 7854 0 -1 4202560 106 0 0 0 11 5 0 0 20 0 19 0 338204097 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458704877928 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8537] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8525 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458703824248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8538] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8525 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338204098 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458702771080 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8539] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458701719824 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8540] ppid=8523 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8525 7854 0 -1 4202560 4500 0 0 0 40 0 0 0 20 0 19 0 338204100 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458700667704 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8525/tid=8541] ppid=8523 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8525 7854 0 -1 4202560 3149 0 0 0 43 0 0 0 20 0 19 0 338204100 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458699615160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8542] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8525 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338204100 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458698562296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8525/tid=8543] ppid=8523 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8525 7854 0 -1 4202560 98 0 0 0 32 39 0 0 20 0 19 0 338204100 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458697509960 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8525/tid=8634] ppid=8523 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/8525/task/8634/stat : 8634 (java) S 8523 8525 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338281107 3097006080 366112 33554432000 1073741824 1073778376 140736962289872 140458695377704 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1728.84
CPU time (s): 1800.25
CPU user time (s): 1798.43
CPU system time (s): 1.82072
CPU usage (%): 104.13
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.82072
maximum resident set size= 1464580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15508
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70480
involuntary context switches= 222697
runsolver used 6.51001 second user time and 13.9329 second system time
The end