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-3742444-1338786806/watcher-3742444-1338786806 -o /tmp/evaluation-result-3742444-1338786806/solver-3742444-1338786806 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742444-1338786806.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.83 3.91 3.84 4/197 8830
/proc/meminfo: memFree=28012944/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/8830/stat : 8830 (java6) R 8828 8830 7918 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 344805528 2560000 47 33554432000 1073741824 1073778376 140735270932672 140735270929800 233211784487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8830/statm: 625 47 37 9 0 29 0
[startup+0.106447 s]
/proc/loadavg: 3.83 3.91 3.84 4/197 8830
/proc/meminfo: memFree=28012944/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 4134 0 1 0 6 1 0 0 20 0 18 0 344805528 2764726272 5854 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 674982 5855 1933 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.200245 s]
/proc/loadavg: 3.83 3.91 3.84 4/197 8830
/proc/meminfo: memFree=28012944/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2699928 CPUtime=0.25 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 5907 0 1 0 23 2 0 0 20 0 18 0 344805528 2764726272 8278 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 674982 8278 2187 9 0 665676 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2699928
[startup+0.300262 s]
/proc/loadavg: 3.83 3.91 3.84 4/197 8830
/proc/meminfo: memFree=28012944/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2699928 CPUtime=0.52 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 7656 0 1 0 50 2 0 0 20 0 18 0 344805528 2764726272 11038 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 674982 11038 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928
[startup+0.700166 s]
/proc/loadavg: 3.83 3.91 3.84 4/197 8830
/proc/meminfo: memFree=28012944/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2833056 CPUtime=1.32 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 12651 0 1 0 127 5 0 0 20 0 20 0 344805528 2901049344 46911 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 708264 46911 2242 9 0 698958 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2833056
[startup+1.5008 s]
/proc/loadavg: 3.83 3.91 3.84 7/219 8852
/proc/meminfo: memFree=27805332/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2966184 CPUtime=3.92 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 16091 0 1 0 385 7 0 0 20 0 22 0 344805528 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 741546 79186 2256 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.64 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2856 0 1 0 61 3 0 0 20 0 22 0 344805529 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=0.78 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4790 0 0 0 77 1 0 0 20 0 22 0 344805535 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8846] ppid=8828 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/8830/task/8846/stat : 8846 (java) S 8828 8830 7918 0 -1 4202560 7090 0 0 0 85 0 0 0 20 0 22 0 344805535 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614689589816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8847] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8847/stat : 8847 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614688537720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8848] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8848/stat : 8848 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614687485128 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8849] ppid=8828 vsize=2966184 CPUtime=0.78 cores=0,2,4,6
/proc/8830/task/8849/stat : 8849 (java) R 8828 8830 7918 0 -1 4202560 28 0 0 0 78 0 0 0 20 0 22 0 344805596 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614686429624 140614696658496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8850] ppid=8828 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/8830/task/8850/stat : 8850 (java) R 8828 8830 7918 0 -1 4202560 126 0 0 0 78 2 0 0 20 0 22 0 344805596 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614685376792 140614696875401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8851] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8851/stat : 8851 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614684325032 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8852] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8852/stat : 8852 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 79186 33554432000 1073741824 1073778376 140734800879856 140614683272232 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 2966184
[startup+3.10082 s]
/proc/loadavg: 3.83 3.91 3.84 5/219 8852
/proc/meminfo: memFree=27610188/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2966184 CPUtime=7.38 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 16261 0 1 0 724 14 0 0 20 0 22 0 344805528 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 741546 108425 2269 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.64 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2856 0 1 0 61 3 0 0 20 0 22 0 344805529 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 16 0 0 0 0 1 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344805530 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4792 0 0 0 83 1 0 0 20 0 22 0 344805535 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8846] ppid=8828 vsize=2966184 CPUtime=0.96 cores=0,2,4,6
/proc/8830/task/8846/stat : 8846 (java) S 8828 8830 7918 0 -1 4202560 7121 0 0 0 96 0 0 0 20 0 22 0 344805535 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614689589816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8847] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8847/stat : 8847 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614688537720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8848] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8848/stat : 8848 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614687485128 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8849] ppid=8828 vsize=2966184 CPUtime=2.32 cores=0,2,4,6
/proc/8830/task/8849/stat : 8849 (java) R 8828 8830 7918 0 -1 4202560 28 0 0 0 232 0 0 0 20 0 22 0 344805596 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614686429640 140614696822632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8850] ppid=8828 vsize=2966184 CPUtime=2.34 cores=0,2,4,6
/proc/8830/task/8850/stat : 8850 (java) R 8828 8830 7918 0 -1 4202560 166 0 0 0 231 3 0 0 20 0 22 0 344805596 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614685375976 140614696852301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8851] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8851/stat : 8851 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614684325032 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8852] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8852/stat : 8852 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 108425 33554432000 1073741824 1073778376 140734800879856 140614683272232 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 2966184
[startup+6.30084 s]
/proc/loadavg: 3.85 3.91 3.84 5/219 8852
/proc/meminfo: memFree=27557256/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2966184 CPUtime=14.22 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 19179 0 1 0 1406 16 0 0 20 0 22 0 344805528 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 741546 115853 2283 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.64 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2856 0 1 0 61 3 0 0 20 0 22 0 344805529 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 344805530 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 22 0 344805532 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=0.93 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4798 0 0 0 92 1 0 0 20 0 22 0 344805535 3037372416 115853 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
/proc/8830/statm: 741546 206998 2284 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.67 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2864 0 1 0 63 4 0 0 20 0 22 0 344805529 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=3.14 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 168 0 0 0 308 6 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=3.24 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 170 0 0 0 318 6 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=3.11 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 152 0 0 0 305 6 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=3.07 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 177 0 0 0 300 7 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=3.16 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 184 0 0 0 308 8 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=3.29 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 182 0 0 0 323 6 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=3.03 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 163 0 0 0 296 7 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=3.22 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 171 0 0 0 315 7 0 0 20 0 22 0 344805530 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=15.87 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 135 0 0 0 1560 27 0 0 20 0 22 0 344805532 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4826 0 0 0 117 1 0 0 20 0 22 0 344805535 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8846] ppid=8828 vsize=2966184 CPUtime=1.75 cores=0,2,4,6
/proc/8830/task/8846/stat : 8846 (java) S 8828 8830 7918 0 -1 4202560 12646 0 0 0 173 2 0 0 20 0 22 0 344805535 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614689589816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8847] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8847/stat : 8847 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614688537720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8848] ppid=8828 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/8830/task/8848/stat : 8848 (java) S 8828 8830 7918 0 -1 4202560 46 0 0 0 14 17 0 0 20 0 22 0 344805535 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614687485128 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8849] ppid=8828 vsize=2966184 CPUtime=796.21 cores=0,2,4,6
/proc/8830/task/8849/stat : 8849 (java) R 8828 8830 7918 0 -1 4202560 276 0 0 0 79607 14 0 0 20 0 22 0 344805596 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614686428480 140614696822574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8850] ppid=8828 vsize=2966184 CPUtime=796.21 cores=0,2,4,6
/proc/8830/task/8850/stat : 8850 (java) R 8828 8830 7918 0 -1 4202560 379 0 0 0 79605 16 0 0 20 0 22 0 344805596 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614685374800 140614696629025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8851] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8851/stat : 8851 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614684325032 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8852] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8852/stat : 8852 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 206998 33554432000 1073741824 1073778376 140734800879856 140614683272232 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1641.38
Current children cumulated vsize (KiB) 2966184
[startup+882.307 s]
/proc/loadavg: 3.96 3.98 3.91 5/219 8920
/proc/meminfo: memFree=27191136/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2966184 CPUtime=1760.31 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 23851 0 1 0 175916 115 0 0 20 0 22 0 344805528 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 741546 210648 2284 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.67 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2866 0 1 0 63 4 0 0 20 0 22 0 344805529 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=3.35 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 184 0 0 0 328 7 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=3.48 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 183 0 0 0 341 7 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=3.35 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 170 0 0 0 329 6 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=3.2 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 180 0 0 0 313 7 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=3.37 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 192 0 0 0 329 8 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=3.54 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 185 0 0 0 348 6 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=3.24 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 179 0 0 0 317 7 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=3.45 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 184 0 0 0 338 7 0 0 20 0 22 0 344805530 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=17.71 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 139 0 0 0 1743 28 0 0 20 0 22 0 344805532 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4826 0 0 0 117 1 0 0 20 0 22 0 344805535 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8846] ppid=8828 vsize=2966184 CPUtime=1.75 cores=0,2,4,6
/proc/8830/task/8846/stat : 8846 (java) S 8828 8830 7918 0 -1 4202560 12646 0 0 0 173 2 0 0 20 0 22 0 344805535 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614689589816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8847] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8847/stat : 8847 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614688537720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8848] ppid=8828 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/8830/task/8848/stat : 8848 (java) S 8828 8830 7918 0 -1 4202560 50 0 0 0 16 18 0 0 20 0 22 0 344805535 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614687485128 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8849] ppid=8828 vsize=2966184 CPUtime=853.73 cores=0,2,4,6
/proc/8830/task/8849/stat : 8849 (java) R 8828 8830 7918 0 -1 4202560 285 0 0 0 85359 14 0 0 20 0 22 0 344805596 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614686429392 140614696770473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8850] ppid=8828 vsize=2966184 CPUtime=853.72 cores=0,2,4,6
/proc/8830/task/8850/stat : 8850 (java) R 8828 8830 7918 0 -1 4202560 394 0 0 0 85355 17 0 0 20 0 22 0 344805596 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614685374544 140614697022148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8851] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8851/stat : 8851 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614684325032 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8852] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8852/stat : 8852 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 210648 33554432000 1073741824 1073778376 140734800879856 140614683272232 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.301 s]
/proc/loadavg: 3.97 3.98 3.91 5/219 8920
/proc/meminfo: memFree=27166560/32873844 swapFree=7120/7120
[pid=8830] ppid=8828 vsize=2966184 CPUtime=1800.15 cores=0,2,4,6
/proc/8830/stat : 8830 (java) S 8828 8830 7918 0 -1 4202496 23867 0 1 0 179899 116 0 0 20 0 22 0 344805528 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140734800870992 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8830/statm: 741546 210654 2284 9 0 732240 0
[pid=8830/tid=8832] ppid=8828 vsize=2966184 CPUtime=0.67 cores=0,2,4,6
/proc/8830/task/8832/stat : 8832 (java) S 8828 8830 7918 0 -1 4202560 2866 0 1 0 63 4 0 0 20 0 22 0 344805529 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614848296088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8833] ppid=8828 vsize=2966184 CPUtime=3.42 cores=0,2,4,6
/proc/8830/task/8833/stat : 8833 (java) S 8828 8830 7918 0 -1 4202560 184 0 0 0 335 7 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614832576808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8834] ppid=8828 vsize=2966184 CPUtime=3.53 cores=0,2,4,6
/proc/8830/task/8834/stat : 8834 (java) S 8828 8830 7918 0 -1 4202560 183 0 0 0 346 7 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614831524008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8835] ppid=8828 vsize=2966184 CPUtime=3.41 cores=0,2,4,6
/proc/8830/task/8835/stat : 8835 (java) S 8828 8830 7918 0 -1 4202560 170 0 0 0 335 6 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614830471720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8836] ppid=8828 vsize=2966184 CPUtime=3.26 cores=0,2,4,6
/proc/8830/task/8836/stat : 8836 (java) S 8828 8830 7918 0 -1 4202560 182 0 0 0 319 7 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614829418920 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8837] ppid=8828 vsize=2966184 CPUtime=3.47 cores=0,2,4,6
/proc/8830/task/8837/stat : 8837 (java) S 8828 8830 7918 0 -1 4202560 194 0 0 0 339 8 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614828366632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8838] ppid=8828 vsize=2966184 CPUtime=3.62 cores=0,2,4,6
/proc/8830/task/8838/stat : 8838 (java) S 8828 8830 7918 0 -1 4202560 187 0 0 0 356 6 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614827313832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8839] ppid=8828 vsize=2966184 CPUtime=3.28 cores=0,2,4,6
/proc/8830/task/8839/stat : 8839 (java) S 8828 8830 7918 0 -1 4202560 179 0 0 0 321 7 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614826261544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8840] ppid=8828 vsize=2966184 CPUtime=3.51 cores=0,2,4,6
/proc/8830/task/8840/stat : 8840 (java) S 8828 8830 7918 0 -1 4202560 184 0 0 0 344 7 0 0 20 0 22 0 344805530 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614825208744 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8841] ppid=8828 vsize=2966184 CPUtime=18.11 cores=0,2,4,6
/proc/8830/task/8841/stat : 8841 (java) S 8828 8830 7918 0 -1 4202560 141 0 0 0 1782 29 0 0 20 0 22 0 344805532 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614694852840 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8842] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8842/stat : 8842 (java) S 8828 8830 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614693798904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8843] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8843/stat : 8843 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805532 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614692746504 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8844] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8844/stat : 8844 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614691694992 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8845] ppid=8828 vsize=2966184 CPUtime=1.18 cores=0,2,4,6
/proc/8830/task/8845/stat : 8845 (java) S 8828 8830 7918 0 -1 4202560 4826 0 0 0 117 1 0 0 20 0 22 0 344805535 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614690642616 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8846] ppid=8828 vsize=2966184 CPUtime=1.75 cores=0,2,4,6
/proc/8830/task/8846/stat : 8846 (java) S 8828 8830 7918 0 -1 4202560 12646 0 0 0 173 2 0 0 20 0 22 0 344805535 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614689589816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8830/tid=8847] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8847/stat : 8847 (java) S 8828 8830 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344805535 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614688537720 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8830/tid=8848] ppid=8828 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/8830/task/8848/stat : 8848 (java) S 8828 8830 7918 0 -1 4202560 52 0 0 0 17 18 0 0 20 0 22 0 344805535 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614687485128 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8849] ppid=8828 vsize=2966184 CPUtime=873.13 cores=0,2,4,6
/proc/8830/task/8849/stat : 8849 (java) R 8828 8830 7918 0 -1 4202560 286 0 0 0 87298 15 0 0 20 0 22 0 344805596 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614686429392 140614696507668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8830/tid=8850] ppid=8828 vsize=2966184 CPUtime=873.14 cores=0,2,4,6
/proc/8830/task/8850/stat : 8850 (java) R 8828 8830 7918 0 -1 4202560 399 0 0 0 87296 18 0 0 20 0 22 0 344805596 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614685374800 140614696852236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8851] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8851/stat : 8851 (java) S 8828 8830 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614684325032 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8830/tid=8852] ppid=8828 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8830/task/8852/stat : 8852 (java) S 8828 8830 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344805599 3037372416 210654 33554432000 1073741824 1073778376 140734800879856 140614683272232 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8830 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=658170
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=583759
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.361
CPU time (s): 1800.15
CPU user time (s): 1798.99
CPU system time (s): 1.16
CPU usage (%): 199.493
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.58376
maximum resident set size= 842740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23900
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34859
involuntary context switches= 59710
runsolver used 3.19151 second user time and 8.35373 second system time
The end