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-3737567-1338754605/watcher-3737567-1338754605 -o /tmp/evaluation-result-3737567-1338754605/solver-3737567-1338754605 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737567-1338754605.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.40 3.61 3.64 4/199 21768
/proc/meminfo: memFree=28451072/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21768/stat : 21768 (java6) D 21766 21768 19811 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341585327 9515008 183 33554432000 1073741824 1073778376 140734274937728 140734274928760 215124623029 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/21768/statm: 2323 183 140 9 0 71 0
[startup+0.094351 s]
/proc/loadavg: 3.40 3.61 3.64 4/199 21768
/proc/meminfo: memFree=28451072/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 3901 0 1 0 6 1 0 0 20 0 18 0 341585327 2764726272 5619 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 674982 5619 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.100292 s]
/proc/loadavg: 3.40 3.61 3.64 4/199 21768
/proc/meminfo: memFree=28451072/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 4270 0 1 0 7 1 0 0 20 0 18 0 341585327 2764726272 5983 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 674982 5989 1997 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300259 s]
/proc/loadavg: 3.40 3.61 3.64 4/199 21768
/proc/meminfo: memFree=28451072/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2699928 CPUtime=0.45 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 6471 0 1 0 43 2 0 0 20 0 18 0 341585327 2764726272 9244 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 674982 9244 2222 9 0 665676 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2699928
[startup+0.700272 s]
/proc/loadavg: 3.40 3.61 3.64 4/199 21768
/proc/meminfo: memFree=28451072/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2699928 CPUtime=1.15 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 13456 0 1 0 112 3 0 0 20 0 18 0 341585327 2764726272 16929 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 674982 16929 2234 9 0 665676 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2699928
[startup+1.50071 s]
/proc/loadavg: 3.40 3.61 3.64 4/217 21786
/proc/meminfo: memFree=28377332/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2699928 CPUtime=2.18 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 14827 0 1 0 214 4 0 0 20 0 18 0 341585327 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 674982 24504 2237 9 0 665676 0
[pid=21768/tid=21770] ppid=21766 vsize=2699928 CPUtime=1.46 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) R 21766 21768 19811 0 -1 4202560 2810 0 1 0 144 2 0 0 20 0 18 0 341585328 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755197398912 139755031782651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341585330 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341585331 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341585332 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341585332 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585334 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2699928 CPUtime=0.25 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 2650 0 0 0 25 0 0 0 20 0 18 0 341585334 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2699928 CPUtime=0.43 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 8180 0 0 0 42 1 0 0 20 0 18 0 341585334 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585334 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341585334 2764726272 24504 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 2699928
[startup+3.10066 s]
/proc/loadavg: 3.40 3.61 3.64 7/219 21788
/proc/meminfo: memFree=28329608/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2966184 CPUtime=4.04 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 19044 0 1 0 397 7 0 0 20 0 20 0 341585327 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 741546 41640 2258 9 0 732240 0
[pid=21768/tid=21770] ppid=21766 vsize=2966184 CPUtime=2.06 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) R 21766 21768 19811 0 -1 4202560 2836 0 1 0 203 3 0 0 20 0 20 0 341585328 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755197408408 139755031477396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341585331 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 6088 0 0 0 58 0 0 0 20 0 20 0 341585334 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 8805 0 0 0 77 2 0 0 20 0 20 0 341585334 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21789] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21789/stat : 21789 (java) S 21766 21768 19811 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341585539 3037372416 41640 33554432000 1073741824 1073778376 140733763444448 139755151381928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 2966184
[startup+6.30085 s]
/proc/loadavg: 3.29 3.58 3.63 3/219 21796
/proc/meminfo: memFree=28130116/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2966184 CPUtime=5.4 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 20079 0 1 0 524 16 0 0 20 0 20 0 341585327 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 741546 89690 2261 9 0 732240 0
[pid=21768/tid=21770] ppid=21766 vsize=2966184 CPUtime=2.07 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21768 19811 0 -1 4202560 2837 0 1 0 204 3 0 0 20 0 20 0 341585328 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755197408424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341585330 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341585331 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 7001 0 0 0 75 0 0 0 20 0 20 0 341585334 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 8808 0 0 0 101 2 0 0 20 0 20 0 341585334 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21789] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21789/stat : 21789 (java) S 21766 21768 19811 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341585539 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755151381928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21790] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21790/stat : 21790 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341585539 3037372416 89690 33554432000 1073741824 1073778376 140733763444448 139755150329128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 2966184
[startup+12.7007 s]
################
# More data... #
################
[startup+889.301 s]
/proc/loadavg: 4.03 3.95 3.77 5/221 21983
/proc/meminfo: memFree=27732332/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2966184 CPUtime=1711.21 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 28508 0 1 0 170897 224 0 0 20 0 20 0 341585327 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 741546 170155 2289 9 0 732240 0
[pid=21768/tid=21770] ppid=21766 vsize=2966184 CPUtime=2.18 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21768 19811 0 -1 4202560 2841 0 1 0 214 4 0 0 20 0 20 0 341585328 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755197408424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2966184 CPUtime=3.08 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 234 0 0 0 302 6 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2966184 CPUtime=3.05 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 235 0 0 0 301 4 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2966184 CPUtime=3.16 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 260 0 0 0 310 6 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2966184 CPUtime=3.06 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 277 0 0 0 300 6 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2966184 CPUtime=3.09 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 268 0 0 0 303 6 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2966184 CPUtime=3.17 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 280 0 0 0 312 5 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2966184 CPUtime=3.03 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 248 0 0 0 296 7 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2966184 CPUtime=3.09 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 291 0 0 0 303 6 0 0 20 0 20 0 341585330 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2966184 CPUtime=5.44 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 288 0 0 0 505 39 0 0 20 0 20 0 341585331 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341585332 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2966184 CPUtime=1.45 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 11612 0 0 0 143 2 0 0 20 0 20 0 341585334 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 9309 0 0 0 159 2 0 0 20 0 20 0 341585334 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341585334 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 51 0 0 0 21 23 0 0 20 0 20 0 341585334 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21789] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21789/stat : 21789 (java) S 21766 21768 19811 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 341585539 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755151381928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21790] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21790/stat : 21790 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341585539 3037372416 170155 33554432000 1073741824 1073778376 140733763444448 139755150329128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1711.21
Current children cumulated vsize (KiB) 2966184
#
############
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+932.701 s]
/proc/loadavg: 4.01 3.95 3.78 5/221 21987
/proc/meminfo: memFree=27709556/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2966184 CPUtime=1797.36 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 28567 0 1 0 179510 226 0 0 20 0 22 0 341585327 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 741546 170191 2289 9 0 732240 0
[pid=21768/tid=21770] ppid=21766 vsize=2966184 CPUtime=2.19 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21768 19811 0 -1 4202560 2842 0 1 0 215 4 0 0 20 0 22 0 341585328 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755197408424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2966184 CPUtime=3.22 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 242 0 0 0 315 7 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2966184 CPUtime=3.14 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 236 0 0 0 309 5 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2966184 CPUtime=3.24 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 264 0 0 0 318 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2966184 CPUtime=3.15 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 282 0 0 0 309 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 276 0 0 0 314 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2966184 CPUtime=3.26 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 284 0 0 0 321 5 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2966184 CPUtime=3.12 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 250 0 0 0 305 7 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2966184 CPUtime=3.17 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 291 0 0 0 311 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2966184 CPUtime=5.77 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 290 0 0 0 536 41 0 0 20 0 22 0 341585331 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341585332 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341585332 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2966184 CPUtime=1.45 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 11612 0 0 0 143 2 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 9309 0 0 0 159 2 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 53 0 0 0 22 24 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21789] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21789/stat : 21789 (java) S 21766 21768 19811 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341585539 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755151381928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21790] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21790/stat : 21790 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341585539 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755150329128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21984] ppid=21766 vsize=2966184 CPUtime=42.41 cores=1,3,5,7
/proc/21768/task/21984/stat : 21984 (java) R 21766 21768 19811 0 -1 4202560 11 0 0 0 4241 0 0 0 20 0 22 0 341674292 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755153484912 139755032152408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21985] ppid=21766 vsize=2966184 CPUtime=42.4 cores=1,3,5,7
/proc/21768/task/21985/stat : 21985 (java) R 21766 21768 19811 0 -1 4202560 11 0 0 0 4240 0 0 0 20 0 22 0 341674292 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755152432992 139755032177467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
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+932.701 s]
/proc/loadavg: 4.01 3.95 3.78 5/221 21987
/proc/meminfo: memFree=27709556/32873844 swapFree=7620/7620
[pid=21768] ppid=21766 vsize=2966184 CPUtime=1797.36 cores=1,3,5,7
/proc/21768/stat : 21768 (java) S 21766 21768 19811 0 -1 4202496 28567 0 1 0 179510 226 0 0 20 0 22 0 341585327 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 140733763435584 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21768/statm: 741546 170191 2289 9 0 732240 0
[pid=21768/tid=21770] ppid=21766 vsize=2966184 CPUtime=2.19 cores=1,3,5,7
/proc/21768/task/21770/stat : 21770 (java) S 21766 21768 19811 0 -1 4202560 2842 0 1 0 215 4 0 0 20 0 22 0 341585328 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755197408424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21771] ppid=21766 vsize=2966184 CPUtime=3.22 cores=1,3,5,7
/proc/21768/task/21771/stat : 21771 (java) S 21766 21768 19811 0 -1 4202560 242 0 0 0 315 7 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755181689896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21772] ppid=21766 vsize=2966184 CPUtime=3.14 cores=1,3,5,7
/proc/21768/task/21772/stat : 21772 (java) S 21766 21768 19811 0 -1 4202560 236 0 0 0 309 5 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755180637096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21773] ppid=21766 vsize=2966184 CPUtime=3.24 cores=1,3,5,7
/proc/21768/task/21773/stat : 21773 (java) S 21766 21768 19811 0 -1 4202560 264 0 0 0 318 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755179584296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21774] ppid=21766 vsize=2966184 CPUtime=3.15 cores=1,3,5,7
/proc/21768/task/21774/stat : 21774 (java) S 21766 21768 19811 0 -1 4202560 282 0 0 0 309 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755178531496 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21775] ppid=21766 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/21768/task/21775/stat : 21775 (java) S 21766 21768 19811 0 -1 4202560 276 0 0 0 314 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755177478696 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21776] ppid=21766 vsize=2966184 CPUtime=3.26 cores=1,3,5,7
/proc/21768/task/21776/stat : 21776 (java) S 21766 21768 19811 0 -1 4202560 284 0 0 0 321 5 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755176425896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21777] ppid=21766 vsize=2966184 CPUtime=3.12 cores=1,3,5,7
/proc/21768/task/21777/stat : 21777 (java) S 21766 21768 19811 0 -1 4202560 250 0 0 0 305 7 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755175373096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21778] ppid=21766 vsize=2966184 CPUtime=3.17 cores=1,3,5,7
/proc/21768/task/21778/stat : 21778 (java) S 21766 21768 19811 0 -1 4202560 291 0 0 0 311 6 0 0 20 0 22 0 341585330 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755174320296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21779] ppid=21766 vsize=2966184 CPUtime=5.77 cores=1,3,5,7
/proc/21768/task/21779/stat : 21779 (java) S 21766 21768 19811 0 -1 4202560 290 0 0 0 536 41 0 0 20 0 22 0 341585331 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755161910248 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21780] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21780/stat : 21780 (java) S 21766 21768 19811 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341585332 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755160856312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21781] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21781/stat : 21781 (java) S 21766 21768 19811 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341585332 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755159803400 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21782] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21782/stat : 21782 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755158751888 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21783] ppid=21766 vsize=2966184 CPUtime=1.45 cores=1,3,5,7
/proc/21768/task/21783/stat : 21783 (java) S 21766 21768 19811 0 -1 4202560 11612 0 0 0 143 2 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755157699000 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21784] ppid=21766 vsize=2966184 CPUtime=1.61 cores=1,3,5,7
/proc/21768/task/21784/stat : 21784 (java) S 21766 21768 19811 0 -1 4202560 9309 0 0 0 159 2 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755156646200 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21785] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21785/stat : 21785 (java) S 21766 21768 19811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755155593592 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21768/tid=21786] ppid=21766 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/21768/task/21786/stat : 21786 (java) S 21766 21768 19811 0 -1 4202560 53 0 0 0 22 24 0 0 20 0 22 0 341585334 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755154541000 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21768/tid=21789] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21789/stat : 21789 (java) S 21766 21768 19811 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341585539 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755151381928 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21790] ppid=21766 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/21768/task/21790/stat : 21790 (java) S 21766 21768 19811 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341585539 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755150329128 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21768/tid=21984] ppid=21766 vsize=2966184 CPUtime=42.41 cores=1,3,5,7
/proc/21768/task/21984/stat : 21984 (java) R 21766 21768 19811 0 -1 4202560 11 0 0 0 4241 0 0 0 20 0 22 0 341674292 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755153484912 139755032152408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21768/tid=21985] ppid=21766 vsize=2966184 CPUtime=42.4 cores=1,3,5,7
/proc/21768/task/21985/stat : 21985 (java) R 21766 21768 19811 0 -1 4202560 11 0 0 0 4240 0 0 0 20 0 22 0 341674292 3037372416 170191 33554432000 1073741824 1073778376 140733763444448 139755152432992 139755032177467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.83994
# lost CPU user time (s): 3.10999
# lost CPU system time (s): -0.27
Real time (s): 932.738
CPU time (s): 1800.22
CPU user time (s): 1798.07
CPU system time (s): 2.15163
CPU usage (%): 193.004
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 2.42163
maximum resident set size= 680876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28596
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40349
involuntary context switches= 58778
runsolver used 3.79142 second user time and 9.37457 second system time
The end