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-3687657-1337874023/watcher-3687657-1337874023 -o /tmp/evaluation-result-3687657-1337874023/solver-3687657-1337874023 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687657-1337874023.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.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17843/stat : 17843 (java) D 17841 17843 16961 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253526359 9515008 183 33554432000 1073741824 1073778376 140734692445616 140734692436648 251053031093 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/17843/statm: 2323 183 140 9 0 71 0
[startup+0.0901 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 4229 0 1 0 7 1 0 0 20 0 18 0 253526359 9787813888 4909 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 4910 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100285 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 253526359 9787813888 5073 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 5074 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300276 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 6141 0 1 0 48 1 0 0 20 0 18 0 253526359 9787813888 8732 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2389603 8732 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412
[startup+0.700265 s]
/proc/loadavg: 1.98 1.98 1.76 3/195 17843
/proc/meminfo: memFree=28527680/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 8568 0 1 0 131 2 0 0 20 0 19 0 253526359 9855975424 11778 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 11778 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976
[startup+1.50061 s]
/proc/loadavg: 1.98 1.98 1.76 3/214 17862
/proc/meminfo: memFree=28486712/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9073 0 1 0 219 3 0 0 20 0 19 0 253526359 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 14401 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2522 0 1 0 145 0 0 0 20 0 19 0 253526360 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560254734472 140560195040669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253526362 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) R 17841 17843 16961 0 -1 4202560 3200 0 0 0 39 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560074577544 140560257321104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) R 17841 17843 16961 0 -1 4202560 2112 0 0 0 32 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560073537600 140560258821600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 14401 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 1.98 1.98 1.76 3/214 17862
/proc/meminfo: memFree=28473804/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9098 0 1 0 382 3 0 0 20 0 19 0 253526359 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 15443 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2523 0 1 0 303 0 0 0 20 0 19 0 253526360 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560254734744 140560195048666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 253526362 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2115 0 0 0 33 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 15443 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9624976
[startup+6.3006 s]
/proc/loadavg: 2.14 2.02 1.77 3/214 17862
/proc/meminfo: memFree=28471796/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=7.1 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 9580 0 1 0 706 4 0 0 20 0 19 0 253526359 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 15876 2278 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2526 0 1 0 617 0 0 0 20 0 19 0 253526360 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526361 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 253526362 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2587 0 0 0 37 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 15876 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 56 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.62 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 129 0 0 0 260 2 0 0 20 0 19 0 253526362 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 95 0 0 0 24 32 0 0 20 0 19 0 253526365 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44740 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.85
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/213 17955
/proc/meminfo: memFree=28902412/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1724.87 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11021 0 1 0 172437 50 0 0 20 0 19 0 253526359 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44754 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1718.35 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2648 0 1 0 171801 34 0 0 20 0 19 0 253526360 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 34 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 59 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 173 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.66 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 131 0 0 0 264 2 0 0 20 0 19 0 253526362 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 99 0 0 0 25 34 0 0 20 0 19 0 253526365 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44754 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.87
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 1.92 3/214 17958
/proc/meminfo: memFree=28871348/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1784.9 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11037 0 1 0 178439 51 0 0 20 0 19 0 253526359 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44763 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1778.3 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2649 0 1 0 177795 35 0 0 20 0 19 0 253526360 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195005095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 174 0 0 0 37 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.7 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 133 0 0 0 267 3 0 0 20 0 19 0 253526362 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 103 0 0 0 26 35 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.41 s]
/proc/loadavg: 2.12 2.03 1.92 3/214 17958
/proc/meminfo: memFree=28869956/32873648 swapFree=7360/7360
[pid=17843] ppid=17841 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/17843/stat : 17843 (java) S 17841 17843 16961 0 -1 4202496 11037 0 1 0 179950 51 0 0 20 0 19 0 253526359 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140735357398432 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17843/statm: 2406244 44763 2279 9 0 2396937 0
[pid=17843/tid=17845] ppid=17841 vsize=9624976 CPUtime=1793.42 cores=1,3,5,7
/proc/17843/task/17845/stat : 17845 (java) R 17841 17843 16961 0 -1 4202560 2649 0 1 0 179307 35 0 0 20 0 19 0 253526360 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560254734624 140560195040630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17846] ppid=17841 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/17843/task/17846/stat : 17846 (java) S 17841 17843 16961 0 -1 4202560 146 0 0 0 35 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560193465000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17847] ppid=17841 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/17843/task/17847/stat : 17847 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560192412456 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17848] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17848/stat : 17848 (java) S 17841 17843 16961 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560191359912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17849] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17849/stat : 17849 (java) S 17841 17843 16961 0 -1 4202560 67 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560190307368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17850] ppid=17841 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/17843/task/17850/stat : 17850 (java) S 17841 17843 16961 0 -1 4202560 174 0 0 0 37 2 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560189253800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17843/tid=17851] ppid=17841 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/17843/task/17851/stat : 17851 (java) S 17841 17843 16961 0 -1 4202560 128 0 0 0 30 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560188201256 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17852] ppid=17841 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/17843/task/17852/stat : 17852 (java) S 17841 17843 16961 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560092051880 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17853] ppid=17841 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/17843/task/17853/stat : 17853 (java) S 17841 17843 16961 0 -1 4202560 291 0 0 0 36 0 0 0 20 0 19 0 253526361 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560090999336 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17843/tid=17854] ppid=17841 vsize=9624976 CPUtime=2.7 cores=1,3,5,7
/proc/17843/task/17854/stat : 17854 (java) S 17841 17843 16961 0 -1 4202560 133 0 0 0 267 3 0 0 20 0 19 0 253526362 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560078801512 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17855] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17855/stat : 17855 (java) S 17841 17843 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560077747832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17856] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17856/stat : 17856 (java) S 17841 17843 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253526363 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560076695176 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17857] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17857/stat : 17857 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560075643920 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17858] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17858/stat : 17858 (java) S 17841 17843 16961 0 -1 4202560 3203 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560074590264 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17859] ppid=17841 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/17843/task/17859/stat : 17859 (java) S 17841 17843 16961 0 -1 4202560 2767 0 0 0 40 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560073537720 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17860] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17860/stat : 17860 (java) S 17841 17843 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560072485368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17843/tid=17861] ppid=17841 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/17843/task/17861/stat : 17861 (java) S 17841 17843 16961 0 -1 4202560 103 0 0 0 27 35 0 0 20 0 19 0 253526365 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560071433032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17843/tid=17862] ppid=17841 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/17843/task/17862/stat : 17862 (java) S 17841 17843 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253526395 9855975424 44763 33554432000 1073741824 1073778376 140735357407296 140560070378792 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.45
CPU time (s): 1800.73
CPU user time (s): 1799.82
CPU system time (s): 0.913861
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.913861
maximum resident set size= 179176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40871
involuntary context switches= 35214
runsolver used 6.01109 second user time and 15.1417 second system time
The end