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-3454450-1307191564/watcher-3454450-1307191564 -o /tmp/evaluation-result-3454450-1307191564/solver-3454450-1307191564 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454450-1307191564.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.59 3.79 3.72 2/455 19011
/proc/meminfo: memFree=26250244/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 1371 0 1 0 0 0 0 0 17 0 2 0 830754599 37810176 1073 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 9231 1073 833 9 0 387 0
[pid=19011/tid=19014] ppid=19008 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) R 19008 19011 14960 0 -1 4202560 3399 0 1 0 0 0 0 0 17 0 2 0 830754600 10694979584 4215 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.023943 s]
/proc/loadavg: 3.59 3.79 3.72 2/455 19011
/proc/meminfo: memFree=26250244/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 8396 0 1 0 0 1 0 0 17 0 2 0 830754599 10694979584 8097 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2611079 8116 917 9 0 2602235 0
[pid=19011/tid=19014] ppid=19008 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) R 19008 19011 14960 0 -1 4202560 7312 0 1 0 0 1 0 0 17 0 2 0 830754600 10694979584 8128 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100918 s]
/proc/loadavg: 3.59 3.79 3.72 2/455 19011
/proc/meminfo: memFree=26250244/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10539972 CPUtime=0.1 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 12971 0 1 0 8 2 0 0 17 0 18 0 830754599 10792931328 12667 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2634993 12668 2093 9 0 2625727 0
[pid=19011/tid=19014] ppid=19008 vsize=10539972 CPUtime=0.07 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) R 19008 19011 14960 0 -1 4202560 11051 0 1 0 6 1 0 0 18 0 18 0 830754600 10792931328 12668 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539972
[startup+0.300838 s]
/proc/loadavg: 3.59 3.79 3.72 2/455 19011
/proc/meminfo: memFree=26250244/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10549688 CPUtime=0.54 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 20781 0 1 0 51 3 0 0 17 0 18 0 830754599 10802880512 18864 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2637422 18864 2203 9 0 2628156 0
[pid=19011/tid=19014] ppid=19008 vsize=10549688 CPUtime=0.28 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) R 19008 19011 14960 0 -1 4202560 14288 0 1 0 26 2 0 0 18 0 18 0 830754600 10802880512 18868 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505217104 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10549688
[startup+0.700767 s]
/proc/loadavg: 3.59 3.79 3.72 2/455 19011
/proc/meminfo: memFree=26250244/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10554908 CPUtime=1.44 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 46316 0 1 0 138 6 0 0 17 0 20 0 830754599 10808225792 42875 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2638727 42875 2226 9 0 2629461 0
[pid=19011/tid=19014] ppid=19008 vsize=10554908 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34649 0 1 0 61 4 0 0 19 0 20 0 830754600 10808225792 42875 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10554908
[startup+1.50166 s]
/proc/loadavg: 3.46 3.76 3.71 7/501 19058
/proc/meminfo: memFree=25872616/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10556964 CPUtime=3.49 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 49426 0 1 0 343 6 0 0 17 0 22 0 830754599 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2639241 45984 2235 9 0 2629975 0
[pid=19011/tid=19014] ppid=19008 vsize=10556964 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34649 0 1 0 61 4 0 0 15 0 22 0 830754600 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830754602 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19035] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19035/stat : 19035 (java) S 19008 19011 14960 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830754603 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 0 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19036] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19036/stat : 19036 (java) S 19008 19011 14960 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 830754604 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19038] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19038/stat : 19038 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754604 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19043] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19043/stat : 19043 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754606 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347716017 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19044] ppid=19008 vsize=10556964 CPUtime=0.58 cores=1,3,5,7
/proc/19011/task/19044/stat : 19044 (java) S 19008 19011 14960 0 -1 4202560 5876 0 0 0 58 0 0 0 15 0 22 0 830754606 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19047] ppid=19008 vsize=10556964 CPUtime=0.58 cores=1,3,5,7
/proc/19011/task/19047/stat : 19047 (java) S 19008 19011 14960 0 -1 4202560 4185 0 0 0 58 0 0 0 15 0 22 0 830754606 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19048] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19048/stat : 19048 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830754606 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19050] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19050/stat : 19050 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754606 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19055] ppid=19008 vsize=10556964 CPUtime=0.83 cores=1,3,5,7
/proc/19011/task/19055/stat : 19055 (java) R 19008 19011 14960 0 -1 4202560 535 0 0 0 83 0 0 0 18 0 22 0 830754667 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505868749 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19056] ppid=19008 vsize=10556964 CPUtime=0.82 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 3013 0 0 0 82 0 0 0 25 0 22 0 830754667 10810331136 45984 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505881100 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10810331136 45985 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10556964 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10810331136 45986 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10556964
[startup+3.10842 s]
/proc/loadavg: 3.46 3.76 3.71 6/501 19058
/proc/meminfo: memFree=25839756/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10561056 CPUtime=7.06 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 80407 0 1 0 696 10 0 0 17 0 22 0 830754599 10814521344 76294 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2640264 76294 2262 9 0 2630998 0
[pid=19011/tid=19014] ppid=19008 vsize=10561244 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34649 0 1 0 61 4 0 0 15 0 22 0 830754600 10814713856 76294 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10561244 CPUtime=0.02 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1701 0 0 0 2 0 0 0 18 0 22 0 830754602 10814713856 76314 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830754602 10814713856 76336 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 136 0 0 0 0 0 0 0 18 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 423 0 0 0 0 0 0 0 18 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10561244 CPUtime=0.01 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 2039 0 0 0 1 0 0 0 18 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10561244 CPUtime=0.01 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 1817 0 0 0 1 0 0 0 18 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754602 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19035] ppid=19008 vsize=10561244 CPUtime=0.06 cores=1,3,5,7
/proc/19011/task/19035/stat : 19035 (java) S 19008 19011 14960 0 -1 4202560 6096 0 0 0 6 0 0 0 15 0 22 0 830754603 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 0 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19036] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19036/stat : 19036 (java) S 19008 19011 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19038] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19038/stat : 19038 (java) S 19008 19011 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19043] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19043/stat : 19043 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754606 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347716017 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19044] ppid=19008 vsize=10561244 CPUtime=0.74 cores=1,3,5,7
/proc/19011/task/19044/stat : 19044 (java) S 19008 19011 14960 0 -1 4202560 5935 0 0 0 74 0 0 0 15 0 22 0 830754606 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19047] ppid=19008 vsize=10561244 CPUtime=0.83 cores=1,3,5,7
/proc/19011/task/19047/stat : 19047 (java) R 19008 19011 14960 0 -1 4202560 6081 0 0 0 83 0 0 0 15 0 22 0 830754606 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232335586255 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19011/tid=19048] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19048/stat : 19048 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830754606 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19050] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19050/stat : 19050 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754606 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19055] ppid=19008 vsize=10561244 CPUtime=2.33 cores=1,3,5,7
/proc/19011/task/19055/stat : 19055 (java) R 19008 19011 14960 0 -1 4202560 914 0 0 0 233 0 0 0 18 0 22 0 830754667 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505868610 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19056] ppid=19008 vsize=10561244 CPUtime=2.32 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 19518 0 0 0 230 2 0 0 18 0 22 0 830754667 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505606623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10561244 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10814713856 76357 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 10561056
[startup+6.30081 s]
/proc/loadavg: 3.46 3.76 3.71 5/501 19058
/proc/meminfo: memFree=25077972/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10556708 CPUtime=13.64 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 275689 0 1 0 1330 34 0 0 17 0 22 0 830754599 10810068992 269595 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2639177 269595 2262 9 0 2629911 0
[pid=19011/tid=19014] ppid=19008 vsize=10556708 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34649 0 1 0 61 4 0 0 15 0 22 0 830754600 10810068992 269595 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10556708 CPUtime=0.02 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1725 0 0 0 2 0 0 0 18 0 22 0 830754602 10810068992 269597 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754602 10810068992 269604 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830754602 10810068992 269610 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 22 0 830754602 10810068992 269616 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 830754602 10810068992 269622 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10556708 CPUtime=0.01 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 2053 0 0 0 1 0 0 0 18 0 22 0 830754602 10810068992 269628 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10556708 CPUtime=0.01 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 1817 0 0 0 1 0 0 0 18 0 22 0 830754602 10810068992 269632 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 22 0 830754602 10810068992 269635 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=19011/tid=19056] ppid=19008 vsize=10556708 CPUtime=716.11 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 421236 0 0 0 71559 52 0 0 25 0 22 0 830754667 10810068992 496043 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505881779 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10810068992 496043 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10810068992 496043 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1483.13
Current children cumulated vsize (KiB) 10556708
[startup+822.301 s]
/proc/loadavg: 3.89 3.91 3.82 5/501 19080
/proc/meminfo: memFree=20510596/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10556708 CPUtime=1597.9 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 506701 0 1 0 159718 72 0 0 17 0 22 0 830754599 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2639177 496507 2264 9 0 2629911 0
[pid=19011/tid=19014] ppid=19008 vsize=10556708 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34654 0 1 0 61 4 0 0 15 0 22 0 830754600 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10556708 CPUtime=0.46 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1926 0 0 0 46 0 0 0 15 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10556708 CPUtime=0.44 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 54 0 0 0 44 0 0 0 15 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10556708 CPUtime=0.45 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 73 0 0 0 45 0 0 0 15 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10556708 CPUtime=0.44 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 349 0 0 0 44 0 0 0 16 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10556708 CPUtime=0.48 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 533 0 0 0 48 0 0 0 15 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10556708 CPUtime=0.45 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 2108 0 0 0 45 0 0 0 15 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10556708 CPUtime=0.47 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 1880 0 0 0 47 0 0 0 16 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10556708 CPUtime=0.45 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 287 0 0 0 45 0 0 0 16 0 22 0 830754602 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19035] ppid=19008 vsize=10556708 CPUtime=49.71 cores=1,3,5,7
/proc/19011/task/19035/stat : 19035 (java) S 19008 19011 14960 0 -1 4202560 23642 0 0 0 4963 8 0 0 16 0 22 0 830754603 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 0 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19036] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19036/stat : 19036 (java) S 19008 19011 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19038] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19038/stat : 19038 (java) S 19008 19011 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19043] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19043/stat : 19043 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754606 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347716017 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19044] ppid=19008 vsize=10556708 CPUtime=1.41 cores=1,3,5,7
/proc/19011/task/19044/stat : 19044 (java) S 19008 19011 14960 0 -1 4202560 10628 0 0 0 140 1 0 0 15 0 22 0 830754606 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19047] ppid=19008 vsize=10556708 CPUtime=1.14 cores=1,3,5,7
/proc/19011/task/19047/stat : 19047 (java) S 19008 19011 14960 0 -1 4202560 6819 0 0 0 114 0 0 0 16 0 22 0 830754606 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19048] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19048/stat : 19048 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830754606 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19050] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19050/stat : 19050 (java) S 19008 19011 14960 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830754606 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19055] ppid=19008 vsize=10556708 CPUtime=770.6 cores=1,3,5,7
/proc/19011/task/19055/stat : 19055 (java) R 19008 19011 14960 0 -1 4202560 1307 0 0 0 77060 0 0 0 24 0 22 0 830754667 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505868749 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19011/tid=19056] ppid=19008 vsize=10556708 CPUtime=770.61 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 421236 0 0 0 77009 52 0 0 24 0 22 0 830754667 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505606373 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10810068992 496507 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1597.9
Current children cumulated vsize (KiB) 10556708
[startup+882.301 s]
/proc/loadavg: 3.89 3.90 3.82 5/501 19082
/proc/meminfo: memFree=20508452/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10556708 CPUtime=1713.49 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 507261 0 1 0 171276 73 0 0 17 0 22 0 830754599 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2639177 497034 2264 9 0 2629911 0
[pid=19011/tid=19014] ppid=19008 vsize=10556708 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34654 0 1 0 61 4 0 0 15 0 22 0 830754600 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10556708 CPUtime=0.49 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1931 0 0 0 49 0 0 0 15 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10556708 CPUtime=0.5 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 60 0 0 0 50 0 0 0 15 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10556708 CPUtime=0.49 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 76 0 0 0 49 0 0 0 16 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10556708 CPUtime=0.47 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 354 0 0 0 47 0 0 0 16 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10556708 CPUtime=0.54 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 533 0 0 0 54 0 0 0 16 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10556708 CPUtime=0.48 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 2111 0 0 0 48 0 0 0 15 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10556708 CPUtime=0.52 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 1885 0 0 0 52 0 0 0 15 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10556708 CPUtime=0.49 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 291 0 0 0 49 0 0 0 15 0 22 0 830754602 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19035] ppid=19008 vsize=10556708 CPUtime=54.24 cores=1,3,5,7
/proc/19011/task/19035/stat : 19035 (java) S 19008 19011 14960 0 -1 4202560 24142 0 0 0 5416 8 0 0 15 0 22 0 830754603 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 0 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19036] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19036/stat : 19036 (java) S 19008 19011 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19038] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19038/stat : 19038 (java) S 19008 19011 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19043] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19043/stat : 19043 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754606 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347716017 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19044] ppid=19008 vsize=10556708 CPUtime=1.41 cores=1,3,5,7
/proc/19011/task/19044/stat : 19044 (java) S 19008 19011 14960 0 -1 4202560 10628 0 0 0 140 1 0 0 15 0 22 0 830754606 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19047] ppid=19008 vsize=10556708 CPUtime=1.14 cores=1,3,5,7
/proc/19011/task/19047/stat : 19047 (java) S 19008 19011 14960 0 -1 4202560 6819 0 0 0 114 0 0 0 16 0 22 0 830754606 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19048] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19048/stat : 19048 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830754606 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19050] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19050/stat : 19050 (java) S 19008 19011 14960 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830754606 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19055] ppid=19008 vsize=10556708 CPUtime=825.96 cores=1,3,5,7
/proc/19011/task/19055/stat : 19055 (java) R 19008 19011 14960 0 -1 4202560 1332 0 0 0 82596 0 0 0 25 0 22 0 830754667 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505868610 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19011/tid=19056] ppid=19008 vsize=10556708 CPUtime=825.97 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 421236 0 0 0 82545 52 0 0 25 0 22 0 830754667 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505881147 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10810068992 497034 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1713.49
Current children cumulated vsize (KiB) 10556708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+927.601 s]
/proc/loadavg: 3.83 3.89 3.82 5/501 19143
/proc/meminfo: memFree=24007440/32951124 swapFree=60688864/67111528
[pid=19011] ppid=19008 vsize=10556708 CPUtime=1800.12 cores=1,3,5,7
/proc/19011/stat : 19011 (java) S 19008 19011 14960 0 -1 4202496 507677 0 1 0 179938 74 0 0 17 0 22 0 830754599 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19011/statm: 2639177 497424 2264 9 0 2629911 0
[pid=19011/tid=19014] ppid=19008 vsize=10556708 CPUtime=0.65 cores=1,3,5,7
/proc/19011/task/19014/stat : 19014 (java) S 19008 19011 14960 0 -1 4202560 34654 0 1 0 61 4 0 0 15 0 22 0 830754600 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19018] ppid=19008 vsize=10556708 CPUtime=0.53 cores=1,3,5,7
/proc/19011/task/19018/stat : 19018 (java) S 19008 19011 14960 0 -1 4202560 1936 0 0 0 53 0 0 0 15 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19019] ppid=19008 vsize=10556708 CPUtime=0.54 cores=1,3,5,7
/proc/19011/task/19019/stat : 19019 (java) S 19008 19011 14960 0 -1 4202560 64 0 0 0 54 0 0 0 15 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19020] ppid=19008 vsize=10556708 CPUtime=0.53 cores=1,3,5,7
/proc/19011/task/19020/stat : 19020 (java) S 19008 19011 14960 0 -1 4202560 77 0 0 0 53 0 0 0 16 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19021] ppid=19008 vsize=10556708 CPUtime=0.51 cores=1,3,5,7
/proc/19011/task/19021/stat : 19021 (java) S 19008 19011 14960 0 -1 4202560 359 0 0 0 51 0 0 0 16 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19022] ppid=19008 vsize=10556708 CPUtime=0.57 cores=1,3,5,7
/proc/19011/task/19022/stat : 19022 (java) S 19008 19011 14960 0 -1 4202560 533 0 0 0 57 0 0 0 15 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19023] ppid=19008 vsize=10556708 CPUtime=0.52 cores=1,3,5,7
/proc/19011/task/19023/stat : 19023 (java) S 19008 19011 14960 0 -1 4202560 2117 0 0 0 52 0 0 0 16 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19025] ppid=19008 vsize=10556708 CPUtime=0.57 cores=1,3,5,7
/proc/19011/task/19025/stat : 19025 (java) S 19008 19011 14960 0 -1 4202560 1893 0 0 0 57 0 0 0 16 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19027] ppid=19008 vsize=10556708 CPUtime=0.52 cores=1,3,5,7
/proc/19011/task/19027/stat : 19027 (java) S 19008 19011 14960 0 -1 4202560 296 0 0 0 52 0 0 0 15 0 22 0 830754602 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19035] ppid=19008 vsize=10556708 CPUtime=58.33 cores=1,3,5,7
/proc/19011/task/19035/stat : 19035 (java) S 19008 19011 14960 0 -1 4202560 24500 0 0 0 5824 9 0 0 16 0 22 0 830754603 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 0 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
[pid=19011/tid=19036] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19036/stat : 19036 (java) S 19008 19011 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19038] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19038/stat : 19038 (java) S 19008 19011 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830754604 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19043] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19043/stat : 19043 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830754606 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347716017 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19044] ppid=19008 vsize=10556708 CPUtime=1.41 cores=1,3,5,7
/proc/19011/task/19044/stat : 19044 (java) S 19008 19011 14960 0 -1 4202560 10628 0 0 0 140 1 0 0 15 0 22 0 830754606 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19047] ppid=19008 vsize=10556708 CPUtime=1.14 cores=1,3,5,7
/proc/19011/task/19047/stat : 19047 (java) S 19008 19011 14960 0 -1 4202560 6819 0 0 0 114 0 0 0 16 0 22 0 830754606 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19048] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19048/stat : 19048 (java) S 19008 19011 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830754606 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708313 0 4 0 16800975 18446604460500633536 0 0 -1 3 0 0 0
[pid=19011/tid=19050] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19050/stat : 19050 (java) S 19008 19011 14960 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830754606 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 7 0 0 0
[pid=19011/tid=19055] ppid=19008 vsize=10556708 CPUtime=867.08 cores=1,3,5,7
/proc/19011/task/19055/stat : 19055 (java) R 19008 19011 14960 0 -1 4202560 1354 0 0 0 86708 0 0 0 25 0 22 0 830754667 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505166104 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19011/tid=19056] ppid=19008 vsize=10556708 CPUtime=867.1 cores=1,3,5,7
/proc/19011/task/19056/stat : 19056 (java) R 19008 19011 14960 0 -1 4202560 421236 0 0 0 86658 52 0 0 25 0 22 0 830754667 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 46912505882105 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19011/tid=19057] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19057/stat : 19057 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830754674 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 5 0 0 0
[pid=19011/tid=19058] ppid=19008 vsize=10556708 CPUtime=0 cores=1,3,5,7
/proc/19011/task/19058/stat : 19058 (java) S 19008 19011 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830754675 10810068992 497424 33554432000 1073741824 1073778376 140735914483296 18446744073709551615 232347708928 0 4 0 16800975 18446604460500633536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10556708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 927.714
CPU time (s): 1800.27
CPU user time (s): 1799.45
CPU system time (s): 0.817875
CPU usage (%): 194.054
Max. virtual memory (cumulated for all children) (KiB): 10561056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.817875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507710
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= 34631
involuntary context switches= 18282
runsolver used 4.6113 second user time and 10.5934 second system time
The end