runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456369-1307219925/watcher-3456369-1307219925 -o /tmp/evaluation-result-3456369-1307219925/solver-3456369-1307219925 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456369-1307219925.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: 2.07 2.05 2.00 3/593 6248
/proc/meminfo: memFree=19871456/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 1351 0 1 0 0 0 0 0 25 0 2 0 833590276 36679680 1054 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 8955 1061 823 9 0 386 0
[pid=6248/tid=6249] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 8839 0 1 0 0 0 0 0 25 0 10 0 833590276 10703900672 9664 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46976340272256 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9665 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9670 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9674 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9675 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9675 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9681 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9683 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) R 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 833590278 10703900672 9686 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0663231 s]
/proc/loadavg: 2.07 2.05 2.00 3/593 6248
/proc/meminfo: memFree=19871456/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 11774 0 1 0 4 1 0 0 25 0 18 0 833590276 10724302848 11471 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2618238 11472 1742 9 0 2608972 0
[pid=6248/tid=6249] ppid=6246 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 10600 0 1 0 4 1 0 0 25 0 18 0 833590276 10724302848 11472 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46976341180323 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11473 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11473 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11473 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11474 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11475 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11475 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11476 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10472952 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10724302848 11477 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.101318 s]
/proc/loadavg: 2.07 2.05 2.00 3/593 6248
/proc/meminfo: memFree=19871456/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10540144 CPUtime=0.11 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 13141 0 1 0 9 2 0 0 25 0 18 0 833590276 10793107456 12810 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2635036 12810 2092 9 0 2625770 0
[pid=6248/tid=6249] ppid=6246 vsize=10540144 CPUtime=0.08 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 11206 0 1 0 7 1 0 0 18 0 18 0 833590276 10793107456 12810 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46976345647955 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12811 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12811 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12811 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12811 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12811 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12812 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12812 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10540144 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10793107456 12812 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540144
[startup+0.310032 s]
/proc/loadavg: 2.07 2.05 2.00 3/593 6248
/proc/meminfo: memFree=19871456/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10541648 CPUtime=0.53 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 16711 0 1 0 51 2 0 0 25 0 18 0 833590276 10794647552 15931 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2635412 15932 2204 9 0 2626146 0
[pid=6248/tid=6249] ppid=6246 vsize=10541648 CPUtime=0.3 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 13605 0 1 0 28 2 0 0 18 0 18 0 833590276 10794647552 15933 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46912505365698 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15934 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15935 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15936 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15937 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15938 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15939 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15940 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10541648 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833590278 10794647552 15940 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10541648
[startup+0.701209 s]
/proc/loadavg: 2.07 2.05 2.00 3/593 6248
/proc/meminfo: memFree=19871456/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10546096 CPUtime=1.38 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 29256 0 1 0 133 5 0 0 25 0 19 0 833590276 10799202304 26671 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2636524 26674 2229 9 0 2627258 0
[pid=6248/tid=6249] ppid=6246 vsize=10546096 CPUtime=0.69 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 22630 0 1 0 65 4 0 0 18 0 19 0 833590276 10799202304 26674 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46912505731308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26674 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26674 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26674 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26675 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26681 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26683 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26686 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10546096 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799202304 26687 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10546096
[startup+1.50106 s]
/proc/loadavg: 2.22 2.09 2.01 3/612 6267
/proc/meminfo: memFree=19700096/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10546760 CPUtime=2.27 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 76282 0 1 0 216 11 0 0 25 0 19 0 833590276 10799882240 73515 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2636690 73518 2231 9 0 2627424 0
[pid=6248/tid=6249] ppid=6246 vsize=10546760 CPUtime=1.49 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 69295 0 1 0 139 10 0 0 18 0 19 0 833590276 10799882240 73520 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46912505731029 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73522 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73524 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73525 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73527 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73531 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73533 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590278 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6259] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6259/stat : 6259 (java) S 6246 6248 5603 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 0 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6260] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6260/stat : 6260 (java) S 6246 6248 5603 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833590279 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6261] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6261/stat : 6261 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833590279 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6262] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6262/stat : 6262 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699498929 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6263] ppid=6246 vsize=10546760 CPUtime=0.42 cores=1,3,5,7
/proc/6248/task/6263/stat : 6263 (java) S 6246 6248 5603 0 -1 4202560 2762 0 0 0 42 0 0 0 20 0 19 0 833590281 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6264] ppid=6246 vsize=10546760 CPUtime=0.35 cores=1,3,5,7
/proc/6248/task/6264/stat : 6264 (java) S 6246 6248 5603 0 -1 4202560 3070 0 0 0 35 0 0 0 15 0 19 0 833590281 10799882240 73534 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6265] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6265/stat : 6265 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 73538 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6266] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6266/stat : 6266 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833590281 10799882240 73541 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6267] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6267/stat : 6267 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833590312 10799882240 73543 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10546760
[startup+3.10077 s]
################
# More data... #
################
/proc/6248/task/6261/stat : 6261 (java) S 6246 6248 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6262] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6262/stat : 6262 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699498929 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6263] ppid=6246 vsize=10546760 CPUtime=0.62 cores=1,3,5,7
/proc/6248/task/6263/stat : 6263 (java) S 6246 6248 5603 0 -1 4202560 3606 0 0 0 62 0 0 0 16 0 19 0 833590281 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6264] ppid=6246 vsize=10546760 CPUtime=0.39 cores=1,3,5,7
/proc/6248/task/6264/stat : 6264 (java) S 6246 6248 5603 0 -1 4202560 3084 0 0 0 39 0 0 0 15 0 19 0 833590281 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6265] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6265/stat : 6265 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6266] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6266/stat : 6266 (java) S 6246 6248 5603 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833590281 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6267] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6267/stat : 6267 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833590312 10799882240 611168 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1664.58
Current children cumulated vsize (KiB) 10546760
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/612 6373
/proc/meminfo: memFree=18225032/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10546760 CPUtime=1724.65 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 616380 0 1 0 172392 73 0 0 25 0 19 0 833590276 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2636690 612529 2262 9 0 2627424 0
[pid=6248/tid=6249] ppid=6246 vsize=10546760 CPUtime=1704.25 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 544058 0 1 0 170362 63 0 0 25 0 19 0 833590276 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46912505884940 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10546760 CPUtime=0.25 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 411 0 0 0 25 0 0 0 15 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10546760 CPUtime=0.17 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 588 0 0 0 17 0 0 0 16 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10546760 CPUtime=0.25 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 508 0 0 0 25 0 0 0 16 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10546760 CPUtime=0.26 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 966 0 0 0 26 0 0 0 16 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10546760 CPUtime=0.27 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 71 0 0 0 27 0 0 0 15 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10546760 CPUtime=0.23 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 476 0 0 0 23 0 0 0 16 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10546760 CPUtime=0.22 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 394 0 0 0 22 0 0 0 15 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10546760 CPUtime=0.25 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 430 0 0 0 25 0 0 0 15 0 19 0 833590278 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6259] ppid=6246 vsize=10546760 CPUtime=17.4 cores=1,3,5,7
/proc/6248/task/6259/stat : 6259 (java) S 6246 6248 5603 0 -1 4202560 60538 0 0 0 1733 7 0 0 15 0 19 0 833590279 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 0 0 16800975 18446604467764638144 0 0 -1 1 0 0 0
[pid=6248/tid=6260] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6260/stat : 6260 (java) S 6246 6248 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6261] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6261/stat : 6261 (java) S 6246 6248 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6262] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6262/stat : 6262 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699498929 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6263] ppid=6246 vsize=10546760 CPUtime=0.62 cores=1,3,5,7
/proc/6248/task/6263/stat : 6263 (java) S 6246 6248 5603 0 -1 4202560 3606 0 0 0 62 0 0 0 16 0 19 0 833590281 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6264] ppid=6246 vsize=10546760 CPUtime=0.39 cores=1,3,5,7
/proc/6248/task/6264/stat : 6264 (java) S 6246 6248 5603 0 -1 4202560 3084 0 0 0 39 0 0 0 15 0 19 0 833590281 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6265] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6265/stat : 6265 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6266] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6266/stat : 6266 (java) S 6246 6248 5603 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833590281 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6267] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6267/stat : 6267 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833590312 10799882240 612529 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1724.65
Current children cumulated vsize (KiB) 10546760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 6374
/proc/meminfo: memFree=18218300/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10546760 CPUtime=1784.71 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 617834 0 1 0 178398 73 0 0 25 0 19 0 833590276 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2636690 613972 2262 9 0 2627424 0
[pid=6248/tid=6249] ppid=6246 vsize=10546760 CPUtime=1763.39 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) S 6246 6248 5603 0 -1 4202560 544061 0 1 0 176276 63 0 0 25 0 19 0 833590276 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 1 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10546760 CPUtime=0.27 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 411 0 0 0 27 0 0 0 16 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10546760 CPUtime=0.18 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 588 0 0 0 18 0 0 0 15 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10546760 CPUtime=0.25 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 508 0 0 0 25 0 0 0 15 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10546760 CPUtime=0.27 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 966 0 0 0 27 0 0 0 16 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10546760 CPUtime=0.28 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 71 0 0 0 28 0 0 0 15 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10546760 CPUtime=0.24 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 476 0 0 0 24 0 0 0 15 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10546760 CPUtime=0.24 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 397 0 0 0 24 0 0 0 16 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10546760 CPUtime=0.26 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 430 0 0 0 26 0 0 0 16 0 19 0 833590278 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6259] ppid=6246 vsize=10546760 CPUtime=18.24 cores=1,3,5,7
/proc/6248/task/6259/stat : 6259 (java) R 6246 6248 5603 0 -1 4202560 61982 0 0 0 1817 7 0 0 15 0 19 0 833590279 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46976344009871 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=6248/tid=6260] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6260/stat : 6260 (java) S 6246 6248 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6261] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6261/stat : 6261 (java) S 6246 6248 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6262] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6262/stat : 6262 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699498929 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6263] ppid=6246 vsize=10546760 CPUtime=0.62 cores=1,3,5,7
/proc/6248/task/6263/stat : 6263 (java) S 6246 6248 5603 0 -1 4202560 3606 0 0 0 62 0 0 0 16 0 19 0 833590281 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6264] ppid=6246 vsize=10546760 CPUtime=0.39 cores=1,3,5,7
/proc/6248/task/6264/stat : 6264 (java) S 6246 6248 5603 0 -1 4202560 3084 0 0 0 39 0 0 0 15 0 19 0 833590281 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6265] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6265/stat : 6265 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6266] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6266/stat : 6266 (java) S 6246 6248 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833590281 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6267] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6267/stat : 6267 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833590312 10799882240 613972 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784.71
Current children cumulated vsize (KiB) 10546760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 6375
/proc/meminfo: memFree=18216308/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=10546760 CPUtime=1800.02 cores=1,3,5,7
/proc/6248/stat : 6248 (java) S 6246 6248 5603 0 -1 4202496 618365 0 1 0 179929 73 0 0 25 0 19 0 833590276 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 2636690 614503 2262 9 0 2627424 0
[pid=6248/tid=6249] ppid=6246 vsize=10546760 CPUtime=1778.43 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4202560 544061 0 1 0 177780 63 0 0 25 0 19 0 833590276 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 46912505884940 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6248/tid=6250] ppid=6246 vsize=10546760 CPUtime=0.27 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (java) S 6246 6248 5603 0 -1 4202560 411 0 0 0 27 0 0 0 16 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=10546760 CPUtime=0.18 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (java) S 6246 6248 5603 0 -1 4202560 588 0 0 0 18 0 0 0 15 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6252] ppid=6246 vsize=10546760 CPUtime=0.25 cores=1,3,5,7
/proc/6248/task/6252/stat : 6252 (java) S 6246 6248 5603 0 -1 4202560 508 0 0 0 25 0 0 0 15 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6253] ppid=6246 vsize=10546760 CPUtime=0.27 cores=1,3,5,7
/proc/6248/task/6253/stat : 6253 (java) S 6246 6248 5603 0 -1 4202560 966 0 0 0 27 0 0 0 16 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6254] ppid=6246 vsize=10546760 CPUtime=0.28 cores=1,3,5,7
/proc/6248/task/6254/stat : 6254 (java) S 6246 6248 5603 0 -1 4202560 71 0 0 0 28 0 0 0 15 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6255] ppid=6246 vsize=10546760 CPUtime=0.24 cores=1,3,5,7
/proc/6248/task/6255/stat : 6255 (java) S 6246 6248 5603 0 -1 4202560 476 0 0 0 24 0 0 0 15 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6256] ppid=6246 vsize=10546760 CPUtime=0.24 cores=1,3,5,7
/proc/6248/task/6256/stat : 6256 (java) S 6246 6248 5603 0 -1 4202560 397 0 0 0 24 0 0 0 16 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6257] ppid=6246 vsize=10546760 CPUtime=0.26 cores=1,3,5,7
/proc/6248/task/6257/stat : 6257 (java) S 6246 6248 5603 0 -1 4202560 430 0 0 0 26 0 0 0 16 0 19 0 833590278 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6259] ppid=6246 vsize=10546760 CPUtime=18.52 cores=1,3,5,7
/proc/6248/task/6259/stat : 6259 (java) S 6246 6248 5603 0 -1 4202560 62513 0 0 0 1845 7 0 0 15 0 19 0 833590279 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 0 0 16800975 18446604467764638144 0 0 -1 1 0 0 0
[pid=6248/tid=6260] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6260/stat : 6260 (java) S 6246 6248 5603 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6261] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6261/stat : 6261 (java) S 6246 6248 5603 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833590279 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6262] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6262/stat : 6262 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699498929 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6263] ppid=6246 vsize=10546760 CPUtime=0.62 cores=1,3,5,7
/proc/6248/task/6263/stat : 6263 (java) S 6246 6248 5603 0 -1 4202560 3606 0 0 0 62 0 0 0 16 0 19 0 833590281 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
[pid=6248/tid=6264] ppid=6246 vsize=10546760 CPUtime=0.39 cores=1,3,5,7
/proc/6248/task/6264/stat : 6264 (java) S 6246 6248 5603 0 -1 4202560 3084 0 0 0 39 0 0 0 15 0 19 0 833590281 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 7 0 0 0
[pid=6248/tid=6265] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6265/stat : 6265 (java) S 6246 6248 5603 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833590281 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491225 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6266] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6266/stat : 6266 (java) S 6246 6248 5603 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833590281 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 3 0 0 0
[pid=6248/tid=6267] ppid=6246 vsize=10546760 CPUtime=0 cores=1,3,5,7
/proc/6248/task/6267/stat : 6267 (java) S 6246 6248 5603 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833590312 10799882240 614503 33554432000 1073741824 1073778376 140734468484544 18446744073709551615 212699491840 0 4 0 16800975 18446604467764638144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10546760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 6375
/proc/meminfo: memFree=18216308/32951124 swapFree=58940260/67111528
[pid=6248] ppid=6246 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/6248/stat : 6248 (java) Z 6246 6248 5603 0 -1 4203548 618398 0 1 0 179948 82 0 0 17 0 2 0 833590276 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6248/statm: 0 0 0 0 0 0 0
[pid=6248/tid=6249] ppid=6246 vsize=0 CPUtime=1778.6 cores=1,3,5,7
/proc/6248/task/6249/stat : 6249 (java) R 6246 6248 5603 0 -1 4203588 544061 0 1 0 177788 72 0 0 25 0 2 0 833590276 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.81
CPU time (s): 1800.32
CPU user time (s): 1799.49
CPU system time (s): 0.834873
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 10546760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.834873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618398
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39705
involuntary context switches= 7964
runsolver used 10.1745 second user time and 24.8302 second system time
The end