runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459619-1307152523/watcher-3459619-1307152523 -o /tmp/evaluation-result-3459619-1307152523/solver-3459619-1307152523 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459619-1307152523.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.92 1.99 1.99 2/568 26629
/proc/meminfo: memFree=21068524/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 9578 0 1 0 0 1 0 0 25 0 2 0 826852730 13850947584 9280 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3381579 9292 917 9 0 3372735 0
[pid=26629/tid=26630] ppid=26627 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 8527 0 1 0 0 1 0 0 25 0 2 0 826852731 13850947584 9342 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.115859 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26629
/proc/meminfo: memFree=21068524/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13621656 CPUtime=0.12 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 15691 0 1 0 10 2 0 0 25 0 18 0 826852730 13948575744 15360 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3405414 15360 2125 9 0 3396148 0
[pid=26629/tid=26630] ppid=26627 vsize=13621656 CPUtime=0.1 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 13774 0 1 0 8 2 0 0 22 0 18 0 826852731 13948575744 15360 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13621656
[startup+0.200878 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26629
/proc/meminfo: memFree=21068524/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13622548 CPUtime=0.29 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 16816 0 1 0 27 2 0 0 25 0 18 0 826852730 13949489152 16441 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3405637 16441 2185 9 0 3396371 0
[pid=26629/tid=26630] ppid=26627 vsize=13622548 CPUtime=0.18 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 14513 0 1 0 16 2 0 0 22 0 18 0 826852731 13949489152 16441 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13622548
[startup+0.30086 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26629
/proc/meminfo: memFree=21068524/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13626384 CPUtime=0.54 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 19168 0 1 0 52 2 0 0 25 0 19 0 826852730 13953417216 18331 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406596 18331 2216 9 0 3397330 0
[pid=26629/tid=26630] ppid=26627 vsize=13626384 CPUtime=0.28 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 15136 0 1 0 26 2 0 0 23 0 19 0 826852731 13953417216 18331 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13626384
[startup+0.700786 s]
/proc/loadavg: 1.92 1.99 1.99 2/568 26629
/proc/meminfo: memFree=21068524/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13626384 CPUtime=1.1 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 19934 0 1 0 107 3 0 0 25 0 19 0 826852730 13953417216 19055 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406596 19055 2224 9 0 3397330 0
[pid=26629/tid=26630] ppid=26627 vsize=13626384 CPUtime=0.68 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 15791 0 1 0 66 2 0 0 25 0 19 0 826852731 13953417216 19055 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505642242 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13626384
[startup+1.50065 s]
/proc/loadavg: 1.93 1.99 1.99 3/587 26648
/proc/meminfo: memFree=20996896/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13626384 CPUtime=1.9 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 21277 0 1 0 187 3 0 0 25 0 19 0 826852730 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406596 20397 2224 9 0 3397330 0
[pid=26629/tid=26630] ppid=26627 vsize=13626384 CPUtime=1.48 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 17133 0 1 0 146 2 0 0 25 0 19 0 826852731 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505680519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826852733 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826852734 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826852734 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826852734 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13626384 CPUtime=0.22 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1393 0 0 0 22 0 0 0 19 0 19 0 826852736 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13626384 CPUtime=0.19 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1590 0 0 0 19 0 0 0 16 0 19 0 826852736 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852736 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13953417216 20397 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13626384
[startup+3.10144 s]
/proc/loadavg: 1.93 1.99 1.99 3/587 26648
/proc/meminfo: memFree=20975196/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13626384 CPUtime=3.57 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 26007 0 1 0 354 3 0 0 25 0 19 0 826852730 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406596 25116 2249 9 0 3397330 0
[pid=26629/tid=26630] ppid=26627 vsize=13626384 CPUtime=3.06 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) S 26627 26629 24519 0 -1 4202560 17173 0 1 0 304 2 0 0 25 0 19 0 826852731 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) R 26627 26629 24519 0 -1 4202560 1209 0 0 0 0 0 0 0 15 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) R 26627 26629 24519 0 -1 4202560 990 0 0 0 0 0 0 0 16 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) R 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) R 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253640812855 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) R 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 623 0 0 0 0 0 0 0 18 0 19 0 826852733 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13626384 CPUtime=0.01 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 1232 0 0 0 1 0 0 0 15 0 19 0 826852734 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13626384 CPUtime=0.25 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1402 0 0 0 25 0 0 0 15 0 19 0 826852736 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13626384 CPUtime=0.21 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1598 0 0 0 21 0 0 0 16 0 19 0 826852736 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852736 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13626384 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13953417216 25116 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13626384
[startup+6.30078 s]
/proc/loadavg: 1.93 1.99 1.99 3/587 26649
/proc/meminfo: memFree=20948708/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13625844 CPUtime=6.79 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 29187 0 1 0 675 4 0 0 25 0 19 0 826852730 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406461 28033 2249 9 0 3397195 0
[pid=26629/tid=26630] ppid=26627 vsize=13625844 CPUtime=6.21 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 17175 0 1 0 619 2 0 0 25 0 19 0 826852731 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505642130 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) S 26627 26629 24519 0 -1 4202560 1209 0 0 0 0 0 0 0 16 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) S 26627 26629 24519 0 -1 4202560 990 0 0 0 0 0 0 0 16 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 654 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 1239 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 623 0 0 0 0 0 0 0 15 0 19 0 826852733 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13625844 CPUtime=0.04 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 3142 0 0 0 4 0 0 0 15 0 19 0 826852734 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13625844 CPUtime=0.25 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1403 0 0 0 25 0 0 0 15 0 19 0 826852736 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13625844 CPUtime=0.22 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1599 0 0 0 22 0 0 0 15 0 19 0 826852736 13952864256 28033 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=26629/tid=26637] ppid=26627 vsize=13625844 CPUtime=0.65 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 1437 0 0 0 65 0 0 0 16 0 19 0 826852733 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13625844 CPUtime=0.61 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 2460 0 0 0 61 0 0 0 15 0 19 0 826852733 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13625844 CPUtime=0.67 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 3445 0 0 0 67 0 0 0 15 0 19 0 826852733 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13625844 CPUtime=13.1 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 16239 0 0 0 1305 5 0 0 15 0 19 0 826852734 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13625844 CPUtime=0.28 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1733 0 0 0 28 0 0 0 15 0 19 0 826852736 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13625844 CPUtime=0.24 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1606 0 0 0 24 0 0 0 15 0 19 0 826852736 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 826852736 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13952864256 60225 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.44
Current children cumulated vsize (KiB) 13625844
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/587 27172
/proc/meminfo: memFree=20744368/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13625844 CPUtime=1726.49 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 62296 0 1 0 172633 16 0 0 25 0 19 0 826852730 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406461 60251 2251 9 0 3397195 0
[pid=26629/tid=26630] ppid=26627 vsize=13625844 CPUtime=1706.81 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 24065 0 1 0 170677 4 0 0 25 0 19 0 826852731 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505680519 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13625844 CPUtime=0.75 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) S 26627 26629 24519 0 -1 4202560 3190 0 0 0 75 0 0 0 16 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13625844 CPUtime=0.71 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 2037 0 0 0 71 0 0 0 16 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13625844 CPUtime=0.67 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) S 26627 26629 24519 0 -1 4202560 1993 0 0 0 67 0 0 0 15 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13625844 CPUtime=0.73 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) S 26627 26629 24519 0 -1 4202560 1385 0 0 0 73 0 0 0 15 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13625844 CPUtime=0.6 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 24519 0 -1 4202560 1448 0 0 0 60 0 0 0 15 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13625844 CPUtime=0.66 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 1437 0 0 0 66 0 0 0 15 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13625844 CPUtime=0.63 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 2464 0 0 0 63 0 0 0 16 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13625844 CPUtime=0.69 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 3446 0 0 0 69 0 0 0 15 0 19 0 826852733 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13625844 CPUtime=13.6 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 16243 0 0 0 1354 6 0 0 15 0 19 0 826852734 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13625844 CPUtime=0.28 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1733 0 0 0 28 0 0 0 15 0 19 0 826852736 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13625844 CPUtime=0.24 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1606 0 0 0 24 0 0 0 15 0 19 0 826852736 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826852736 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13952864256 60251 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.49
Current children cumulated vsize (KiB) 13625844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 27174
/proc/meminfo: memFree=20743100/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13625844 CPUtime=1786.58 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 62342 0 1 0 178641 17 0 0 25 0 19 0 826852730 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406461 60281 2251 9 0 3397195 0
[pid=26629/tid=26630] ppid=26627 vsize=13625844 CPUtime=1766.23 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 24077 0 1 0 176619 4 0 0 25 0 19 0 826852731 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505641984 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13625844 CPUtime=0.78 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) S 26627 26629 24519 0 -1 4202560 3196 0 0 0 78 0 0 0 15 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13625844 CPUtime=0.72 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 2038 0 0 0 72 0 0 0 16 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13625844 CPUtime=0.68 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) S 26627 26629 24519 0 -1 4202560 2003 0 0 0 68 0 0 0 15 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13625844 CPUtime=0.73 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) S 26627 26629 24519 0 -1 4202560 1390 0 0 0 73 0 0 0 15 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13625844 CPUtime=0.61 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 24519 0 -1 4202560 1450 0 0 0 61 0 0 0 16 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13625844 CPUtime=0.69 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 1441 0 0 0 69 0 0 0 16 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13625844 CPUtime=0.65 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 2466 0 0 0 65 0 0 0 15 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13625844 CPUtime=0.7 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 3446 0 0 0 70 0 0 0 15 0 19 0 826852733 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13625844 CPUtime=14.13 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 16245 0 0 0 1407 6 0 0 15 0 19 0 826852734 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13625844 CPUtime=0.28 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1733 0 0 0 28 0 0 0 15 0 19 0 826852736 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13625844 CPUtime=0.24 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1606 0 0 0 24 0 0 0 15 0 19 0 826852736 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826852736 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13952864256 60281 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (KiB) 13625844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 1.92 2.01 1.99 2/567 27177
/proc/meminfo: memFree=20931832/32951124 swapFree=53733252/67111528
[pid=26629] ppid=26627 vsize=13625844 CPUtime=1800.02 cores=1,3,5,7
/proc/26629/stat : 26629 (java) S 26627 26629 24519 0 -1 4202496 62358 0 1 0 179985 17 0 0 25 0 19 0 826852730 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/26629/statm: 3406461 60290 2251 9 0 3397195 0
[pid=26629/tid=26630] ppid=26627 vsize=13625844 CPUtime=1779.51 cores=1,3,5,7
/proc/26629/task/26630/stat : 26630 (java) R 26627 26629 24519 0 -1 4202560 24080 0 1 0 177947 4 0 0 25 0 19 0 826852731 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 46912505612083 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26629/tid=26632] ppid=26627 vsize=13625844 CPUtime=0.78 cores=1,3,5,7
/proc/26629/task/26632/stat : 26632 (java) S 26627 26629 24519 0 -1 4202560 3196 0 0 0 78 0 0 0 15 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26633] ppid=26627 vsize=13625844 CPUtime=0.73 cores=1,3,5,7
/proc/26629/task/26633/stat : 26633 (java) S 26627 26629 24519 0 -1 4202560 2038 0 0 0 73 0 0 0 16 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 5 0 0 0
[pid=26629/tid=26634] ppid=26627 vsize=13625844 CPUtime=0.69 cores=1,3,5,7
/proc/26629/task/26634/stat : 26634 (java) S 26627 26629 24519 0 -1 4202560 2003 0 0 0 69 0 0 0 15 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26635] ppid=26627 vsize=13625844 CPUtime=0.74 cores=1,3,5,7
/proc/26629/task/26635/stat : 26635 (java) S 26627 26629 24519 0 -1 4202560 1390 0 0 0 74 0 0 0 15 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26636] ppid=26627 vsize=13625844 CPUtime=0.61 cores=1,3,5,7
/proc/26629/task/26636/stat : 26636 (java) S 26627 26629 24519 0 -1 4202560 1450 0 0 0 61 0 0 0 15 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26637] ppid=26627 vsize=13625844 CPUtime=0.69 cores=1,3,5,7
/proc/26629/task/26637/stat : 26637 (java) S 26627 26629 24519 0 -1 4202560 1441 0 0 0 69 0 0 0 16 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26638] ppid=26627 vsize=13625844 CPUtime=0.66 cores=1,3,5,7
/proc/26629/task/26638/stat : 26638 (java) S 26627 26629 24519 0 -1 4202560 2469 0 0 0 66 0 0 0 16 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26639] ppid=26627 vsize=13625844 CPUtime=0.7 cores=1,3,5,7
/proc/26629/task/26639/stat : 26639 (java) S 26627 26629 24519 0 -1 4202560 3452 0 0 0 70 0 0 0 15 0 19 0 826852733 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26640] ppid=26627 vsize=13625844 CPUtime=14.26 cores=1,3,5,7
/proc/26629/task/26640/stat : 26640 (java) S 26627 26629 24519 0 -1 4202560 16247 0 0 0 1420 6 0 0 15 0 19 0 826852734 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 0 0 16800975 18446604468954802176 0 0 -1 3 0 0 0
[pid=26629/tid=26641] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26641/stat : 26641 (java) S 26627 26629 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26642] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26642/stat : 26642 (java) S 26627 26629 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826852734 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26643] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26643/stat : 26643 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 826852736 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652683185 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26644] ppid=26627 vsize=13625844 CPUtime=0.28 cores=1,3,5,7
/proc/26629/task/26644/stat : 26644 (java) S 26627 26629 24519 0 -1 4202560 1733 0 0 0 28 0 0 0 15 0 19 0 826852736 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26645] ppid=26627 vsize=13625844 CPUtime=0.24 cores=1,3,5,7
/proc/26629/task/26645/stat : 26645 (java) S 26627 26629 24519 0 -1 4202560 1606 0 0 0 24 0 0 0 15 0 19 0 826852736 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26646] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26646/stat : 26646 (java) S 26627 26629 24519 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 826852736 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652675481 0 4 0 16800975 18446604468954802176 0 0 -1 1 0 0 0
[pid=26629/tid=26647] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26647/stat : 26647 (java) S 26627 26629 24519 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826852736 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
[pid=26629/tid=26648] ppid=26627 vsize=13625844 CPUtime=0 cores=1,3,5,7
/proc/26629/task/26648/stat : 26648 (java) S 26627 26629 24519 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 826852754 13952864256 60290 33554432000 1073741824 1073778376 140734936097088 18446744073709551615 253652676096 0 4 0 16800975 18446604468954802176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13625844
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.77
CPU time (s): 1800.1
CPU user time (s): 1799.91
CPU system time (s): 0.185971
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 13626384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62405
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47601
involuntary context switches= 15572
runsolver used 10.0835 second user time and 22.7445 second system time
The end