2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
slowpoke 2018-04-29	SAT (TO)	792	2520.04	2502.03
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8359 MiB free)
  memory of node 1: 16384 MiB (14739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298290-1532752770/watcher-4298290-1532752770 -o /tmp/evaluation-result-4298290-1532752770/solver-4298290-1532752770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2005 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298290-1532752770.xml --timelimit 2520 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4005, runsolver pid=4002


[startup+0.100129 s]*
/proc/loadavg: 3.49 2.51 2.24 3/215 4020
/proc/meminfo: memFree=23637392/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661056 memory=27692 CPUtime=0.12 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 5267 0 0 0 11 1 0 0 20 0 15 0 92840286 10916921344 6923 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665264 6923 2845 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661056 memory=-8823779217903547584 CPUtime=0.08 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 3137 0 0 0 8 0 0 0 20 0 15 0 92840286 10916921344 6923 33554432000 4194304 4196468 140731595446816 139684067192288 139684062973334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 6923 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 6923 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92840288 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92840289 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) R 4002 4005 1972 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) R 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683617499504 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0.01 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) R 4002 4005 1972 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 92840291 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683616446448 139684047041886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840292 10916921344 6923 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27692 KiB

[startup+0.210365 s]*
/proc/loadavg: 3.49 2.51 2.24 4/215 4020
/proc/meminfo: memFree=23625328/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661056 memory=39916 CPUtime=0.33 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 8102 0 0 0 31 2 0 0 20 0 15 0 92840286 10916921344 9979 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665264 9979 2966 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 5098 0 0 0 19 1 0 0 20 0 15 0 92840286 10916921344 10044 33554432000 4194304 4196468 140731595446816 139684067192640 139683696342785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 10044 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661056 memory=140586862541188 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 10044 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92840287 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92840288 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92840289 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) S 4002 4005 1972 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 92840291 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) R 4002 4005 1972 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 15 0 92840291 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683617499504 139684055202789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0.07 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) R 4002 4005 1972 0 -1 4202560 892 0 0 0 7 0 0 0 20 0 15 0 92840291 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683616444240 139684041560115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661056 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840292 10916921344 10044 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39916 KiB

[startup+0.31084 s]*
/proc/loadavg: 3.49 2.51 2.24 6/215 4020
/proc/meminfo: memFree=23611124/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=56276 CPUtime=0.68 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 10099 0 0 0 65 3 0 0 20 0 15 0 92840286 10916999168 14069 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 14069 3072 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 5378 0 0 0 29 1 0 0 20 0 15 0 92840286 10916999168 14069 33554432000 4194304 4196468 140731595446816 139684067199984 139684047005029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 14069 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=140586862531710 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 14069 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 14069 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 14069 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92840288 10916999168 14069 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 14069 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) R 4002 4005 1972 0 -1 4202560 1232 0 0 0 11 0 0 0 20 0 15 0 92840291 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683618551152 139684044480892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) R 4002 4005 1972 0 -1 4202560 1135 0 0 0 11 0 0 0 20 0 15 0 92840291 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683617480520 139684044505116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=140586862052992 CPUtime=0.13 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) R 4002 4005 1972 0 -1 4202560 1065 0 0 0 13 0 0 0 20 0 15 0 92840291 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683616446448 139684044533820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=140586862052992 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840292 10916999168 14135 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 56276 KiB

[startup+0.700839 s]
/proc/loadavg: 3.49 2.51 2.24 5/215 4020
/proc/meminfo: memFree=23572092/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=189616 CPUtime=1.96 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 12287 0 0 0 190 6 0 0 20 0 15 0 92840286 10916999168 47404 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 47404 3123 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=157818170647307 CPUtime=0.66 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 5514 0 0 0 63 3 0 0 20 0 15 0 92840286 10916999168 47404 33554432000 4194304 4196468 140731595446816 139684067200000 139683697952535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=551299 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 47404 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 47404 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 92840287 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92840288 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) R 4002 4005 1972 0 -1 4202560 2057 0 0 0 47 0 0 0 20 0 15 0 92840291 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683618533064 139684044482584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) R 4002 4005 1972 0 -1 4202560 1379 0 0 0 48 0 0 0 20 0 15 0 92840291 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683617480520 139684047356298 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) S 4002 4005 1972 0 -1 1077944384 1847 0 0 0 29 1 0 0 20 0 15 0 92840291 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683616446448 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92840292 10916999168 47404 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 189616 KiB

