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-3456881-1307221286/watcher-3456881-1307221286 -o /tmp/evaluation-result-3456881-1307221286/solver-3456881-1307221286 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456881-1307221286.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.00 1.95 2/291 17819
/proc/meminfo: memFree=24488828/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/17819/stat : 17819 (java) R 17817 17819 17036 0 -1 4202496 948 0 0 0 0 0 0 0 25 0 1 0 833729385 23580672 692 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17819/statm: 5757 692 509 9 0 124 0
[pid=17819/tid=17820] ppid=17817 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 17036 0 -1 4202560 202 0 0 0 0 0 0 0 18 0 2 0 833729386 36646912 1018 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222921797190 0 0 0 16784584 1072727803696250879 0 0 -1 1 0 0 0
[startup+0.102392 s]
/proc/loadavg: 1.97 2.00 1.95 2/291 17819
/proc/meminfo: memFree=24488828/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10539636 CPUtime=0.1 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 12925 0 1 0 8 2 0 0 25 0 18 0 833729385 10792587264 12622 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2634909 12623 2092 9 0 2625643 0
[pid=17819/tid=17820] ppid=17817 vsize=10539636 CPUtime=0.08 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 11145 0 1 0 6 2 0 0 18 0 18 0 833729386 10792587264 12623 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 47474287754067 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539636
[startup+0.200339 s]
/proc/loadavg: 1.97 2.00 1.95 2/291 17819
/proc/meminfo: memFree=24488828/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10540536 CPUtime=0.27 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 14073 0 1 0 25 2 0 0 25 0 18 0 833729385 10793508864 13618 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2635134 13618 2182 9 0 2625868 0
[pid=17819/tid=17820] ppid=17817 vsize=10540536 CPUtime=0.18 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 11796 0 1 0 16 2 0 0 18 0 18 0 833729386 10793508864 13618 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 47474287754067 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10540536
[startup+0.300319 s]
/proc/loadavg: 1.97 2.00 1.95 2/291 17819
/proc/meminfo: memFree=24488828/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10547984 CPUtime=0.49 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 17940 0 1 0 46 3 0 0 25 0 18 0 833729385 10801135616 16714 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2636996 16714 2198 9 0 2627730 0
[pid=17819/tid=17820] ppid=17817 vsize=10547984 CPUtime=0.28 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 13283 0 1 0 26 2 0 0 18 0 18 0 833729386 10801135616 16714 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912505564219 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10547984
[startup+0.700282 s]
/proc/loadavg: 1.97 2.00 1.95 2/291 17819
/proc/meminfo: memFree=24488828/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10546584 CPUtime=0.99 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 50473 0 1 0 91 8 0 0 25 0 18 0 833729385 10799702016 49059 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2636646 49064 2208 9 0 2627380 0
[pid=17819/tid=17820] ppid=17817 vsize=10546584 CPUtime=0.68 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 45726 0 1 0 60 8 0 0 18 0 18 0 833729386 10799702016 49066 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912505570989 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10546584
[startup+1.50114 s]
/proc/loadavg: 1.97 2.00 1.95 5/309 17837
/proc/meminfo: memFree=24159164/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10547148 CPUtime=2.01 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 125715 0 1 0 184 17 0 0 25 0 18 0 833729385 10800279552 124027 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2636787 124031 2213 9 0 2627521 0
[pid=17819/tid=17820] ppid=17817 vsize=10547148 CPUtime=1.48 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 120202 0 1 0 132 16 0 0 19 0 18 0 833729386 10800279552 124033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912505607541 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 833729387 10800279552 124036 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124038 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124041 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124043 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124046 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124048 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 833729387 10800279552 124051 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 833729387 10800279552 124053 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833729388 10800279552 124056 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 833729389 10800279552 124058 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 833729389 10800279552 124060 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833729391 10800279552 124063 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10547148 CPUtime=0.22 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2266 0 0 0 22 0 0 0 16 0 18 0 833729391 10800279552 124065 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10547148 CPUtime=0.29 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2103 0 0 0 29 0 0 0 18 0 18 0 833729391 10800279552 124068 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833729391 10800279552 124070 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10547148 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833729391 10800279552 124073 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10547148
[startup+3.10083 s]
/proc/loadavg: 1.97 2.00 1.95 3/310 17838
/proc/meminfo: memFree=23865524/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10548176 CPUtime=4.16 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 160544 0 1 0 394 22 0 0 25 0 19 0 833729385 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2637044 158853 2238 9 0 2627778 0
[pid=17819/tid=17820] ppid=17817 vsize=10548176 CPUtime=3.08 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 154894 0 1 0 287 21 0 0 25 0 19 0 833729386 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933594054 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833729387 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 833729388 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833729389 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833729389 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.48 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) R 17817 17819 17036 0 -1 4202560 2306 0 0 0 48 0 0 0 15 0 19 0 833729391 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.58 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) R 17817 17819 17036 0 -1 4202560 2183 0 0 0 58 0 0 0 15 0 19 0 833729391 10801332224 158853 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 47474285952200 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 158854 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833729391 10801332224 158855 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833729569 10801332224 158857 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 10548176
[startup+6.30125 s]
/proc/loadavg: 1.97 2.00 1.95 3/310 17838
/proc/meminfo: memFree=23838708/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10548176 CPUtime=7.47 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 167379 0 1 0 724 23 0 0 25 0 19 0 833729385 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2637044 165668 2238 9 0 2627778 0
[pid=17819/tid=17820] ppid=17817 vsize=10548176 CPUtime=6.28 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 161714 0 1 0 606 22 0 0 25 0 19 0 833729386 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912505839979 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833729387 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833729388 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 833729389 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 833729389 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.52 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2313 0 0 0 52 0 0 0 15 0 19 0 833729391 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.65 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2191 0 0 0 65 0 0 0 16 0 19 0 833729391 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 165668 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.9 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2352 0 0 0 90 0 0 0 15 0 19 0 833729391 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.72 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2688 0 0 0 72 0 0 0 15 0 19 0 833729391 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 833729391 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833729569 10801332224 997977 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.06
Current children cumulated vsize (KiB) 10548176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/310 17935
/proc/meminfo: memFree=20325224/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10548176 CPUtime=1729.27 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 1010608 0 1 0 172807 120 0 0 25 0 19 0 833729385 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2637044 1003639 2252 9 0 2627778 0
[pid=17819/tid=17820] ppid=17817 vsize=10548176 CPUtime=1719.77 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 846033 0 1 0 171884 93 0 0 25 0 19 0 833729386 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912506161013 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10548176 CPUtime=1.02 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 21609 0 0 0 99 3 0 0 15 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10548176 CPUtime=0.91 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 16592 0 0 0 89 2 0 0 16 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10548176 CPUtime=0.93 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 15637 0 0 0 91 2 0 0 16 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10548176 CPUtime=0.88 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 20528 0 0 0 85 3 0 0 15 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10548176 CPUtime=0.9 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 20441 0 0 0 88 2 0 0 15 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10548176 CPUtime=1.02 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 19339 0 0 0 100 2 0 0 16 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10548176 CPUtime=1.04 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 20843 0 0 0 102 2 0 0 16 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10548176 CPUtime=0.99 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 23190 0 0 0 96 3 0 0 15 0 19 0 833729387 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10548176 CPUtime=0.03 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 106 0 0 0 2 1 0 0 15 0 19 0 833729388 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.9 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2352 0 0 0 90 0 0 0 15 0 19 0 833729391 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.72 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2688 0 0 0 72 0 0 0 15 0 19 0 833729391 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 833729391 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833729569 10801332224 1003639 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.27
Current children cumulated vsize (KiB) 10548176
[startup+1782.3 s]
/proc/loadavg: 2.53 2.13 2.03 3/310 17937
/proc/meminfo: memFree=20288604/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10548176 CPUtime=1789.59 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 1016146 0 1 0 178838 121 0 0 25 0 19 0 833729385 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2637044 1009015 2252 9 0 2627778 0
[pid=17819/tid=17820] ppid=17817 vsize=10548176 CPUtime=1779.62 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 846042 0 1 0 177869 93 0 0 25 0 19 0 833729386 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912506160959 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10548176 CPUtime=1.09 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 22166 0 0 0 106 3 0 0 16 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10548176 CPUtime=0.98 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 17284 0 0 0 96 2 0 0 16 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10548176 CPUtime=0.96 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 15719 0 0 0 94 2 0 0 15 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10548176 CPUtime=0.93 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 20652 0 0 0 90 3 0 0 15 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10548176 CPUtime=0.96 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 21548 0 0 0 94 2 0 0 15 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10548176 CPUtime=1.06 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 19740 0 0 0 104 2 0 0 15 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10548176 CPUtime=1.12 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 21856 0 0 0 110 2 0 0 16 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10548176 CPUtime=1.07 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 24739 0 0 0 104 3 0 0 15 0 19 0 833729387 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10548176 CPUtime=0.03 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 108 0 0 0 2 1 0 0 15 0 19 0 833729388 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.9 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2352 0 0 0 90 0 0 0 15 0 19 0 833729391 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.72 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2688 0 0 0 72 0 0 0 15 0 19 0 833729391 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833729391 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833729569 10801332224 1009015 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 10548176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.7 s]
/proc/loadavg: 2.44 2.12 2.03 3/310 17937
/proc/meminfo: memFree=20282892/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=10548176 CPUtime=1800.01 cores=1,3,5,7
/proc/17819/stat : 17819 (java) S 17817 17819 17036 0 -1 4202496 1016170 0 1 0 179880 121 0 0 25 0 19 0 833729385 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 2637044 1009033 2252 9 0 2627778 0
[pid=17819/tid=17820] ppid=17817 vsize=10548176 CPUtime=1790.02 cores=1,3,5,7
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 17036 0 -1 4202560 846044 0 1 0 178909 93 0 0 25 0 19 0 833729386 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 46912506210946 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10548176 CPUtime=1.1 cores=1,3,5,7
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 17036 0 -1 4202560 22167 0 0 0 107 3 0 0 16 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10548176 CPUtime=0.99 cores=1,3,5,7
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 17036 0 -1 4202560 17285 0 0 0 97 2 0 0 15 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10548176 CPUtime=0.97 cores=1,3,5,7
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 17036 0 -1 4202560 15730 0 0 0 95 2 0 0 16 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10548176 CPUtime=0.94 cores=1,3,5,7
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 17036 0 -1 4202560 20653 0 0 0 91 3 0 0 15 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10548176 CPUtime=0.96 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 17036 0 -1 4202560 21548 0 0 0 94 2 0 0 15 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10548176 CPUtime=1.06 cores=1,3,5,7
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 17036 0 -1 4202560 19740 0 0 0 104 2 0 0 16 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10548176 CPUtime=1.13 cores=1,3,5,7
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 17036 0 -1 4202560 21858 0 0 0 111 2 0 0 15 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10548176 CPUtime=1.07 cores=1,3,5,7
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 17036 0 -1 4202560 24741 0 0 0 104 3 0 0 16 0 19 0 833729387 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10548176 CPUtime=0.03 cores=1,3,5,7
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 17036 0 -1 4202560 110 0 0 0 2 1 0 0 15 0 19 0 833729388 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 0 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 17036 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 17036 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833729389 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933600689 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10548176 CPUtime=0.9 cores=1,3,5,7
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 17036 0 -1 4202560 2352 0 0 0 90 0 0 0 15 0 19 0 833729391 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10548176 CPUtime=0.72 cores=1,3,5,7
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 17036 0 -1 4202560 2688 0 0 0 72 0 0 0 15 0 19 0 833729391 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 5 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 17036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833729391 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933592985 0 4 0 16800975 18446604470342326336 0 0 -1 3 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 17036 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 833729391 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 1 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=10548176 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) S 17817 17819 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833729569 10801332224 1009033 33554432000 1073741824 1073778376 140735655590400 18446744073709551615 222933593600 0 4 0 16800975 18446604470342326336 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10548176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.82 s]
/proc/loadavg: 2.44 2.12 2.03 3/310 17937
/proc/meminfo: memFree=20282892/32951124 swapFree=55664332/67111528
[pid=17819] ppid=17817 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/17819/stat : 17819 (java) Z 17817 17819 17036 0 -1 4203548 1016203 0 1 0 179890 128 0 0 17 0 2 0 833729385 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 0 0 0 0 0 0 0
[pid=17819/tid=17838] ppid=17817 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/17819/task/17838/stat : 17838 (java) R 17817 17819 17036 0 -1 4203588 7 0 0 0 0 7 0 0 18 0 2 0 833729569 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.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.89
CPU time (s): 1800.26
CPU user time (s): 1798.9
CPU system time (s): 1.35879
CPU usage (%): 100.411
Max. virtual memory (cumulated for all children) (KiB): 10548176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.35879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1016203
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= 42500
involuntary context switches= 15619
runsolver used 4.68529 second user time and 11.1863 second system time
The end