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-3458004-1307164557/watcher-3458004-1307164557 -o /tmp/evaluation-result-3458004-1307164557/solver-3458004-1307164557 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458004-1307164557.opb
running on 4 cores: 0,2,4,6
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.04 1.58 1.82 2/457 14997
/proc/meminfo: memFree=26320364/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 1844 0 1 0 0 0 0 0 25 0 2 0 828053860 13833195520 1546 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3377245 1559 906 9 0 3368401 0
[pid=14997/tid=14999] ppid=14995 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 6804 0 1 0 0 0 0 0 25 0 2 0 828053861 13850947584 7620 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.032793 s]
/proc/loadavg: 1.04 1.58 1.82 2/457 14997
/proc/meminfo: memFree=26320364/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13537492 CPUtime=0.02 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 13299 0 1 0 1 1 0 0 25 0 10 0 828053860 13862391808 12998 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3384373 13002 1515 9 0 3375121 0
[pid=14997/tid=14999] ppid=14995 vsize=13537492 CPUtime=0.02 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 12181 0 1 0 1 1 0 0 25 0 10 0 828053861 13862391808 13002 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 47956133250584 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537492
[startup+0.100802 s]
/proc/loadavg: 1.04 1.58 1.82 2/457 14997
/proc/meminfo: memFree=26320364/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13622608 CPUtime=0.1 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 15566 0 1 0 9 1 0 0 25 0 18 0 828053860 13949550592 15226 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3405652 15227 2092 9 0 3396386 0
[pid=14997/tid=14999] ppid=14995 vsize=13622608 CPUtime=0.08 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 13623 0 1 0 7 1 0 0 25 0 18 0 828053861 13949550592 15228 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622608
[startup+0.300728 s]
/proc/loadavg: 1.04 1.58 1.82 2/457 14997
/proc/meminfo: memFree=26320364/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13624656 CPUtime=0.45 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 18495 0 1 0 43 2 0 0 25 0 18 0 828053860 13951647744 18144 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3406164 18145 2217 9 0 3396898 0
[pid=14997/tid=14999] ppid=14995 vsize=13624656 CPUtime=0.29 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 15834 0 1 0 27 2 0 0 25 0 18 0 828053861 13951647744 18145 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13624656
[startup+0.702495 s]
/proc/loadavg: 1.04 1.58 1.82 2/457 14997
/proc/meminfo: memFree=26320364/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=1.52 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 39787 0 1 0 146 6 0 0 25 0 19 0 828053860 13961089024 37510 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 37510 2233 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=0.67 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 30375 0 1 0 63 4 0 0 19 0 19 0 828053861 13961089024 37510 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505821210 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13633876
[startup+1.50153 s]
/proc/loadavg: 1.04 1.58 1.82 4/495 15035
/proc/meminfo: memFree=26083428/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=2.43 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 40184 0 1 0 237 6 0 0 25 0 19 0 828053860 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 37906 2236 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=1.47 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 30615 0 1 0 143 4 0 0 20 0 19 0 828053861 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505942217 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.52 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3480 0 0 0 52 0 0 0 17 0 19 0 828053866 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.41 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 4929 0 0 0 40 1 0 0 15 0 19 0 828053866 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 37906 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13633876
[startup+3.10126 s]
/proc/loadavg: 1.04 1.58 1.82 3/495 15035
/proc/meminfo: memFree=26076980/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=4.25 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 41630 0 1 0 419 6 0 0 25 0 19 0 828053860 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 39351 2240 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=3.07 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 31962 0 1 0 303 4 0 0 25 0 19 0 828053861 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912506068050 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.54 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3480 0 0 0 54 0 0 0 15 0 19 0 828053866 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.61 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5028 0 0 0 60 1 0 0 16 0 19 0 828053866 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 39351 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13633876
[startup+6.30072 s]
/proc/loadavg: 1.12 1.58 1.82 4/495 15081
/proc/meminfo: memFree=26065604/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=7.46 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 44417 0 1 0 739 7 0 0 25 0 19 0 828053860 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 42136 2241 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=6.28 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 34739 0 1 0 623 5 0 0 25 0 19 0 828053861 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505855741 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053863 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828053864 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 42136 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828053864 13961089024 42137 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 42137 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.54 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3480 0 0 0 54 0 0 0 15 0 19 0 828053866 13961089024 42137 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.61 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5037 0 0 0 60 1 0 0 15 0 19 0 828053866 13961089024 42137 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0.21 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 7728 0 0 0 20 1 0 0 15 0 19 0 828053863 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0.24 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 3453 0 0 0 24 0 0 0 16 0 19 0 828053863 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0.33 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 3808 0 0 0 33 0 0 0 15 0 19 0 828053863 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=4.32 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 30371 0 0 0 429 3 0 0 15 0 19 0 828053864 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.58 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3484 0 0 0 58 0 0 0 15 0 19 0 828053866 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.71 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5064 0 0 0 70 1 0 0 15 0 19 0 828053866 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 102807 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.89
Current children cumulated vsize (KiB) 13633876
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/495 15129
/proc/meminfo: memFree=25759976/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=1784.93 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 105429 0 1 0 178476 17 0 0 25 0 19 0 828053860 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 102831 2267 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=1776.94 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 35840 0 1 0 177688 6 0 0 25 0 19 0 828053861 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505932845 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0.25 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 3193 0 0 0 25 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0.23 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 4334 0 0 0 23 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0.26 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1410 0 0 0 26 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0.31 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 2351 0 0 0 31 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0.27 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 3136 0 0 0 27 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0.21 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 7728 0 0 0 20 1 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0.24 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 3453 0 0 0 24 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0.34 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 3808 0 0 0 34 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=4.47 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 30373 0 0 0 444 3 0 0 15 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.58 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3484 0 0 0 58 0 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.71 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5064 0 0 0 70 1 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 13633876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.4 s]
/proc/loadavg: 2.01 2.05 1.99 4/495 15129
/proc/meminfo: memFree=25759964/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=1800.06 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 105432 0 1 0 179989 17 0 0 25 0 19 0 828053860 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 102831 2267 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=1792 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 35841 0 1 0 179194 6 0 0 25 0 19 0 828053861 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505847808 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0.25 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 3193 0 0 0 25 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0.23 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 4334 0 0 0 23 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0.26 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1410 0 0 0 26 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0.31 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 2351 0 0 0 31 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0.27 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 3136 0 0 0 27 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0.21 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 7728 0 0 0 20 1 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0.24 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 3453 0 0 0 24 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0.34 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 3808 0 0 0 34 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=4.54 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 30375 0 0 0 451 3 0 0 15 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.58 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3484 0 0 0 58 0 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.71 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5064 0 0 0 70 1 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13633876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.4 s]
/proc/loadavg: 2.01 2.05 1.99 4/495 15129
/proc/meminfo: memFree=25759964/32951124 swapFree=60688864/67111528
[pid=14997] ppid=14995 vsize=13633876 CPUtime=1800.06 cores=0,2,4,6
/proc/14997/stat : 14997 (java) S 14995 14997 14960 0 -1 4202496 105432 0 1 0 179989 17 0 0 25 0 19 0 828053860 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14997/statm: 3408469 102831 2267 9 0 3399203 0
[pid=14997/tid=14999] ppid=14995 vsize=13633876 CPUtime=1792 cores=0,2,4,6
/proc/14997/task/14999/stat : 14999 (java) R 14995 14997 14960 0 -1 4202560 35841 0 1 0 179194 6 0 0 25 0 19 0 828053861 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 46912505847808 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14997/tid=15010] ppid=14995 vsize=13633876 CPUtime=0.25 cores=0,2,4,6
/proc/14997/task/15010/stat : 15010 (java) S 14995 14997 14960 0 -1 4202560 3193 0 0 0 25 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15011] ppid=14995 vsize=13633876 CPUtime=0.23 cores=0,2,4,6
/proc/14997/task/15011/stat : 15011 (java) S 14995 14997 14960 0 -1 4202560 4334 0 0 0 23 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15012] ppid=14995 vsize=13633876 CPUtime=0.26 cores=0,2,4,6
/proc/14997/task/15012/stat : 15012 (java) S 14995 14997 14960 0 -1 4202560 1410 0 0 0 26 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15013] ppid=14995 vsize=13633876 CPUtime=0.31 cores=0,2,4,6
/proc/14997/task/15013/stat : 15013 (java) S 14995 14997 14960 0 -1 4202560 2351 0 0 0 31 0 0 0 15 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15014] ppid=14995 vsize=13633876 CPUtime=0.27 cores=0,2,4,6
/proc/14997/task/15014/stat : 15014 (java) S 14995 14997 14960 0 -1 4202560 3136 0 0 0 27 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15015] ppid=14995 vsize=13633876 CPUtime=0.21 cores=0,2,4,6
/proc/14997/task/15015/stat : 15015 (java) S 14995 14997 14960 0 -1 4202560 7728 0 0 0 20 1 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15016] ppid=14995 vsize=13633876 CPUtime=0.24 cores=0,2,4,6
/proc/14997/task/15016/stat : 15016 (java) S 14995 14997 14960 0 -1 4202560 3453 0 0 0 24 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15017] ppid=14995 vsize=13633876 CPUtime=0.34 cores=0,2,4,6
/proc/14997/task/15017/stat : 15017 (java) S 14995 14997 14960 0 -1 4202560 3808 0 0 0 34 0 0 0 16 0 19 0 828053863 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 6 0 0 0
[pid=14997/tid=15019] ppid=14995 vsize=13633876 CPUtime=4.54 cores=0,2,4,6
/proc/14997/task/15019/stat : 15019 (java) S 14995 14997 14960 0 -1 4202560 30375 0 0 0 451 3 0 0 15 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 0 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15022] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15022/stat : 15022 (java) S 14995 14997 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15023] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15023/stat : 15023 (java) S 14995 14997 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15026] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15026/stat : 15026 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347716017 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15027] ppid=14995 vsize=13633876 CPUtime=0.58 cores=0,2,4,6
/proc/14997/task/15027/stat : 15027 (java) S 14995 14997 14960 0 -1 4202560 3484 0 0 0 58 0 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 2 0 0 0
[pid=14997/tid=15030] ppid=14995 vsize=13633876 CPUtime=0.71 cores=0,2,4,6
/proc/14997/task/15030/stat : 15030 (java) S 14995 14997 14960 0 -1 4202560 5064 0 0 0 70 1 0 0 15 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15031] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15031/stat : 15031 (java) S 14995 14997 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828053866 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708313 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
[pid=14997/tid=15033] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15033/stat : 15033 (java) S 14995 14997 14960 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 828053867 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 0 0 0 0
[pid=14997/tid=15035] ppid=14995 vsize=13633876 CPUtime=0 cores=0,2,4,6
/proc/14997/task/15035/stat : 15035 (java) S 14995 14997 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828053916 13961089024 102831 33554432000 1073741824 1073778376 140735481829728 18446744073709551615 232347708928 0 4 0 16800975 18446604445562481664 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13633876
Child status: 143
Real time (s): 1797.48
CPU time (s): 1800.13
CPU user time (s): 1799.93
CPU system time (s): 0.19597
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 13633876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105467
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= 39019
involuntary context switches= 28219
runsolver used 9.00663 second user time and 18.7931 second system time
The end