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-3736217-1338714923/watcher-3736217-1338714923 -o /tmp/evaluation-result-3736217-1338714923/solver-3736217-1338714923 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736217-1338714923.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.90 2/174 4589
/proc/meminfo: memFree=27795176/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4589/stat : 4589 (java) D 4587 4589 4424 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 337618182 9515008 182 33554432000 1073741824 1073778376 140735374309152 140735374300184 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/4589/statm: 2323 182 140 9 0 71 0
[startup+0.0923101 s]
/proc/loadavg: 1.84 1.97 1.90 2/174 4589
/proc/meminfo: memFree=27795176/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 4507 0 1 0 6 1 0 0 20 0 18 0 337618182 3028844544 6225 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 739464 6231 2007 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.100241 s]
/proc/loadavg: 1.84 1.97 1.90 2/174 4589
/proc/meminfo: memFree=27795176/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 4907 0 1 0 8 1 0 0 20 0 18 0 337618182 3028844544 6622 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 739464 6622 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300166 s]
/proc/loadavg: 1.84 1.97 1.90 2/174 4589
/proc/meminfo: memFree=27795176/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 6203 0 1 0 45 1 0 0 20 0 18 0 337618182 3028844544 9542 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 739464 9542 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700119 s]
/proc/loadavg: 1.84 1.97 1.90 2/174 4589
/proc/meminfo: memFree=27795176/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 9044 0 1 0 109 2 0 0 20 0 19 0 337618182 3097006080 11534 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 11534 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3024420
[startup+1.5006 s]
/proc/loadavg: 1.84 1.97 1.90 5/213 4665
/proc/meminfo: memFree=27695940/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=1.94 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 9047 0 1 0 192 2 0 0 20 0 19 0 337618182 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 12047 2267 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3053 0 1 0 145 1 0 0 20 0 19 0 337618183 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542105031128 140541950428540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618185 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3046 0 0 0 25 0 0 0 20 0 19 0 337618188 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1750 0 0 0 19 0 0 0 20 0 19 0 337618188 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 12047 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 3024420
[startup+3.10052 s]
/proc/loadavg: 1.84 1.97 1.90 3/213 4667
/proc/meminfo: memFree=27681964/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=3.54 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 9050 0 1 0 352 2 0 0 20 0 19 0 337618182 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 13071 2267 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3056 0 1 0 305 1 0 0 20 0 19 0 337618183 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542105029040 140541950466957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618185 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3046 0 0 0 25 0 0 0 20 0 19 0 337618188 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1750 0 0 0 19 0 0 0 20 0 19 0 337618188 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 13071 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 1.85 1.97 1.90 3/213 4667
/proc/meminfo: memFree=27669328/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=6.75 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 9057 0 1 0 673 2 0 0 20 0 19 0 337618182 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 15396 2268 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3062 0 1 0 625 1 0 0 20 0 19 0 337618183 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542105031016 140541950467323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618184 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337618185 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3046 0 0 0 26 0 0 0 20 0 19 0 337618188 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1750 0 0 0 19 0 0 0 20 0 19 0 337618188 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 15396 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 3024420
[startup+12.7006 s]
################
# More data... #
################
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 449 0 0 0 43 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 649 0 0 0 35 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 414 0 0 0 31 11 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 54 0 0 0 129 0 0 0 20 0 19 0 337618185 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3055 0 0 0 31 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1758 0 0 0 21 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 100 0 0 0 22 27 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.08
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 4682
/proc/meminfo: memFree=25342952/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=1786.09 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 13516 0 1 0 178460 149 0 0 20 0 19 0 337618182 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 420428 2296 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=1779.81 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3253 0 1 0 177945 36 0 0 20 0 19 0 337618183 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542105031096 140541950621475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 433 0 0 0 33 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 422 0 0 0 41 17 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 668 0 0 0 29 10 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 608 0 0 0 38 15 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 461 0 0 0 39 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 449 0 0 0 43 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 649 0 0 0 35 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 414 0 0 0 31 11 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 54 0 0 0 129 0 0 0 20 0 19 0 337618185 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3055 0 0 0 31 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1758 0 0 0 21 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 104 0 0 0 23 27 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.09
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 4682
/proc/meminfo: memFree=25343328/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=1800.1 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 13516 0 1 0 179861 149 0 0 20 0 19 0 337618182 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 420428 2296 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=1793.82 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3253 0 1 0 179346 36 0 0 20 0 19 0 337618183 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542105031096 140541950621141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 433 0 0 0 33 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 422 0 0 0 41 17 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 668 0 0 0 29 10 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 608 0 0 0 38 15 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 461 0 0 0 39 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 449 0 0 0 43 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 649 0 0 0 35 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 414 0 0 0 31 11 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 54 0 0 0 129 0 0 0 20 0 19 0 337618185 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3055 0 0 0 31 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1758 0 0 0 21 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 4682
/proc/meminfo: memFree=25343328/32873648 swapFree=7112/7112
[pid=4589] ppid=4587 vsize=3024420 CPUtime=1800.1 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4589 4424 0 -1 4202496 13516 0 1 0 179861 149 0 0 20 0 19 0 337618182 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140735660172704 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4589/statm: 756105 420428 2296 9 0 746526 0
[pid=4589/tid=4591] ppid=4587 vsize=3024420 CPUtime=1793.82 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4589 4424 0 -1 4202560 3253 0 1 0 179346 36 0 0 20 0 19 0 337618183 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542105031096 140541950621141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4592] ppid=4587 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4589 4424 0 -1 4202560 433 0 0 0 33 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542088456616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4593] ppid=4587 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4589 4424 0 -1 4202560 422 0 0 0 41 17 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542087404072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4594] ppid=4587 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4589 4424 0 -1 4202560 668 0 0 0 29 10 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542086351016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4595] ppid=4587 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4589 4424 0 -1 4202560 608 0 0 0 38 15 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542085298472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4596] ppid=4587 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4589 4424 0 -1 4202560 461 0 0 0 39 13 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542084246440 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4597] ppid=4587 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4589 4424 0 -1 4202560 449 0 0 0 43 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542083193896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4598] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4589 4424 0 -1 4202560 649 0 0 0 35 16 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542082140840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4599] ppid=4587 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4589 4424 0 -1 4202560 414 0 0 0 31 11 0 0 20 0 19 0 337618184 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542081088296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4600] ppid=4587 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4589 4424 0 -1 4202560 54 0 0 0 129 0 0 0 20 0 19 0 337618185 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140542068676968 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4601] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4589 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541949896056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4602] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4589 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 337618186 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541948842888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4603] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541947791632 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4604] ppid=4587 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/4589/task/4604/stat : 4604 (java) S 4587 4589 4424 0 -1 4202560 3055 0 0 0 31 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541946739512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4589/tid=4605] ppid=4587 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/4589/task/4605/stat : 4605 (java) S 4587 4589 4424 0 -1 4202560 1758 0 0 0 21 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541945686968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4589/tid=4606] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4606/stat : 4606 (java) S 4587 4589 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541944634104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4589/tid=4607] ppid=4587 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/4589/task/4607/stat : 4607 (java) S 4587 4589 4424 0 -1 4202560 104 0 0 0 23 28 0 0 20 0 19 0 337618188 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541943581768 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4589/tid=4631] ppid=4587 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4631/stat : 4631 (java) S 4587 4589 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337618217 3097006080 420428 33554432000 1073741824 1073778376 140735660181568 140541941449896 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3024420
Child status: 143
Real time (s): 1796.35
CPU time (s): 1800.43
CPU user time (s): 1798.54
CPU system time (s): 1.89071
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.89071
maximum resident set size= 1681848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13554
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39295
involuntary context switches= 6795
runsolver used 6.29104 second user time and 14.2638 second system time
The end