runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718027-1338255766/watcher-3718027-1338255766 -o /tmp/evaluation-result-3718027-1338255766/solver-3718027-1338255766 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718027-1338255766.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/4509/stat : 4509 (java) D 4507 4509 919 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 291702506 2560000 46 33554432000 1073741824 1073778376 140737117529392 140737117526520 242158234919 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/4509/statm: 625 46 37 9 0 29 0
[startup+0.0322379 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 2345 0 1 0 0 0 0 0 20 0 10 0 291702506 9233014784 3044 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2254154 3052 1180 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100194 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 4252 0 1 0 7 1 0 0 20 0 18 0 291702506 9787817984 5445 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2389604 5445 2100 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416
[startup+0.300227 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 6446 0 1 0 46 2 0 0 20 0 19 0 291702506 9855979520 8290 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 8290 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980
[startup+0.700215 s]
/proc/loadavg: 1.89 1.98 1.99 3/194 4509
/proc/meminfo: memFree=30690468/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1.17 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8082 0 1 0 115 2 0 0 20 0 19 0 291702506 9855979520 9141 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 9141 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 9624980
[startup+1.50066 s]
/proc/loadavg: 1.89 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30649748/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=2.04 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8154 0 1 0 202 2 0 0 20 0 19 0 291702506 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 12781 2269 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2461 0 1 0 143 0 0 0 20 0 19 0 291702507 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256241652120 140256066754432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.25 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2182 0 0 0 25 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 12781 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9624980
[startup+3.10055 s]
/proc/loadavg: 1.89 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30645160/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=3.67 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8165 0 1 0 365 2 0 0 20 0 19 0 291702506 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 13301 2269 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=3 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2461 0 1 0 300 0 0 0 20 0 19 0 291702507 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256241652232 140256066696954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2184 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 13301 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9624980
[startup+6.30054 s]
/proc/loadavg: 1.90 1.98 1.99 3/213 4528
/proc/meminfo: memFree=30645160/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=6.89 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 8176 0 1 0 686 3 0 0 20 0 19 0 291702506 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 13654 2270 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=6.16 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2465 0 1 0 614 2 0 0 20 0 19 0 291702507 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256241652168 140256066679964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702509 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2185 0 0 0 29 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 13654 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9624980
[startup+12.7006 s]
################
# More data... #
################
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 152 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.68 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 183 0 0 0 66 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.7 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 365 0 0 0 69 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.44 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 163 0 0 0 641 3 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.27 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 95 0 0 0 11 16 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.43
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 4625
/proc/meminfo: memFree=30366928/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1726.47 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10536 0 1 0 172616 31 0 0 20 0 19 0 291702506 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 54494 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1713.95 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2637 0 1 0 171364 31 0 0 20 0 19 0 291702507 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066714751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 59 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 206 0 0 0 60 0 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 194 0 0 0 67 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.6 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 167 0 0 0 59 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 152 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 183 0 0 0 67 2 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 365 0 0 0 70 1 0 0 20 0 19 0 291702509 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.57 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 167 0 0 0 654 3 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 99 0 0 0 11 17 0 0 20 0 19 0 291702513 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 54494 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.47
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 4625
/proc/meminfo: memFree=30348376/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1786.6 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10560 0 1 0 178627 33 0 0 20 0 19 0 291702506 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 56542 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1773.67 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2640 0 1 0 177336 31 0 0 20 0 19 0 291702507 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066758468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 207 0 0 0 61 0 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 64 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 197 0 0 0 71 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 169 0 0 0 60 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 153 0 0 0 70 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 185 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 368 0 0 0 73 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.8 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 172 0 0 0 677 3 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.6
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 4625
/proc/meminfo: memFree=30348504/32873648 swapFree=7112/7112
[pid=4509] ppid=4507 vsize=9624980 CPUtime=1800.1 cores=1,3,5,7
/proc/4509/stat : 4509 (java) S 4507 4509 919 0 -1 4202496 10560 0 1 0 179977 33 0 0 20 0 19 0 291702506 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140737127444896 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4509/statm: 2406245 56542 2271 9 0 2396937 0
[pid=4509/tid=4511] ppid=4507 vsize=9624980 CPUtime=1787.17 cores=1,3,5,7
/proc/4509/task/4511/stat : 4511 (java) R 4507 4509 919 0 -1 4202560 2640 0 1 0 178685 32 0 0 20 0 19 0 291702507 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256241652000 140256066679898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4512] ppid=4507 vsize=9624980 CPUtime=0.64 cores=1,3,5,7
/proc/4509/task/4512/stat : 4512 (java) S 4507 4509 919 0 -1 4202560 276 0 0 0 62 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256203143592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4513] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4513/stat : 4513 (java) S 4507 4509 919 0 -1 4202560 207 0 0 0 61 0 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256202091048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4514] ppid=4507 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/4509/task/4514/stat : 4514 (java) S 4507 4509 919 0 -1 4202560 406 0 0 0 64 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256201037992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4515] ppid=4507 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/4509/task/4515/stat : 4515 (java) S 4507 4509 919 0 -1 4202560 197 0 0 0 71 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256199985448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4516] ppid=4507 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/4509/task/4516/stat : 4516 (java) S 4507 4509 919 0 -1 4202560 169 0 0 0 60 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256198933416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4517] ppid=4507 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/4509/task/4517/stat : 4517 (java) S 4507 4509 919 0 -1 4202560 153 0 0 0 70 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256197880872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4518] ppid=4507 vsize=9624980 CPUtime=0.71 cores=1,3,5,7
/proc/4509/task/4518/stat : 4518 (java) S 4507 4509 919 0 -1 4202560 185 0 0 0 69 2 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256196827816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4519] ppid=4507 vsize=9624980 CPUtime=0.74 cores=1,3,5,7
/proc/4509/task/4519/stat : 4519 (java) S 4507 4509 919 0 -1 4202560 368 0 0 0 73 1 0 0 20 0 19 0 291702509 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256195775272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4509/tid=4520] ppid=4507 vsize=9624980 CPUtime=6.8 cores=1,3,5,7
/proc/4509/task/4520/stat : 4520 (java) S 4507 4509 919 0 -1 4202560 172 0 0 0 677 3 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256065083752 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4521] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4521/stat : 4521 (java) S 4507 4509 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256064030072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4522] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4522/stat : 4522 (java) S 4507 4509 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291702510 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256062976904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4523] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4523/stat : 4523 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256061925648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4524] ppid=4507 vsize=9624980 CPUtime=0.28 cores=1,3,5,7
/proc/4509/task/4524/stat : 4524 (java) S 4507 4509 919 0 -1 4202560 2259 0 0 0 28 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256060873528 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4509/tid=4525] ppid=4507 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/4509/task/4525/stat : 4525 (java) S 4507 4509 919 0 -1 4202560 2243 0 0 0 30 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256059820984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4526] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4526/stat : 4526 (java) S 4507 4509 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256058768120 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4509/tid=4527] ppid=4507 vsize=9624980 CPUtime=0.29 cores=1,3,5,7
/proc/4509/task/4527/stat : 4527 (java) S 4507 4509 919 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 291702513 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256057715784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4509/tid=4528] ppid=4507 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/4509/task/4528/stat : 4528 (java) S 4507 4509 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291702534 9855979520 56542 33554432000 1073741824 1073778376 140737127453760 140256056661032 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.85
CPU time (s): 1800.63
CPU user time (s): 1799.84
CPU system time (s): 0.794879
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.794879
maximum resident set size= 226320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10601
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42166
involuntary context switches= 38088
runsolver used 6.34104 second user time and 13.6629 second system time
The end