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-3454026-1307195375/watcher-3454026-1307195375 -o /tmp/evaluation-result-3454026-1307195375/solver-3454026-1307195375 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454026-1307195375.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.50 3.85 3.79 2/589 4242
/proc/meminfo: memFree=31684124/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 3180 0 1 0 0 0 0 0 24 0 2 0 831136278 10694979584 2882 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2611079 2895 917 9 0 2602235 0
[pid=4242/tid=4243] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 8831 0 1 0 0 0 0 0 25 0 10 0 831136279 10703900672 9656 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 47791242818957 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9658 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) R 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9658 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9662 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9663 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9664 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9670 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9673 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) R 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 831136280 10703900672 9674 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0972671 s]
/proc/loadavg: 3.50 3.85 3.79 2/589 4242
/proc/meminfo: memFree=31684124/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10540088 CPUtime=0.1 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 13060 0 1 0 9 1 0 0 24 0 18 0 831136278 10793050112 12757 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2635022 12758 2092 9 0 2625756 0
[pid=4242/tid=4243] ppid=4240 vsize=10540088 CPUtime=0.08 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 11157 0 1 0 8 0 0 0 25 0 18 0 831136279 10793050112 12759 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268272350241 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12759 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12760 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12760 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12760 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12761 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12762 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12762 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12762 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540088
[startup+0.101265 s]
/proc/loadavg: 3.50 3.85 3.79 2/589 4242
/proc/meminfo: memFree=31684124/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10540088 CPUtime=0.1 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 13126 0 1 0 9 1 0 0 24 0 18 0 831136278 10793050112 12823 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2635022 12823 2092 9 0 2625756 0
[pid=4242/tid=4243] ppid=4240 vsize=10540088 CPUtime=0.08 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 11222 0 1 0 8 0 0 0 25 0 18 0 831136279 10793050112 12824 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 47791243082548 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12824 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12824 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12824 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12825 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12825 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12825 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12825 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10540088 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10793050112 12825 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540088
[startup+0.301233 s]
/proc/loadavg: 3.50 3.85 3.79 2/589 4242
/proc/meminfo: memFree=31684124/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10542312 CPUtime=0.47 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 16100 0 1 0 46 1 0 0 24 0 18 0 831136278 10795327488 15374 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2635578 15374 2208 9 0 2626312 0
[pid=4242/tid=4243] ppid=4240 vsize=10542312 CPUtime=0.28 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 13082 0 1 0 28 0 0 0 25 0 18 0 831136279 10795327488 15375 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15375 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15375 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15376 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15376 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15376 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15377 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15377 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10542312 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10795327488 15377 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542312
[startup+0.701221 s]
/proc/loadavg: 3.50 3.85 3.79 2/589 4242
/proc/meminfo: memFree=31684124/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10549832 CPUtime=1.59 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 36298 0 1 0 155 4 0 0 24 0 18 0 831136278 10803027968 33054 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2637458 33056 2227 9 0 2628192 0
[pid=4242/tid=4243] ppid=4240 vsize=10549832 CPUtime=0.68 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 25795 0 1 0 66 2 0 0 25 0 18 0 831136279 10803027968 33058 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912505603521 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33059 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33061 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33063 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33065 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33066 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33068 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33070 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 33071 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10549832
[startup+1.50109 s]
/proc/loadavg: 3.50 3.85 3.79 4/608 4267
/proc/meminfo: memFree=31268704/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10549832 CPUtime=2.48 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 239764 0 1 0 223 25 0 0 24 0 18 0 831136278 10803027968 236519 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2637458 236521 2230 9 0 2628192 0
[pid=4242/tid=4243] ppid=4240 vsize=10549832 CPUtime=1.48 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) R 4240 4242 32216 0 -1 4202560 229239 0 1 0 124 24 0 0 18 0 18 0 831136279 10803027968 236523 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912505760255 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236524 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236526 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236527 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236529 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236532 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236535 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236538 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136280 10803027968 236543 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4253] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4253/stat : 4253 (java) S 4240 4242 32216 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 831136281 10803027968 236560 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 0 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4254] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4254/stat : 4254 (java) S 4240 4242 32216 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831136282 10803027968 236579 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4255] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4255/stat : 4255 (java) S 4240 4242 32216 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831136282 10803027968 236595 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4256] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4256/stat : 4256 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136284 10803027968 236612 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284512689 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4257] ppid=4240 vsize=10549832 CPUtime=0.51 cores=0,2,4,6
/proc/4242/task/4257/stat : 4257 (java) S 4240 4242 32216 0 -1 4202560 5266 0 0 0 51 0 0 0 25 0 18 0 831136284 10803027968 236629 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4258] ppid=4240 vsize=10549832 CPUtime=0.46 cores=0,2,4,6
/proc/4242/task/4258/stat : 4258 (java) S 4240 4242 32216 0 -1 4202560 4109 0 0 0 46 0 0 0 19 0 18 0 831136284 10803027968 236645 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4259] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4259/stat : 4259 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831136284 10803027968 236663 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4260] ppid=4240 vsize=10549832 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4260/stat : 4260 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831136284 10803027968 236679 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 10549832
[startup+3.10074 s]
/proc/loadavg: 3.50 3.85 3.79 4/612 4274
/proc/meminfo: memFree=30148828/32950928 swapFree=43925852/67111528
################
# More data... #
################
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 12475 0 0 0 28 1 0 0 15 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10553944 CPUtime=0.48 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 12113 0 0 0 47 1 0 0 16 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10553944 CPUtime=0.44 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 11304 0 0 0 43 1 0 0 16 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10553944 CPUtime=0.55 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 14325 0 0 0 53 2 0 0 15 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10553944 CPUtime=0.48 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 16807 0 0 0 47 1 0 0 16 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10553944 CPUtime=0.29 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 9006 0 0 0 29 0 0 0 15 0 22 0 831136280 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4253] ppid=4240 vsize=10553944 CPUtime=4.6 cores=0,2,4,6
/proc/4242/task/4253/stat : 4253 (java) S 4240 4242 32216 0 -1 4202560 57243 0 0 0 454 6 0 0 15 0 22 0 831136281 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 0 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4254] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4254/stat : 4254 (java) S 4240 4242 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4255] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4255/stat : 4255 (java) S 4240 4242 32216 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4256] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4256/stat : 4256 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284512689 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4257] ppid=4240 vsize=10553944 CPUtime=1.34 cores=0,2,4,6
/proc/4242/task/4257/stat : 4257 (java) S 4240 4242 32216 0 -1 4202560 7641 0 0 0 133 1 0 0 15 0 22 0 831136284 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4258] ppid=4240 vsize=10553944 CPUtime=1.09 cores=0,2,4,6
/proc/4242/task/4258/stat : 4258 (java) S 4240 4242 32216 0 -1 4202560 4355 0 0 0 109 0 0 0 15 0 22 0 831136284 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4259] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4259/stat : 4259 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4260] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4260/stat : 4260 (java) S 4240 4242 32216 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831136284 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4320] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4320/stat : 4320 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139515 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4326] ppid=4240 vsize=10553944 CPUtime=579.4 cores=0,2,4,6
/proc/4242/task/4326/stat : 4326 (java) R 4240 4242 32216 0 -1 4202560 2 0 0 0 57940 0 0 0 25 0 22 0 831160204 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506458975 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4327] ppid=4240 vsize=10553944 CPUtime=579.38 cores=0,2,4,6
/proc/4242/task/4327/stat : 4327 (java) R 4240 4242 32216 0 -1 4202560 4 0 0 0 57938 0 0 0 25 0 22 0 831160204 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506084004 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4242/tid=4328] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4328/stat : 4328 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831160205 10807238656 884936 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1634.11
Current children cumulated vsize (KiB) 10553944
[startup+882.301 s]
/proc/loadavg: 2.00 2.47 3.16 4/589 4375
/proc/meminfo: memFree=28138944/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10553944 CPUtime=1754.17 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 894201 0 1 0 175312 105 0 0 24 0 22 0 831136278 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2638486 887946 2269 9 0 2629220 0
[pid=4242/tid=4243] ppid=4240 vsize=10553944 CPUtime=2.25 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) S 4240 4242 32216 0 -1 4202560 313036 0 1 0 191 34 0 0 15 0 22 0 831136279 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10553944 CPUtime=0.41 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 8500 0 0 0 40 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 0 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10553944 CPUtime=0.44 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 10743 0 0 0 43 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10553944 CPUtime=0.31 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 12596 0 0 0 30 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10553944 CPUtime=0.5 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 12217 0 0 0 49 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10553944 CPUtime=0.44 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 11430 0 0 0 43 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10553944 CPUtime=0.55 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 14326 0 0 0 53 2 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10553944 CPUtime=0.5 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 16813 0 0 0 49 1 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10553944 CPUtime=0.3 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 9006 0 0 0 30 0 0 0 16 0 22 0 831136280 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4253] ppid=4240 vsize=10553944 CPUtime=4.6 cores=0,2,4,6
/proc/4242/task/4253/stat : 4253 (java) S 4240 4242 32216 0 -1 4202560 57245 0 0 0 454 6 0 0 15 0 22 0 831136281 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 0 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4254] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4254/stat : 4254 (java) S 4240 4242 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4255] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4255/stat : 4255 (java) S 4240 4242 32216 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4256] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4256/stat : 4256 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284512689 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4257] ppid=4240 vsize=10553944 CPUtime=1.34 cores=0,2,4,6
/proc/4242/task/4257/stat : 4257 (java) S 4240 4242 32216 0 -1 4202560 7641 0 0 0 133 1 0 0 15 0 22 0 831136284 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4258] ppid=4240 vsize=10553944 CPUtime=1.09 cores=0,2,4,6
/proc/4242/task/4258/stat : 4258 (java) S 4240 4242 32216 0 -1 4202560 4355 0 0 0 109 0 0 0 15 0 22 0 831136284 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4259] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4259/stat : 4259 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4260] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4260/stat : 4260 (java) S 4240 4242 32216 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831136284 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4320] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4320/stat : 4320 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139515 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4326] ppid=4240 vsize=10553944 CPUtime=639.37 cores=0,2,4,6
/proc/4242/task/4326/stat : 4326 (java) R 4240 4242 32216 0 -1 4202560 3 0 0 0 63937 0 0 0 25 0 22 0 831160204 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506187164 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4327] ppid=4240 vsize=10553944 CPUtime=639.36 cores=0,2,4,6
/proc/4242/task/4327/stat : 4327 (java) R 4240 4242 32216 0 -1 4202560 2537 0 0 0 63936 0 0 0 25 0 22 0 831160204 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506205387 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4242/tid=4328] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4328/stat : 4328 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831160205 10807238656 887946 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1754.17
Current children cumulated vsize (KiB) 10553944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.501 s]
/proc/loadavg: 1.94 2.41 3.12 3/588 4376
/proc/meminfo: memFree=28082072/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=10553944 CPUtime=1800.08 cores=0,2,4,6
/proc/4242/stat : 4242 (java) S 4240 4242 32216 0 -1 4202496 916887 0 1 0 179900 108 0 0 24 0 22 0 831136278 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 2638486 910378 2269 9 0 2629220 0
[pid=4242/tid=4243] ppid=4240 vsize=10553944 CPUtime=2.25 cores=0,2,4,6
/proc/4242/task/4243/stat : 4243 (java) S 4240 4242 32216 0 -1 4202560 313037 0 1 0 191 34 0 0 15 0 22 0 831136279 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4244] ppid=4240 vsize=10553944 CPUtime=0.41 cores=0,2,4,6
/proc/4242/task/4244/stat : 4244 (java) S 4240 4242 32216 0 -1 4202560 8500 0 0 0 40 1 0 0 15 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 0 0 0 0
[pid=4242/tid=4245] ppid=4240 vsize=10553944 CPUtime=0.44 cores=0,2,4,6
/proc/4242/task/4245/stat : 4245 (java) S 4240 4242 32216 0 -1 4202560 10743 0 0 0 43 1 0 0 15 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4246] ppid=4240 vsize=10553944 CPUtime=0.33 cores=0,2,4,6
/proc/4242/task/4246/stat : 4246 (java) S 4240 4242 32216 0 -1 4202560 12972 0 0 0 32 1 0 0 16 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 0 0 0 0
[pid=4242/tid=4247] ppid=4240 vsize=10553944 CPUtime=0.57 cores=0,2,4,6
/proc/4242/task/4247/stat : 4247 (java) S 4240 4242 32216 0 -1 4202560 16229 0 0 0 55 2 0 0 16 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4248] ppid=4240 vsize=10553944 CPUtime=0.47 cores=0,2,4,6
/proc/4242/task/4248/stat : 4248 (java) S 4240 4242 32216 0 -1 4202560 12068 0 0 0 46 1 0 0 16 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4249] ppid=4240 vsize=10553944 CPUtime=0.58 cores=0,2,4,6
/proc/4242/task/4249/stat : 4249 (java) S 4240 4242 32216 0 -1 4202560 16657 0 0 0 56 2 0 0 15 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4250] ppid=4240 vsize=10553944 CPUtime=0.5 cores=0,2,4,6
/proc/4242/task/4250/stat : 4250 (java) S 4240 4242 32216 0 -1 4202560 16813 0 0 0 49 1 0 0 15 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 0 0 0 0
[pid=4242/tid=4251] ppid=4240 vsize=10553944 CPUtime=0.36 cores=0,2,4,6
/proc/4242/task/4251/stat : 4251 (java) S 4240 4242 32216 0 -1 4202560 13659 0 0 0 35 1 0 0 16 0 22 0 831136280 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4253] ppid=4240 vsize=10553944 CPUtime=5.19 cores=0,2,4,6
/proc/4242/task/4253/stat : 4253 (java) S 4240 4242 32216 0 -1 4202560 63330 0 0 0 512 7 0 0 15 0 22 0 831136281 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 0 0 16800975 18446604451217287296 0 0 -1 0 0 0 0
[pid=4242/tid=4254] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4254/stat : 4254 (java) S 4240 4242 32216 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4255] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4255/stat : 4255 (java) S 4240 4242 32216 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 831136282 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4256] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4256/stat : 4256 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284512689 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4257] ppid=4240 vsize=10553944 CPUtime=1.34 cores=0,2,4,6
/proc/4242/task/4257/stat : 4257 (java) S 4240 4242 32216 0 -1 4202560 7641 0 0 0 133 1 0 0 15 0 22 0 831136284 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 6 0 0 0
[pid=4242/tid=4258] ppid=4240 vsize=10553944 CPUtime=1.09 cores=0,2,4,6
/proc/4242/task/4258/stat : 4258 (java) S 4240 4242 32216 0 -1 4202560 4355 0 0 0 109 0 0 0 15 0 22 0 831136284 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4259] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4259/stat : 4259 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831136284 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284504985 0 4 0 16800975 18446604451217287296 0 0 -1 4 0 0 0
[pid=4242/tid=4260] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4260/stat : 4260 (java) S 4240 4242 32216 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831136284 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4320] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4320/stat : 4320 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139515 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
[pid=4242/tid=4326] ppid=4240 vsize=10553944 CPUtime=661.94 cores=0,2,4,6
/proc/4242/task/4326/stat : 4326 (java) R 4240 4242 32216 0 -1 4202560 35 0 0 0 66194 0 0 0 25 0 22 0 831160204 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506187197 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4242/tid=4327] ppid=4240 vsize=10553944 CPUtime=661.92 cores=0,2,4,6
/proc/4242/task/4327/stat : 4327 (java) R 4240 4242 32216 0 -1 4202560 7095 0 0 0 66192 0 0 0 25 0 22 0 831160204 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 46912506083992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4242/tid=4328] ppid=4240 vsize=10553944 CPUtime=0 cores=0,2,4,6
/proc/4242/task/4328/stat : 4328 (java) S 4240 4242 32216 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831160205 10807238656 910378 33554432000 1073741824 1073778376 140735444662112 18446744073709551615 268284505600 0 4 0 16800975 18446604451217287296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10553944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.628 s]
/proc/loadavg: 1.94 2.41 3.12 3/588 4376
/proc/meminfo: memFree=28082072/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/4242/stat : 4242 (java) Z 4240 4242 32216 0 -1 4203548 916918 0 1 0 179916 113 0 0 17 0 2 0 831136278 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 0 0 0 0 0 0 0
[pid=4242/tid=4326] ppid=4240 vsize=0 CPUtime=662.04 cores=0,2,4,6
/proc/4242/task/4326/stat : 4326 (java) R 4240 4242 32216 0 -1 4203588 35 0 0 0 66199 5 0 0 25 0 2 0 831160204 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
[startup+905.701 s]
/proc/loadavg: 1.94 2.41 3.12 3/588 4376
/proc/meminfo: memFree=28082072/32950928 swapFree=43925852/67111528
[pid=4242] ppid=4240 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/4242/stat : 4242 (java) Z 4240 4242 32216 0 -1 4203548 916918 0 1 0 179916 121 0 0 17 0 2 0 831136278 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4242/statm: 0 0 0 0 0 0 0
[pid=4242/tid=4326] ppid=4240 vsize=0 CPUtime=662.12 cores=0,2,4,6
/proc/4242/task/4326/stat : 4326 (java) R 4240 4242 32216 0 -1 4203588 35 0 0 0 66199 13 0 0 25 0 2 0 831160204 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.704
CPU time (s): 1800.38
CPU user time (s): 1799.16
CPU system time (s): 1.21481
CPU usage (%): 198.782
Max. virtual memory (cumulated for all children) (KiB): 10553944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.21481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 916918
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= 21877
involuntary context switches= 22091
runsolver used 5.33219 second user time and 12.1821 second system time
The end