[startup+1.50074 s]
/proc/loadavg: 3.49 2.51 2.24 4/215 4020
/proc/meminfo: memFree=23473176/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=270768 CPUtime=3.84 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 13302 0 0 0 368 16 0 0 20 0 15 0 92840286 10916999168 67692 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 67692 3150 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=10799 CPUtime=1.4 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 5591 0 0 0 136 4 0 0 20 0 15 0 92840286 10916999168 67692 33554432000 4194304 4196468 140731595446816 139684067200096 139683699674393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 116 0 0 0 3 2 0 0 20 0 15 0 92840287 10916999168 67692 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 122 0 0 0 4 2 0 0 20 0 15 0 92840287 10916999168 67692 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 15 0 92840287 10916999168 67692 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=6943526294502006880 CPUtime=0.06 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 87 0 0 0 4 2 0 0 20 0 15 0 92840287 10916999168 67692 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 92840288 10916999168 67692 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0

################
# More data... #
################

/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 38429 0 0 0 230064 1603 0 0 20 0 15 0 92840286 10916999168 281303 33554432000 4194304 4196468 140731595446816 139684067200960 140731596629954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=1125212 CPUtime=3.75 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 19770 0 0 0 343 32 0 0 20 0 15 0 92840287 10916999168 281303 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=1125212 CPUtime=3.75 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 19602 0 0 0 341 34 0 0 20 0 15 0 92840287 10916999168 281303 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=1125212 CPUtime=3.74 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 22359 0 0 0 340 34 0 0 20 0 15 0 92840287 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=1125212 CPUtime=3.74 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 18695 0 0 0 341 33 0 0 20 0 15 0 92840287 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=1125212 CPUtime=1.1 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 12181 0 0 0 101 9 0 0 20 0 15 0 92840288 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=1125212 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=1944 CPUtime=2.9 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) S 4002 4005 1972 0 -1 1077944384 11490 0 0 0 289 1 0 0 20 0 15 0 92840291 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=27096 CPUtime=2.68 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) S 4002 4005 1972 0 -1 1077944384 10346 0 0 0 267 1 0 0 20 0 15 0 92840291 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683617499504 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=1292 CPUtime=0.56 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) S 4002 4005 1972 0 -1 1077944384 4598 0 0 0 54 2 0 0 20 0 15 0 92840291 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683616446448 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=1125212 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=1125212 CPUtime=0.49 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1152 0 0 0 22 27 0 0 20 0 15 0 92840292 10916999168 281303 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 2339.45 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1125212 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.67 1.74 3/215 4112
/proc/meminfo: memFree=21785196/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=1125260 CPUtime=2399.72 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 164125 0 0 0 238166 1806 0 0 20 0 15 0 92840286 10916999168 281315 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 281315 3181 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=1125260 CPUtime=2376.5 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 38995 0 0 0 236003 1647 0 0 20 0 15 0 92840286 10916999168 281315 33554432000 4194304 4196468 140731595446816 139684067202304 140731596629954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=281169632260265 CPUtime=3.85 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 20325 0 0 0 353 32 0 0 20 0 15 0 92840287 10916999168 281315 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=55 CPUtime=3.84 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 20545 0 0 0 350 34 0 0 20 0 15 0 92840287 10916999168 281315 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=1125244 CPUtime=3.83 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 23013 0 0 0 349 34 0 0 20 0 15 0 92840287 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=1125260 CPUtime=3.84 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 19591 0 0 0 351 33 0 0 20 0 15 0 92840287 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=1125260 CPUtime=1.14 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 12655 0 0 0 105 9 0 0 20 0 15 0 92840288 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=1125260 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=1125260 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=1125244 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=0 CPUtime=2.9 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) S 4002 4005 1972 0 -1 1077944384 11494 0 0 0 289 1 0 0 20 0 15 0 92840291 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=1125244 CPUtime=2.68 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) S 4002 4005 1972 0 -1 1077944384 10352 0 0 0 267 1 0 0 20 0 15 0 92840291 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683617499504 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=1228 CPUtime=0.56 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) S 4002 4005 1972 0 -1 1077944384 4602 0 0 0 54 2 0 0 20 0 15 0 92840291 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683616446448 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=1125232 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=4136 CPUtime=0.5 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1193 0 0 0 22 28 0 0 20 0 15 0 92840292 10916999168 281315 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 2399.72 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1125260 KiB

