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-3729693-1338678722/watcher-3729693-1338678722 -o /tmp/evaluation-result-3729693-1338678722/solver-3729693-1338678722 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3729693-1338678722.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: 1.35 0.45 0.65 3/196 7000
/proc/meminfo: memFree=28554888/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7000/stat : 7000 (java) D 6998 7000 6422 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 333997005 9515008 185 33554432000 1073741824 1073778376 140737243149680 140737243140904 215124438455 0 0 4096 0 18446744072100748580 0 0 17 3 0 0 0 0 0
/proc/7000/statm: 2323 185 142 9 0 71 0
[startup+0.074033 s]
/proc/loadavg: 1.35 0.45 0.65 3/196 7000
/proc/meminfo: memFree=28554888/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=2890172 CPUtime=0.05 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 4066 0 1 0 4 1 0 0 20 0 17 0 333997005 2959536128 5273 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 722543 5274 1739 9 0 713244 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2890172
[startup+0.10023 s]
/proc/loadavg: 1.35 0.45 0.65 3/196 7000
/proc/meminfo: memFree=28554888/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 4189 0 1 0 6 1 0 0 20 0 18 0 333997005 3028844544 5395 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 739464 5395 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300171 s]
/proc/loadavg: 1.35 0.45 0.65 3/196 7000
/proc/meminfo: memFree=28554888/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=2957856 CPUtime=0.42 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 5987 0 1 0 41 1 0 0 20 0 18 0 333997005 3028844544 8338 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 739464 8338 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2957856
[startup+0.70018 s]
/proc/loadavg: 1.35 0.45 0.65 3/196 7000
/proc/meminfo: memFree=28554888/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 11980 0 1 0 132 2 0 0 20 0 19 0 333997005 3097006080 12114 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 12114 2263 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.50069 s]
/proc/loadavg: 1.35 0.45 0.65 3/215 7019
/proc/meminfo: memFree=28510856/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 11995 0 1 0 217 3 0 0 20 0 19 0 333997005 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 14172 2266 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3112 0 1 0 145 0 0 0 20 0 19 0 333997006 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085186052744 140085126329547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4164 0 0 0 31 0 0 0 20 0 19 0 333997013 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 14172 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420
[startup+3.10067 s]
/proc/loadavg: 1.35 0.45 0.65 3/215 7019
/proc/meminfo: memFree=28499988/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=3.8 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 12002 0 1 0 377 3 0 0 20 0 19 0 333997005 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 17245 2266 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3118 0 1 0 304 1 0 0 20 0 19 0 333997006 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085186052624 140085126324681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4165 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 17245 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 3024420
[startup+6.30073 s]
/proc/loadavg: 1.40 0.48 0.65 3/215 7019
/proc/meminfo: memFree=28466476/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=7 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 12011 0 1 0 697 3 0 0 20 0 19 0 333997005 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 20679 2267 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3126 0 1 0 623 1 0 0 20 0 19 0 333997006 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085186050576 140085126329564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4165 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 20679 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4166 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 333997013 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 41671 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (KiB) 3024420
[startup+48.7008 s]
/proc/loadavg: 1.72 0.69 0.72 3/215 7019
/proc/meminfo: memFree=28361968/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=49.41 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 12056 0 1 0 4936 5 0 0 20 0 19 0 333997005 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 42183 2267 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=48.53 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3168 0 1 0 4850 3 0 0 20 0 19 0 333997006 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085186052520 140085126298176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4166 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 49.41
Current children cumulated vsize (KiB) 3024420
[startup+49.1007 s]
/proc/loadavg: 1.72 0.69 0.72 3/215 7019
/proc/meminfo: memFree=28361968/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=49.81 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 12056 0 1 0 4976 5 0 0 20 0 19 0 333997005 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 42183 2267 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=48.93 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3168 0 1 0 4890 3 0 0 20 0 19 0 333997006 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085186052520 140085126329547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4166 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 3024420
[startup+49.3007 s]
/proc/loadavg: 1.72 0.69 0.72 3/215 7019
/proc/meminfo: memFree=28361968/32873844 swapFree=7620/7620
[pid=7000] ppid=6998 vsize=3024420 CPUtime=50.01 cores=1,3,5,7
/proc/7000/stat : 7000 (java) S 6998 7000 6422 0 -1 4202496 12056 0 1 0 4996 5 0 0 20 0 19 0 333997005 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140736100053504 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7000/statm: 756105 42183 2267 9 0 746526 0
[pid=7000/tid=7002] ppid=6998 vsize=3024420 CPUtime=49.13 cores=1,3,5,7
/proc/7000/task/7002/stat : 7002 (java) R 6998 7000 6422 0 -1 4202560 3168 0 1 0 4910 3 0 0 20 0 19 0 333997006 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085186052520 140085126298714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7003] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7003/stat : 7003 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085124783144 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7004] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7004/stat : 7004 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085050338216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7005] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7005/stat : 7005 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085049285416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7000/tid=7006] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7006/stat : 7006 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085048232616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7007] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7007/stat : 7007 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085047179816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7008] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7008/stat : 7008 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085046127016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7000/tid=7009] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7009/stat : 7009 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085045074216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7010] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7010/stat : 7010 (java) S 6998 7000 6422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333997008 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085044021416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7011] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7011/stat : 7011 (java) S 6998 7000 6422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085031824360 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7012] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7012/stat : 7012 (java) S 6998 7000 6422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085030770424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7013] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7013/stat : 7013 (java) S 6998 7000 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333997010 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085029717512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7014] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7014/stat : 7014 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085028666000 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7015] ppid=6998 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/7000/task/7015/stat : 7015 (java) S 6998 7000 6422 0 -1 4202560 3518 0 0 0 39 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085027613112 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7016] ppid=6998 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/7000/task/7016/stat : 7016 (java) S 6998 7000 6422 0 -1 4202560 4166 0 0 0 32 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085026560312 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7017] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7017/stat : 7017 (java) S 6998 7000 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085025507704 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7000/tid=7018] ppid=6998 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/7000/task/7018/stat : 7018 (java) S 6998 7000 6422 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 333997013 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085024455112 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7000/tid=7019] ppid=6998 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/7000/task/7019/stat : 7019 (java) S 6998 7000 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 333997038 3097006080 42183 33554432000 1073741824 1073778376 140736100062368 140085022324392 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (KiB) 3024420
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7000 and gives
# childrusage.ru_utime.tv_sec=49
# childrusage.ru_utime.tv_usec=873418
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=72988
# CPU time returned by wait4() is 49.9464
# while last known CPU time is 50.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 49.3292
CPU time (s): 50.01
CPU user time (s): 49.96
CPU system time (s): 0.05
CPU usage (%): 101.38
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.8734
system time used= 0.072988
maximum resident set size= 170808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12070
page faults= 1
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1302
involuntary context switches= 102
runsolver used 0.105983 second user time and 0.287956 second system time
The end