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-3742210-1338785513/watcher-3742210-1338785513 -o /tmp/evaluation-result-3742210-1338785513/solver-3742210-1338785513 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742210-1338785513.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.68 3.85 3.79 4/197 8612
/proc/meminfo: memFree=27988500/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8612/stat : 8612 (java6) D 8610 8612 7918 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 344676165 9515008 182 33554432000 1073741824 1073778376 140734341029520 140734341020552 233220947637 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8612/statm: 2323 182 140 9 0 71 0
[startup+0.0766749 s]
/proc/loadavg: 3.68 3.85 3.79 4/197 8612
/proc/meminfo: memFree=27988500/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 3842 0 1 0 4 1 0 0 20 0 18 0 344676165 2764726272 5561 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 674982 5561 1757 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100287 s]
/proc/loadavg: 3.68 3.85 3.79 4/197 8612
/proc/meminfo: memFree=27988500/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 344676165 2764726272 5849 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 674982 5850 1932 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300233 s]
/proc/loadavg: 3.68 3.85 3.79 4/197 8612
/proc/meminfo: memFree=27988500/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2699928 CPUtime=0.54 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 7827 0 1 0 52 2 0 0 20 0 18 0 344676165 2764726272 11553 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 674982 11553 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928
[startup+0.70021 s]
/proc/loadavg: 3.68 3.85 3.79 4/197 8612
/proc/meminfo: memFree=27988500/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=1.44 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 13164 0 1 0 138 6 0 0 20 0 22 0 344676165 3037372416 44445 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 44445 2248 9 0 732240 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 2966184
[startup+1.50078 s]
/proc/loadavg: 3.68 3.85 3.79 7/219 8634
/proc/meminfo: memFree=27806396/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=4.05 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 17803 0 1 0 396 9 0 0 20 0 22 0 344676165 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 62459 2256 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2857 0 1 0 57 4 0 0 20 0 22 0 344676166 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 5729 0 0 0 77 0 0 0 20 0 22 0 344676172 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8628] ppid=8610 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/8612/task/8628/stat : 8628 (java) S 8610 8612 7918 0 -1 4202560 7885 0 0 0 92 3 0 0 20 0 22 0 344676172 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673268259640 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8629] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8629/stat : 8629 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140673267207032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8630] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8630/stat : 8630 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140672258534344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8631] ppid=8610 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/8612/task/8631/stat : 8631 (java) R 8610 8612 7918 0 -1 4202560 29 0 0 0 83 0 0 0 20 0 22 0 344676230 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140672257478392 140673282805723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8632] ppid=8610 vsize=2966184 CPUtime=0.81 cores=1,3,5,7
/proc/8612/task/8632/stat : 8632 (java) R 8610 8612 7918 0 -1 4202560 101 0 0 0 79 2 0 0 20 0 22 0 344676230 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140672256426136 140673283182923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8633] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8633/stat : 8633 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140672255374248 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8634] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8634/stat : 8634 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 62459 33554432000 1073741824 1073778376 140733576991968 140672254321448 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 2966184
[startup+3.10083 s]
/proc/loadavg: 3.68 3.85 3.79 5/219 8634
/proc/meminfo: memFree=27629144/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=7.45 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 17979 0 1 0 731 14 0 0 20 0 22 0 344676165 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 100884 2269 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2857 0 1 0 57 4 0 0 20 0 22 0 344676166 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344676167 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=0.81 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 5777 0 0 0 81 0 0 0 20 0 22 0 344676172 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8628] ppid=8610 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/8612/task/8628/stat : 8628 (java) R 8610 8612 7918 0 -1 4202560 7886 0 0 0 106 3 0 0 20 0 22 0 344676172 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673268259640 140673433250316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8629] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8629/stat : 8629 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140673267207032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8630] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8630/stat : 8630 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140672258534344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8631] ppid=8610 vsize=2966184 CPUtime=2.39 cores=1,3,5,7
/proc/8612/task/8631/stat : 8631 (java) R 8610 8612 7918 0 -1 4202560 31 0 0 0 239 0 0 0 20 0 22 0 344676230 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140672257479304 140673282645196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8632] ppid=8610 vsize=2966184 CPUtime=2.35 cores=1,3,5,7
/proc/8612/task/8632/stat : 8632 (java) R 8610 8612 7918 0 -1 4202560 169 0 0 0 232 3 0 0 20 0 22 0 344676230 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140672256425504 140673282064665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8633] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8633/stat : 8633 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140672255374248 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8634] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8634/stat : 8634 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 100884 33554432000 1073741824 1073778376 140733576991968 140672254321448 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 2966184
[startup+6.30085 s]
/proc/loadavg: 3.63 3.83 3.78 5/219 8634
/proc/meminfo: memFree=27525328/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=14.46 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 23281 0 1 0 1427 19 0 0 20 0 22 0 344676165 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 114984 2283 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2857 0 1 0 57 4 0 0 20 0 22 0 344676166 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 22 0 344676167 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 22 0 344676169 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 10979 0 0 0 133 2 0 0 20 0 22 0 344676172 3037372416 114984 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/8612/statm: 741546 250867 2284 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.64 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2871 0 1 0 59 5 0 0 20 0 22 0 344676166 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=3.31 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 194 0 0 0 322 9 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 186 0 0 0 311 9 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=3.36 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 210 0 0 0 326 10 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=3.34 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 199 0 0 0 324 10 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=3.26 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 200 0 0 0 317 9 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=3.15 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 199 0 0 0 307 8 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=3.26 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 182 0 0 0 317 9 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=3.23 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 196 0 0 0 314 9 0 0 20 0 22 0 344676167 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=18.49 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 128 0 0 0 1831 18 0 0 20 0 22 0 344676169 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=1.42 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 10980 0 0 0 140 2 0 0 20 0 22 0 344676172 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8628] ppid=8610 vsize=2966184 CPUtime=1.74 cores=1,3,5,7
/proc/8612/task/8628/stat : 8628 (java) S 8610 8612 7918 0 -1 4202560 10710 0 0 0 171 3 0 0 20 0 22 0 344676172 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673268259640 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8629] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8629/stat : 8629 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140673267207032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8630] ppid=8610 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/8612/task/8630/stat : 8630 (java) S 8610 8612 7918 0 -1 4202560 47 0 0 0 19 18 0 0 20 0 22 0 344676172 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140672258534344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8631] ppid=8610 vsize=2966184 CPUtime=793.37 cores=1,3,5,7
/proc/8612/task/8631/stat : 8631 (java) R 8610 8612 7918 0 -1 4202560 253 0 0 0 79322 15 0 0 20 0 22 0 344676230 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140672257479120 140673283062504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8632] ppid=8610 vsize=2966184 CPUtime=793.45 cores=1,3,5,7
/proc/8612/task/8632/stat : 8632 (java) R 8610 8612 7918 0 -1 4202560 383 0 0 0 79327 18 0 0 20 0 22 0 344676230 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140672256424128 140673283001950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8633] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8633/stat : 8633 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140672255374248 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8634] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8634/stat : 8634 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 250867 33554432000 1073741824 1073778376 140733576991968 140672254321448 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1639.68
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.79 3.88 3.82 5/219 8724
/proc/meminfo: memFree=26946424/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=1758.55 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 28242 0 1 0 175723 132 0 0 20 0 22 0 344676165 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 259096 2284 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.64 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2872 0 1 0 59 5 0 0 20 0 22 0 344676166 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=3.43 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 200 0 0 0 334 9 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=3.35 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 200 0 0 0 325 10 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=3.49 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 218 0 0 0 339 10 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=3.45 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 203 0 0 0 335 10 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=3.38 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 219 0 0 0 329 9 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=3.31 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 214 0 0 0 322 9 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=3.4 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 199 0 0 0 330 10 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=3.43 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 206 0 0 0 334 9 0 0 20 0 22 0 344676167 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=20.11 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 132 0 0 0 1992 19 0 0 20 0 22 0 344676169 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=1.42 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 10980 0 0 0 140 2 0 0 20 0 22 0 344676172 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8628] ppid=8610 vsize=2966184 CPUtime=1.74 cores=1,3,5,7
/proc/8612/task/8628/stat : 8628 (java) S 8610 8612 7918 0 -1 4202560 10710 0 0 0 171 3 0 0 20 0 22 0 344676172 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673268259640 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8629] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8629/stat : 8629 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140673267207032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8630] ppid=8610 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8612/task/8630/stat : 8630 (java) S 8610 8612 7918 0 -1 4202560 51 0 0 0 21 19 0 0 20 0 22 0 344676172 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140672258534344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8631] ppid=8610 vsize=2966184 CPUtime=851.28 cores=1,3,5,7
/proc/8612/task/8631/stat : 8631 (java) R 8610 8612 7918 0 -1 4202560 257 0 0 0 85113 15 0 0 20 0 22 0 344676230 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140672257477392 140673282898723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8632] ppid=8610 vsize=2966184 CPUtime=851.35 cores=1,3,5,7
/proc/8612/task/8632/stat : 8632 (java) R 8610 8612 7918 0 -1 4202560 392 0 0 0 85117 18 0 0 20 0 22 0 344676230 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140672256425280 140673283070608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8633] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8633/stat : 8633 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140672255374248 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8634] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8634/stat : 8634 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 259096 33554432000 1073741824 1073778376 140733576991968 140672254321448 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1758.55
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.401 s]
/proc/loadavg: 3.79 3.87 3.82 5/219 8724
/proc/meminfo: memFree=26946176/32873844 swapFree=7120/7120
[pid=8612] ppid=8610 vsize=2966184 CPUtime=1800.03 cores=1,3,5,7
/proc/8612/stat : 8612 (java) S 8610 8612 7918 0 -1 4202496 28275 0 1 0 179870 133 0 0 20 0 22 0 344676165 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140733576983104 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8612/statm: 741546 259120 2284 9 0 732240 0
[pid=8612/tid=8614] ppid=8610 vsize=2966184 CPUtime=0.64 cores=1,3,5,7
/proc/8612/task/8614/stat : 8614 (java) S 8610 8612 7918 0 -1 4202560 2872 0 1 0 59 5 0 0 20 0 22 0 344676166 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673427092632 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8615] ppid=8610 vsize=2966184 CPUtime=3.49 cores=1,3,5,7
/proc/8612/task/8615/stat : 8615 (java) S 8610 8612 7918 0 -1 4202560 201 0 0 0 340 9 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673411373608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8616] ppid=8610 vsize=2966184 CPUtime=3.4 cores=1,3,5,7
/proc/8612/task/8616/stat : 8616 (java) S 8610 8612 7918 0 -1 4202560 203 0 0 0 330 10 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673410320808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8617] ppid=8610 vsize=2966184 CPUtime=3.54 cores=1,3,5,7
/proc/8612/task/8617/stat : 8617 (java) S 8610 8612 7918 0 -1 4202560 229 0 0 0 344 10 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673409268008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8618] ppid=8610 vsize=2966184 CPUtime=3.51 cores=1,3,5,7
/proc/8612/task/8618/stat : 8618 (java) S 8610 8612 7918 0 -1 4202560 212 0 0 0 341 10 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673408215208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8619] ppid=8610 vsize=2966184 CPUtime=3.43 cores=1,3,5,7
/proc/8612/task/8619/stat : 8619 (java) S 8610 8612 7918 0 -1 4202560 219 0 0 0 334 9 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673407163432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8620] ppid=8610 vsize=2966184 CPUtime=3.33 cores=1,3,5,7
/proc/8612/task/8620/stat : 8620 (java) S 8610 8612 7918 0 -1 4202560 214 0 0 0 324 9 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673406110632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8621] ppid=8610 vsize=2966184 CPUtime=3.45 cores=1,3,5,7
/proc/8612/task/8621/stat : 8621 (java) S 8610 8612 7918 0 -1 4202560 199 0 0 0 335 10 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673405057832 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8622] ppid=8610 vsize=2966184 CPUtime=3.47 cores=1,3,5,7
/proc/8612/task/8622/stat : 8622 (java) S 8610 8612 7918 0 -1 4202560 206 0 0 0 338 9 0 0 20 0 22 0 344676167 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673404005032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8623] ppid=8610 vsize=2966184 CPUtime=21.02 cores=1,3,5,7
/proc/8612/task/8623/stat : 8623 (java) S 8610 8612 7918 0 -1 4202560 134 0 0 0 2082 20 0 0 20 0 22 0 344676169 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673273522664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8624] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8624/stat : 8624 (java) S 8610 8612 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673272468728 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8625] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8625/stat : 8625 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676169 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673271415816 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8626] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8626/stat : 8626 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673270364304 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8612/tid=8627] ppid=8610 vsize=2966184 CPUtime=1.42 cores=1,3,5,7
/proc/8612/task/8627/stat : 8627 (java) S 8610 8612 7918 0 -1 4202560 10980 0 0 0 140 2 0 0 20 0 22 0 344676172 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673269312440 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8628] ppid=8610 vsize=2966184 CPUtime=1.74 cores=1,3,5,7
/proc/8612/task/8628/stat : 8628 (java) S 8610 8612 7918 0 -1 4202560 10710 0 0 0 171 3 0 0 20 0 22 0 344676172 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673268259640 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8629] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8629/stat : 8629 (java) S 8610 8612 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344676172 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140673267207032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8630] ppid=8610 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/8612/task/8630/stat : 8630 (java) S 8610 8612 7918 0 -1 4202560 53 0 0 0 21 20 0 0 20 0 22 0 344676172 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140672258534344 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8631] ppid=8610 vsize=2966184 CPUtime=871.31 cores=1,3,5,7
/proc/8612/task/8631/stat : 8631 (java) R 8610 8612 7918 0 -1 4202560 259 0 0 0 87115 16 0 0 20 0 22 0 344676230 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140672257479208 140673282898680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8612/tid=8632] ppid=8610 vsize=2966184 CPUtime=871.39 cores=1,3,5,7
/proc/8612/task/8632/stat : 8632 (java) R 8610 8612 7918 0 -1 4202560 395 0 0 0 87120 19 0 0 20 0 22 0 344676230 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140672256424016 140673283001889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8612/tid=8633] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8633/stat : 8633 (java) S 8610 8612 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140672255374248 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8612/tid=8634] ppid=8610 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8612/task/8634/stat : 8634 (java) S 8610 8612 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344676232 3037372416 259120 33554432000 1073741824 1073778376 140733576991968 140672254321448 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 8612 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=197240
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=781729
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 903.453
CPU time (s): 1800.03
CPU user time (s): 1798.7
CPU system time (s): 1.33
CPU usage (%): 199.239
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 1.78173
maximum resident set size= 1036604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28308
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33993
involuntary context switches= 58689
runsolver used 4.21136 second user time and 7.92279 second system time
The end