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-3737923-1338755206/watcher-3737923-1338755206 -o /tmp/evaluation-result-3737923-1338755206/solver-3737923-1338755206 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737923-1338755206.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.55 3.63 3.58 4/195 5830
/proc/meminfo: memFree=27010320/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/5830/stat : 5830 (java6) D 5828 5830 4574 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 341646504 9515008 185 33554432000 1073741824 1073778376 140736722969808 140736722961032 273448332727 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 2323 185 142 9 0 71 0
[startup+0.0839101 s]
/proc/loadavg: 3.55 3.63 3.58 4/195 5830
/proc/meminfo: memFree=27010320/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 3951 0 1 0 4 1 0 0 20 0 18 0 341646504 2764726272 5158 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 674982 5158 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.10024 s]
/proc/loadavg: 3.55 3.63 3.58 4/195 5830
/proc/meminfo: memFree=27010320/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 4754 0 1 0 7 1 0 0 20 0 18 0 341646504 2764726272 5945 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 674982 5945 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300209 s]
/proc/loadavg: 3.55 3.63 3.58 4/195 5830
/proc/meminfo: memFree=27010320/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2699928 CPUtime=0.43 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 5560 0 1 0 42 1 0 0 20 0 18 0 341646504 2764726272 7625 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 674982 7625 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2699928
[startup+0.700208 s]
/proc/loadavg: 3.55 3.63 3.58 4/195 5830
/proc/meminfo: memFree=27010320/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2699928 CPUtime=1.04 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 8166 0 1 0 103 1 0 0 20 0 18 0 341646504 2764726272 12053 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 674982 12057 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.55 3.63 3.58 4/213 5848
/proc/meminfo: memFree=26956008/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2699928 CPUtime=2.11 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 13182 0 1 0 208 3 0 0 20 0 18 0 341646504 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 674982 18304 2236 9 0 665676 0
[pid=5830/tid=5832] ppid=5828 vsize=2699928 CPUtime=1.46 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) R 5828 5830 4574 0 -1 4202560 2851 0 1 0 144 2 0 0 20 0 18 0 341646505 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583804927368 140583745034869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341646506 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341646507 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341646507 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341646507 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646510 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2699928 CPUtime=0.4 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 6421 0 0 0 39 1 0 0 20 0 18 0 341646510 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2699928 CPUtime=0.21 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 2723 0 0 0 21 0 0 0 20 0 18 0 341646510 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646510 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341646510 2764726272 18304 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 2699928
[startup+3.10063 s]
/proc/loadavg: 3.55 3.63 3.58 4/213 5848
/proc/meminfo: memFree=26933916/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2966184 CPUtime=5.75 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 18680 0 1 0 567 8 0 0 20 0 22 0 341646504 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 741546 64289 2256 9 0 732240 0
[pid=5830/tid=5832] ppid=5828 vsize=2966184 CPUtime=2.22 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) S 5828 5830 4574 0 -1 4202560 2871 0 1 0 219 3 0 0 20 0 22 0 341646505 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583804929176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341646506 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2966184 CPUtime=1.01 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 6513 0 0 0 99 2 0 0 20 0 22 0 341646510 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2966184 CPUtime=0.81 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 7921 0 0 0 80 1 0 0 20 0 22 0 341646510 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 64289 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 2966184
[startup+6.30082 s]
/proc/loadavg: 3.67 3.66 3.59 5/217 5852
/proc/meminfo: memFree=26570824/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2966184 CPUtime=12.45 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 18966 0 1 0 1228 17 0 0 20 0 22 0 341646504 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 741546 121099 2284 9 0 732240 0
[pid=5830/tid=5832] ppid=5828 vsize=2966184 CPUtime=2.22 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) S 5828 5830 4574 0 -1 4202560 2871 0 1 0 219 3 0 0 20 0 22 0 341646505 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583804929176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 341646506 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 45 0 0 0 6 0 0 0 20 0 22 0 341646507 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2966184 CPUtime=1.19 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 6534 0 0 0 117 2 0 0 20 0 22 0 341646510 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2966184 CPUtime=0.86 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 7936 0 0 0 85 1 0 0 20 0 22 0 341646510 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5849] ppid=5828 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/5830/task/5849/stat : 5849 (java) R 5828 5830 4574 0 -1 4202560 127 0 0 0 382 4 0 0 20 0 22 0 341646729 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583643525144 140583745367522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5850] ppid=5828 vsize=2966184 CPUtime=3.85 cores=0,2,4,6
/proc/5830/task/5850/stat : 5850 (java) R 5828 5830 4574 0 -1 4202560 119 0 0 0 383 2 0 0 20 0 22 0 341646729 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583642470368 140583745837799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5851] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5851/stat : 5851 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583641420968 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5852] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5852/stat : 5852 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 121099 33554432000 1073741824 1073778376 140734370008672 140583640368168 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 2966184
################
# More data... #
################
[pid=5830/tid=5850] ppid=5828 vsize=2966184 CPUtime=743.28 cores=0,2,4,6
/proc/5830/task/5850/stat : 5850 (java) R 5828 5830 4574 0 -1 4202560 478 0 0 0 74311 17 0 0 20 0 22 0 341646729 3037372416 189528 33554432000 1073741824 1073778376 140734370008672 140583642470512 140583745493611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5851] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5851/stat : 5851 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 189528 33554432000 1073741824 1073778376 140734370008672 140583641420968 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5852] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5852/stat : 5852 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 189528 33554432000 1073741824 1073778376 140734370008672 140583640368168 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1525.28
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.02 3.91 3.75 4/218 5922
/proc/meminfo: memFree=26139592/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2966184 CPUtime=1644.6 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 24160 0 1 0 164347 113 0 0 20 0 22 0 341646504 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 741546 193228 2285 9 0 732240 0
[pid=5830/tid=5832] ppid=5828 vsize=2966184 CPUtime=2.24 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) S 5828 5830 4574 0 -1 4202560 2887 0 1 0 221 3 0 0 20 0 22 0 341646505 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583804929176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2966184 CPUtime=3.26 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 245 0 0 0 319 7 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2966184 CPUtime=3.36 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 258 0 0 0 330 6 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2966184 CPUtime=3.33 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 263 0 0 0 327 6 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2966184 CPUtime=3.25 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 270 0 0 0 318 7 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2966184 CPUtime=3.39 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 291 0 0 0 332 7 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2966184 CPUtime=3.37 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 262 0 0 0 331 6 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2966184 CPUtime=3.39 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 272 0 0 0 332 7 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2966184 CPUtime=3.32 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 259 0 0 0 326 6 0 0 20 0 22 0 341646506 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2966184 CPUtime=10.88 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 116 0 0 0 1056 32 0 0 20 0 22 0 341646507 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2966184 CPUtime=1.7 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 8415 0 0 0 168 2 0 0 20 0 22 0 341646510 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 8492 0 0 0 124 2 0 0 20 0 22 0 341646510 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 22 0 341646510 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5849] ppid=5828 vsize=2966184 CPUtime=800.97 cores=0,2,4,6
/proc/5830/task/5849/stat : 5849 (java) R 5828 5830 4574 0 -1 4202560 391 0 0 0 80076 21 0 0 20 0 22 0 341646729 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583643523504 140583745478852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5850] ppid=5828 vsize=2966184 CPUtime=801.08 cores=0,2,4,6
/proc/5830/task/5850/stat : 5850 (java) R 5828 5830 4574 0 -1 4202560 503 0 0 0 80090 18 0 0 20 0 22 0 341646729 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583642471152 140583745479663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5851] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5851/stat : 5851 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583641420968 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5852] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5852/stat : 5852 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 193228 33554432000 1073741824 1073778376 140734370008672 140583640368168 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.01 3.92 3.76 4/217 5923
/proc/meminfo: memFree=26089952/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2966184 CPUtime=1764.21 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 24362 0 1 0 176302 119 0 0 20 0 22 0 341646504 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 741546 194393 2285 9 0 732240 0
[pid=5830/tid=5832] ppid=5828 vsize=2966184 CPUtime=2.24 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) S 5828 5830 4574 0 -1 4202560 2887 0 1 0 221 3 0 0 20 0 22 0 341646505 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583804929176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 267 0 0 0 357 7 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2966184 CPUtime=3.69 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 270 0 0 0 363 6 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2966184 CPUtime=3.65 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 281 0 0 0 359 6 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2966184 CPUtime=3.56 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 284 0 0 0 348 8 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2966184 CPUtime=3.73 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 301 0 0 0 366 7 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2966184 CPUtime=3.71 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 278 0 0 0 365 6 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2966184 CPUtime=3.74 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 306 0 0 0 367 7 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2966184 CPUtime=3.69 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 277 0 0 0 363 6 0 0 20 0 22 0 341646506 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2966184 CPUtime=12.39 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 120 0 0 0 1203 36 0 0 20 0 22 0 341646507 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2966184 CPUtime=1.7 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 8415 0 0 0 168 2 0 0 20 0 22 0 341646510 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 8492 0 0 0 124 2 0 0 20 0 22 0 341646510 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 341646510 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5849] ppid=5828 vsize=2966184 CPUtime=858.67 cores=0,2,4,6
/proc/5830/task/5849/stat : 5849 (java) R 5828 5830 4574 0 -1 4202560 406 0 0 0 85845 22 0 0 20 0 22 0 341646729 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583643523656 140583745557758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5850] ppid=5828 vsize=2966184 CPUtime=858.8 cores=0,2,4,6
/proc/5830/task/5850/stat : 5850 (java) R 5828 5830 4574 0 -1 4202560 538 0 0 0 85860 20 0 0 20 0 22 0 341646729 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583642471352 140583745493584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5851] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5851/stat : 5851 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583641420968 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5852] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5852/stat : 5852 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 194393 33554432000 1073741824 1073778376 140734370008672 140583640368168 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1764.21
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.401 s]
/proc/loadavg: 3.78 3.88 3.74 5/217 5923
/proc/meminfo: memFree=26087904/32873852 swapFree=6856/6856
[pid=5830] ppid=5828 vsize=2966184 CPUtime=1800.18 cores=0,2,4,6
/proc/5830/stat : 5830 (java) S 5828 5830 4574 0 -1 4202496 24418 0 1 0 179896 122 0 0 20 0 22 0 341646504 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140734369999808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5830/statm: 741546 194940 2285 9 0 732240 0
[pid=5830/tid=5832] ppid=5828 vsize=2966184 CPUtime=2.24 cores=0,2,4,6
/proc/5830/task/5832/stat : 5832 (java) S 5828 5830 4574 0 -1 4202560 2888 0 1 0 221 3 0 0 20 0 22 0 341646505 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583804929176 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5833] ppid=5828 vsize=2966184 CPUtime=3.74 cores=0,2,4,6
/proc/5830/task/5833/stat : 5833 (java) S 5828 5830 4574 0 -1 4202560 271 0 0 0 367 7 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583671728424 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5834] ppid=5828 vsize=2966184 CPUtime=3.79 cores=0,2,4,6
/proc/5830/task/5834/stat : 5834 (java) S 5828 5830 4574 0 -1 4202560 271 0 0 0 373 6 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583670675624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5835] ppid=5828 vsize=2966184 CPUtime=3.74 cores=0,2,4,6
/proc/5830/task/5835/stat : 5835 (java) S 5828 5830 4574 0 -1 4202560 285 0 0 0 368 6 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583669623336 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5830/tid=5836] ppid=5828 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/5830/task/5836/stat : 5836 (java) S 5828 5830 4574 0 -1 4202560 287 0 0 0 356 8 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583668570536 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5837] ppid=5828 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/5830/task/5837/stat : 5837 (java) S 5828 5830 4574 0 -1 4202560 302 0 0 0 375 7 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583667518248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5838] ppid=5828 vsize=2966184 CPUtime=3.82 cores=0,2,4,6
/proc/5830/task/5838/stat : 5838 (java) S 5828 5830 4574 0 -1 4202560 278 0 0 0 376 6 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583666465448 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5839] ppid=5828 vsize=2966184 CPUtime=3.81 cores=0,2,4,6
/proc/5830/task/5839/stat : 5839 (java) S 5828 5830 4574 0 -1 4202560 313 0 0 0 374 7 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583665413160 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5840] ppid=5828 vsize=2966184 CPUtime=3.81 cores=0,2,4,6
/proc/5830/task/5840/stat : 5840 (java) S 5828 5830 4574 0 -1 4202560 293 0 0 0 374 7 0 0 20 0 22 0 341646506 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583664360360 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5841] ppid=5828 vsize=2966184 CPUtime=12.95 cores=0,2,4,6
/proc/5830/task/5841/stat : 5841 (java) S 5828 5830 4574 0 -1 4202560 123 0 0 0 1258 37 0 0 20 0 22 0 341646507 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583651948776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5842] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5842/stat : 5842 (java) S 5828 5830 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583650894840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5843] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5843/stat : 5843 (java) S 5828 5830 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341646507 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583649842440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5844] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5844/stat : 5844 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583648790928 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5845] ppid=5828 vsize=2966184 CPUtime=1.7 cores=0,2,4,6
/proc/5830/task/5845/stat : 5845 (java) S 5828 5830 4574 0 -1 4202560 8415 0 0 0 168 2 0 0 20 0 22 0 341646510 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583647738552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5846] ppid=5828 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/5830/task/5846/stat : 5846 (java) S 5828 5830 4574 0 -1 4202560 8492 0 0 0 124 2 0 0 20 0 22 0 341646510 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583646685752 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5847] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5847/stat : 5847 (java) S 5828 5830 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341646510 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583645633656 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5830/tid=5848] ppid=5828 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/5830/task/5848/stat : 5848 (java) S 5828 5830 4574 0 -1 4202560 53 0 0 0 15 16 0 0 20 0 22 0 341646510 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583644581064 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5849] ppid=5828 vsize=2966184 CPUtime=875.99 cores=0,2,4,6
/proc/5830/task/5849/stat : 5849 (java) R 5828 5830 4574 0 -1 4202560 412 0 0 0 87577 22 0 0 20 0 22 0 341646729 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583643524520 140583745458756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5830/tid=5850] ppid=5828 vsize=2966184 CPUtime=876.13 cores=0,2,4,6
/proc/5830/task/5850/stat : 5850 (java) R 5828 5830 4574 0 -1 4202560 546 0 0 0 87593 20 0 0 20 0 22 0 341646729 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583642470632 140583745478252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5851] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5851/stat : 5851 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583641420968 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5830/tid=5852] ppid=5828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/5830/task/5852/stat : 5852 (java) S 5828 5830 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341646731 3037372416 194940 33554432000 1073741824 1073778376 140734370008672 140583640368168 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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
Child status: 143
Real time (s): 900.432
CPU time (s): 1801.08
CPU user time (s): 1799.37
CPU system time (s): 1.71274
CPU usage (%): 200.024
Max. virtual memory (cumulated for all children) (KiB): 2967552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 1.71274
maximum resident set size= 779876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24450
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41976
involuntary context switches= 60995
runsolver used 2.95055 second user time and 8.48471 second system time
The end