runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4090889-1466067902/watcher-4090889-1466067902 -o /tmp/evaluation-result-4090889-1466067902/solver-4090889-1466067902 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466062125-7300 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090889-1466067902.wbo
pid=8384
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: 2.52 2.29 2.21 2/194 8387
/proc/meminfo: memFree=30405580/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 8836990 98570240 978 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 24065 978 744 9 0 16771 0
[pid=8387/tid=8388] ppid=8384 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 8836990 98570240 978 33554432000 1073741824 1073778376 140737485526544 139807908576808 259112387968 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100115 s]
/proc/loadavg: 2.52 2.29 2.21 2/194 8387
/proc/meminfo: memFree=30405580/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 4436 0 1 0 9 1 0 0 20 0 18 0 8836990 9787879424 6063 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2389619 6063 2140 9 0 2380296 0
[pid=8387/tid=8388] ppid=8384 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2377 0 1 0 6 2 0 0 20 0 18 0 8836990 9787879424 6063 33554432000 1073741824 1073778376 140737485526544 139807908580256 139807915588860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20031 s]
/proc/loadavg: 2.52 2.29 2.21 2/194 8387
/proc/meminfo: memFree=30405580/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 4743 0 1 0 25 1 0 0 20 0 18 0 8836990 9787879424 6817 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2389619 6817 2202 9 0 2380296 0
[pid=8387/tid=8388] ppid=8384 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2394 0 1 0 16 2 0 0 20 0 18 0 8836990 9787879424 6817 33554432000 1073741824 1073778376 140737485526544 139807908580256 139807913339573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300319 s]
/proc/loadavg: 2.52 2.29 2.21 2/194 8387
/proc/meminfo: memFree=30405580/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 6449 0 1 0 48 2 0 0 20 0 18 0 8836990 9787879424 8702 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2389619 8702 2236 9 0 2380296 0
[pid=8387/tid=8388] ppid=8384 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2396 0 1 0 26 2 0 0 20 0 18 0 8836990 9787879424 8702 33554432000 1073741824 1073778376 140737485526544 139807908580256 139807779160620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700281 s]
/proc/loadavg: 2.52 2.29 2.21 2/194 8387
/proc/meminfo: memFree=30405580/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=1.67 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 11806 0 1 0 164 3 0 0 20 0 19 0 8836990 9856040960 13703 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 13703 2268 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2416 0 1 0 66 2 0 0 20 0 19 0 8836990 9856040960 13703 33554432000 1073741824 1073778376 140737485526544 139807908573488 139807779603836 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625040
[startup+1.50073 s]
/proc/loadavg: 2.52 2.29 2.21 3/191 8424
/proc/meminfo: memFree=30428828/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 11813 0 1 0 253 3 0 0 20 0 19 0 8836990 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 14220 2272 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2418 0 1 0 146 2 0 0 20 0 19 0 8836990 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807908579880 139807779609296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4497 0 0 0 51 0 0 0 20 0 19 0 8836995 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 3624 0 0 0 53 0 0 0 20 0 19 0 8836995 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 14220 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040
[startup+3.1008 s]
/proc/loadavg: 2.52 2.29 2.21 3/213 8471
/proc/meminfo: memFree=30350348/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 11831 0 1 0 421 4 0 0 20 0 19 0 8836990 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 21901 2272 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2436 0 1 0 305 2 0 0 20 0 19 0 8836990 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807908579816 139807779523520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4497 0 0 0 53 0 0 0 20 0 19 0 8836995 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 3624 0 0 0 59 0 0 0 20 0 19 0 8836995 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 21901 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.48 2.29 2.21 3/212 8471
/proc/meminfo: memFree=30273284/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=7.97 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 18132 0 1 0 791 6 0 0 20 0 19 0 8836990 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 28230 2277 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2451 0 1 0 623 3 0 0 20 0 19 0 8836990 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807908573488 139807779550856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 8836995 9856040960 28230 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=1.06 cores=0,2,4,6
################
# More data... #
################
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=1.1 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 9911 0 0 0 109 1 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 84.92
Current children cumulated vsize (KiB) 9625040
[startup+84.0008 s]
/proc/loadavg: 2.41 2.30 2.21 3/213 8667
/proc/meminfo: memFree=30153792/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=85.72 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 18203 0 1 0 8564 8 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 42586 2291 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=83.73 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2482 0 1 0 8368 5 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807908579824 139807779523520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=1.1 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 9911 0 0 0 109 1 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 85.72
Current children cumulated vsize (KiB) 9625040
[startup+84.4008 s]
/proc/loadavg: 2.41 2.30 2.21 3/213 8667
/proc/meminfo: memFree=30153792/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=86.12 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 18203 0 1 0 8604 8 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 42586 2291 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=84.13 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2482 0 1 0 8408 5 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807908579824 139807779497443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=1.1 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 9911 0 0 0 109 1 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 86.12
Current children cumulated vsize (KiB) 9625040
[startup+84.6008 s]
/proc/loadavg: 2.41 2.30 2.21 3/213 8667
/proc/meminfo: memFree=30153792/32872528 swapFree=1497568/1644736
[pid=8387] ppid=8384 vsize=9625040 CPUtime=86.33 cores=0,2,4,6
/proc/8387/stat : 8387 (java) S 8384 8387 7284 0 -1 4202496 18203 0 1 0 8625 8 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 140737485517680 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8387/statm: 2406260 42586 2291 9 0 2396937 0
[pid=8387/tid=8388] ppid=8384 vsize=9625040 CPUtime=84.33 cores=0,2,4,6
/proc/8387/task/8388/stat : 8388 (java) R 8384 8387 7284 0 -1 4202560 2482 0 1 0 8428 5 0 0 20 0 19 0 8836990 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807908579824 139807779948151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8390] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8390/stat : 8390 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807897643688 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8391] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8391/stat : 8391 (java) S 8384 8387 7284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807751355176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8392] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8392/stat : 8392 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807750302632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8387/tid=8393] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8393/stat : 8393 (java) S 8384 8387 7284 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807749250088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8394] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8394/stat : 8394 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807748196520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8395] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8395/stat : 8395 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807747143976 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8396] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8396/stat : 8396 (java) S 8384 8387 7284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807746091432 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8387/tid=8397] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8397/stat : 8397 (java) S 8384 8387 7284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8836991 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807745038888 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8398] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8398/stat : 8398 (java) S 8384 8387 7284 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8836992 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807732841064 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8399] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8399/stat : 8399 (java) S 8384 8387 7284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807731787384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8400] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8400/stat : 8400 (java) S 8384 8387 7284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8836993 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807730734728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8401] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8401/stat : 8401 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807729683472 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8402] ppid=8384 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/8387/task/8402/stat : 8402 (java) S 8384 8387 7284 0 -1 4202560 4498 0 0 0 58 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807728629816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8403] ppid=8384 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/8387/task/8403/stat : 8403 (java) S 8384 8387 7284 0 -1 4202560 9911 0 0 0 110 1 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807727577272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8404] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8404/stat : 8404 (java) S 8384 8387 7284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807726524920 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8387/tid=8405] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8405/stat : 8405 (java) S 8384 8387 7284 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8836995 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807725472584 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8387/tid=8406] ppid=8384 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8387/task/8406/stat : 8406 (java) S 8384 8387 7284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8837024 9856040960 42586 33554432000 1073741824 1073778376 140737485526544 139807724369192 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 86.33
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8387 and gives
# childrusage.ru_utime.tv_sec=86
# childrusage.ru_utime.tv_usec=8924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=101984
# CPU time returned by wait4() is 86.1109
# while last known CPU time is 86.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 84.6275
CPU time (s): 86.33
CPU user time (s): 86.25
CPU system time (s): 0.08
CPU usage (%): 102.012
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.0089
system time used= 0.101984
maximum resident set size= 170404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18227
page faults= 1
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2087
involuntary context switches= 659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.612906 second user time and 0.757884 second system time
The end