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-3454301-1307193191/watcher-3454301-1307193191 -o /tmp/evaluation-result-3454301-1307193191/solver-3454301-1307193191 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454301-1307193191.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: 2.98 3.05 3.20 4/485 17821
/proc/meminfo: memFree=29317152/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 1244 0 0 0 0 0 0 0 21 0 2 0 830918963 31268864 963 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 7634 963 736 9 0 385 0
[pid=17821/tid=17822] ppid=17819 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 3281 0 1 0 0 0 0 0 22 0 2 0 830918964 10694979584 4097 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.110286 s]
/proc/loadavg: 2.98 3.05 3.20 4/485 17821
/proc/meminfo: memFree=29317152/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10539496 CPUtime=0.1 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 13148 0 1 0 9 1 0 0 21 0 18 0 830918963 10792443904 12838 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2634874 12838 2107 9 0 2625608 0
[pid=17821/tid=17822] ppid=17819 vsize=10539496 CPUtime=0.09 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 11207 0 1 0 8 1 0 0 25 0 18 0 830918964 10792443904 12838 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101524939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539496
[startup+0.200271 s]
/proc/loadavg: 2.98 3.05 3.20 4/485 17821
/proc/meminfo: memFree=29317152/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10540144 CPUtime=0.26 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 15465 0 1 0 25 1 0 0 21 0 18 0 830918963 10793107456 15142 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2635036 15142 2174 9 0 2625770 0
[pid=17821/tid=17822] ppid=17819 vsize=10540144 CPUtime=0.17 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 13121 0 1 0 16 1 0 0 25 0 18 0 830918964 10793107456 15143 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540144
[startup+0.300254 s]
/proc/loadavg: 2.98 3.05 3.20 4/485 17821
/proc/meminfo: memFree=29317152/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10542688 CPUtime=0.49 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 17650 0 1 0 47 2 0 0 21 0 18 0 830918963 10795712512 17034 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2635710 17050 2201 9 0 2626444 0
[pid=17821/tid=17822] ppid=17819 vsize=10542840 CPUtime=0.27 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 14347 0 1 0 26 1 0 0 25 0 18 0 830918964 10795868160 17061 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542688
[startup+0.700185 s]
/proc/loadavg: 2.98 3.05 3.20 4/485 17821
/proc/meminfo: memFree=29317152/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10544668 CPUtime=1.18 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 58143 0 1 0 110 8 0 0 21 0 18 0 830918963 10797740032 55890 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2636167 55895 2214 9 0 2626901 0
[pid=17821/tid=17822] ppid=17819 vsize=10544668 CPUtime=0.68 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 51763 0 1 0 61 7 0 0 25 0 18 0 830918964 10797740032 55898 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505629241 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10544668
[startup+1.50104 s]
/proc/loadavg: 2.98 3.05 3.20 4/503 17839
/proc/meminfo: memFree=28906760/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10544668 CPUtime=1.99 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 154900 0 1 0 177 22 0 0 21 0 18 0 830918963 10797740032 152647 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2636167 152652 2214 9 0 2626901 0
[pid=17821/tid=17822] ppid=17819 vsize=10544668 CPUtime=1.47 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 148520 0 1 0 127 20 0 0 25 0 18 0 830918964 10797740032 152655 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505655267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 830918966 10797740032 152658 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 830918966 10797740032 152661 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152664 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152666 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152669 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152673 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152676 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 152678 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830918967 10797740032 152681 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830918967 10797740032 152684 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830918967 10797740032 152687 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918970 10797740032 152690 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10544668 CPUtime=0.24 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 2337 0 0 0 24 0 0 0 25 0 18 0 830918970 10797740032 152694 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10544668 CPUtime=0.24 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2899 0 0 0 24 0 0 0 25 0 18 0 830918970 10797740032 152697 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918970 10797740032 152700 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830918970 10797740032 152703 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10544668
[startup+3.10076 s]
/proc/loadavg: 2.99 3.05 3.20 4/503 17839
/proc/meminfo: memFree=28433204/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10544668 CPUtime=3.59 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 249625 0 1 0 325 34 0 0 21 0 18 0 830918963 10797740032 247372 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2636167 247373 2216 9 0 2626901 0
[pid=17821/tid=17822] ppid=17819 vsize=10544668 CPUtime=3.08 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) R 17819 17821 13462 0 -1 4202560 243236 0 1 0 275 33 0 0 25 0 18 0 830918964 10797740032 247373 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505584422 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 830918966 10797740032 247374 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 830918966 10797740032 247375 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247375 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247376 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247376 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247377 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247377 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918966 10797740032 247378 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830918967 10797740032 247379 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830918967 10797740032 247379 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830918967 10797740032 247380 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918970 10797740032 247380 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10544668 CPUtime=0.24 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 2337 0 0 0 24 0 0 0 25 0 18 0 830918970 10797740032 247380 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10544668 CPUtime=0.25 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2901 0 0 0 25 0 0 0 15 0 18 0 830918970 10797740032 247381 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830918970 10797740032 247382 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10544668 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830918970 10797740032 247382 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 10544668
[startup+6.30119 s]
/proc/loadavg: 2.99 3.05 3.20 4/507 17843
/proc/meminfo: memFree=28156020/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10559352 CPUtime=9.52 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 295451 0 1 0 913 39 0 0 21 0 22 0 830918963 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2639838 291451 2231 9 0 2630572 0
[pid=17821/tid=17822] ppid=17819 vsize=10559352 CPUtime=4.06 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) S 17819 17821 13462 0 -1 4202560 276850 0 1 0 370 36 0 0 15 0 22 0 830918964 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918966 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830918967 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830918967 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830918967 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10559352 CPUtime=0.65 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 6692 0 0 0 64 1 0 0 15 0 22 0 830918970 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10559352 CPUtime=0.39 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2925 0 0 0 39 0 0 0 15 0 22 0 830918970 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830918970 10812776448 291451 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=22354620/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10559352 CPUtime=1643.83 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 925209 0 1 0 164252 131 0 0 21 0 22 0 830918963 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2639838 920558 2249 9 0 2630572 0
[pid=17821/tid=17822] ppid=17819 vsize=10559352 CPUtime=4.06 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) S 17819 17821 13462 0 -1 4202560 276851 0 1 0 370 36 0 0 15 0 22 0 830918964 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10559352 CPUtime=0.42 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 28697 0 0 0 38 4 0 0 15 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10559352 CPUtime=0.54 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 14249 0 0 0 51 3 0 0 15 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10559352 CPUtime=0.4 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 28838 0 0 0 36 4 0 0 16 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10559352 CPUtime=0.31 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 15763 0 0 0 29 2 0 0 15 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10559352 CPUtime=0.44 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 7218 0 0 0 43 1 0 0 16 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10559352 CPUtime=0.59 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 24296 0 0 0 56 3 0 0 15 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10559352 CPUtime=0.57 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 25705 0 0 0 55 2 0 0 16 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10559352 CPUtime=0.45 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 22164 0 0 0 42 3 0 0 16 0 22 0 830918966 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10559352 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 44 0 0 0 2 6 0 0 15 0 22 0 830918967 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10559352 CPUtime=0.95 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 6734 0 0 0 94 1 0 0 15 0 22 0 830918970 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10559352 CPUtime=0.7 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2959 0 0 0 70 0 0 0 15 0 22 0 830918970 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830918970 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17840] ppid=17819 vsize=10559352 CPUtime=817.1 cores=1,3,5,7
/proc/17821/task/17840/stat : 17840 (java) R 17819 17821 13462 0 -1 4202560 36196 0 0 0 81701 9 0 0 25 0 22 0 830919372 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505776117 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17821/tid=17841] ppid=17819 vsize=10559352 CPUtime=817.12 cores=1,3,5,7
/proc/17821/task/17841/stat : 17841 (java) R 17819 17821 13462 0 -1 4202560 434288 0 0 0 81659 53 0 0 25 0 22 0 830919372 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505788889 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17821/tid=17842] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17842/stat : 17842 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830919378 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17843] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17843/stat : 17843 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 22 0 830919380 10812776448 920558 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1643.83
Current children cumulated vsize (KiB) 10559352
[startup+882.318 s]
/proc/loadavg: 4.00 3.95 3.66 5/507 18133
/proc/meminfo: memFree=22309820/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10559352 CPUtime=1763.89 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 926871 0 1 0 176257 132 0 0 21 0 22 0 830918963 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2639838 922196 2249 9 0 2630572 0
[pid=17821/tid=17822] ppid=17819 vsize=10559352 CPUtime=4.06 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) S 17819 17821 13462 0 -1 4202560 276851 0 1 0 370 36 0 0 15 0 22 0 830918964 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10559352 CPUtime=0.43 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 28925 0 0 0 39 4 0 0 16 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10559352 CPUtime=0.55 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 14462 0 0 0 52 3 0 0 15 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10559352 CPUtime=0.41 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 29104 0 0 0 37 4 0 0 16 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10559352 CPUtime=0.32 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 16185 0 0 0 30 2 0 0 16 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10559352 CPUtime=0.45 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 7397 0 0 0 44 1 0 0 15 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10559352 CPUtime=0.59 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 24303 0 0 0 56 3 0 0 15 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10559352 CPUtime=0.58 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 25813 0 0 0 56 2 0 0 15 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10559352 CPUtime=0.46 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 22382 0 0 0 43 3 0 0 16 0 22 0 830918966 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10559352 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 48 0 0 0 2 6 0 0 15 0 22 0 830918967 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10559352 CPUtime=0.95 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 6734 0 0 0 94 1 0 0 15 0 22 0 830918970 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10559352 CPUtime=0.7 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2959 0 0 0 70 0 0 0 15 0 22 0 830918970 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830918970 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17840] ppid=17819 vsize=10559352 CPUtime=877.09 cores=1,3,5,7
/proc/17821/task/17840/stat : 17840 (java) R 17819 17821 13462 0 -1 4202560 36203 0 0 0 87700 9 0 0 25 0 22 0 830919372 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912506013799 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17821/tid=17841] ppid=17819 vsize=10559352 CPUtime=877.11 cores=1,3,5,7
/proc/17821/task/17841/stat : 17841 (java) R 17819 17821 13462 0 -1 4202560 434294 0 0 0 87658 53 0 0 25 0 22 0 830919372 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505789310 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17821/tid=17842] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17842/stat : 17842 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830919378 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17843] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17843/stat : 17843 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 22 0 830919380 10812776448 922196 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1763.89
Current children cumulated vsize (KiB) 10559352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.401 s]
/proc/loadavg: 4.00 3.95 3.67 5/507 18135
/proc/meminfo: memFree=22255616/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=10559352 CPUtime=1800.09 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17819 17821 13462 0 -1 4202496 927140 0 1 0 179877 132 0 0 21 0 22 0 830918963 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 2639838 922461 2249 9 0 2630572 0
[pid=17821/tid=17822] ppid=17819 vsize=10559352 CPUtime=4.06 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (java) S 17819 17821 13462 0 -1 4202560 276851 0 1 0 370 36 0 0 15 0 22 0 830918964 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17824] ppid=17819 vsize=10559352 CPUtime=0.44 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (java) S 17819 17821 13462 0 -1 4202560 28937 0 0 0 40 4 0 0 16 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17825] ppid=17819 vsize=10559352 CPUtime=0.56 cores=1,3,5,7
/proc/17821/task/17825/stat : 17825 (java) S 17819 17821 13462 0 -1 4202560 14526 0 0 0 53 3 0 0 15 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17826] ppid=17819 vsize=10559352 CPUtime=0.41 cores=1,3,5,7
/proc/17821/task/17826/stat : 17826 (java) S 17819 17821 13462 0 -1 4202560 29112 0 0 0 37 4 0 0 16 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17827] ppid=17819 vsize=10559352 CPUtime=0.33 cores=1,3,5,7
/proc/17821/task/17827/stat : 17827 (java) S 17819 17821 13462 0 -1 4202560 16185 0 0 0 31 2 0 0 16 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 5 0 0 0
[pid=17821/tid=17828] ppid=17819 vsize=10559352 CPUtime=0.45 cores=1,3,5,7
/proc/17821/task/17828/stat : 17828 (java) S 17819 17821 13462 0 -1 4202560 7398 0 0 0 44 1 0 0 15 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17829] ppid=17819 vsize=10559352 CPUtime=0.59 cores=1,3,5,7
/proc/17821/task/17829/stat : 17829 (java) S 17819 17821 13462 0 -1 4202560 24303 0 0 0 56 3 0 0 15 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17830] ppid=17819 vsize=10559352 CPUtime=0.58 cores=1,3,5,7
/proc/17821/task/17830/stat : 17830 (java) S 17819 17821 13462 0 -1 4202560 25841 0 0 0 56 2 0 0 15 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17831] ppid=17819 vsize=10559352 CPUtime=0.47 cores=1,3,5,7
/proc/17821/task/17831/stat : 17831 (java) S 17819 17821 13462 0 -1 4202560 22534 0 0 0 44 3 0 0 16 0 22 0 830918966 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17832] ppid=17819 vsize=10559352 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17832/stat : 17832 (java) S 17819 17821 13462 0 -1 4202560 48 0 0 0 2 6 0 0 15 0 22 0 830918967 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 0 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17833] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17833/stat : 17833 (java) S 17819 17821 13462 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17834] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17834/stat : 17834 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830918967 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17835] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17835/stat : 17835 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101521841 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17836] ppid=17819 vsize=10559352 CPUtime=0.95 cores=1,3,5,7
/proc/17821/task/17836/stat : 17836 (java) S 17819 17821 13462 0 -1 4202560 6734 0 0 0 94 1 0 0 15 0 22 0 830918970 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17837] ppid=17819 vsize=10559352 CPUtime=0.7 cores=1,3,5,7
/proc/17821/task/17837/stat : 17837 (java) S 17819 17821 13462 0 -1 4202560 2959 0 0 0 70 0 0 0 15 0 22 0 830918970 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17838] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17838/stat : 17838 (java) S 17819 17821 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830918970 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514137 0 4 0 16800975 18446604460870810496 0 0 -1 1 0 0 0
[pid=17821/tid=17839] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17839/stat : 17839 (java) S 17819 17821 13462 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830918970 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 3 0 0 0
[pid=17821/tid=17840] ppid=17819 vsize=10559352 CPUtime=895.18 cores=1,3,5,7
/proc/17821/task/17840/stat : 17840 (java) R 17819 17821 13462 0 -1 4202560 36204 0 0 0 89509 9 0 0 25 0 22 0 830919372 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505776117 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17821/tid=17841] ppid=17819 vsize=10559352 CPUtime=895.19 cores=1,3,5,7
/proc/17821/task/17841/stat : 17841 (java) R 17819 17821 13462 0 -1 4202560 434297 0 0 0 89466 53 0 0 25 0 22 0 830919372 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 46912505687847 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17821/tid=17842] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17842/stat : 17842 (java) S 17819 17821 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830919378 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
[pid=17821/tid=17843] ppid=17819 vsize=10559352 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17843/stat : 17843 (java) S 17819 17821 13462 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 22 0 830919380 10812776448 922461 33554432000 1073741824 1073778376 140737117371872 18446744073709551615 248101514752 0 4 0 16800975 18446604460870810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10559352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.524 s]
/proc/loadavg: 4.00 3.95 3.67 5/507 18135
/proc/meminfo: memFree=22255616/32950928 swapFree=45617076/67111528
[pid=17821] ppid=17819 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/17821/stat : 17821 (java) Z 17819 17821 13462 0 -1 4203548 927168 0 1 0 179880 142 0 0 17 0 2 0 830918963 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17821/statm: 0 0 0 0 0 0 0
[pid=17821/tid=17841] ppid=17819 vsize=0 CPUtime=895.29 cores=1,3,5,7
/proc/17821/task/17841/stat : 17841 (java) R 17819 17821 13462 0 -1 4203588 434297 0 0 0 89467 62 0 0 25 0 2 0 830919372 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.567
CPU time (s): 1800.27
CPU user time (s): 1798.81
CPU system time (s): 1.46278
CPU usage (%): 199.904
Max. virtual memory (cumulated for all children) (KiB): 10559352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.46278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927168
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= 24688
involuntary context switches= 17115
runsolver used 4.12937 second user time and 10.2654 second system time
The end