[startup+2442.3 s]
/proc/loadavg: 1.65 1.65 1.73 3/216 4198
/proc/meminfo: memFree=26273620/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=1125300 CPUtime=2460 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 166744 0 0 0 244154 1846 0 0 20 0 15 0 92840286 10916999168 281325 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 281325 3181 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=1125300 CPUtime=2436.32 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 39419 0 0 0 241947 1685 0 0 20 0 15 0 92840286 10916999168 281325 33554432000 4194304 4196468 140731595446816 139684067202304 140731596629954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=9920 CPUtime=3.94 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 20736 0 0 0 362 32 0 0 20 0 15 0 92840287 10916999168 281325 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=1125280 CPUtime=3.94 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 21084 0 0 0 360 34 0 0 20 0 15 0 92840287 10916999168 281325 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=1125260 CPUtime=3.93 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 23399 0 0 0 359 34 0 0 20 0 15 0 92840287 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=1125260 CPUtime=3.94 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 20183 0 0 0 360 34 0 0 20 0 15 0 92840287 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=1125280 CPUtime=1.17 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 12895 0 0 0 108 9 0 0 20 0 15 0 92840288 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=1125280 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=1125268 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=1125292 CPUtime=2.9 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) S 4002 4005 1972 0 -1 1077944384 11496 0 0 0 289 1 0 0 20 0 15 0 92840291 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=1125300 CPUtime=2.68 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) S 4002 4005 1972 0 -1 1077944384 10355 0 0 0 267 1 0 0 20 0 15 0 92840291 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683617499504 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=1125300 CPUtime=0.56 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) S 4002 4005 1972 0 -1 1077944384 4604 0 0 0 54 2 0 0 20 0 15 0 92840291 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683616446448 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=1125300 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=4136 CPUtime=0.51 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1213 0 0 0 23 28 0 0 20 0 15 0 92840292 10916999168 281325 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 2460 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1125300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502 s]*
/proc/loadavg: 1.63 1.64 1.72 3/216 4199
/proc/meminfo: memFree=25755504/32770624 swapFree=67108792/67108860
[pid=4005] ppid=4002 vsize=10661132 memory=1125340 CPUtime=2520 cores=1,3,5,7
/proc/4005/stat : 4005 (java) S 4002 4005 1972 0 -1 1077944320 169404 0 0 0 250111 1889 0 0 20 0 15 0 92840286 10916999168 281335 33554432000 4194304 4196468 140731595446816 140731595429360 139684062961399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
/proc/4005/statm: 2665283 281335 3181 1 0 2627263 0
[pid=4005/tid=4007] ppid=4002 vsize=10661132 memory=8112282956445269571 CPUtime=2495.86 cores=1,3,5,7
/proc/4005/task/4007/stat : 4007 (java) R 4002 4005 1972 0 -1 4202560 39815 0 0 0 247861 1725 0 0 20 0 15 0 92840286 10916999168 281335 33554432000 4194304 4196468 140731595446816 139684067201024 140731596629954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4008] ppid=4002 vsize=10661132 memory=4872558044660077418 CPUtime=4.04 cores=1,3,5,7
/proc/4005/task/4008/stat : 4008 (java) S 4002 4005 1972 0 -1 1077944384 21096 0 0 0 372 32 0 0 20 0 15 0 92840287 10916999168 281335 33554432000 4194304 4196468 140731595446816 139684015581712 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4009] ppid=4002 vsize=10661132 memory=7234583519411001704 CPUtime=4.04 cores=1,3,5,7
/proc/4005/task/4009/stat : 4009 (java) S 4002 4005 1972 0 -1 1077944384 21520 0 0 0 370 34 0 0 20 0 15 0 92840287 10916999168 281335 33554432000 4194304 4196468 140731595446816 139684014529168 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4010] ppid=4002 vsize=10661132 memory=7740108213846566993 CPUtime=4.03 cores=1,3,5,7
/proc/4005/task/4010/stat : 4010 (java) S 4002 4005 1972 0 -1 1077944384 23878 0 0 0 369 34 0 0 20 0 15 0 92840287 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683668089104 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4011] ppid=4002 vsize=10661132 memory=7589500401136330609 CPUtime=4.03 cores=1,3,5,7
/proc/4005/task/4011/stat : 4011 (java) S 4002 4005 1972 0 -1 1077944384 20906 0 0 0 369 34 0 0 20 0 15 0 92840287 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683667036560 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4012] ppid=4002 vsize=10661132 memory=7235145335509706864 CPUtime=1.22 cores=1,3,5,7
/proc/4005/task/4012/stat : 4012 (java) S 4002 4005 1972 0 -1 1077944384 13134 0 0 0 112 10 0 0 20 0 15 0 92840288 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683622763248 139684062972546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4013] ppid=4002 vsize=10661132 memory=7740088349639796327 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4013/stat : 4013 (java) S 4002 4005 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683621709472 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4014] ppid=4002 vsize=10661132 memory=7740088349639796327 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4014/stat : 4014 (java) S 4002 4005 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92840289 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683620656368 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4015] ppid=4002 vsize=10661132 memory=7740088349639796327 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4015/stat : 4015 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683619604944 139684062979995 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4016] ppid=4002 vsize=10661132 memory=7740088349639796327 CPUtime=2.9 cores=1,3,5,7
/proc/4005/task/4016/stat : 4016 (java) S 4002 4005 1972 0 -1 1077944384 11498 0 0 0 289 1 0 0 20 0 15 0 92840291 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683618552048 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4017] ppid=4002 vsize=10661132 memory=7740088349639796327 CPUtime=2.68 cores=1,3,5,7
/proc/4005/task/4017/stat : 4017 (java) S 4002 4005 1972 0 -1 1077944384 10358 0 0 0 267 1 0 0 20 0 15 0 92840291 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683617499504 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4018] ppid=4002 vsize=10661132 memory=6443915941966474090 CPUtime=0.56 cores=1,3,5,7
/proc/4005/task/4018/stat : 4018 (java) S 4002 4005 1972 0 -1 1077944384 4606 0 0 0 54 2 0 0 20 0 15 0 92840291 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683616446448 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4019] ppid=4002 vsize=10661132 memory=6443915941966474090 CPUtime=0 cores=1,3,5,7
/proc/4005/task/4019/stat : 4019 (java) S 4002 4005 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92840291 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683615394144 139684062971605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
[pid=4005/tid=4020] ppid=4002 vsize=10661132 memory=7375046138516956011 CPUtime=0.52 cores=1,3,5,7
/proc/4005/task/4020/stat : 4020 (java) S 4002 4005 1972 0 -1 1077944384 1233 0 0 0 23 29 0 0 20 0 15 0 92840292 10916999168 281335 33554432000 4194304 4196468 140731595446816 139683614342192 139684062972546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140731595449500 140731595449609 140731595449609 140731595452367 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1125340 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2502.03 s]
# the end of solver process 4005 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2501.13 s, system=18.9052 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2502.03
CPU time (s): 2520.04
CPU user time (s): 2501.13
CPU system time (s): 18.9052
CPU usage (%): 100.72
Max. virtual memory (cumulated for all children) (KiB): 10662856
Max. memory (cumulated for all children) (KiB): 1335260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.13
system time used= 18.9052
maximum resident set size= 1335284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87588
involuntary context switches= 2132


# summary of solver processes directly reported to runsolver:
#   pid: 4005
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2501.13
#   total CPU system time (s): 18.9052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0374 second user time and 21.2856 second system time

The end
Name	Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-05-opt_c18.xml
MD5SUM	274cbe62d699e50b76b6a0f77c1be099
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	0.485781
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	2598
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298290

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
