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-3454175-1307188948/watcher-3454175-1307188948 -o /tmp/evaluation-result-3454175-1307188948/solver-3454175-1307188948 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454175-1307188948.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: 3.20 3.51 2.97 3/502 16617
/proc/meminfo: memFree=26674868/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 5586 0 1 0 0 0 0 0 25 0 2 0 830494469 10694979584 5288 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2611079 5301 917 9 0 2602235 0
[pid=16617/tid=16618] ppid=16615 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) R 16615 16617 13533 0 -1 4202560 6549 0 1 0 0 0 0 0 25 0 2 0 830494470 10694979584 7365 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0769869 s]
/proc/loadavg: 3.20 3.51 2.97 3/502 16617
/proc/meminfo: memFree=26674868/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 11970 0 1 0 6 1 0 0 25 0 18 0 830494469 10724442112 11667 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2618272 11668 1755 9 0 2609006 0
[pid=16617/tid=16618] ppid=16615 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) R 16615 16617 13533 0 -1 4202560 10796 0 1 0 5 1 0 0 25 0 18 0 830494470 10724442112 11668 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 47684583017299 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.105984 s]
/proc/loadavg: 3.20 3.51 2.97 3/502 16617
/proc/meminfo: memFree=26674868/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10540436 CPUtime=0.11 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 13175 0 1 0 10 1 0 0 25 0 18 0 830494469 10793406464 12872 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2635109 12874 2104 9 0 2625843 0
[pid=16617/tid=16618] ppid=16615 vsize=10540436 CPUtime=0.09 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) R 16615 16617 13533 0 -1 4202560 11242 0 1 0 8 1 0 0 25 0 18 0 830494470 10793406464 12876 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 47684578521859 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540436
[startup+0.300943 s]
/proc/loadavg: 3.20 3.51 2.97 3/502 16617
/proc/meminfo: memFree=26674868/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10541948 CPUtime=0.49 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 16411 0 1 0 47 2 0 0 25 0 18 0 830494469 10794954752 15765 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2635487 15765 2202 9 0 2626221 0
[pid=16617/tid=16618] ppid=16615 vsize=10541948 CPUtime=0.28 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) R 16615 16617 13533 0 -1 4202560 13369 0 1 0 27 1 0 0 25 0 18 0 830494470 10794954752 15765 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505545462 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541948
[startup+0.70087 s]
/proc/loadavg: 3.20 3.51 2.97 3/502 16617
/proc/meminfo: memFree=26674868/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10548972 CPUtime=1.78 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 30361 0 1 0 174 4 0 0 25 0 22 0 830494469 10802147328 28929 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2637243 28929 2238 9 0 2627977 0
[pid=16617/tid=16618] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20412 0 1 0 41 2 0 0 25 0 22 0 830494470 10802147328 28929 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 10548972
[startup+1.50071 s]
/proc/loadavg: 3.20 3.51 2.97 4/524 16639
/proc/meminfo: memFree=26509608/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10548972 CPUtime=3.45 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 67298 0 1 0 337 8 0 0 25 0 22 0 830494469 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2637243 65865 2239 9 0 2627977 0
[pid=16617/tid=16618] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20412 0 1 0 41 2 0 0 15 0 22 0 830494470 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16628] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16628/stat : 16628 (java) S 16615 16617 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830494473 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 0 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16629] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16629/stat : 16629 (java) S 16615 16617 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830494473 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16630] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16630/stat : 16630 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494473 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16631] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16631/stat : 16631 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092055985 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16632] ppid=16615 vsize=10548972 CPUtime=0.48 cores=1,3,5,7
/proc/16617/task/16632/stat : 16632 (java) S 16615 16617 13533 0 -1 4202560 1717 0 0 0 48 0 0 0 23 0 22 0 830494475 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16633] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16633/stat : 16633 (java) S 16615 16617 13533 0 -1 4202560 2662 0 0 0 43 0 0 0 25 0 22 0 830494475 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16634] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16634/stat : 16634 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16635] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16635/stat : 16635 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830494475 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16636] ppid=16615 vsize=10548972 CPUtime=1.04 cores=1,3,5,7
/proc/16617/task/16636/stat : 16636 (java) R 16615 16617 13533 0 -1 4202560 314 0 0 0 104 0 0 0 25 0 22 0 830494514 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505811239 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=10548972 CPUtime=1.04 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4202560 41024 0 0 0 99 5 0 0 25 0 22 0 830494514 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912506036976 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16617/tid=16638] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16638/stat : 16638 (java) S 16615 16617 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830494518 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16639] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16639/stat : 16639 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494518 10802147328 65865 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 10548972
[startup+3.10141 s]
/proc/loadavg: 3.19 3.50 2.97 5/524 16639
/proc/meminfo: memFree=26308600/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10548972 CPUtime=6.68 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 140199 0 1 0 651 17 0 0 25 0 22 0 830494469 10802147328 138765 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2637243 138765 2241 9 0 2627977 0
[pid=16617/tid=16618] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20412 0 1 0 41 2 0 0 15 0 22 0 830494470 10802147328 138767 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138777 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138779 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138781 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138783 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138785 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138787 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138789 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494471 10802147328 138791 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16628] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16628/stat : 16628 (java) S 16615 16617 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830494473 10802147328 138793 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 0 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16629] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16629/stat : 16629 (java) S 16615 16617 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830494473 10802147328 138796 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16630] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16630/stat : 16630 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494473 10802147328 138798 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16631] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16631/stat : 16631 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10802147328 138800 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092055985 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16632] ppid=16615 vsize=10548972 CPUtime=0.51 cores=1,3,5,7
/proc/16617/task/16632/stat : 16632 (java) S 16615 16617 13533 0 -1 4202560 1731 0 0 0 51 0 0 0 15 0 22 0 830494475 10802147328 138801 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16633] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16633/stat : 16633 (java) S 16615 16617 13533 0 -1 4202560 2662 0 0 0 43 0 0 0 25 0 22 0 830494475 10802147328 138803 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16634] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16634/stat : 16634 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10802147328 138805 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16635] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16635/stat : 16635 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830494475 10802147328 138807 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16636] ppid=16615 vsize=10548972 CPUtime=2.64 cores=1,3,5,7
/proc/16617/task/16636/stat : 16636 (java) R 16615 16617 13533 0 -1 4202560 441 0 0 0 264 0 0 0 25 0 22 0 830494514 10802147328 138809 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505817804 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=10548972 CPUtime=2.63 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4202560 113830 0 0 0 250 13 0 0 25 0 22 0 830494514 10802147328 138811 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505910138 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16617/tid=16638] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16638/stat : 16638 (java) S 16615 16617 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830494518 10802147328 138813 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16639] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16639/stat : 16639 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494518 10802147328 138815 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 10548972
[startup+6.3008 s]
/proc/loadavg: 3.19 3.50 2.97 5/524 16639
/proc/meminfo: memFree=26051292/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10548972 CPUtime=13.14 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 168234 0 1 0 1294 20 0 0 25 0 22 0 830494469 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2637243 166509 2265 9 0 2627977 0
[pid=16617/tid=16618] ppid=16615 vsize=10548972 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20412 0 1 0 41 2 0 0 15 0 22 0 830494470 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 479 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 624 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10548972 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 529 0 0 0 0 0 0 0 18 0 22 0 830494471 10802147328 166509 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=22310276/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10559776 CPUtime=1631.48 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 518712 0 1 0 163087 61 0 0 25 0 22 0 830494469 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2639944 511023 2267 9 0 2630678 0
[pid=16617/tid=16618] ppid=16615 vsize=10559776 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20442 0 1 0 41 2 0 0 15 0 22 0 830494470 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10559776 CPUtime=0.15 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 325 0 0 0 15 0 0 0 15 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10559776 CPUtime=0.16 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 30 0 0 0 16 0 0 0 15 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10559776 CPUtime=0.18 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 213 0 0 0 18 0 0 0 15 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10559776 CPUtime=0.21 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 271 0 0 0 21 0 0 0 16 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10559776 CPUtime=0.22 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 592 0 0 0 22 0 0 0 15 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10559776 CPUtime=0.16 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 512 0 0 0 16 0 0 0 16 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10559776 CPUtime=0.14 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 1004 0 0 0 14 0 0 0 16 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10559776 CPUtime=0.23 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 896 0 0 0 23 0 0 0 15 0 22 0 830494471 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16628] ppid=16615 vsize=10559776 CPUtime=14.73 cores=1,3,5,7
/proc/16617/task/16628/stat : 16628 (java) S 16615 16617 13533 0 -1 4202560 55158 0 0 0 1468 5 0 0 15 0 22 0 830494473 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 0 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16629] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16629/stat : 16629 (java) S 16615 16617 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16630] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16630/stat : 16630 (java) S 16615 16617 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16631] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16631/stat : 16631 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092055985 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16632] ppid=16615 vsize=10559776 CPUtime=1.1 cores=1,3,5,7
/proc/16617/task/16632/stat : 16632 (java) S 16615 16617 13533 0 -1 4202560 8809 0 0 0 109 1 0 0 15 0 22 0 830494475 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16633] ppid=16615 vsize=10559776 CPUtime=0.55 cores=1,3,5,7
/proc/16617/task/16633/stat : 16633 (java) S 16615 16617 13533 0 -1 4202560 3877 0 0 0 55 0 0 0 15 0 22 0 830494475 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16634] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16634/stat : 16634 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16635] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16635/stat : 16635 (java) S 16615 16617 13533 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830494475 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16636] ppid=16615 vsize=10559776 CPUtime=806.56 cores=1,3,5,7
/proc/16617/task/16636/stat : 16636 (java) R 16615 16617 13533 0 -1 4202560 525 0 0 0 80656 0 0 0 25 0 22 0 830494514 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505861803 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=10559776 CPUtime=806.56 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4202560 424852 0 0 0 80607 49 0 0 25 0 22 0 830494514 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505901342 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16617/tid=16638] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16638/stat : 16638 (java) S 16615 16617 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16639] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16639/stat : 16639 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 511023 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1631.48
Current children cumulated vsize (KiB) 10559776
[startup+882.301 s]
/proc/loadavg: 3.95 3.94 3.56 5/524 16935
/proc/meminfo: memFree=22277136/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10559776 CPUtime=1749.43 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 523197 0 1 0 174882 61 0 0 25 0 22 0 830494469 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2639944 515495 2267 9 0 2630678 0
[pid=16617/tid=16618] ppid=16615 vsize=10559776 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20445 0 1 0 41 2 0 0 15 0 22 0 830494470 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10559776 CPUtime=0.17 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 325 0 0 0 17 0 0 0 15 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10559776 CPUtime=0.19 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 31 0 0 0 19 0 0 0 16 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10559776 CPUtime=0.19 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 213 0 0 0 19 0 0 0 15 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10559776 CPUtime=0.22 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 271 0 0 0 22 0 0 0 15 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10559776 CPUtime=0.24 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 602 0 0 0 24 0 0 0 15 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10559776 CPUtime=0.17 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 512 0 0 0 17 0 0 0 16 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10559776 CPUtime=0.18 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 1004 0 0 0 18 0 0 0 16 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10559776 CPUtime=0.25 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 896 0 0 0 25 0 0 0 15 0 22 0 830494471 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16628] ppid=16615 vsize=10559776 CPUtime=16.8 cores=1,3,5,7
/proc/16617/task/16628/stat : 16628 (java) S 16615 16617 13533 0 -1 4202560 59621 0 0 0 1675 5 0 0 15 0 22 0 830494473 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 0 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16629] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16629/stat : 16629 (java) S 16615 16617 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16630] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16630/stat : 16630 (java) S 16615 16617 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16631] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16631/stat : 16631 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092055985 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16632] ppid=16615 vsize=10559776 CPUtime=1.1 cores=1,3,5,7
/proc/16617/task/16632/stat : 16632 (java) S 16615 16617 13533 0 -1 4202560 8809 0 0 0 109 1 0 0 15 0 22 0 830494475 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16633] ppid=16615 vsize=10559776 CPUtime=0.55 cores=1,3,5,7
/proc/16617/task/16633/stat : 16633 (java) S 16615 16617 13533 0 -1 4202560 3877 0 0 0 55 0 0 0 15 0 22 0 830494475 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16634] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16634/stat : 16634 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16635] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16635/stat : 16635 (java) S 16615 16617 13533 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830494475 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16636] ppid=16615 vsize=10559776 CPUtime=864.42 cores=1,3,5,7
/proc/16617/task/16636/stat : 16636 (java) R 16615 16617 13533 0 -1 4202560 531 0 0 0 86442 0 0 0 25 0 22 0 830494514 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505820757 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=10559776 CPUtime=864.42 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4202560 424852 0 0 0 86393 49 0 0 25 0 22 0 830494514 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505901605 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16617/tid=16638] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16638/stat : 16638 (java) S 16615 16617 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16639] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16639/stat : 16639 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 515495 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1749.43
Current children cumulated vsize (KiB) 10559776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.001 s]
/proc/loadavg: 3.90 3.93 3.57 5/524 16936
/proc/meminfo: memFree=22271912/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=10559776 CPUtime=1800.12 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16615 16617 13533 0 -1 4202496 524523 0 1 0 179951 61 0 0 25 0 22 0 830494469 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 2639944 516814 2267 9 0 2630678 0
[pid=16617/tid=16618] ppid=16615 vsize=10559776 CPUtime=0.43 cores=1,3,5,7
/proc/16617/task/16618/stat : 16618 (java) S 16615 16617 13533 0 -1 4202560 20447 0 1 0 41 2 0 0 15 0 22 0 830494470 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16620] ppid=16615 vsize=10559776 CPUtime=0.17 cores=1,3,5,7
/proc/16617/task/16620/stat : 16620 (java) S 16615 16617 13533 0 -1 4202560 325 0 0 0 17 0 0 0 16 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16621] ppid=16615 vsize=10559776 CPUtime=0.2 cores=1,3,5,7
/proc/16617/task/16621/stat : 16621 (java) S 16615 16617 13533 0 -1 4202560 31 0 0 0 20 0 0 0 16 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16622] ppid=16615 vsize=10559776 CPUtime=0.2 cores=1,3,5,7
/proc/16617/task/16622/stat : 16622 (java) S 16615 16617 13533 0 -1 4202560 213 0 0 0 20 0 0 0 16 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16623] ppid=16615 vsize=10559776 CPUtime=0.23 cores=1,3,5,7
/proc/16617/task/16623/stat : 16623 (java) S 16615 16617 13533 0 -1 4202560 271 0 0 0 23 0 0 0 16 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16624] ppid=16615 vsize=10559776 CPUtime=0.24 cores=1,3,5,7
/proc/16617/task/16624/stat : 16624 (java) S 16615 16617 13533 0 -1 4202560 602 0 0 0 24 0 0 0 15 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 5 0 0 0
[pid=16617/tid=16625] ppid=16615 vsize=10559776 CPUtime=0.17 cores=1,3,5,7
/proc/16617/task/16625/stat : 16625 (java) S 16615 16617 13533 0 -1 4202560 512 0 0 0 17 0 0 0 15 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16626] ppid=16615 vsize=10559776 CPUtime=0.18 cores=1,3,5,7
/proc/16617/task/16626/stat : 16626 (java) S 16615 16617 13533 0 -1 4202560 1004 0 0 0 18 0 0 0 16 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16627] ppid=16615 vsize=10559776 CPUtime=0.25 cores=1,3,5,7
/proc/16617/task/16627/stat : 16627 (java) S 16615 16617 13533 0 -1 4202560 896 0 0 0 25 0 0 0 15 0 22 0 830494471 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16628] ppid=16615 vsize=10559776 CPUtime=17.55 cores=1,3,5,7
/proc/16617/task/16628/stat : 16628 (java) S 16615 16617 13533 0 -1 4202560 60942 0 0 0 1750 5 0 0 15 0 22 0 830494473 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 0 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16629] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16629/stat : 16629 (java) S 16615 16617 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16630] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16630/stat : 16630 (java) S 16615 16617 13533 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830494473 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16631] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16631/stat : 16631 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092055985 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16632] ppid=16615 vsize=10559776 CPUtime=1.1 cores=1,3,5,7
/proc/16617/task/16632/stat : 16632 (java) S 16615 16617 13533 0 -1 4202560 8809 0 0 0 109 1 0 0 15 0 22 0 830494475 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16633] ppid=16615 vsize=10559776 CPUtime=0.55 cores=1,3,5,7
/proc/16617/task/16633/stat : 16633 (java) S 16615 16617 13533 0 -1 4202560 3877 0 0 0 55 0 0 0 15 0 22 0 830494475 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 1 0 0 0
[pid=16617/tid=16634] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16634/stat : 16634 (java) S 16615 16617 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830494475 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048281 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16635] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16635/stat : 16635 (java) S 16615 16617 13533 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830494475 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 3 0 0 0
[pid=16617/tid=16636] ppid=16615 vsize=10559776 CPUtime=889.37 cores=1,3,5,7
/proc/16617/task/16636/stat : 16636 (java) R 16615 16617 13533 0 -1 4202560 532 0 0 0 88937 0 0 0 25 0 22 0 830494514 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505861319 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=10559776 CPUtime=889.37 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4202560 424852 0 0 0 88888 49 0 0 25 0 22 0 830494514 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 46912505901836 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16617/tid=16638] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16638/stat : 16638 (java) S 16615 16617 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
[pid=16617/tid=16639] ppid=16615 vsize=10559776 CPUtime=0 cores=1,3,5,7
/proc/16617/task/16639/stat : 16639 (java) S 16615 16617 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830494518 10813210624 516814 33554432000 1073741824 1073778376 140735661390912 18446744073709551615 208092048896 0 4 0 16800975 18446604463636014080 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10559776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+908.126 s]
/proc/loadavg: 3.90 3.93 3.57 5/524 16936
/proc/meminfo: memFree=22271912/32950928 swapFree=39617324/67111528
[pid=16617] ppid=16615 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/16617/stat : 16617 (java) Z 16615 16617 13533 0 -1 4203548 524552 0 1 0 179958 68 0 0 17 0 2 0 830494469 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16617/statm: 0 0 0 0 0 0 0
[pid=16617/tid=16637] ppid=16615 vsize=0 CPUtime=889.45 cores=1,3,5,7
/proc/16617/task/16637/stat : 16637 (java) R 16615 16617 13533 0 -1 4203588 424852 0 0 0 88889 56 0 0 25 0 2 0 830494514 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 908.139
CPU time (s): 1800.29
CPU user time (s): 1799.58
CPU system time (s): 0.702893
CPU usage (%): 198.239
Max. virtual memory (cumulated for all children) (KiB): 10560764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524552
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= 24436
involuntary context switches= 27732
runsolver used 4.66629 second user time and 10.2554 second system time
The end