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-3729446-1338678680/watcher-3729446-1338678680 -o /tmp/evaluation-result-3729446-1338678680/solver-3729446-1338678680 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729446-1338678680.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: 0.92 0.26 0.26 3/194 15973
/proc/meminfo: memFree=28519132/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15973/stat : 15973 (java) R 15971 15973 15565 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 333992911 23793664 727 33554432000 1073741824 1073778376 140736884938128 140736884927192 140114010680976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 5809 739 547 9 0 128 0
[startup+0.0445351 s]
/proc/loadavg: 0.92 0.26 0.26 3/194 15973
/proc/meminfo: memFree=28519132/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 3937 0 1 0 2 1 0 0 20 0 13 0 333992911 2686889984 5144 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 655979 5144 1700 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100252 s]
/proc/loadavg: 0.92 0.26 0.26 3/194 15973
/proc/meminfo: memFree=28519132/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 4910 0 1 0 9 1 0 0 20 0 18 0 333992911 3028844544 6624 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 739464 6624 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300216 s]
/proc/loadavg: 0.92 0.26 0.26 3/194 15973
/proc/meminfo: memFree=28519132/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 7576 0 1 0 50 2 0 0 20 0 19 0 333992911 3097006080 8842 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 8842 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 3024420
[startup+0.700206 s]
/proc/loadavg: 0.92 0.26 0.26 3/194 15973
/proc/meminfo: memFree=28519132/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=1.06 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8066 0 1 0 104 2 0 0 20 0 19 0 333992911 3097006080 10896 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 10896 2256 9 0 746526 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 3024420
[startup+1.50068 s]
/proc/loadavg: 0.92 0.26 0.26 3/213 15992
/proc/meminfo: memFree=28479852/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=1.86 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8075 0 1 0 184 2 0 0 20 0 19 0 333992911 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 13459 2258 9 0 746526 0
[pid=15973/tid=15975] ppid=15971 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 15565 0 -1 4202560 3057 0 1 0 146 2 0 0 20 0 19 0 333992912 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140114002731536 140113862940812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113986156968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113985104424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113984051368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113982998824 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113981946792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113862454312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113861401256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113860348712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333992914 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113848150376 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113847096696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113241695112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113240643856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 15565 0 -1 4202560 1925 0 0 0 14 0 0 0 20 0 19 0 333992917 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113239591736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 15565 0 -1 4202560 1897 0 0 0 21 0 0 0 20 0 19 0 333992917 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113238539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113237486328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113236433992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992928 3097006080 13459 33554432000 1073741824 1073778376 140736884938128 140113234301992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 3024420
[startup+3.10071 s]
/proc/loadavg: 0.92 0.26 0.26 3/213 15992
/proc/meminfo: memFree=28467068/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=3.47 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8082 0 1 0 344 3 0 0 20 0 19 0 333992911 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 17043 2258 9 0 746526 0
[pid=15973/tid=15975] ppid=15971 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 15565 0 -1 4202560 3064 0 1 0 305 2 0 0 20 0 19 0 333992912 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140114002731368 140113863004408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113986156968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113985104424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113984051368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113982998824 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113981946792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113862454312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113861401256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113860348712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333992914 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113848150376 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113847096696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113241695112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113240643856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 15565 0 -1 4202560 1925 0 0 0 14 0 0 0 20 0 19 0 333992917 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113239591736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 15565 0 -1 4202560 1897 0 0 0 21 0 0 0 20 0 19 0 333992917 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113238539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113237486328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113236433992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992928 3097006080 17043 33554432000 1073741824 1073778376 140736884938128 140113234301992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+3.90069 s]
/proc/loadavg: 0.92 0.26 0.26 3/213 15992
/proc/meminfo: memFree=28458752/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=4.27 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8085 0 1 0 424 3 0 0 20 0 19 0 333992911 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 18579 2258 9 0 746526 0
[pid=15973/tid=15975] ppid=15971 vsize=3024420 CPUtime=3.86 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 15565 0 -1 4202560 3067 0 1 0 384 2 0 0 20 0 19 0 333992912 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140114002731368 140113862690315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113986156968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113985104424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113984051368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113982998824 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113981946792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113862454312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113861401256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113860348712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333992914 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113848150376 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113847096696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113241695112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113240643856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 15565 0 -1 4202560 1925 0 0 0 14 0 0 0 20 0 19 0 333992917 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113239591736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 15565 0 -1 4202560 1897 0 0 0 21 0 0 0 20 0 19 0 333992917 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113238539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113237486328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113236433992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992928 3097006080 18579 33554432000 1073741824 1073778376 140736884938128 140113234301992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 3024420
[startup+4.70072 s]
/proc/loadavg: 1.01 0.29 0.27 4/213 15992
/proc/meminfo: memFree=28405256/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=5.07 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8089 0 1 0 504 3 0 0 20 0 19 0 333992911 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 19604 2259 9 0 746526 0
[pid=15973/tid=15975] ppid=15971 vsize=3024420 CPUtime=4.66 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 15565 0 -1 4202560 3070 0 1 0 464 2 0 0 20 0 19 0 333992912 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140114002729472 140113862973399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113986156968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113985104424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113984051368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113982998824 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113981946792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113862454312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113861401256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113860348712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333992914 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113848150376 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113847096696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113241695112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113240643856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 15565 0 -1 4202560 1925 0 0 0 14 0 0 0 20 0 19 0 333992917 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113239591736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 15565 0 -1 4202560 1897 0 0 0 21 0 0 0 20 0 19 0 333992917 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113238539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113237486328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113236433992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992928 3097006080 19604 33554432000 1073741824 1073778376 140736884938128 140113234301992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 3024420
[startup+5.10072 s]
/proc/loadavg: 1.01 0.29 0.27 4/213 15992
/proc/meminfo: memFree=28405256/32873844 swapFree=7120/7120
[pid=15973] ppid=15971 vsize=3024420 CPUtime=5.47 cores=0,2,4,6
/proc/15973/stat : 15973 (java) S 15971 15973 15565 0 -1 4202496 8090 0 1 0 544 3 0 0 20 0 19 0 333992911 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140736884929264 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15973/statm: 756105 19989 2259 9 0 746526 0
[pid=15973/tid=15975] ppid=15971 vsize=3024420 CPUtime=5.06 cores=0,2,4,6
/proc/15973/task/15975/stat : 15975 (java) R 15971 15973 15565 0 -1 4202560 3071 0 1 0 504 2 0 0 20 0 19 0 333992912 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140114002729472 140113862995526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15976] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15976/stat : 15976 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113986156968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15977] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15977/stat : 15977 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113985104424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15978] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15978/stat : 15978 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113984051368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15979] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15979/stat : 15979 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113982998824 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15980] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15980/stat : 15980 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113981946792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15981] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15981/stat : 15981 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113862454312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15973/tid=15982] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15982/stat : 15982 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113861401256 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15973/tid=15983] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15983/stat : 15983 (java) S 15971 15973 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333992913 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113860348712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15984] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15984/stat : 15984 (java) S 15971 15973 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333992914 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113848150376 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15985] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15985/stat : 15985 (java) S 15971 15973 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113847096696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15986] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15986/stat : 15986 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992915 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113241695112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15987] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15987/stat : 15987 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113240643856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15988] ppid=15971 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/15973/task/15988/stat : 15988 (java) S 15971 15973 15565 0 -1 4202560 1925 0 0 0 14 0 0 0 20 0 19 0 333992917 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113239591736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15989] ppid=15971 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/15973/task/15989/stat : 15989 (java) S 15971 15973 15565 0 -1 4202560 1897 0 0 0 21 0 0 0 20 0 19 0 333992917 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113238539192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15990] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15990/stat : 15990 (java) S 15971 15973 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113237486328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15973/tid=15991] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15991/stat : 15991 (java) S 15971 15973 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333992917 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113236433992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15973/tid=15992] ppid=15971 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/15973/task/15992/stat : 15992 (java) S 15971 15973 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333992928 3097006080 19989 33554432000 1073741824 1073778376 140736884938128 140113234301992 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 5.15769
CPU time (s): 5.52316
CPU user time (s): 5.47117
CPU system time (s): 0.051992
CPU usage (%): 107.086
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.47117
system time used= 0.051992
maximum resident set size= 82028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8102
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= 329
involuntary context switches= 22
runsolver used 0.030995 second user time and 0.032994 second system time
The end