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-3458997-1307150633/watcher-3458997-1307150633 -o /tmp/evaluation-result-3458997-1307150633/solver-3458997-1307150633 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458997-1307150633.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 2.01 1.99 2/498 11719
/proc/meminfo: memFree=27121336/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 5100 0 1 0 0 0 0 0 25 0 2 0 826662942 13850947584 4802 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3381579 4815 917 9 0 3372735 0
[pid=11719/tid=11720] ppid=11717 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 6925 0 1 0 0 0 0 0 25 0 2 0 826662942 13850947584 7740 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.10565 s]
/proc/loadavg: 1.92 2.01 1.99 2/498 11719
/proc/meminfo: memFree=27121336/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13622312 CPUtime=0.11 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 15572 0 1 0 9 2 0 0 25 0 18 0 826662942 13949247488 15269 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3405578 15270 2092 9 0 3396312 0
[pid=11719/tid=11720] ppid=11717 vsize=13622312 CPUtime=0.08 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 13666 0 1 0 7 1 0 0 25 0 18 0 826662942 13949247488 15270 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208079893537 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622312
[startup+0.200629 s]
/proc/loadavg: 1.92 2.01 1.99 2/498 11719
/proc/meminfo: memFree=27121336/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13623388 CPUtime=0.29 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 16797 0 1 0 27 2 0 0 25 0 18 0 826662942 13950349312 16392 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3405847 16393 2187 9 0 3396581 0
[pid=11719/tid=11720] ppid=11717 vsize=13623388 CPUtime=0.18 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 14401 0 1 0 17 1 0 0 25 0 18 0 826662942 13950349312 16393 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505550326 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13623388
[startup+0.300611 s]
/proc/loadavg: 1.92 2.01 1.99 2/498 11719
/proc/meminfo: memFree=27121336/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13625956 CPUtime=0.5 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 19693 0 1 0 48 2 0 0 25 0 18 0 826662942 13952978944 18991 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3406489 18993 2202 9 0 3397223 0
[pid=11719/tid=11720] ppid=11717 vsize=13625956 CPUtime=0.28 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 16433 0 1 0 26 2 0 0 25 0 18 0 826662942 13952978944 18994 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505610964 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13625956
[startup+0.700591 s]
/proc/loadavg: 1.92 2.01 1.99 2/498 11719
/proc/meminfo: memFree=27121336/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=1.14 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 55188 0 1 0 108 6 0 0 25 0 19 0 826662942 13956726784 53273 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 53273 2217 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=0.68 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50021 0 1 0 63 5 0 0 25 0 19 0 826662942 13956726784 53274 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505727738 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13629616
[startup+1.50148 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 11742
/proc/meminfo: memFree=26666388/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=2.05 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 56064 0 1 0 199 6 0 0 25 0 19 0 826662942 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 53660 2222 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=1.48 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50385 0 1 0 143 5 0 0 25 0 19 0 826662942 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505708410 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826662945 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.25 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 1931 0 0 0 25 0 0 0 17 0 19 0 826662948 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.3 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2589 0 0 0 30 0 0 0 22 0 19 0 826662948 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 53660 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 13629616
[startup+3.10113 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 11742
/proc/meminfo: memFree=26663164/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=3.68 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 56205 0 1 0 362 6 0 0 25 0 19 0 826662942 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 53679 2222 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=3.08 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50402 0 1 0 303 5 0 0 25 0 19 0 826662942 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505724437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826662945 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.27 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 2055 0 0 0 27 0 0 0 15 0 19 0 826662948 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.3 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2589 0 0 0 30 0 0 0 18 0 19 0 826662948 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 53679 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13629616
[startup+6.30146 s]
/proc/loadavg: 1.93 2.01 1.99 3/518 11742
/proc/meminfo: memFree=26664012/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=6.91 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 56764 0 1 0 685 6 0 0 25 0 19 0 826662942 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 54096 2224 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=6.28 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50438 0 1 0 623 5 0 0 25 0 19 0 826662942 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505724350 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662944 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826662945 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826662946 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.3 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 2577 0 0 0 30 0 0 0 15 0 19 0 826662948 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.3 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2589 0 0 0 30 0 0 0 18 0 19 0 826662948 13956726784 54096 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 844 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1337 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0.25 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 2673 0 0 0 25 0 0 0 15 0 19 0 826662945 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.44 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 3504 0 0 0 44 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.39 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2613 0 0 0 39 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.23
Current children cumulated vsize (KiB) 13629616
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 11795
/proc/meminfo: memFree=26464596/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=1723.23 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 64240 0 1 0 172316 7 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 60638 2253 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=1722 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50939 0 1 0 172195 5 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505791997 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 836 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 844 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1337 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0.28 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 2675 0 0 0 28 0 0 0 15 0 19 0 826662945 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.44 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 3504 0 0 0 44 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.39 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2613 0 0 0 39 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.23
Current children cumulated vsize (KiB) 13629616
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 11797
/proc/meminfo: memFree=26464072/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=1783.23 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 64242 0 1 0 178316 7 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 60638 2253 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=1782 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50939 0 1 0 178195 5 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505767261 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 836 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 844 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1337 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0.28 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 2675 0 0 0 28 0 0 0 15 0 19 0 826662945 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.44 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 3504 0 0 0 44 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.39 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2613 0 0 0 39 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.23
Current children cumulated vsize (KiB) 13629616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.1 s]
/proc/loadavg: 1.94 2.01 2.00 2/497 11824
/proc/meminfo: memFree=27180604/32950928 swapFree=39617324/67111528
[pid=11719] ppid=11717 vsize=13629616 CPUtime=1800.05 cores=1,3,5,7
/proc/11719/stat : 11719 (java) S 11717 11719 9472 0 -1 4202496 64244 0 1 0 179998 7 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11719/statm: 3407404 60638 2253 9 0 3398138 0
[pid=11719/tid=11720] ppid=11717 vsize=13629616 CPUtime=1798.82 cores=1,3,5,7
/proc/11719/task/11720/stat : 11720 (java) R 11717 11719 9472 0 -1 4202560 50939 0 1 0 179877 5 0 0 25 0 19 0 826662942 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 46912505708248 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11719/tid=11723] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11723/stat : 11723 (java) S 11717 11719 9472 0 -1 4202560 836 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11724] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11724/stat : 11724 (java) S 11717 11719 9472 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11725] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11725/stat : 11725 (java) S 11717 11719 9472 0 -1 4202560 216 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11726] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11726/stat : 11726 (java) S 11717 11719 9472 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11728] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11728/stat : 11728 (java) S 11717 11719 9472 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11729] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11729/stat : 11729 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 5 0 0 0
[pid=11719/tid=11730] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11730/stat : 11730 (java) S 11717 11719 9472 0 -1 4202560 844 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11731] ppid=11717 vsize=13629616 CPUtime=0.01 cores=1,3,5,7
/proc/11719/task/11731/stat : 11731 (java) S 11717 11719 9472 0 -1 4202560 1337 0 0 0 1 0 0 0 16 0 19 0 826662944 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11732] ppid=11717 vsize=13629616 CPUtime=0.28 cores=1,3,5,7
/proc/11719/task/11732/stat : 11732 (java) S 11717 11719 9472 0 -1 4202560 2675 0 0 0 28 0 0 0 15 0 19 0 826662945 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 0 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11733] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11733/stat : 11733 (java) S 11717 11719 9472 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11734] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11734/stat : 11734 (java) S 11717 11719 9472 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826662946 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11736] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11736/stat : 11736 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092055985 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11737] ppid=11717 vsize=13629616 CPUtime=0.44 cores=1,3,5,7
/proc/11719/task/11737/stat : 11737 (java) S 11717 11719 9472 0 -1 4202560 3504 0 0 0 44 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11738] ppid=11717 vsize=13629616 CPUtime=0.39 cores=1,3,5,7
/proc/11719/task/11738/stat : 11738 (java) S 11717 11719 9472 0 -1 4202560 2613 0 0 0 39 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
[pid=11719/tid=11739] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11739/stat : 11739 (java) S 11717 11719 9472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048281 0 4 0 16800975 18446604460714695424 0 0 -1 1 0 0 0
[pid=11719/tid=11740] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11740/stat : 11740 (java) S 11717 11719 9472 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826662948 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 3 0 0 0
[pid=11719/tid=11741] ppid=11717 vsize=13629616 CPUtime=0 cores=1,3,5,7
/proc/11719/task/11741/stat : 11741 (java) S 11717 11719 9472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826663006 13956726784 60638 33554432000 1073741824 1073778376 140735280799728 18446744073709551615 208092048896 0 4 0 16800975 18446604460714695424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13629616
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): 1799.16
CPU time (s): 1800.14
CPU user time (s): 1800.04
CPU system time (s): 0.091986
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (KiB): 13629616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64347
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= 36984
involuntary context switches= 35808
runsolver used 8.49971 second user time and 20.2479 second system time
The end