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-3737633-1338755030/watcher-3737633-1338755030 -o /tmp/evaluation-result-3737633-1338755030/solver-3737633-1338755030 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737633-1338755030.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: 3.22 3.42 3.49 4/197 15952
/proc/meminfo: memFree=26078628/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15952/stat : 15952 (java6) D 15950 15952 11909 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341627369 9515008 183 33554432000 1073741824 1073778376 140734596824352 140734596815384 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15952/statm: 2323 183 140 9 0 71 0
[startup+0.0599279 s]
/proc/loadavg: 3.22 3.42 3.49 4/197 15952
/proc/meminfo: memFree=26078628/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 3740 0 1 0 2 1 0 0 20 0 13 0 341627369 2423889920 4947 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 591770 4947 1708 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.100344 s]
/proc/loadavg: 3.22 3.42 3.49 4/197 15952
/proc/meminfo: memFree=26078628/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 4109 0 1 0 6 1 0 0 20 0 18 0 341627369 2764726272 5827 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 5828 1931 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300299 s]
/proc/loadavg: 3.22 3.42 3.49 4/197 15952
/proc/meminfo: memFree=26078628/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=0.45 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 6286 0 1 0 43 2 0 0 20 0 18 0 341627369 2764726272 8526 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 8526 2223 9 0 665676 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2699928
[startup+0.700316 s]
/proc/loadavg: 3.22 3.42 3.49 4/197 15952
/proc/meminfo: memFree=26078628/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=1.14 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 12721 0 1 0 111 3 0 0 20 0 18 0 341627369 2764726272 15439 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 15440 2235 9 0 665676 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.22 3.42 3.49 4/215 15970
/proc/meminfo: memFree=26020416/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=2.16 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 13235 0 1 0 212 4 0 0 20 0 18 0 341627369 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 18954 2238 9 0 665676 0
[pid=15952/tid=15954] ppid=15950 vsize=2699928 CPUtime=1.47 cores=1,3,5,7
/proc/15952/task/15954/stat : 15954 (java) R 15950 15952 11909 0 -1 4202560 2810 0 1 0 145 2 0 0 20 0 18 0 341627370 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940391569752 139940252247586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15955] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15955/stat : 15955 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940375854120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15956] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15956/stat : 15956 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940374801320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15957] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15957/stat : 15957 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940373748520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15958] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) S 15950 15952 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341627373 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940238572520 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2699928 CPUtime=0.39 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6103 0 0 0 37 2 0 0 20 0 18 0 341627376 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139939495795128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 3136 0 0 0 26 0 0 0 20 0 18 0 341627376 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139939494742328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 18954 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 2699928
[startup+3.10068 s]
/proc/loadavg: 3.22 3.42 3.49 4/215 15970
/proc/meminfo: memFree=26003536/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=3.84 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 13246 0 1 0 380 4 0 0 20 0 18 0 341627369 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 23563 2239 9 0 665676 0
[pid=15952/tid=15954] ppid=15950 vsize=2699928 CPUtime=3.06 cores=1,3,5,7
/proc/15952/task/15954/stat : 15954 (java) R 15950 15952 11909 0 -1 4202560 2820 0 1 0 304 2 0 0 20 0 18 0 341627370 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940391569800 139940252247609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15955] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15955/stat : 15955 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940375854120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15956] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15956/stat : 15956 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940374801320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15957] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15957/stat : 15957 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940373748520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15958] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) S 15950 15952 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341627373 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940238572520 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2699928 CPUtime=0.43 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6103 0 0 0 41 2 0 0 20 0 18 0 341627376 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139939495795128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2699928 CPUtime=0.3 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 3137 0 0 0 30 0 0 0 20 0 18 0 341627376 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139939494742328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 23563 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 2699928
[startup+6.30076 s]
/proc/loadavg: 3.20 3.41 3.49 4/215 15970
/proc/meminfo: memFree=25974376/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=7.04 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 13258 0 1 0 699 5 0 0 20 0 18 0 341627369 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 28636 2240 9 0 665676 0
[pid=15952/tid=15954] ppid=15950 vsize=2699928 CPUtime=6.25 cores=1,3,5,7
/proc/15952/task/15954/stat : 15954 (java) R 15950 15952 11909 0 -1 4202560 2831 0 1 0 623 2 0 0 20 0 18 0 341627370 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940391563184 139940252247637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15955] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15955/stat : 15955 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940375854120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15956] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15956/stat : 15956 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940374801320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15957] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15957/stat : 15957 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940373748520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15958] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341627372 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) S 15950 15952 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341627373 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940238572520 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341627374 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2699928 CPUtime=0.43 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6103 0 0 0 41 2 0 0 20 0 18 0 341627376 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139939495795128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2699928 CPUtime=0.3 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 3137 0 0 0 30 0 0 0 20 0 18 0 341627376 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139939494742328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341627376 2764726272 28636 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 2699928
[startup+12.7007 s]
/proc/loadavg: 3.18 3.41 3.49 4/215 15970
/proc/meminfo: memFree=25949204/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2699928 CPUtime=13.43 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 13269 0 1 0 1338 5 0 0 20 0 18 0 341627369 2764726272 34268 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 674982 34268 2240 9 0 665676 0
[pid=15952/tid=15954] ppid=15950 vsize=2699928 CPUtime=12.63 cores=1,3,5,7
################
# More data... #
################
[pid=15952/tid=15958] ppid=15950 vsize=2966184 CPUtime=4 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 356 0 0 0 391 9 0 0 20 0 22 0 341627372 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2966184 CPUtime=4.03 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 336 0 0 0 395 8 0 0 20 0 22 0 341627372 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 330 0 0 0 385 8 0 0 20 0 22 0 341627372 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 355 8 0 0 20 0 22 0 341627372 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2966184 CPUtime=3.92 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 384 8 0 0 20 0 22 0 341627372 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2966184 CPUtime=3.98 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) R 15950 15952 11909 0 -1 4202560 97 0 0 0 370 28 0 0 20 0 22 0 341627373 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940238571496 139940395708765 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6234 0 0 0 138 2 0 0 20 0 22 0 341627376 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939495770776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 5934 0 0 0 127 0 0 0 20 0 22 0 341627376 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939494717960 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 51 0 0 0 20 25 0 0 20 0 22 0 341627376 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15974] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15974/stat : 15974 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939489478056 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15975] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15975/stat : 15975 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939488425256 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=16128] ppid=15950 vsize=2966184 CPUtime=290.8 cores=1,3,5,7
/proc/15952/task/16128/stat : 16128 (java) S 15950 15952 11909 0 -1 4202560 79 0 0 0 29076 4 0 0 20 0 22 0 341685977 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939491580360 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=16129] ppid=15950 vsize=2966184 CPUtime=290.73 cores=1,3,5,7
/proc/15952/task/16129/stat : 16129 (java) S 15950 15952 11909 0 -1 4202560 94 0 0 0 29069 4 0 0 20 0 22 0 341685977 3037372416 183850 33554432000 1073741824 1073778376 140736959224512 139939490529480 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1591.25
Current children cumulated vsize (KiB) 2966184
[startup+942.301 s]
/proc/loadavg: 3.84 3.74 3.61 5/219 16131
/proc/meminfo: memFree=25351000/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2966184 CPUtime=1711.83 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 19879 0 1 0 171012 171 0 0 20 0 22 0 341627369 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 741546 183897 2288 9 0 732240 0
[pid=15952/tid=15954] ppid=15950 vsize=2966184 CPUtime=167.1 cores=1,3,5,7
/proc/15952/task/15954/stat : 15954 (java) S 15950 15952 11909 0 -1 4202560 2994 0 1 0 16700 10 0 0 20 0 22 0 341627370 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940391572648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15955] ppid=15950 vsize=2966184 CPUtime=4.15 cores=1,3,5,7
/proc/15952/task/15955/stat : 15955 (java) S 15950 15952 11909 0 -1 4202560 325 0 0 0 407 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940375854120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15956] ppid=15950 vsize=2966184 CPUtime=4.03 cores=1,3,5,7
/proc/15952/task/15956/stat : 15956 (java) S 15950 15952 11909 0 -1 4202560 327 0 0 0 395 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940374801320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15957] ppid=15950 vsize=2966184 CPUtime=3.89 cores=1,3,5,7
/proc/15952/task/15957/stat : 15957 (java) S 15950 15952 11909 0 -1 4202560 313 0 0 0 383 6 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940373748520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15958] ppid=15950 vsize=2966184 CPUtime=4.31 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 356 0 0 0 422 9 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2966184 CPUtime=4.23 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 336 0 0 0 415 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2966184 CPUtime=4.21 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 330 0 0 0 413 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2966184 CPUtime=3.91 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 383 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2966184 CPUtime=4.17 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 409 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2966184 CPUtime=4.66 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) S 15950 15952 11909 0 -1 4202560 109 0 0 0 435 31 0 0 20 0 22 0 341627373 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940238572520 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2966184 CPUtime=1.77 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6268 0 0 0 175 2 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939495795128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 5939 0 0 0 129 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939494742328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 55 0 0 0 22 27 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15974] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15974/stat : 15974 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939489478056 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15975] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15975/stat : 15975 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939488425256 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=16128] ppid=15950 vsize=2966184 CPUtime=349.35 cores=1,3,5,7
/proc/15952/task/16128/stat : 16128 (java) R 15950 15952 11909 0 -1 4202560 96 0 0 0 34930 5 0 0 20 0 22 0 341685977 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939491581056 139940252715181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=16129] ppid=15950 vsize=2966184 CPUtime=349.3 cores=1,3,5,7
/proc/15952/task/16129/stat : 16129 (java) R 15950 15952 11909 0 -1 4202560 109 0 0 0 34925 5 0 0 20 0 22 0 341685977 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939490527584 139940252715115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1711.83
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+985.401 s]
/proc/loadavg: 3.85 3.76 3.62 5/220 16134
/proc/meminfo: memFree=25345780/32873844 swapFree=7628/7628
[pid=15952] ppid=15950 vsize=2966184 CPUtime=1798.65 cores=1,3,5,7
/proc/15952/stat : 15952 (java) S 15950 15952 11909 0 -1 4202496 19906 0 1 0 179690 175 0 0 20 0 22 0 341627369 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 140736959215648 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15952/statm: 741546 183897 2288 9 0 732240 0
[pid=15952/tid=15954] ppid=15950 vsize=2966184 CPUtime=167.11 cores=1,3,5,7
/proc/15952/task/15954/stat : 15954 (java) S 15950 15952 11909 0 -1 4202560 2994 0 1 0 16700 11 0 0 20 0 22 0 341627370 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940391572648 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15955] ppid=15950 vsize=2966184 CPUtime=4.31 cores=1,3,5,7
/proc/15952/task/15955/stat : 15955 (java) S 15950 15952 11909 0 -1 4202560 325 0 0 0 422 9 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940375854120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15956] ppid=15950 vsize=2966184 CPUtime=4.24 cores=1,3,5,7
/proc/15952/task/15956/stat : 15956 (java) S 15950 15952 11909 0 -1 4202560 327 0 0 0 416 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940374801320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15957] ppid=15950 vsize=2966184 CPUtime=4.09 cores=1,3,5,7
/proc/15952/task/15957/stat : 15957 (java) S 15950 15952 11909 0 -1 4202560 313 0 0 0 403 6 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940373748520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15958] ppid=15950 vsize=2966184 CPUtime=4.51 cores=1,3,5,7
/proc/15952/task/15958/stat : 15958 (java) S 15950 15952 11909 0 -1 4202560 356 0 0 0 442 9 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940372695720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15959] ppid=15950 vsize=2966184 CPUtime=4.4 cores=1,3,5,7
/proc/15952/task/15959/stat : 15959 (java) S 15950 15952 11909 0 -1 4202560 336 0 0 0 432 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940371642920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15960] ppid=15950 vsize=2966184 CPUtime=4.36 cores=1,3,5,7
/proc/15952/task/15960/stat : 15960 (java) S 15950 15952 11909 0 -1 4202560 330 0 0 0 428 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940370590120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15961] ppid=15950 vsize=2966184 CPUtime=4.11 cores=1,3,5,7
/proc/15952/task/15961/stat : 15961 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 403 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940251822376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15962] ppid=15950 vsize=2966184 CPUtime=4.38 cores=1,3,5,7
/proc/15952/task/15962/stat : 15962 (java) S 15950 15952 11909 0 -1 4202560 333 0 0 0 430 8 0 0 20 0 22 0 341627372 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940250769576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15963] ppid=15950 vsize=2966184 CPUtime=4.68 cores=1,3,5,7
/proc/15952/task/15963/stat : 15963 (java) S 15950 15952 11909 0 -1 4202560 111 0 0 0 436 32 0 0 20 0 22 0 341627373 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940238572520 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15964] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15964/stat : 15964 (java) S 15950 15952 11909 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940237518584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15965] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15965/stat : 15965 (java) S 15950 15952 11909 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341627374 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139940236465672 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15966] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15966/stat : 15966 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939496848016 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15967] ppid=15950 vsize=2966184 CPUtime=1.77 cores=1,3,5,7
/proc/15952/task/15967/stat : 15967 (java) S 15950 15952 11909 0 -1 4202560 6268 0 0 0 175 2 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939495795128 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15968] ppid=15950 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/15952/task/15968/stat : 15968 (java) S 15950 15952 11909 0 -1 4202560 5939 0 0 0 129 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939494742328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15952/tid=15969] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15969/stat : 15969 (java) S 15950 15952 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939493689720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=15970] ppid=15950 vsize=2966184 CPUtime=0.51 cores=1,3,5,7
/proc/15952/task/15970/stat : 15970 (java) S 15950 15952 11909 0 -1 4202560 57 0 0 0 23 28 0 0 20 0 22 0 341627376 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939492637128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15952/tid=15974] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15974/stat : 15974 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939489478056 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=15975] ppid=15950 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/15952/task/15975/stat : 15975 (java) S 15950 15952 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341644126 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939488425256 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15952/tid=16128] ppid=15950 vsize=2966184 CPUtime=391.9 cores=1,3,5,7
/proc/15952/task/16128/stat : 16128 (java) R 15950 15952 11909 0 -1 4202560 105 0 0 0 39185 5 0 0 20 0 22 0 341685977 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939491580504 139940252768276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15952/tid=16129] ppid=15950 vsize=2966184 CPUtime=391.85 cores=1,3,5,7
/proc/15952/task/16129/stat : 16129 (java) R 15950 15952 11909 0 -1 4202560 123 0 0 0 39180 5 0 0 20 0 22 0 341685977 3037372416 183897 33554432000 1073741824 1073778376 140736959224512 139939490528336 139940252715104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15952 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=558185
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=21692
# CPU time returned by wait4() is 1796.58
# while last known CPU time is 1798.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.48007
# lost CPU user time (s): 1.60004
# lost CPU system time (s): -0.12
Real time (s): 985.442
CPU time (s): 1800.13
CPU user time (s): 1798.5
CPU system time (s): 1.63
CPU usage (%): 182.672
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 2.02169
maximum resident set size= 735700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37402
involuntary context switches= 58497
runsolver used 3.90141 second user time and 9.62354 second system time
The end