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-3729485-1338678686/watcher-3729485-1338678686 -o /tmp/evaluation-result-3729485-1338678686/solver-3729485-1338678686 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729485-1338678686.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: 0.70 0.20 0.31 3/194 28797
/proc/meminfo: memFree=31164364/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/28797/stat : 28797 (java) R 28795 28797 28219 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 333993545 23793664 706 33554432000 1073741824 1073778376 140737151907472 140737151896536 240555963752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 5809 706 521 9 0 128 0
[startup+0.0500981 s]
/proc/loadavg: 0.70 0.20 0.31 3/194 28797
/proc/meminfo: memFree=31164364/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 3993 0 1 0 3 1 0 0 20 0 13 0 333993545 2686889984 4689 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 655979 4689 1705 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916
[startup+0.100226 s]
/proc/loadavg: 0.70 0.20 0.31 3/194 28797
/proc/meminfo: memFree=31164364/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 4933 0 1 0 8 1 0 0 20 0 18 0 333993545 3028844544 6126 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 739464 6126 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300196 s]
/proc/loadavg: 0.70 0.20 0.31 3/194 28797
/proc/meminfo: memFree=31164364/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8118 0 1 0 55 2 0 0 20 0 19 0 333993545 3097006080 8730 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 8730 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 3024420
[startup+0.700185 s]
/proc/loadavg: 0.70 0.20 0.31 3/194 28797
/proc/meminfo: memFree=31164364/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8254 0 1 0 109 2 0 0 20 0 19 0 333993545 3097006080 10806 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 10806 2256 9 0 746526 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3024420
[startup+1.50084 s]
/proc/loadavg: 0.70 0.20 0.31 3/213 28816
/proc/meminfo: memFree=31126156/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=1.91 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8263 0 1 0 189 2 0 0 20 0 19 0 333993545 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 13369 2258 9 0 746526 0
[pid=28797/tid=28799] ppid=28795 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/28797/task/28799/stat : 28799 (java) R 28795 28797 28219 0 -1 4202560 3118 0 1 0 145 1 0 0 20 0 19 0 333993545 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139731192232480 139731065173700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28800] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139731058203048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28801] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730989607464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28802] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730988554408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28797/tid=28803] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730987501864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28804] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730986449832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28805] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730985397288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28806] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730984344232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28807] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28797 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730983291688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28808] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28797 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730971093352 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28809] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28797 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730970039672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28810] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730968986504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28811] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730967935248 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28812] ppid=28795 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28797 28219 0 -1 4202560 1871 0 0 0 19 0 0 0 20 0 19 0 333993551 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730966883128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28813] ppid=28795 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28797 28219 0 -1 4202560 2078 0 0 0 21 0 0 0 20 0 19 0 333993551 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730965830584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28814] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730964777720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28815] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730963725384 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28816] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993561 3097006080 13369 33554432000 1073741824 1073778376 140737151907472 139730961523752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 3024420
[startup+3.10082 s]
/proc/loadavg: 0.70 0.20 0.31 3/213 28816
/proc/meminfo: memFree=31086128/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=3.51 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8270 0 1 0 348 3 0 0 20 0 19 0 333993545 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 16953 2258 9 0 746526 0
[pid=28797/tid=28799] ppid=28795 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/28797/task/28799/stat : 28799 (java) R 28795 28797 28219 0 -1 4202560 3125 0 1 0 304 2 0 0 20 0 19 0 333993545 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139731192234192 139731065052793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28800] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139731058203048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28801] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730989607464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28802] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730988554408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28797/tid=28803] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730987501864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28804] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730986449832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28805] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730985397288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28806] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730984344232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28807] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28797 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730983291688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28808] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28797 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730971093352 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28809] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28797 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730970039672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28810] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730968986504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28811] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730967935248 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28812] ppid=28795 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28797 28219 0 -1 4202560 1871 0 0 0 19 0 0 0 20 0 19 0 333993551 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730966883128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28813] ppid=28795 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28797 28219 0 -1 4202560 2078 0 0 0 22 0 0 0 20 0 19 0 333993551 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730965830584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28814] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730964777720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28815] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730963725384 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28816] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993561 3097006080 16953 33554432000 1073741824 1073778376 140737151907472 139730961523752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+3.90081 s]
/proc/loadavg: 0.81 0.23 0.32 3/213 28816
/proc/meminfo: memFree=31077680/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=4.31 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8273 0 1 0 428 3 0 0 20 0 19 0 333993545 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 18489 2258 9 0 746526 0
[pid=28797/tid=28799] ppid=28795 vsize=3024420 CPUtime=3.85 cores=1,3,5,7
/proc/28797/task/28799/stat : 28799 (java) R 28795 28797 28219 0 -1 4202560 3128 0 1 0 383 2 0 0 20 0 19 0 333993545 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139731192234192 139731064899418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28800] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139731058203048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28801] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730989607464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28802] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730988554408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28797/tid=28803] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730987501864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28804] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730986449832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28805] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730985397288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28806] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730984344232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28807] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28797 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730983291688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28808] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28797 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730971093352 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28809] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28797 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730970039672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28810] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730968986504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28811] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730967935248 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28812] ppid=28795 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28797 28219 0 -1 4202560 1871 0 0 0 19 0 0 0 20 0 19 0 333993551 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730966883128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28813] ppid=28795 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28797 28219 0 -1 4202560 2078 0 0 0 22 0 0 0 20 0 19 0 333993551 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730965830584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28814] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730964777720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28815] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730963725384 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28816] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993561 3097006080 18489 33554432000 1073741824 1073778376 140737151907472 139730961523752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 3024420
[startup+4.30082 s]
/proc/loadavg: 0.81 0.23 0.32 3/213 28816
/proc/meminfo: memFree=31069504/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=4.72 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8276 0 1 0 468 4 0 0 20 0 19 0 333993545 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 19002 2259 9 0 746526 0
[pid=28797/tid=28799] ppid=28795 vsize=3024420 CPUtime=4.25 cores=1,3,5,7
/proc/28797/task/28799/stat : 28799 (java) R 28795 28797 28219 0 -1 4202560 3130 0 1 0 423 2 0 0 20 0 19 0 333993545 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139731192232480 139731065201311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28800] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139731058203048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28801] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730989607464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28802] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730988554408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28797/tid=28803] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730987501864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28804] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730986449832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28805] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730985397288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28806] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730984344232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28807] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28797 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730983291688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28808] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28797 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730971093352 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28809] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28797 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730970039672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28810] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730968986504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28811] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730967935248 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28812] ppid=28795 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28797 28219 0 -1 4202560 1871 0 0 0 19 0 0 0 20 0 19 0 333993551 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730966883128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28813] ppid=28795 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28797 28219 0 -1 4202560 2078 0 0 0 22 0 0 0 20 0 19 0 333993551 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730965830584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28814] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730964777720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28815] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28797 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730963725384 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28816] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993561 3097006080 19002 33554432000 1073741824 1073778376 140737151907472 139730961523752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 3024420
[startup+4.70082 s]
/proc/loadavg: 0.81 0.23 0.32 3/213 28816
/proc/meminfo: memFree=31069504/32873844 swapFree=7116/7116
[pid=28797] ppid=28795 vsize=3024420 CPUtime=5.11 cores=1,3,5,7
/proc/28797/stat : 28797 (java) S 28795 28797 28219 0 -1 4202496 8277 0 1 0 507 4 0 0 20 0 19 0 333993545 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 140737151898608 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28797/statm: 756105 19514 2259 9 0 746526 0
[pid=28797/tid=28799] ppid=28795 vsize=3024420 CPUtime=4.64 cores=1,3,5,7
/proc/28797/task/28799/stat : 28799 (java) R 28795 28797 28219 0 -1 4202560 3131 0 1 0 462 2 0 0 20 0 19 0 333993545 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139731192232480 139731065127876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28800] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28800/stat : 28800 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139731058203048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28801] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28801/stat : 28801 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730989607464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28802] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28802/stat : 28802 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730988554408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28797/tid=28803] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28803/stat : 28803 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730987501864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28804] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28804/stat : 28804 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730986449832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28805] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28805/stat : 28805 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730985397288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28806] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28806/stat : 28806 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730984344232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28797/tid=28807] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28807/stat : 28807 (java) S 28795 28797 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333993546 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730983291688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28808] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28808/stat : 28808 (java) S 28795 28797 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730971093352 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28809] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28809/stat : 28809 (java) S 28795 28797 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730970039672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28810] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28810/stat : 28810 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993548 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730968986504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28811] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28811/stat : 28811 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730967935248 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28812] ppid=28795 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/28797/task/28812/stat : 28812 (java) S 28795 28797 28219 0 -1 4202560 1871 0 0 0 19 0 0 0 20 0 19 0 333993551 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730966883128 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28813] ppid=28795 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/28797/task/28813/stat : 28813 (java) S 28795 28797 28219 0 -1 4202560 2078 0 0 0 22 0 0 0 20 0 19 0 333993551 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730965830584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28814] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28814/stat : 28814 (java) S 28795 28797 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730964777720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28797/tid=28815] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28815/stat : 28815 (java) S 28795 28797 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333993551 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730963725384 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28797/tid=28816] ppid=28795 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28797/task/28816/stat : 28816 (java) S 28795 28797 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333993561 3097006080 19514 33554432000 1073741824 1073778376 140737151907472 139730961523752 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 3024420
Child status: 20
Real time (s): 4.79362
CPU time (s): 5.22321
CPU user time (s): 5.16121
CPU system time (s): 0.06199
CPU usage (%): 108.962
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.16122
system time used= 0.06199
maximum resident set size= 80128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301
involuntary context switches= 103
runsolver used 0.014997 second user time and 0.055991 second system time
The end